情報処理学会 第81回全国大会講演要旨

テストケースの抜け漏れを防ぎテストの網羅性を高めるために，マトリクスチェックリスト形式で設計したテストケースに基づいてテストする方法がある．本論文では，記号実行を用いたテスト入力値生成技術でテスト対象のソースコードからマトリクスチェックリストの一部自動生成を可能にし，さらにマトリクスチェックリストから実行可能なテストコードを自動生成することで，マトリクスチェックリストに基づいたソフトウェアの単体テストを効率的に行う方法を提案する．