特許
J-GLOBAL ID：201603017156716139
テストケース生成プログラム、テストケース生成方法、及びテストケース生成装置
発明者：
,
,
,
,
,
,
出願人/特許権者：
代理人 (1件)：
片山 修平
公報種別：公開公報
出願番号（国際出願番号）：特願2014-129814
公開番号（公開出願番号）：特開2016-009344
出願日： 2014年06月25日
公開日（公表日）： 2016年01月18日
要約：
【課題】シンボリック実行を利用したテストケースを短時間で生成する。【解決手段】対象プログラムにおいて実行される複数の関数の各々についてシンボリック実行を行うとともに、シンボル変数に関わる分岐を辿った履歴を表す第1の条件と、当該関数の引数及び返却値についての第2の条件の少なくともいずれかを含むパス条件表を複数の関数の各々について生成する処理S103と、複数の関数に含まれるいずれかの関数を呼び出す第1の関数と第1の関数に呼び出される第2の関数とのマッチングを求める処理S105と、求めたマッチングの少なくとも1つより大きなマッチングを求めた第1の関数と第2の関数との間毎に、関数毎のパス条件表を論理積によって並列に統合する処理S106と、統合後のパス条件表を満たすシンボル変数の値を算出し、算出した当該シンボル変数の値を含むテストケースを生成する処理S109をコンピュータに実行させる。【選択図】図17
請求項（抜粋）：
対象プログラムにおいて実行される複数の関数の各々についてシンボリック実行を行うとともに、シンボル変数に関わる分岐を辿った履歴を表す第1の条件と、当該関数の引数及び返却値についての第2の条件の少なくともいずれかを含むパス条件表を前記複数の関数の各々について生成し、
前記複数の関数に含まれるいずれかの関数を呼び出す第1の関数と前記第1の関数に呼び出される第2の関数とのマッチングを求め、
求めたマッチングの少なくとも1つより大きなマッチングを求めた前記第1の関数と前記第2の関数との間毎に、関数毎の前記パス条件表を論理積によって並列に統合し、
統合後のパス条件表を満たすシンボル変数の値を算出し、算出した当該シンボル変数の値を含むテストケースを生成する
処理をコンピュータに実行させるためのテストケース生成プログラム。
IPC (1件)：
FI (1件)：
Fターム (5件)：
5B042HH10
, 5B042HH13
, 5B042HH17
, 5B042HH41
, 5B042HH49
