JP3214356B2 - テスト支援装置 - Google Patents

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、状態ベースの仕様
からテストシーケンスを生成する支援や、状態ベースの
仕様テスト自動実行システムへの入力データとなるイベ
ント定義を生成する支援を行なうテスト支援装置に関す
るものである。

【０００２】

【従来の技術】ソフトウェア、ハードウェア、あるいは
両者が混在するシステム開発において、開発対象である
システムの仕様を早期に誤りなく決定するために、有限
状態機械など状態ベースの仕様記述を用いて、開発対象
システムがどのように動作するかの仕様を分析／定義す
ることが広く行なわれている。図１３は、例えば特開昭
６３−１４８７４７号公報に示される従来の状態遷移仕
様に基づくテスト支援装置である。状態・イベント検索
部２００２では、入力された状態遷移図２００１から状
態およびその直後のイベントを取り出す。次に同時操作
抽出部２００３では、取り出された個々の状態及びイベ
ントに対して、同時操作抽出ルール２００５を検索して
同時操作となり得るイベントの組み合わせを調べ、それ
に従ってその状態において起こり得る同時操作とその結
果の状態とを求める。このようにして状態遷移図２００
１中のすべての状態およびイベントに対して上記の処理
を行ない求めた結果を、試験項目表作成部２００４によ
って同時操作試験の試験項目表２００６にして出力す
る。

【０００３】

【発明が解決しようとする課題】図１３に示す従来のテ
スト支援装置は、状態遷移図に含まれる全状態と、そこ
から出ていく状態遷移を対象に、同時操作試験ルールに
したがって対象となる状態遷移を選択し、選択された状
態遷移から、遷移を引き起こすイベントと遷移後の状態
のリストを表の形式にして出すものである。従来の状態
遷移仕様に基づくテスト支援装置からは、テスト項目と
して、各状態に対する発生イベントとそれに対する期待
値である遷移先が出力される。このような従来のテスト
支援装置には、次のような問題点があった。 （１）状態遷移図を基となる仕様としているので、状態
に対して遷移を引き起こすイベントだけが記述されてお
り、状態とイベントとの組み合わせが網羅的にならな
い。 （２）出力されたテスト項目をすべてテストするために
は、まず各状態にシステムの状態を設定してから、状態
遷移を引き起こすイベントを入力しなければならない。
この設定は非常に面倒であるので、テストを実施する前
に、複数の状態遷移を順次たどるためのテストシーケン
スを改めて生成しなければならない。

【０００４】テスト自動実行装置とは、テストシーケン
スとその中で使われているイベントと状態を定義するイ
ベント・状態表を入力し、そのテストシーケンスを実施
し結果をレポートする装置である。イベント・定義表と
は、テストシーケンス中で使われているイベントと状態
が、被試験プログラムに対してどんな意味を持っている
か（例えばあるメモリの値がある数値になったとかプロ
グラムの実行がある位置まで来たなど）を定義した表で
ある。通常、イベント・状態定義表は、手入力をしなけ
ればならないため、この作業に時間がかかるとともに、
テストシーケンスで使っていながらイベント・状態定義
表にないという場合が起こり、テスト自動実行ができな
いという問題点があった。

【０００５】この発明は上記のような問題点を解決する
ためになされたもので、ソフトウェア開発において、対
象システムのテストを行なうためのテストシーケンスを
作成する作業を、誤りなくスムーズに入力することを可
能とし、仕様の変更に対して、テストシーケンスの変更
作業を効率良くすることを目的としている。

【０００６】

【課題を解決するための手段】この発明に係るテスト支
援装置は、内部状態遷移表と、遷移表表示部と、テスト
シーケンス生成部とを備え、内部状態遷移表は、システ
ムの状態およびシステムへの入力イベントにより指定さ
れるセルにシステムが次に遷移する遷移先状態を記述し
たマトリクスデータを含み、遷移表表示部は、上記内部
状態遷移表を獲得し、上記マトリクスデータを表形式で
表示し、テストシーケンス生成部は、（ａ） 上記システムの状態のいずれかを初期状態として
入力され、該初期状態を現在状態とし、その後、 （ｂ）現 在状態に対応し選択された回数である通過回数
が０の候補セルを判別可能なように上記遷移表表示部に
表示する候補セル表示を行い、その後、 （ｃ） 上記遷移表表示部に表示されたマトリクスデータ
からいずれかのセルが選択されると該選択されたセルの
通過回数を更新し、その後、 （ｄ） 該選択されたセルに記述された遷移先状態を現在
状態とし、その後、上記（ｂ）から上記（ｄ）までの動
作を繰り返し、最初の上記（ｃ）の動作において選択さ
れたセル、および上記（ｂ）から（ｄ）までの動作の繰
り返し毎に上記（ｃ）の動作において選択されたセル、
に対応する入力イベントと該選択されたセルに記述され
た遷移先状態を含む組合わせをそれぞれテスト項目とし
て、上記初期状態と上記それぞれのテスト項目とを順次
記録したテストシーケンスを出力するようにしたもので
ある。ことを特徴とするテスト支援装置。

【０００７】またこの発明に係るテスト支援装置は、エ
ラー判定付テストシーケンストレース部をさらに備え、
該エラー判定付テストシーケンストレース部は、（ｅ） 上記テストシーケンスを取込み、該取り込んだテ
ストシーケンスの初期状態を現在状態とし、該取り込ん
だテストシーケンスの最初のテスト項目を対象テスト項
目とし、その後 （ｆ） 現在状態に対応する上記マトリクスデータのセル
のいずれかが対象テスト項目の入力イベントに対応する
選択セルであることをチェックし、その後 （ｇ） 選択セルが存在した場合は該選択セルに記述され
ている遷移先状態を現在状態とするとともに上記取り込
んだテストシーケンスにおける上記対象テスト項目の次
のテスト項目を対象テスト項目として、その後上記
（ｆ）から（ｇ）の動作を繰り返すようにしたものであ
る。

【０００８】またこの発明に係るテスト支援装置は、上
記エラー判定付テストシーケンストレース部は、上記
（ｆ）の動作において現在状態に対応するいずれのセル
も選択セルでない場合はエラー情報を出力するようにし
たものである。

【０００９】またこの発明に係るテスト支援装置は、マ
ーキング付テストシーケンストレース部と重複判定部を
さらに備え、上記テストシーケンスは固有のシーケンス
番号を有し、上記セルは上記シーケンス番号を記録する
番号リストを有し、マーキング付テストシーケンストレ
ース部は、（ｈ） 上記テストシーケンスを取込み、該取り込んだテ
ストシーケンスの初期状態を現在状態とし、該取り込ん
だテストシーケンスの最初のテスト項目を対象テスト項
目とし、その後 （ｉ）現 在状態に対応する上記マトリクスデータのセル
のいずれかが対象テスト項目の入力イベントに対応する
選択セルであることをチェックし、その後（ｊ） 選択セルが存在した場合は該選択セルの番号リス
トに上記取り込んだテストシーケンスのシーケンス番号
を付加し、該選択セルに記述されている遷移先状態を現
在状態とするとともに上記取り込んだテストシーケンス
における上記対象テスト項目の次のテスト項目を対象テ
スト項目として、その後上記（ｉ）から（ｊ）の動作を
繰り返し、重複判定部は、番号リストに複数のシーケン
ス番号を付加されているセルがある場合にエラーメッセ
ージを出力するようにしたものである。

