特許

J-GLOBAL ID：200903038751584574

テストケース作成装置及びテストケース作成方法

発明者： 岡安 二郎
出願人/特許権者： 株式会社東芝
代理人 (1件)： 鈴江 武彦
公報種別：公開公報
出願番号（国際出願番号）：特願平7-009018
公開番号（公開出願番号）：特開平7-253905
出願日： 1995年01月24日
公開日（公表日）： 1995年10月03日
要約：

【要約】【目的】 製品に対する仕様を容易に記述し、製品動作を効率的に網羅し得るテストケースを自動的に作成するテストケース作成装置/方法を提供すること。【構成】 対象物の動作仕様を並行化(及び/又は階層化)された複数の状態遷移図を用いて記述する動作仕様記述手段(1)と、前記動作仕様記述手段で記述された複数の状態遷移図を探索して所定状態からの状態の遷移を選択して、その結果を出力する状態遷移図探索手段(2)と、アクションとイベントとの関係を記憶し、禁止された遷移を管理して前記状態遷移図探索手段での遷移選択の操作を制御するアクション/イベント関係管理手段(5)とを具備する。更に、前記動作仕様記述手段で記述された階層化された前記複数の状態遷移図の探索順序(及び遷移網羅の十分性)を管理して、前記状態遷移図探索手段での遷移選択の操作を制御する並行(階層)関係管理手段(3(4))を備えた。

請求項（抜粋）：

対象物の動作検証を行うためのテストケースを作成するテストケース作成装置において、前記対象物の動作仕様を並行化された複数の状態遷移図を用いて記述する動作仕様記述手段と、前記動作仕様記述手段で記述された複数の状態遷移図を探索して所定の状態からの状態遷移図上の状態の遷移を選択し、その結果を出力する状態遷移図探索手段と、アクションとイベントとの関係を記憶し、禁止された遷移を管理して前記状態遷移図探索手段での遷移選択の操作を制御するアクション/イベント関係管理手段と、を具備することを特徴とするテストケース作成装置。

IPC (4件)：

G06F 11/22 360 ,  G06F 11/22 310 ,  G05B 15/02 ,  G06F 17/50

FI (2件)：

G05B 15/02 Z ,  G06F 15/60 310