富士通研究所は1月12日、Javaプログラムで入力されるさまざまなデータに対して、プログラムの動作が仕様に合っているかを自動的に検証する技術を開発し、Webアプリケーション数万行を検証することに成功したと発表した。

この技術は、米NASAが開発したJavaプログラム向け検証ツールのJava PathFinderを、数値型だけでなく文字列型の入力データに対しても効率良く扱えるように拡張したもの。NASAがソフトウェアが正しく開発されたかを確認するソフトウェア検証技術をベースとしたもので、その成果の一環としてJavaで記述されたプログラムの検証ツールJava PathFinderを開発した。

プログラムの動作が仕様に合っているかどうかを検証するには、人手による莫大なテストデータの作成と長時間の検証時間が必要となるが、Java PathFinderでは、与えられたJavaプログラムのソースコードに対して、具体的なテストデータを与えなくても入力データのさまざまなバリエーションにより引き起こされる動作を自動的に実行する機能を提供しており、動作条件を全て実行するテストデータの生成や、プログラムが指定されたアプリケーション仕様を満たしているかの検証を自動的に行うことができる。本技術により、Webアプリケーションなどのエンタープライズ系システムのソフトウェアを、高い網羅性で検証できるようになった。

今回開発に成功した技術は一部がJava PathFinderに取り入れられ、オープンソースソフトウェアとして公開される。

(川原 龍人/びぎねっと)

[関連リンク]
ニュースリリース
Java PathFinder