【００１０】またこの発明に係るテスト支援装置は、テ
ストシーケンスファイルと、マーキング付テストシーケ
ンストレース部と、不足判定部とをさらに備え、上記テ
ストシーケンスは固有のシーケンス番号を有し、上記セ
ルはシーケンス番号を記録する番号リストを有し、テス
トシーケンスファイルは、上記テストシーケンスからな
り、マーキング付テストシーケンストレース部は、（ｈ） 上記テストシーケンスを取込み、該取り込んだテ
ストシーケンスの初期状態を現在状態とし、該取り込ん
だテストシーケンスの最初のテスト項目を対象テスト項
目とし、その後 （ｉ）現 在状態に対応する上記マトリクスデータのセル
のいずれかが対象テスト項目の入力イベントに対応する
選択セルであることをチェックし、その後 （ｊ） 選択セルが存在した場合は該選択セルの番号リス
トに上記取り込んだテストシーケンスのシーケンス番号
を付加し、該選択セルに記述されている遷移先状態を現
在状態とするとともに上記取り込んだテストシーケンス
における上記対象テスト項目の次のテスト項目を対象テ
スト項目として、その後上記（ｉ）から（ｊ）の動作を
繰り返し、不足判定部は上記マーキングテスト付テスト
シーケンス部がテストシーケンスファイルから取り込ん
だすべてのテストシーケンスについて上記（ｉ）と
（ｊ）の動作を終了した後、番号リストにシーケンス番
号を付加されていないセルがある場合にエラーメッセー
ジを出力するようにしたものである。

【００１１】またこの発明に係るテスト支援装置は、上
記テストシーケンス生成部は、通過回数が０のセルを判
別可能なように上記遷移表表示部に表示するようにした
ものである。

【００１２】またこの発明に係るテスト支援装置は、内
部状態遷移表と、テストシーケンスファイルと、エラー
判定付テストシーケンストレース部とを備え、内部状態
遷移表は、システムの状態およびシステムへの入力イベ
ントにより指定されるセルにシステムが次に遷移する遷
移先状態を記述したマトリクスデータを含み、テストシ
ーケンスファイルは、上記入力イベントの中のいずれか
１の入力イベントと上記マトリクスデータのセルの中の
いずれか１のセルに記述された遷移先状態とを含む組合
わせをテスト項目として、上記システムの状態のいずれ
かである初期状態と１つ以上の上記テスト項目からなる
テストシーケンスを１つ以上含み、エラー判定付テスト
シーケンストレース部は（ｅ） 上記テストシーケンスを取込み、該取り込んだテ
ストシーケンスの初期状態を現在状態とし、該取り込ん
だテストシーケンスの最初のテスト項目を対象テスト項
目とし、その後 （ｆ） 現在状態に対応する上記マトリクスデータのセル
のいずれかが上記対象テスト項目の入力イベントに対応
する選択セルであることをチェックし、その後 （ｇ） 選択セルが存在した場合は該選択セルに記述され
ている遷移先状態を現在状態とするとともに上記取り込
んだテストシーケンスにおける上記対象テスト項目の次
のテスト項目を対象テスト項目として、その後上記
（ｆ）から（ｇ）の動作を繰り返すようにしたものであ
る。

【００１３】またこの発明に係るテスト支援装置は、上
記エラー判定付テストシーケンストレース部はさらに上
記（ｆ）の動作において、上記選択セルに記述された遷
移先状態が上記対象テスト項目に含まれる遷移先状態と
同じであるかどうか比較し、同じでない場合にエラー情
報を出力するようにしたものである。

【００１４】またこの発明に係るテスト支援装置は、内
部状態遷移表と、テストシーケンスファイルと、マーキ
ング付テストシーケンストレース部と、重複判定部とを
備え、内部状態遷移表は、システムの状態およびシステ
ムへの入力イベントにより指定されるセルにシステムが
次に遷移する遷移先状態を記述したマトリクスデータを
含み、テストシーケンスファイルは、上記入力イベント
の中のいずれか１の入力イベントと上記マトリクスデー
タのセルの中のいずれか１のセルに記述された遷移先状
態とを含む組合わせをテスト項目として、上記システム
の状態のいずれかである初期状態と１つ以上の上記テス
ト項目からなるテストシーケンスを１つ以上含み、マー
キング付テストシーケンストレース部は（ｈ） 上記テストシーケンスを取込み、該取り込んだテ
ストシーケンスの初期状態を現在状態とし、該取り込ん
だテストシーケンスの最初のテスト項目を対象テスト項
目とし、その後 （ｉ）現 在状態に対応する上記マトリクスデータのセル
のいずれかが対象テスト項目の入力イベントに対応する
選択セルであることをチェックし、その後 （ｊ） 選択セルが存在した場合は該選択セルの番号リス
トに上記取り込んだテストシーケンスのシーケンス番号
を付加し、該選択セルに記述されている遷移先状態を現
在状態とするとともに上記取り込んだテストシーケンス
における上記対象テスト項目の次のテスト項目を対象テ
スト項目として、その後上記（ｉ）から（ｊ）の動作を
繰り返し、重複判定部は、番号リストに複数のシーケン
ス番号を付加されているセルがある場合にエラーメッセ
ージを出力するようにしたものである。

【００１５】またこの発明に係るテスト支援装置は、内
部状態遷移表と、テストシーケンスファイルと、マーキ
ング付テストシーケンストレース部と、不足判定部とを
備え、内部状態遷移表は、システムの状態およびシステ
ムへの入力イベントにより指定されシーケンス番号を記
録する番号リストを有する各セルにシステムが次に遷移
する遷移先状態を記述したマトリクスデータを含み、テ
ストシーケンスファイルは、上記入力イベントの中のい
ずれか１の入力イベントと上記マトリクスデータのセル
の中のいずれか１のセルに記述された遷移先状態とを含
む組合わせをテスト項目として、上記システムの状態の
いずれかである初期状態と１つ以上の上記テスト項目か
らなるテストシーケンスを１つ以上含み、マーキングテ
スト付テストシーケンストレース部は（ｈ） 上記テストシーケンスを取込み、該取り込んだテ
ストシーケンスの初期状態を現在状態とし、該取り込ん
だテストシーケンスの最初のテスト項目を対象テスト項
目とし、その後 （ｉ）現 在状態に対応する上記マトリクスデータのセル
のいずれかが対象テスト項目の入力イベントに対応する
選択セルであることをチェックし、その後 （ｊ） 選択セルが存在した場合は該選択セルの番号リス
トに上記取り込んだテストシーケンスのシーケンス番号
を付加するシーケンス番号付加を行ない、該選択セルに
記述されている遷移先状態を現在状態とするとともに上
記取り込んだテストシーケンスにおける上記対象テスト
項目の次のテスト項目を対象テスト項目として、その後
上記（ｉ）から（ｊ）の動作を上記取り込んだテストシ
ーケンスのテスト項目が無くなるまで繰り返し、不足判
定部は上記マーキングテスト付テストシーケンス部が取
り込んだすべてのテストシーケンスについて上記（ｉ）
と（ｊ）の動作を終了した後、番号リストにシーケンス
番号を付加されていないセルがある場合にエラーメッセ
ージを出力するようにしたものである。

