富士通研、Javaプログラムを網羅的に検証する技術を開発 〜 オープンソースとして公開 | RBB TODAY

Fujitsu Laboratories of America Inc.と富士通研究所は12日、Javaプログラムで入力されるさまざまなデータに対して、プログラムの動作が仕様に合っているかを人手を介さず自動的に検証する技術を開発したと発表した。Webアプリケーション数万行の検証に成功したという。 この技術は、米国NASAが開発したJavaプログラム向け検証ツール「Java PathFinder」を拡張したもの。「Java PathFinder」は、火星探査機の制御システムの検証などに使われ、その成果は2005年にオープンソース化されていた。しかし「Java PathFinder」では数値型の入力データしか扱えず、業務アプリケーションなどの動作を検証するために、文字列型データへの対応が求められていた。富士通研究所は、この課題を解決するために、Java PathFinderのシンボリック実行モ

[lanius]

Java PathFinder。