Fujitsu Laboratories of Americaと株式会社富士通研究所は1月12日、Javaプログラムを網羅的に検証する新技術を開発し、Webアプリケーション数万行の検証に成功したと発表した。米NASAが開発したJavaプログラム向け検証ツール「Java PathFinder」を拡張し、数値型の入力データだけでなく、文字列型の入力データを効率よく扱えるようにすることで実現している。開発した技術の一部は、オープンソースとして公開される。 Java PathFinderでは、与えられたJavaプログラムのソースコードに対して、具体的なテストデータを与えなくても、入力データのさまざまなバリエーションによって引き起こされる動作を自動的に実行する「シンボリック実行モード」を備えている。これによって、動作条件をすべて効率的に実行するテストデータの生成や、プログラムが指定されたアプリケーシ