【００１６】

【発明の実施の形態】実施の形態１． 図１は、本発明の実施の形態１によるテスト支援装置の
機能構成図を示す。図１において、１０１は、本テスト
支援装置の入力となる状態遷移表、１０２は、状態遷移
表１０１を入力し、内部状態遷移表１０３を出力する状
態遷移表入力部である。１０４は、内部状態遷移表１０
３を入力し表の形式で表示する遷移表表示部である。１
０５は、ユーザが状態遷移表１０１中のセルを選択する
操作を解釈し、選択されたセルに相当するテスト項目を
順次生成するテストシーケンス生成部である。図２は、
状態遷移表１０１の一例である。状態遷移表１０１は、
行としてシステムの状態、列としてシステムへの入力イ
ベントをとるマトリックスデータである（行と列が逆の
場合もある）。１つの状態と１つのイベントで指定され
るセルには、次に遷移する状態と遷移の瞬間に実行され
るアクションを記述する。図２において、次のような構
文ルールとなっている。 遷移先状態／アクション 遷移先状態に「−」を指定している箇所は、遷移がなく
アクションも実行されないという意味である。斜めに線
を引かれたセルは、起こり得ない遷移を表している。こ
のセルを除いた残りのセルを有効セルと呼ぶ。内部状態
遷移表１０３は、入力の状態遷移表１０１に加えて、表
全体に現在の状態と次入力イベントの候補を示すデータ
領域と、各セルに通過回数のデータ領域とを加えたもの
である。ある現在状態で通過回数が０である有効セルを
候補セルと呼ぶこととする。

【００１７】図３は、実施の形態１の動作を示すフロー
チャートであり、このフローチャートに基づいて実施の
形態１の動作を説明する。まず、遷移表入力部１０２が
状態遷移表１０１を読み込み（３０１）、内部状態遷移
表１０３へ出力する。この際、すべてのセルの有効回数
を０に設定する。遷移表表示部１０４が内部状態遷移表
１０３を表示する（３０２）。以下、ユーザによる終了
指定が行なわれるか、すべての有効セルの通過回数が１
以上になるまで、テストシーケンス生成部１０５が、テ
ストシーケンス作成処理（３０３）を繰り返す。テスト
シーケンス作成処理（３０３）では、まずユーザからの
初期状態の入力を待つ（３０４）。この際、候補セルの
ない初期状態が選ばれないようにする。候補セルのある
初期状態を入力できた場合、入力結果を現在状態に代入
する。そうでない場合には終了する。この入力した初期
状態を次のように出力する（３０５）。 初期状態 次に、現在状態に初期状態を代入し（３０６）、現在状
態に対する候補セルがなくなるまでテスト項目処理（３
０７）を繰り返す。テスト項目処理（３０７）では、そ
の候補セルをハイライトし（３０８）、セルの選択待ち
（３０９）に入る。ユーザが候補セルの中から１つ選択
すると、そのセルの記述に基づいて次の出力をする（３
１０）。（入力イベント，遷移先状態，アクション）次
に現在状態の値を遷移先状態とし（３１１）、選択され
たセルの通過回数を１増やし（３１２）、テスト項目処
理（３０７）に戻りこの処理を繰り返す。

【００１８】図４は、実施の形態１の動作の流れを説明
する説明図である。図４の左側には遷移表表示部１０４
によって表示される内部状態遷移表１０３の画面イメー
ジを示す。図４の左側に示される内部状態遷移表１０３
の各セルの値は、状態遷移表１０１からコピーされたも
のである。図４の右側には、その左の画面に対応した内
部状態遷移表１０３の内部データを示す。その内部デー
タとしては、現在状態と候補セルと通過回数と、その時
点でのテストシーケンス出力がある。例えば、出力＝ｓ
１−＞（ｅ１，ｓ２，ａ１）−＞（ｅ１，ｓ２，−）
は、「初期状態ｓ１からスタートし、入力イベントｅ１
が来ると期待値として、次の状態がｓ２になりアクショ
ンとしてａ１を出力する。次に入力イベントｅ１が来る
と期待値として、次の状態がｓ２で変わらず何もアクシ
ョンが出力されない」という意味である。また、通過回
数＝（１，０，１，０）は、セル１１（１行１列のセル
の意味：状態ｓ１−イベントｅ１に対応）の通過回数＝
１、セル１２の通過回数＝０、セル２１の通過回数＝
１、セル２２の通過回数＝０という意味である。

【００１９】図４において、２０１は初期画面であり、
初期状態としてＳ１が指定され、候補セルとしてセル１
１がハイライト表示されている。２０２は、初期画面に
対してユーザがセル１１を選択した後の結果を示す画面
である。画面２０２で、セル１１がマークされ、現在状
態をセル１１に示された遷移先状態であるｓ２とし、ｓ
２に対する候補セルであるセル２１とセル２２をハイラ
イト表示している。画面２０３は、画面２０２からさら
に、ユーザがセル２１を選択したときの結果を表す画面
である。画面２０３では、現在状態は変わらず、セル２
１がマークされ、候補セルがセル２２だけになる。画面
２０４は、画面２０３からさらに、ユーザがセル２２を
選択したときの結果を表す画面である。現在状態ｓ１に
対して候補セルが存在しないので、このテストシーケン
スはここまでで終了である。さらに候補セルのある状態
がないので、処理を終了する。

【００２０】以上のように本実施の形態によれば、状態
遷移表に基づくテストシーケンス作成において、一つの
テスト項目の次の遷移先状態と、その次のテスト項目の
現在状態とは一致していなければならないが、現在状態
に対する候補セルを見せ操作者を順次入力導いていくた
め、誤りなくテストシーケンスを作ることができる。ま
た、既に生成したテストシーケンスで通過した候補セル
は、ハイライトされないので重複したテスト項目を選択
してしまうことを防ぐ。さらにまた、既にテスト項目と
して選択したセルを表示するため、何がテスト項目とし
て残っているかを把握することができ、テスト項目をも
れなく作りながら効率的にテストシーケンスを作ること
ができる。これらによって、従来例の問題点であるテス
ト項目の網羅性が保証されないことと、テスト項目生成
とテストシーケンスの生成が別の作業となることを解決
している。

【００２１】なお、本実施の形態においては、図２に示
した状態遷移表を用いたが、階層的な状態を用いた状態
遷移表においても、ある現在状態に対して上位の状態ま
で含めて候補セルを作成するようにすれば、本実施の形
態と同様に扱うことができる。また、本実施の形態の動
作の説明では、図４に示したようにハイライト表示やマ
ークの表示を行うが、操作者にそれとわかる他の方法を
用いることも勿論可能である。

