特許
J-GLOBAL ID:201603017062506505

テストケース仕様書結合プログラム、方法及び装置

発明者:
出願人/特許権者:
代理人 (1件): 片山 修平
公報種別:公開公報
出願番号(国際出願番号):特願2014-246197
公開番号(公開出願番号):特開2016-110327
出願日: 2014年12月04日
公開日(公表日): 2016年06月20日
要約:
【課題】効率的に有効なテストケースの組合せを決定する。【解決手段】順序が予め定まっている複数のテストケース仕様書に含まれるテストケースを正常ケースと異常ケースの2種類に分類する。そして、順序と分類されたテストケースの種類と、に基づいて特定されるテストケースの組合せの中から、選択済条件節集合Cselectedに含まれていない条件節を含み、その数が最も多いテストケースの組合せを取得する処理(S14、S16)と、取得したテストケースの組合せが充足可能な組合せかをSATソルバにより判定する処理(S20)と、取得したテストケースの組合せに含まれる条件節を選択済条件節集合Cselectedに追加する処理(S26)を、選択済条件節集合Cselectedに含まれる条件節と全条件節集合Callに含まれる条件節とが一致するまで繰り返し(S28)、充足可能と判定されたテストケースの組合せを出力する(S32)。【選択図】図6
請求項(抜粋):
順序が予め定まっている複数のテストケース仕様書を結合するテストケース仕様書結合プログラムであって、 前記複数のテストケース仕様書に含まれるテストケースを正常と異常の2種類に分類し、 前記順序と、分類された前記テストケースの種類と、に基づいて特定されるテストケースの組合せの中から、取得済みの条件節を格納する格納部に格納されていない条件節を含み、該格納部に格納されていない条件節の数が最も多いテストケースの組合せを取得する処理と、取得した前記テストケースの組合せが充足可能な組合せかを判定する処理と、取得した前記テストケースの組合せに含まれる条件節を前記格納部に格納する処理とを、所定のタイミングまで繰り返し、 充足可能な組合せと判定された前記テストケースの組合せを出力する、処理をコンピュータに実行させ、 前記所定のタイミングは、前記格納部に格納された条件節が、前記複数のテストケース仕様書に含まれる全ての条件節と一致したタイミングである、ことを特徴とするテストケース仕様書結合プログラム。
IPC (1件):
G06F 11/28
FI (1件):
G06F11/28 340A
Fターム (1件):
5B042HH19

前のページに戻る