執筆者：

村上 仁（ニコン）

主査：

奥村 有紀子（デバッグ工学研究所）

副主査：

秋山 浩一（富士ゼロックス） 、堀田 文明（デバッグ工学研究所）

プログラムを自動解析・自動実行するConcolic Testingは、制御パスを通るテストケースを自動生成し、抽出した値を使ってパスを自動実行するテスト技術です。
この技術のツールであるCRESTを、リグレッションテストに適用し、利用方法と検証結果をまとめました。
Concolic Testingに取り組もうとする方や、リグレッションテストの自動化に興味のある方の一助となる論文です。

概要：

研究メンバーの組織ではテスト工数に制約があり、既存のテストケースから抜粋してデグレード検出テストを実施している。その結果、過剰なテスト、テスト不足によるバグの検出漏れがあり効果的なテストが実施できていないという問題がある。本研究では、Concolic TestingツールCRESTとデシジョンテーブルを使ったデグレード検出テストについて、適用可能条件を検証した。適用可能範囲についてはCRESTとデシジョンテーブルを利用し、その他を従来手法のテストで実施するというように併用することで、現状よりも効果的なテストが期待できる。