【００２２】実施の形態２． 図５は、本発明の実施の形態２によるテスト支援装置の
機能構成図を示す。図５において、１０１〜１０４は図
１に示す機能ブロックと同様のものである。４０３は、
次の形式の内容をテストシーケンス１単位として記述す
る複数のテストシーケンスを含むテストシーケンスファ
イルである。＊は繰り返しを表す。テストシーケンス＝
初期状態＋テスト項目＊テスト項目＝（入力イベント，
遷移先状態，アクション）４０１は、エラー判定付テス
トシーケンストレース部であり、テストシーケンスファ
イル４０３を読み込み、個々のテストシーケンスを内部
状態遷移表１０３上でトレースすることで、システムの
仕様とテストシーケンスとの間の食い違いを報告する。

【００２３】次に実施の形態２の動作について説明す
る。図６は、遷移表入力部１０２によって内部状態遷移
表１０３がすでに初期設定されている段階での、エラー
判定付テストシーケンス部４０１の動作を示すフローチ
ャートである。図６において、まずエラー判定付きテス
トシーケンストレース部４０１がテストシーケンスファ
イル４０３の読み込み（６０１）を行ない、テストシー
ケンスがある限り、個々のテストシーケンスにユニーク
な番号としてシーケンス番号をふり、テストシーケンス
処理（６０２）を繰り返す。テストシーケンス処理（６
０２）では、対象テストシーケンスの初期状態が、内部
状態遷移表１０３にあるかどうかをチェックし（６０
３）、内部状態遷移表１０３上にない場合には、エラー
リポート１（６０７）において、次のメッセージを出力
し、新たなテストシーケンスを対象としてテストシーケ
ンス処理（６０２）を行なう。 シーケンス番号：状態名：初期状態が存在しない 内部状態遷移表１０３上にある場合には、内部状態遷移
表１０３内の現在状態を読み込んだ初期状態として（６
０４）、テスト項目がある限り、テスト項目処理（６０
５）を行なう。ここで処理対象となるテスト項目を対象
テスト項目と呼ぶ。

【００２４】次に、現在状態の候補セル中に、対象テス
ト項目の入力イベントが存在するかどうかをチェックす
る（６０６）。入力イベントが候補セル中にない場合に
は、エラーリポート２（６１２）において、次のメッセ
ージを出力し、新たなテストシーケンスを対象としてテ
ストシーケンス処理（６０２）を行なう。 シーケンス番号：現在状態名：入力イベント名：入力イ
ベントが存在しない入力イベントが候補セル中にある場
合には、その候補セルを選択セルとし、対象テスト項目
にあるアクションと、選択セル内のアクションとを比較
する（６０８）。アクションが異なる場合、エラーリポ
ート３（６１３）において、次のメッセージを出力し、
（６０９）の処理を実行する。 シーケンス番号：現在状態名：入力イベント名：アクシ
ョン名：アクションが異なる アクションが同じ場合には、何もせずに（６０９）の処
理を実行する。（６０９）では、対象テスト項目の遷移
先状態を選択セル内の遷移先とを比較する。遷移先が異
なる場合には、エラーレポート４（６１４）において、
次のメッセージを出力し、新たなテストシーケンスを対
象としてテストシーケンス処理（６０２）を行なう。 シーケンス番号：現在状態名：入力イベント名：遷移先
状態名：遷移先が異なる 遷移先が同じ場合には、現在状態をその遷移先状態にし
て（６１０）、次のテスト項目を対象テスト項目として
テスト項目処理（６０５）を行なう。

【００２５】以上のように本実施の形態によれば、状態
遷移表に基づくテストシーケンス作成において、テスト
シーケンスファイル内に記述されたテストシーケンス群
と、仕様である内部状態遷移表とを比較し、その差異を
レポートすることができるので、作成者がマニュアルで
作成したテストシーケンスの誤りを検出することができ
る。さらに、仕様自体への変更に対し、既に存在するテ
ストシーケンスが新しい仕様に適合しているかどうかを
チェックすることができるので、仕様の変更にともなう
テストシーケンスの再作成を効率良く行なうことができ
る。

【００２６】なお、本実施の形態は、エラーメッセージ
を一定の形式のテキストとして出力するものであるが、
同じ情報を異なる形式で操作者に見せることも可能であ
る。例えば、図５に示す遷移表表示部１０４が表示して
いる状態遷移表の上でエラー位置を見せることも可能で
ある。

【００２７】実施の形態３． 図７は、本発明の実施の形態３によるテスト支援装置の
機能構成図を示す。図７において、１０１、１０２、１
０４は図１に示す機能ブロックと同様のものである。１
７０３は内部状態遷移表であり、実施の形態１で示した
内部状態遷移表１０３に次の変更を加えたものである。
内部状態遷移表１０３では各セルにマークをつける際、
通過回数のみを保存していたが、通過したテストシーケ
ンス群の番号を記録する番号リストのデータ領域を持つ
ものとした。１７０１は、テストシーケンスファイル４
０３を入力し、テストシーケンスをトレースしつつ、ト
レース結果を内部状態遷移表１７０３にマークしていく
マーキング付テストシーケンストレース部である。１７
０２は、マーキング付テストシーケンストレース部１７
０１によりトレース結果が反映された内部状態遷移表１
７０３を解析して、テスト項目の重複を判定する重複判
定部である。

【００２８】次に実施の形態３の動作について説明す
る。図８は、マーキング付テストシーケンストレース部
１７０１の動作を示すフローチャートであり、図７で示
した遷移表入力部１０２によって内部状態遷移表１７０
３がすでに初期設定されていることが仮定されている。
図８は、図６に示したエラー判定付テストシーケンスト
レース部４０１のフローチャートから、エラーレポート
１（６０７）、エラーレポート２（６１２）、アクショ
ンがあるか（６０８）、エラーレポート３（６１３）、
エラーレポート４（６１４）等の各処理を削除し、（２
２０１）のセルをマークする処理を加えたものである。
（２２０１）では、対象セルの番号リストに、通過した
テストシーケンスのシーケンス番号の付加を行なう。

【００２９】図９は、重複判定部１７０２の動作を示す
フローチャートである。重複判定部１７０２は、マーキ
ング付テストシーケンストレース部１７０１の処理が終
了した状態で、処理が行なわれる。図９で、内部状態遷
移表１７０３内のすべてのセルを対象セルとして重複判
定処理（２４０１）を行なう。重複判定処理（２４０
１）では、対象セルの番号リストが、２つ以上の番号を
持っている場合（２４０２）、次のエラーメッセージを
出力する（２４０３）。 セル番号：シーケンス番号リスト：テスト項目に重複あ
り

【００３０】以上のように本実施の形態によれば、状態
遷移表に基づくテストシーケンス作成において、テスト
シーケンスファイル内に記述されたテストシーケンス群
と、仕様である内部状態遷移表とを比較し、テストシー
ケンスの重複度をレポートすることができるので、作成
者がテキストエディタ等を使ってマニュアルで作成した
テストシーケンスの冗長な部分を見つけることができ
る。

【００３１】なお、本実施の形態は、エラーメッセージ
を一定の形式のテキストとして出力するものであるが、
同じ情報を異なる形式で操作者に見せることも可能であ
る。例えば、表示している状態遷移表の上でエラー位置
を見せることも可能である。

