特許

J-GLOBAL ID：202003015856511767

テストケース生成装置、テストケース生成方法およびテストケース生成プログラム

発明者： 馬場 まどか
出願人/特許権者： 三菱電機株式会社
代理人 (1件)： 溝井国際特許業務法人
公報種別：再公表公報
出願番号（国際出願番号）：JP2018001227
公開番号（公開出願番号）：WO2019-142266
出願日： 2018年01月17日
公開日（公表日）： 2019年07月25日
要約：

テストケース生成装置(10)は、値が入力される度に1ステップの処理を実行するソフトウェアであるテスト対象ソフトウェアを解析して、当該ソフトウェアのテストのために入力される値の系列をテストケースとして生成する。その際に、等価ステップ検査部(19)は、状態変数について、状態変数を共用する複数ステップのうちいずれか1ステップの処理が実行された後の値と他の1ステップの処理が実行された後の値とが等しい場合に、それら2ステップが等価ステップであると判定する。テストケース生成部(20)は、等価ステップ検査部(19)により等価ステップであると判定された2ステップの一方を除き、テスト対象ソフトウェアを解析してテストケースに含める値を生成する。

請求項（抜粋）：

値が入力される度に1ステップの処理を実行するソフトウェアを解析して、前記ソフトウェアのテストのために入力される値の系列をテストケースとして生成するテストケース生成装置において、 複数ステップの処理で共用され、前記複数ステップの処理が順次実行されていく中で、各ステップの処理の実行結果に応じた値を保持する状態変数について、前記複数ステップのうちいずれか1ステップの処理が実行された後の値と他の1ステップの処理が実行された後の値とが等しい場合に、それら2ステップが等価ステップであると判定する等価ステップ検査部と、 前記等価ステップ検査部により等価ステップであると判定された2ステップの一方を除き、前記ソフトウェアを解析して前記テストケースに含める値を生成するテストケース生成部と を備えるテストケース生成装置。

IPC (1件)：

G06F 11/36

FI (1件)：

G06F11/36 184

Fターム (6件)：

5B042GA02 ,  5B042HH10 ,  5B042HH17 ,  5B042HH18 ,  5B042HH42 ,  5B042HH49