2010年1月12日 Fujitsu Laboratories of America, Inc. 株式会社富士通研究所 Fujitsu Laboratories of America, Inc.(注1) と株式会社富士通研究所(注2)(以下、富士通研究所)は、Javaプログラムで入力されるさまざまなデータに対して、プログラムの動作が仕様に合っているかを人手を介さず自動的に検証する技術を開発し、Webアプリケーション数万行を検証することに成功しました。 本技術は、米国National Aeronautics and Space Administration(注3)(以下、NASA)が開発したJavaプログラム向け検証ツールのJava PathFinderを、数値型の入力データだけでなく文字列型の入力データを効率良く扱えるように拡張したものです。 開発した技術の一部はNASAに採用され、オープ