【００３２】実施の形態４． 図１０は、本発明の実施の形態４によるテスト支援装置
の機能構成図を示す。図１０において、１０１、１０
２、１０４、１７０１、１７０３は図７に示す機能ブロ
ックと同様のものである。１８０２は、マーキング付テ
ストシーケンストレース部１７０１がトレース結果を反
映した内部状態遷移表１７０３を解析して、テスト項目
の不足を判定する不足判定部である。

【００３３】次に実施の形態４の動作について説明す
る。図１１は、不足判定部１８０２の動作を示すフロー
チャートである。不足判定部１８０２は、マーキング付
テストシーケンストレース部１７０１の処理が終了した
状態で、処理が行なわれる。図１１で、内部状態遷移表
１７０３内のすべてのセルを対象セルとして不足判定処
理（２５０１）を行なう。不足判定処理（２５０１）で
は、対象セルの番号リストの要素が０個である場合（２
５０２）、次のエラーメッセージを出力する（２４０
３）。 セル番号：テスト項目に不足あり

【００３４】以上のように本実施の形態によれば、状態
遷移表に基づくテストシーケンス作成において、テスト
シーケンスファイル内に記述されたテストシーケンス群
と、仕様である内部状態遷移表とを比較し、テストシー
ケンスが不足する分をレポートすることができるので、
作成者がマニュアルで作成したテストシーケンスの不足
する部分を見つけることができる。また、実施の形態１
と組み合わせて、不足した分を作業者に示しながらテス
トシーケンスを補充する支援を行なうこともできる。

【００３５】なお、本実施の形態は、エラーメッセージ
を一定の形式のテキストとして出力するものであるが、
同じ情報を異なる形式で操作者に見せることも可能であ
る。例えば、表示している状態遷移表の上でエラー位置
を見せることも可能である。

【００３６】実施の形態５． 図１２は、実施の形態２〜４について、仕様である内部
状態遷移表と、検査対象であるテストシーケンスの間
で、どのようなチェックが行なわれるかを示す図であ
る。図１２で、検査対象はテストシーケンス１（５０
４）とテストシーケンス２（５０５）であり、仕様は内
部状態遷移表５０６である。実施の形態２では、テスト
シーケンス１（５０４）の３番目のテスト項目（ｅ２，
ｓ１，ａ４）のアクションａ４が、内部状態遷移表５０
６上のアクションａ３と異なるので、次のエラーメッセ
ージが出力される（５０１）。 １：ｅ２：ｓ１：ａ４：アクションが異なる 実施の形態３では、テストシーケンス１（５０４）とテ
ストシーケンス２（５０５）が、セル２２で重なってい
るので、次のエラーメッセージが表示される（５０
３）。 ２２：１，２：テスト項目に重複あり 実施の形態４では、テストシーケンス１（５０４）とテ
ストシーケンス２（５０５）が、セル１２を通過しない
ので次のエラーメッセージが表示される。 １２：テスト項目に不足あり

【００３７】なお、実施の形態２〜実施の形態４は、ど
うのように組み合わて用いてもよい。

【００３８】

【発明の効果】請求項１の発明に係るテスト支援装置
は、内部状態遷移表と、遷移表表示部と、テストシーケ
ンス生成部とを備え、内部状態遷移表は、システムの状
態およびシステムへの入力イベントにより指定されるセ
ルにシステムが次に遷移する遷移先状態を記述したマト
リクスデータを含み、遷移表表示部は、上記内部状態遷
移表を獲得し、上記マトリクスデータを表形式で表示
し、テストシーケンス生成部は、（ａ） 上記システムの状態のいずれかを初期状態として
入力され、該初期状態を現在状態とし、その後、 （ｂ）現 在状態に対応し選択された回数である通過回数
が０の候補セルを判別可能なように上記遷移表表示部に
表示する候補セル表示を行い、その後、 （ｃ） 上記遷移表表示部に表示されたマトリクスデータ
からいずれかのセルが選択されると該選択されたセルの
通過回数を更新し、その後、 （ｄ） 該選択されたセルに記述された遷移先状態を現在
状態とし、その後、上記（ｂ）から上記（ｄ）までの動
作を繰り返し、最初の上記（ｃ）の動作において選択さ
れたセル、および上記（ｂ）から（ｄ）までの動作の繰
り返し毎に上記（ｃ）の動作において選択されたセル、
に対応する入力イベントと該選択されたセルに記述され
た遷移先状態を含む組合わせをそれぞれテスト項目とし
て、上記初期状態と上記それぞれのテスト項目とを順次
記録したテストシーケンスを出力するので、現在状態に
対する候補セルを見せ、操作者を順次入力に導いていく
ため、テスト項目のもれや誤りのないテストシーケンス
を作ることができる。

【００３９】請求項２の発明に係るテスト支援装置は、
エラー判定付テストシーケンストレース部をさらに備
え、該エラー判定付テストシーケンストレース部は、（ｅ） 上記テストシーケンスを取込み、該取り込んだテ
ストシーケンスの初期状態を現在状態とし、該取り込ん
だテストシーケンスの最初のテスト項目を対象テスト項
目とし、その後 （ｆ） 現在状態に対応する上記マトリクスデータのセル
のいずれかが対象テスト項目の入力イベントに対応する
選択セルであることをチェックし、その後 （ｇ） 選択セルが存在した場合は該選択セルに記述され
ている遷移先状態を現在状態とするとともに上記取り込
んだテストシーケンスにおける上記対象テスト項目の次
のテスト項目を対象テスト項目として、その後上記
（ｆ）から（ｇ）の動作を繰り返すので、ユーザがマニ
ュアルで作成したテストシーケンスの誤りを検出するこ
とができる。

【００４０】請求項３の発明に係るテスト支援装置は、
上記エラー判定付テストシーケンストレース部は、上記
（ｆ）の動作において現在状態に対応するいずれのセル
も選択セルでない場合はエラー情報を出力するので、ユ
ーザがマニュアルで作成したテストシーケンスの誤りを
検出することができる。

【００４１】請求項４の発明に係るテスト支援装置は、
マーキング付テストシーケンストレース部と重複判定部
をさらに備え、上記テストシーケンスは固有のシーケン
ス番号を有し、上記セルは上記シーケンス番号を記録す
る番号リストを有し、マーキング付テストシーケンスト
レース部は、（ｈ） 上記テストシーケンスを取込み、該取り込んだテ
ストシーケンスの初期状態を現在状態とし、該取り込ん
だテストシーケンスの最初のテスト項目を対象テスト項
目とし、その後 （ｉ）現 在状態に対応する上記マトリクスデータのセル
のいずれかが対象テスト項目の入力イベントに対応する
選択セルであることをチェックし、その後（ｊ） 選択セルが存在した場合は該選択セルの番号リス
トに上記取り込んだテストシーケンスのシーケンス番号
を付加し、該選択セルに記述されている遷移先状態を現
在状態とするとともに上記取り込んだテストシーケンス
における上記対象テスト項目の次のテスト項目を対象テ
スト項目として、その後上記（ｉ）から（ｊ）の動作を
繰り返し、重複判定部は、番号リストに複数のシーケン
ス番号を付加されているセルがある場合にエラーメッセ
ージを出力するので、ユーザがマニュアルで作成したテ
ストシーケンスの冗長な部分を見つけることができる。

