プログラム実行軌跡の利用によるテストケースの前提条件の生成－ホワイトボックステストの網羅率の向上のために

摘要

ソフトウェアテストの戦略の1つにホワイトボックステストがある。ホワイトボックステストはプログラムの構造に基づいてテストケースを作りテストを行う。そのため、ホワイトボックステストを行うにはテストの対象としている実行パスを通るように分岐条件や演算を考えて入力値を決めなければならない。これを支援するためにテストケースの実行軌跡から未実行の実行パスを実行するテストケースの前提条件を求めるという手法を提案する。具体的にはプログラムの実行履歴とテスト対象のプログラムの解析を行い、推論に必要な情報を生成し、推論を行う。