トップエスイー修了制作 JUnitへのJava PathFinderの適用富士通株式会社末松慎也 [email protected] 開発における問題点手法・ツールの連携による解決オープンソースソフトウェアの品質保証として JUnitテストが多く用いられているが、マルチスレッド起因のタイミングに依存したバグをJUnitで検出することは難しい。マルチスレッドでのバグを検出するJava PathFinderというモデル検査ツールがあるが、使用法が難しい。 JUnitテストケースをマルチスレッド実行できるようにJUnitライブラリを拡張し、さらにそれをJava PathFinderと組合わせて実行できるようにした。ユニットテストとすることにより、Java PathFinder 使用時の壁である状態爆発を回避し、開発者は普段慣れているJUnitテストケースを作成すれば、容易にマルチスレッド検証を行える。提案手法 JUnitテストケース 1. JUnitテストケース 2. 3. スレッドを2つ起こして実行改造したjunit.jar 定義ファイル Java PathFinder 適用事例 •タイミング依存であるため再現性が不安定 •修正案がデグレードしていないか不明 •Java PathFinderを使用しないとすると負荷テストで確認するしかない JUnitテストケース本手法バグ再現 JUnit 修正後の Spring JPF 本手法により確実な再現と修正妥当性の確認ができた。マルチスレッドで例外が発生すれば Java PathFinderにより検出できる評価 Spring Frameworkのバグによるトラブル修正前の Spring Java PathFinderが直接的に実行するクラスにはJUnitライブラリのメインクラスを指定 JUnitのメインクラスへの引数として JUnitテストケースクラスを指定拡張JUnitライブラリは、JUnitテストケースクラス内のテストメソッドをマルチスレッドで実行正常終了 •テストケースをJUnitテストケースとして書けるため、 JUnitに慣れた開発者に受け入れられやすい。  品質確保工程に無理なく取り込める •シングルスレッドのJUnit実行では検出できないマルチスレッド起因バグを検出できることを確認。 •実際の業務においてトラブル時の再現確認と修正の妥当性確認に活用できた。今後の課題 Java PathFinderを改善して下記の機能が使用できるようにする •JUnit4 •easymock 国立情報学研究所トップエスイートップエスイー：サイエンスによる知的ものづくり教育プログラム National Institute of Informatics ～サイエンスによる知的のものづくり教育プログラム～文部科学省科学技術振興調整費産学融合先端ソフトウェア技術者養成拠点の形成