富士通研がJavaプログラムを網羅的に検証する技術を開発 - NASAが一部採用 | エンタープライズ | マイコミジャーナル

Fujitsu Laboratories of Americaと富士通研究所は1月12日、Javaプログラムのデータに対し、プログラムの動作が仕様に合っているかを自動的に検証する技術を開発し、Webアプリケーション数万行を検証することに成功した。 同技術は、NASA(National Aeronautics and Space Administration)が開発したJavaプログラム向け検証ツール「Java PathFinder」を、シンボリック実行モードで文字列を扱う技術の開発により数値型の入力データに加えて文字列型の入力データを効率良く扱えるように拡張したもの。開発した技術の一部はNASAに採用される。 業務アプリケーションの処理対象の多くは文字列型データであるにもかかわらず、Java PathFinderは数値型のデータしか扱うことができなかったため、同技術の開発が行われた。 同技

[holypp]

この共通インタフェースはオープンソースとして公開される。両研究所は今後、大規模で複雑なJavaアプリケーションに対して検証を進め、本格的な実用化を目指す。