【００４２】請求項５の発明に係るテスト支援装置は、
テストシーケンスファイルと、マーキング付テストシー
ケンストレース部と、不足判定部とをさらに備え、上記
テストシーケンスは固有のシーケンス番号を有し、上記
セルはシーケンス番号を記録する番号リストを有し、テ
ストシーケンスファイルは、上記テストシーケンスから
なり、マーキング付テストシーケンストレース部は、（ｈ） 上記テストシーケンスを取込み、該取り込んだテ
ストシーケンスの初期状態を現在状態とし、該取り込ん
だテストシーケンスの最初のテスト項目を対象テスト項
目とし、その後 （ｉ）現 在状態に対応する上記マトリクスデータのセル
のいずれかが対象テスト項目の入力イベントに対応する
選択セルであることをチェックし、その後 （ｊ） 選択セルが存在した場合は該選択セルの番号リス
トに上記取り込んだテストシーケンスのシーケンス番号
を付加し、該選択セルに記述されている遷移先状態を現
在状態とするとともに上記取り込んだテストシーケンス
における上記対象テスト項目の次のテスト項目を対象テ
スト項目として、その後上記（ｉ）から（ｊ）の動作を
繰り返し、不足判定部は上記マーキングテスト付テスト
シーケンス部がテストシーケンスファイルから取り込ん
だすべてのテストシーケンスについて上記（ｉ）と
（ｊ）の動作を終了した後、番号リストにシーケンス番
号を付加されていないセルがある場合にエラーメッセー
ジを出力するので、ユーザがマニュアルで作成したテス
トシーケンスの不足する部分を見つけることができる。

【００４３】請求項６の発明に係るテスト支援装置は、
上記テストシーケンス生成部は、通過回数が０のセルを
判別可能なように上記遷移表表示部に表示するので、現
在状態に対するテスト項目の候補セルを見せ、操作者を
順次入力に導いていくため、テスト項目のもれや誤りの
ないテストシーケンスを作ることができる。

【００４４】請求項７の発明に係るテスト支援装置は、
内部状態遷移表と、テストシーケンスファイルと、エラ
ー判定付テストシーケンストレース部とを備え、内部状
態遷移表は、システムの状態およびシステムへの入力イ
ベントにより指定されるセルにシステムが次に遷移する
遷移先状態を記述したマトリクスデータを含み、テスト
シーケンスファイルは、上記入力イベントの中のいずれ
か１の入力イベントと上記マトリクスデータのセルの中
のいずれか１のセルに記述された遷移先状態とを含む組
合わせをテスト項目として、上記システムの状態のいず
れかである初期状態と１つ以上の上記テスト項目からな
るテストシーケンスを１つ以上含み、エラー判定付テス
トシーケンストレース部は（ｅ） 上記テストシーケンスを取込み、該取り込んだテ
ストシーケンスの初期状態を現在状態とし、該取り込ん
だテストシーケンスの最初のテスト項目を対象テスト項
目とし、その後 （ｆ） 現在状態に対応する上記マトリクスデータのセル
のいずれかが上記対象テスト項目の入力イベントに対応
する選択セルであることをチェックし、その後 （ｇ） 選択セルが存在した場合は該選択セルに記述され
ている遷移先状態を現在状態とするとともに上記取り込
んだテストシーケンスにおける上記対象テスト項目の次
のテスト項目を対象テスト項目として、その後上記
（ｆ）から（ｇ）の動作を繰り返すので、ユーザがマニ
ュアルで作成したテストシーケンスの誤りを検出するこ
とができる。

【００４５】請求項８の発明に係るテスト支援装置は、
上記エラー判定付テストシーケンストレース部はさらに
上記（ｆ）の動作において、上記選択セルに記述された
遷移先状態が上記対象テスト項目に含まれる遷移先状態
と同じであるかどうか比較し、同じでない場合にエラー
情報を出力するので、ユーザがマニュアルで作成したテ
ストシーケンスの誤りを検出することができる。

【００４６】請求項９の発明に係るテスト支援装置は、
内部状態遷移表と、テストシーケンスファイルと、マー
キング付テストシーケンストレース部と、重複判定部と
を備え、内部状態遷移表は、システムの状態およびシス
テムへの入力イベントにより指定されるセルにシステム
が次に遷移する遷移先状態を記述したマトリクスデータ
を含み、テストシーケンスファイルは、上記入力イベン
トの中のいずれか１の入力イベントと上記マトリクスデ
ータのセルの中のいずれか１のセルに記述された遷移先
状態とを含む組合わせをテスト項目として、上記システ
ムの状態のいずれかである初期状態と１つ以上の上記テ
スト項目からなるテストシーケンスを１つ以上含み、マ
ーキング付テストシーケンストレース部は（ｈ） 上記テストシーケンスを取込み、該取り込んだテ
ストシーケンスの初期状態を現在状態とし、該取り込ん
だテストシーケンスの最初のテスト項目を対象テスト項
目とし、その後 （ｉ） 現在状態に対応する上記マトリクスデータのセル
のいずれかが対象テスト項目の入力イベントに対応する
選択セルであることをチェックし、その後 （ｊ） 選択セルが存在した場合は該選択セルの番号リス
トに上記取り込んだテストシーケンスのシーケンス番号
を付加し、該選択セルに記述されている遷移先状態を現
在状態とするとともに上記取り込んだテストシーケンス
における上記対象テスト項目の次のテスト項目を対象テ
スト項目として、その後上記（ｉ）から（ｊ）の動作を
繰り返し、重複判定部は、番号リストに複数のシーケン
ス番号を付加されているセルがある場合にエラーメッセ
ージを出力するので、ユーザがマニュアルで作成したテ
ストシーケンスの冗長な部分を見つけることができる。

【００４７】請求項１０の発明に係るテスト支援装置
は、内部状態遷移表と、テストシーケンスファイルと、
マーキング付テストシーケンストレース部と、不足判定
部とを備え、内部状態遷移表は、システムの状態および
システムへの入力イベントにより指定されシーケンス番
号を記録する番号リストを有する各セルにシステムが次
に遷移する遷移先状態を記述したマトリクスデータを含
み、テストシーケンスファイルは、上記入力イベントの
中のいずれか１の入力イベントと上記マトリクスデータ
のセルの中のいずれか１のセルに記述された遷移先状態
とを含む組合わせをテスト項目として、上記システムの
状態のいずれかである初期状態と１つ以上の上記テスト
項目からなるテストシーケンスを１つ以上含み、マーキ
ングテスト付テストシーケンストレース部は（ｈ） 上記テストシーケンスを取込み、該取り込んだテ
ストシーケンスの初期状態を現在状態とし、該取り込ん
だテストシーケンスの最初のテスト項目を対象テスト項
目とし、その後 （ｉ） 現在状態に対応する上記マトリクスデータのセル
のいずれかが対象テスト項目の入力イベントに対応する
選択セルであることをチェックし、その後 （ｊ） 選択セルが存在した場合は該選択セルの番号リス
トに上記取り込んだテストシーケンスのシーケンス番号
を付加するシーケンス番号付加を行ない、該選択セルに
記述されている遷移先状態を現在状態とするとともに上
記取り込んだテストシーケンスにおける上記対象テスト
項目の次のテスト項目を対象テスト項目として、その後
上記（ｉ）から（ｊ）の動作を上記取り込んだテストシ
ーケンスのテスト項目が無くなるまで繰り返し、不足判
定部は上記マーキングテスト付テストシーケンス部が取
り込んだすべてのテストシーケンスについて上記（ｉ）
と（ｊ）の動作を終了した後、番号リストにシーケンス
番号を付加されていないセルがある場合にエラーメッセ
ージを出力するので、ユーザがマニュアルで作成したテ
ストシーケンスの不足する部分を見つけることができ
る。

