富士通研究所など、Javaプログラムを網羅的に検証する新技術−NASA製ツールを拡張 - Enterprise Watch（情報元のブックマーク数）
NASAが開発したJavaプログラム検証ツールを拡張してOSSとして公開とのこと。
Fujitsu Laboratories of Americaと株式会社富士通研究所は1月12日、Javaプログラムを網羅的に検証する新技術を開発し、Webアプリケーション数万行の検証に成功したと発表した。米NASAが開発したJavaプログラム向け検証ツール「Java PathFinder」を拡張し、数値型の入力データだけでなく、文字列型の入力データを効率よく扱えるようにすることで実現している。開発した技術の一部は、オープンソースとして公開される。
富士通研究所など、Javaプログラムを網羅的に検証する新技術－NASA製ツールを拡張 - Enterprise Watch Watch
数値だけでなく文字にも対応って感じらしい。
今回富士通研究所が開発したのは、シンボリック実行モードにおいて、文字列型データを扱えるようにする技術。入力された文字列に関連する条件を自動的に抽出し、コンパクトな表現形式でモデル化するため、シンボリック実行を効率よく行うことができる。また、文字列のシンボリック実行機能を拡張するための共通インターフェイスも開発されており、Java PathFinderの利用者はモデル化方式などの変更や独自の拡張を容易に行える。
富士通研究所など、Javaプログラムを網羅的に検証する新技術－NASA製ツールを拡張 - Enterprise Watch Watch
なお、富士通研究所は共通インターフェイス部分をオープンソースとして公開するので、世界中の開発者や研究者が、Java PathFinderを用いた文字列シンボリック実行機能を利用したり、拡張したりできるようになるとのこと。