【図面の簡単な説明】

【図１】 この発明の実施の形態１におけるテスト支援
装置の機能構成図である。

【図２】 状態遷移表の一例を示す図である。

【図３】 この発明の実施の形態１の動作を示すフロー
チャートである。

【図４】 この発明の実施の形態１におけるテストシー
ケンス生成支援の具体的イメージを示す一例である。

【図５】 この発明の実施の形態２におけるテスト支援
装置の機能構成図である。

【図６】 この発明の実施の形態２の動作を示すフロー
チャートである。

【図７】 この発明の実施の形態３におけるテスト支援
装置の機能構成図である。

【図８】 この発明の実施の形態３におけるマーキング
付きテストシーケンストレース部の動作を示すフローチ
ャートである。

【図９】 この発明の実施の形態３の動作を示すフロー
チャートである。

【図１０】 この発明の実施の形態４におけるテスト支
援装置の機能構成図である。

【図１１】 この発明の実施の形態４の動作を示すフロ
ーチャートである。

【図１２】 この発明の実施の形態５におけるテストシ
ーケンス評価の一例を示す図である。

【図１３】 この発明による従来のテストケース生成装
置の機能構成である。

【符号の説明】

１０１ 状態遷移表、１０２ 状態遷移表入力部、１０
３ 内部状態遷移表、１０４ 遷移表表示部、１０５
テストシーケンス生成部、４０１ エラー判定付テスト
シーケンストレース部、４０３ テストシーケンスファ
イル、１７０１マーキング付テストシーケンストレース
部、１７０２ 重複判定部、１８０２不足判定部。

───────────────────────────────────────────────────── フロントページの続き (56)参考文献 特開 平３−237543（ＪＰ，Ａ) 特開 平７−129430（ＪＰ，Ａ) 特開 平３−209542（ＪＰ，Ａ) 特開 平７−319730（ＪＰ，Ａ) 特開 平７−168709（ＪＰ，Ａ) 特開 平２−224139（ＪＰ，Ａ) 特開 平２−127849（ＪＰ，Ａ) 特開 昭63−148747（ＪＰ，Ａ) (58)調査した分野(Int.Cl.⁷，ＤＢ名) G06F 11/22 - 11/36

Claims (10)

(57)【特許請求の範囲】
1. 【請求項１】 内部状態遷移表と、遷移表表示部と、テ
   ストシーケンス生成部とを備え、 内部状態遷移表は、 システムの状態およびシステムへの入力イベントにより
   指定されるセルにシステムが次に遷移する遷移先状態を
   記述したマトリクスデータを含み、 遷移表表示部は、 上記内部状態遷移表を獲得し、上記マトリクスデータを
   表形式で表示し、 テストシーケンス生成部は、（ａ） 上記システムの状態のいずれかを初期状態として
   入力され、該初期状態を現在状態とし、その後、 （ｂ）現 在状態に対応し選択された回数である通過回数
   が０の候補セルを判別可能なように上記遷移表表示部に
   表示する候補セル表示を行い、その後、 （ｃ） 上記遷移表表示部に表示されたマトリクスデータ
   からいずれかのセルが選択されると該選択されたセルの
   通過回数を更新し、その後、 （ｄ） 該選択されたセルに記述された遷移先状態を現在
   状態とし、その後 、上記（ｂ）から上記（ｄ）までの動作を繰り返し、 最初の上記（ｃ）の動作において選択されたセル、およ
   び上記（ｂ）から（ｄ）までの動作の 繰り返し毎に上記
   （ｃ）の動作において選択されたセル、に対応する入力
   イベントと該選択されたセルに記述された遷移先状態を
   含む組合わせをそれぞれテスト項目として、 上記初期状態と上記それぞれのテスト項目とを順次記録
   したテストシーケンスを出力することを特徴とするテス
   ト支援装置。
2. 【請求項２】 エラー判定付テストシーケンストレース
   部をさらに備え、 該エラー判定付テストシーケンストレース部は、（ｅ） 上記テストシーケンスを取込み、該取り込んだテ
   ストシーケンスの初期状態を現在状態とし、該取り込ん
   だテストシーケンスの最初のテスト項目を対象テスト項
   目とし、その後 （ｆ） 現在状態に対応する上記マトリクスデータのセル
   のいずれかが対象テスト項目の入力イベントに対応する
   選択セルであることをチェックし、その後 （ｇ） 選択セルが存在した場合は該選択セルに記述され
   ている遷移先状態を現在状態とするとともに上記取り込
   んだテストシーケンスにおける上記対象テスト項目の次
   のテスト項目を対象テスト項目として、その後 上記（ｆ）から（ｇ）の動作を繰り返すことを特
   徴とする請求項１に記載のテスト支援装置。
3. 【請求項３】 上記エラー判定付テストシーケンストレ
   ース部は、 上記（ｆ）の動作において現在状態に対応するいずれの
   セルも選択セルでない場合はエラー情報を出力すること
   を特徴とする請求項２に記載のテスト支援装置。
4. 【請求項４】 マーキング付テストシーケンストレース
   部と重複判定部をさらに備え、 上記テストシーケンスは固有のシーケンス番号を有し、
   上記セルは上記シーケンス番号を記録する番号リストを
   有し、 マーキング付テストシーケンストレース部は、（ｈ） 上記テストシーケンスを取込み、該取り込んだテ
   ストシーケンスの初期状態を現在状態とし、該取り込ん
   だテストシーケンスの最初のテスト項目を対象テスト項
   目とし、その後 （ｉ）現 在状態に対応する上記マトリクスデータのセル
   のいずれかが対象テスト項目の入力イベントに対応する
   選択セルであることをチェックし、 その後（ｊ） 選択セルが存在した場合は該選択セルの番号リス
   トに上記取り込んだテストシーケンスのシーケンス番号
   を付加し、該選択セルに記述されている遷移先状態を現
   在状態とするとともに上記取り込んだテストシーケンス
   における上記対象テスト項目の次のテスト項目を対象テ
   スト項目として、その後 上記（ｉ）から（ｊ）の動作を繰り返し、 重複判定部は、 番号リストに複数のシーケンス番号を付加されているセ
   ルがある場合にエラーメッセージを出力することを特徴
   とする請求項１に記載のテスト支援装置。
5. 【請求項５】 テストシーケンスファイルと、マーキン
   グ付テストシーケンストレース部と、不足判定部とをさ
   らに備え、 上記テストシーケンスは固有のシーケンス番号を有し、
   上記セルはシーケンス番号を記録する番号リストを有
   し、 テストシーケンスファイルは、上記テストシーケンスか
   らなり、 マーキング付テストシーケンストレース部は、（ｈ） 上記テストシーケンスを取込み、該取り込んだテ
   ストシーケンスの初期状態を現在状態とし、該取り込ん
   だテストシーケンスの最初のテスト項目を対象テスト項
   目とし、その後 （ｉ）現 在状態に対応する上記マトリクスデータのセル
   のいずれかが対象テスト項目の入力イベントに対応する
   選択セルであることをチェックし、その後 （ｊ） 選択セルが存在した場合は該選択セルの番号リス
   トに上記取り込んだテストシーケンスのシーケンス番号
   を付加し、該選択セルに記述されている遷移先状態を現
   在状態とするとともに上記取り込んだテストシーケンス
   における上記対象テスト項目の次のテスト項目を対象テ
   スト項目として、その後 上記（ｉ）から（ｊ）の動作を繰り返し、 不足判定部は上記マーキングテスト付テストシーケンス
   部がテストシーケンスファイルから取り込んだすべての
   テストシーケンスについて上記（ｉ）と（ｊ）の動作を
   終了した後、番号リストにシーケンス番号を付加されて
   いないセルがある場合にエラーメッセージを出力するこ
   とを特徴とする請求項１に記載のテスト支援装置。
6. 【請求項６】 上記テストシーケンス生成部は、通過回
   数が０のセルを判別可能なように上記遷移表表示部に表
   示することを特徴とする請求項１から請求項５のいずれ
   かに記載のテスト支援装置。
7. 【請求項７】 内部状態遷移表と、テストシーケンスフ
   ァイルと、エラー判定付テストシーケンストレース部と
   を備え、 内部状態遷移表は、 システムの状態およびシステムへの入力イベントにより
   指定されるセルにシステムが次に遷移する遷移先状態を
   記述したマトリクスデータを含み、 テストシーケンスファイルは、 上記入力イベントの中のいずれか１の入力イベントと上
   記マトリクスデータのセルの中のいずれか１のセルに記
   述された遷移先状態とを含む組合わせをテスト項目とし
   て、上記システムの状態のいずれかである初期状態と１
   つ以上の上記テスト項目からなるテストシーケンスを１
   つ以上含み、 エラー判定付テストシーケンストレース部は（ｅ） 上記テストシーケンスを取込み、該取り込んだテ
   ストシーケンスの初期状態を現在状態とし、該取り込ん
   だテストシーケンスの最初のテスト項目を対象テスト項
   目とし、その後 （ｆ） 現在状態に対応する上記マトリクスデータのセル
   のいずれかが上記対象テスト項目の入力イベントに対応
   する選択セルであることをチェックし、その後 （ｇ） 選択セルが存在した場合は該選択セルに記述され
   ている遷移先状態を現在状態とするとともに上記取り込
   んだテストシーケンスにおける上記対象テスト項目の次
   のテスト項目を対象テスト項目として、その後 上記（ｆ）から（ｇ）の動作を繰り返すことを特徴とす
   るテスト支援装置。
8. 【請求項８】 上記エラー判定付テストシーケンストレ
   ース部はさらに上記（ｆ）の動作において、 上記選択セルに記述された遷移先状態が上記対象テスト
   項目に含まれる遷移先状態と同じであるかどうか比較
   し、同じでない場合にエラー情報を出力することを特徴
   とする請求項２または請求項７に記載のテスト支援装
   置。
9. 【請求項９】 内部状態遷移表と、テストシーケンスフ
   ァイルと、マーキング付テストシーケンストレース部
   と、重複判定部とを備え、 内部状態遷移表は、 システムの状態およびシステムへの入力イベントにより
   指定されるセルにシステムが次に遷移する遷移先状態を
   記述したマトリクスデータを含み、 テストシーケンスファイルは、 上記入力イベントの中のいずれか１の入力イベントと上
   記マトリクスデータのセルの中のいずれか１のセルに記
   述された遷移先状態とを含む組合わせをテスト項目とし
   て、上記システムの状態のいずれかである初期状態と１
   つ以上の上記テスト項目からなるテストシーケンスを１
   つ以上含み、 マーキング付テストシーケンストレース部は（ｈ） 上記テストシーケンスを取込み、該取り込んだテ
   ストシーケンスの初期状態を現在状態とし、該取り込ん
   だテストシーケンスの最初のテスト項目を対象テスト項
   目とし、その後 （ｉ）現 在状態に対応する上記マトリクスデータのセル
   のいずれかが対象テスト項目の入力イベントに対応する
   選択セルであることをチェックし、その後 （ｊ） 選択セルが存在した場合は該選択セルの番号リス
   トに上記取り込んだテストシーケンスのシーケンス番号
   を付加し、該選択セルに記述されている遷移先状態を現
   在状態とするとともに上記取り込んだテストシーケンス
   における上記対象テスト項目の次のテスト項目を対象テ
   スト項目として、その後 上記（ｉ）から（ｊ）の動作を繰り返し、 重複判定部は、 番号リストに複数のシーケンス番号を付加されているセ
   ルがある場合にエラーメッセージを出力することを特徴
   とするテスト支援装置。
10. 【請求項１０】 内部状態遷移表と、テストシーケンス
    ファイルと、マーキング付テストシーケンストレース部
    と、不足判定部とを備え、 内部状態遷移表は、 システムの状態およびシステムへの入力イベントにより
    指定されシーケンス番号を記録する番号リストを有する
    各セルにシステムが次に遷移する遷移先状態を記述した
    マトリクスデータを含み、 テストシーケンスファイルは、 上記入力イベントの中のいずれか１の入力イベントと上
    記マトリクスデータのセルの中のいずれか１のセルに記
    述された遷移先状態とを含む組合わせをテスト項目とし
    て、上記システムの状態のいずれかである初期状態と１
    つ以上の上記テスト項目からなるテストシーケンスを１
    つ以上含み、 マーキングテスト付テストシーケンストレース部は（ｈ） 上記テストシーケンスを取込み、該取り込んだテ
    ストシーケンスの初期状態を現在状態とし、該取り込ん
    だテストシーケンスの最初のテスト項目を対象テスト項
    目とし、その後 （ｉ）現 在状態に対応する上記マトリクスデータのセル
    のいずれかが対象テスト項目の入力イベントに対応する
    選択セルであることをチェックし、その後 （ｊ） 選択セルが存在した場合は該選択セルの番号リス
    トに上記取り込んだテストシーケンスのシーケンス番号
    を付加するシーケンス番号付加を行ない、該選択セルに
    記述されている遷移先状態を現在状態とするとともに上
    記取り込んだテストシーケンスにおける上記対象テスト
    項目の次のテスト項目を対象テスト項目として、その後 上記（ｉ）から（ｊ）の動作を上記取り込んだテストシ
    ーケンスのテスト項目が無くなるまで繰り返し、 不足判定部は上記マーキングテスト付テストシーケンス
    部が取り込んだすべてのテストシーケンスについて上記
    （ｉ）と（ｊ）の動作を終了した後、番号リストにシー
    ケンス番号を付加されていないセルがある場合にエラー
    メッセージを出力することを特徴とするテスト支援装
    置。