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

Abstract

(57)【要約】 【課題】 ソフトウェア開発において、対象システムの
テストを行なうためのテストシーケンスを作成する作業
を、誤りなくスムーズに入力することを可能とすること
を課題としている。 【解決手段】 複数のセルに、次に遷移する状態及び遷
移時に実行される動作を含むテスト仕様と当該セルの通
過回数とが記録される内部状態遷移表１０３と、この内
部状態遷移表１０３を入力し表示する遷移表表示部１０
４と、この表示された内部状態遷移表中のセルが操作者
により選択される操作を解釈し、この選択されたセルの
通過回数を更新するとともに、選択されたセルに記述さ
れている前記テスト仕様を出力するテストシーケンス生
成部１０５とを備えたものである。

Description

【発明の詳細な説明】

【０００１】

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

【０００２】

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

【０００３】

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

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

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

【０００６】

【課題を解決するための手段】第１の発明は、複数のセ
ルに、次に遷移する状態及び遷移時に実行される動作を
含むテスト仕様と当該セルの通過回数とが記録される内
部状態遷移表と、この内部状態遷移表を入力し表示する
遷移表表示部と、この表示された内部状態遷移表中のセ
ルが操作者により選択される操作を解釈し、この選択さ
れたセルの通過回数を更新するとともに、選択されたセ
ルに記述されている前記テスト仕様を出力するテストシ
ーケンス生成部とを備えたものである。

【０００７】第２の発明は、システムにより予め定義さ
れた前記テスト仕様が記述されているテストシーケンス
ファイルと、このテストシーケンスファイルに記述され
た前記テスト仕様と前記テストシーケンス生成部により
出力された前記テスト仕様とを比較するテストシーケン
ストレース部とを備えたものである。

【０００８】第３の発明は、システムにより予め定義さ
れた前記テスト仕様が記述されているテストシーケンス
ファイルと、このテストシーケンスファイル中の前記テ
スト仕様に該当する項目が前記テストシーケンス生成部
により更新された前記内部状態遷移表中に存在するか否
かをマークするマーキング部と、このマーキング部によ
りマークされた前記内部状態遷移表を解析し、テスト項
目の重複を判定する重複判定部とを備えたものである。

【０００９】第４の発明は、システムにより予め定義さ
れた前記テスト仕様が記述されているテストシーケンス
ファイルと、このテストシーケンスファイル中の前記テ
スト仕様に該当する項目が前記テストシーケンス生成部
により更新された前記内部状態遷移表中に存在するか否
かをマークするマーキング部と、このマーキング部によ
りマークされた前記内部状態遷移表を解析し、テスト項
目の不足を判定する不足判定部とを備えたものである。

【００１０】第５の発明は、次に遷移する状態とこの状
態遷移を引き起こすイベントとが含まれる状態遷移表
と、この状態遷移表中に含まれる前記状態と前記イベン
トとを抽出するイベント状態抽出部と、この抽出された
状態とイベントとに基づいて、イベントの内容を定義し
たイベント状態定義表を生成するイベント状態定義生成
部とを備えたものである。

【００１１】第６の発明は、状態遷移を引き起こすイベ
ントの内容がシステムにより予め定義されたイベント状
態定義ファイルと、前記イベント状態抽出部により抽出
されたイベントが前記イベント状態定義ファイル中に存
在するか否かをチエックするイベント状態照合部とを備
えたものである。

【００１２】第７の発明は、前記イベント状態照合部の
チエックにより、前記イベント状態抽出部により抽出さ
れたイベントが前記イベント状態定義ファイル中に存在
しなかった場合に、前記抽出されたイベントの内容を前
記イベント状態定義ファイルに追加するイベント状態定
義追加部を備えたものである。

【００１３】

【発明の実施の形態】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

【００３５】実施の形態６．図１３は、本発明の実施の
形態６によるテスト支援装置の機能構成図を示す。図１
３において、１０１は図１に示す状態遷移表１０１と同
様のものである。７０１は、状態遷移表１０１を入力
し、状態遷移表１０１内に含まれるイベントと状態を抽
出するイベント状態抽出部であり、７０２は、抽出され
たイベントと状態を入力しイベント状態定義表７０３の
雛型を生成するイベント状態定義生成部である。７０４
は生成したイベント状態定義を編集するためのイベント
状態定義エディタである。

【００３６】イベント状態定義表７０３は、論理名、Ｉ
Ｄ、イベント状態種別、定義の４つの項目をもつ表であ
る。従来、テストシーケンスを入力し、プログラムを自
動的にテストするテスト自動実行システムでは、このイ
ベント状態定義表７０３を入力して、プログラム中の実
アドレスと、テストシーケンス中のイベントと状態との
対応を取っている。定義は、マクロ識別子を用いた算術
（不）等式の論理演算で表現される。定義例を以下に示
す。 例１）イベント「初期化」は、プログラム内のラベルＭ
＿１０にプログラムが到達したときと定義する。 初期化，１，ＥＶＥＮＴ，！Ｍ＿１０ 例２）イベント「値変更」は、変数マクロ名ＩＮＰの内
容が書かれるときに、バイト長比較で、ＯＨ以上５Ｈ以
下になったときである。 値変更，２，ＥＶＥＮＴ，０Ｈ≦（ＩＮＰ，ＢＹＴＥ）
≦５Ｈ 例３）状態「変更中」は、変数マクロ名ＩＮＰの２ビッ
ト目がオンのときである。 変更中，３，ＳＴＡＴＥ，（ＩＮＰ，ＢＩＴ，２）＝１

【００３７】次に本実施の形態の動作について説明す
る。図１４は、本実施の形態の動作を示すフローチャー
トである。まず、イベント状態抽出部７０１が状態遷移
表１０１を入力し、同表内のすべてのイベントと状態を
抽出する（９０１）。次にイベント状態定義生成部７０
２が、シーケンス番号に１を代入し、抽出された各イベ
ントと状態を対象として、イベントＩＤ付加処理（９０
２）を繰り返した後、イベント状態定義表７０３への出
力（９０７）を行なう。ＩＤ付加処理（９０２）におい
ては、シーケンス番号をイベントと状態に付加して（９
０３）、シーケンス番号を１つインクリメントする（９
０５）。

【００３８】図１５は、本実施の形態の動作を説明する
例である。図１５において、８０１は入力となる状態遷
移表であり、８０２は出力となるイベント状態定義表の
雛型である。状態遷移表８０１において、イベントと状
態は、ｅ１，ｅ２，ｓ１，ｓ２であり、８０２にはその
論理名、ＩＤ、イベント状態種別が出力される。定義に
ついてはＵＮＤＥＦと出力している。図１６は、図１５
に示したイベント状態定義表の雛型８０２を入力した直
後のイベント状態定義エディタ７０４の画面例である。
このイベント状態定義エディタ７０４を用いて操作者
は、各イベントと状態の定義を入力することができる。

【００３９】以上のように本実施の形態によれば、状態
遷移表に基づくテスト自動実行システムへの入力データ
としてイベント状態定義を作成する場合において、仕様
である状態遷移表内のイベントと状態を用いて定義され
たテストシーケンスに対して、操作者が過不足なくイベ
ントと状態の定義を与えることを強要するので、誤りが
混入し難いという利点がある。

【００４０】実施の形態７．図１７は、本発明の実施の
形態７によるテスト支援装置の機能構成図を示す。図１
７において、１０１、７０１、７０３は図１３に示すも
のと同様のものである。１００１は、イベント状態抽出
部７０１からの出力と、イベント状態定義ファイル７０
５からの出力を照合するイベント状態照合部である。１
００２はイベント状態照合部１００１の出力結果を示す
エラーリポートである。

【００４１】次に本実施の形態の動作について説明す
る。図１８は、本実施の形態の動作を示すフローチャー
トである。まず、イベント状態抽出部７０１が状態遷移
表１０１を入力し、同表内のすべてのイベントと状態を
抽出する（９０１）。その後、イベント状態照合部１０
０１が、状態遷移表１０１より抽出したイベントと状態
を対象イベント／状態として照合処理（１２０１）を行
ない、全イベント状態定義列に対してイベント状態定義
チェック（１２０８）を行ない、エラーメッセージの出
力（１２１２）を行ない、終了する。照合処理（１２０
１）においては、全イベント状態定義列について個別照
合処理（１２０２）を行なう。個別照合処理（１２０
２）においては、状態遷移表１０１から抽出したイベン
ト状態が、イベント状態定義ファイル７０５にあれば
（１２０３）、そのイベント状態定義ファイル７０５の
列にマークし（１２０４）、次の照合処理（１２０１）
を行なう。そうでなければ再度個別総合処理を行なう。
すべてのイベント状態定義列についてチェックを行なっ
た結果一致するものがない場合には、エラーメッセージ
の作成１（１２０６）において次のエラーメッセージを
作成する。 イベント状態定義：ＩＤ：イベント状態の定義がない さらに、イベント状態チェックについてのイベント状態
定義チェック（１２０８）において、対象イベント状態
定義列にマークがないかどうかをチェックする。マーク
がない場合、エラーメッセージの作成２（１２１０）に
おいて次のエラーメッセージを作成する。 イベント状態の定義：ＩＤ：遷移表にイベント状態の定
義がない エラーメッセージの出力（１２１２）においては、エラ
ーメッセージの作成１（１２０６）とエラーメッセージ
の作成２（１２１０）で作られたエラーメッセージをエ
ラーレポート（１００２）として出力する。

【００４２】以上のように本実施の形態によれば、状態
遷移表に基づくテストシーケンス作成において、仕様で
ある状態遷移表内で使われるイベントと状態と、イベン
ト状態定義表で定義されたイベントと状態の過不足を調
べることができるので、テスト自動実行システムへの入
力であるテストシーケンスを解釈する上で必要なイベン
ト状態定義を誤りなく定義することができ、スムーズに
テスト自動実行を行なうことが可能となる。

【００４３】実施の形態８．図１９は、本発明の実施の
形態８によるテスト支援装置の機能構成図を示す。図１
９において、１０１、７０４、７０５は図１３に示すも
のと同様のものである。１３０１は、イベント状態抽出
部７０１からの出力と、イベント状態定義ファイル７０
５からの出力を照合するイベント状態照合部である。１
３０２はイベント状態照合部１３０１の出力結果を示す
エラーリポートである。１３０３はイベント状態照合部
１３０１の出力であるイベント状態名を基にイベント状
態定義ファイル７０５に新たなイベント状態定義の雛型
を追加するイベント状態定義生成部である。

【００４４】次に本実施の形態の動作について説明す
る。図２０は、本実施の形態の動作を示すフローチャー
トである。図２０において、（９０１）は図１４のフロ
ーチャートに示されるものと同じ処理を行なう。イベン
ト状態照合部１３０１が行なう照合処理（１２０１）に
おいては、図１７のイベント照合部１００１おける図１
８の照合処理（１２０１）に、（１３０１）の新イベン
ト状態定義生成の処理が加わった以外は同じである。
（１３０１）では、イベント状態定義列の中で、遷移表
内に存在しないものは、新イベント状態定義として、イ
ベント状態定義生成部１３０３へ出力される。さらに、
（１２０９）〜（１２１２）は図１８のものと全く同じ
である、（１３０２）では、シーケンス番号にイベント
状態定義表内のＩＤ番号の最大値に１を足した数字を代
入し、ＩＤ付加処理（９０２）とイベント状態定義表へ
の出力（９０７）を行なう。（９０２）（９０７）は図
１４に示すものと全く同じ処理である。

【００４５】以上のように本実施の形態によれば、状態
遷移表に基づくテストシーケンス作成において、イベン
ト状態定義表と仕様である状態遷移表とを比較し、イベ
ント状態定義として足りないものは新たに定義を促した
り、余計なイベント状態定義を検出したりすることがで
きるので、仕様の変更が頻繁に起こる場合、すでに作ら
れているテストシーケンスとそこで使われるイベント状
態定義と仕様との整合性を保つことが容易となる。

【００４６】

【発明の効果】第１の発明によれば、次に遷移する状態
及び遷移時に実行される動作を含むテスト仕様と当該セ
ルの通過回数とが記録される内部状態遷移表を表示する
遷移表表示部と、この表示された内部状態遷移表中のセ
ルが操作者により選択される操作を解釈し、この選択さ
れたセルの通過回数を更新するとともに、選択されたセ
ルに記述されている前記テスト仕様を出力するテストシ
ーケンス生成部とを備えたことにより、現在状態に対す
るテスト項目の候補セルを見せ操作者を順次入力導いて
いくため、テスト項目のもれや誤りのないテストシーケ
ンスを作ることができる。

【００４７】第２の発明によれば、システムにより予め
定義された前記テスト仕様が記述されているテストシー
ケンスファイルと、このテストシーケンスファイルに記
述された前記テスト仕様と前記テストシーケンス生成部
により出力された前記テスト仕様とを比較するテストシ
ーケンストレース部とを備えたことにより、ユーザがマ
ニュアルで作成したテストシーケンスの誤りを検出する
ことができる。さらに、仕様自体への変更に対し、既に
存在するテストシーケンスが新しい仕様に適合している
かどうかをチェックすることができるので、仕様の変更
にともなうテストシーケンスの再作成を効率良く行なう
ことができる。

【００４８】第３の発明によれば、システムにより予め
定義された前記テスト仕様が記述されているテストシー
ケンスファイルと、このテストシーケンスファイル中の
前記テスト仕様に該当する項目が前記テストシーケンス
生成部により更新された前記内部状態遷移表中に存在す
るか否かをマークするマーキング部と、このマーキング
部によりマークされた前記内部状態遷移表を解析し、テ
スト項目の重複を判定する重複判定部とを備えたことに
より、ユーザがマニュアルで作成したテストシーケンス
の冗長な部分を見つけることができる。

【００４９】第４の発明によれば、システムにより予め
定義された前記テスト仕様が記述されているテストシー
ケンスファイルと、このテストシーケンスファイル中の
前記テスト仕様に該当する項目が前記テストシーケンス
生成部により更新された前記内部状態遷移表中に存在す
るか否かをマークするマーキング部と、このマーキング
部によりマークされた前記内部状態遷移表を解析し、テ
スト項目の不足を判定する不足判定部とを備えたことに
より、ユーザがマニュアルで作成したテストシーケンス
の不足する部分を見つけることができる。

【００５０】第５の発明によれば、次に遷移する状態と
この状態遷移を引き起こすイベントとが含まれる状態遷
移表と、この状態遷移表中に含まれる前記状態と前記イ
ベントとを抽出するイベント状態抽出部と、この抽出さ
れた状態とイベントとに基づいて、イベントの内容を定
義したイベント状態定義表を生成するイベント状態定義
生成部とを備えたことにより、操作者が過不足なくイベ
ントと状態の定義を与えることができる。

【００５１】第６の発明によれば、状態遷移を引き起こ
すイベントの内容がシステムにより予め定義されたイベ
ント状態定義ファイルと、前記イベント状態抽出部によ
り抽出されたイベントが前記イベント状態定義ファイル
中に存在するか否かをチエックするイベント状態照合部
とを備えたことにより、テスト自動実行システムへの入
力であるテストシーケンスを解釈する上で必要なイベン
ト状態定義を誤りなく定義することができる。

【００５２】第７の発明によれば、前記イベント状態照
合部のチエックにより、前記イベント状態抽出部により
抽出されたイベントが前記イベント状態定義ファイル中
に存在しなかった場合に、前記抽出されたイベントの内
容を前記イベント状態定義ファイルに追加するイベント
状態定義追加部を備えたことにより、仕様の変更が頻繁
に起こる場合、すでに作られているテストシーケンスと
そこで使われるイベント状態定義と仕様との整合性を保
つことが容易となる。

【図面の簡単な説明】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

【図１５】 この発明の実施の形態６の入出力例を示し
た図である。

【図１６】 この発明の実施の形態６におけるイベント
状態定義エディタの画面例である。

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

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

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

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

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

【符号の説明】

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

Claims (7)

【特許請求の範囲】
1. 【請求項１】 複数のセルに、次に遷移する状態及び遷
   移時に実行される動作を含むテスト仕様と当該セルの通
   過回数とが記録される内部状態遷移表と、 この内部状態遷移表を入力し表示する遷移表表示部と、 この表示された内部状態遷移表中のセルが操作者により
   選択される操作を解釈し、この選択されたセルの通過回
   数を更新するとともに、選択されたセルに記述されてい
   る前記テスト仕様を出力するテストシーケンス生成部と
   を備えたことを特徴とするテスト支援装置。
2. 【請求項２】 システムにより予め定義された前記テス
   ト仕様が記述されているテストシーケンスファイルと、 このテストシーケンスファイルに記述された前記テスト
   仕様と前記テストシーケンス生成部により出力された前
   記テスト仕様とを比較するテストシーケンストレース部
   とを備えたことを特徴とする請求項１記載のテスト支援
   装置。
3. 【請求項３】 システムにより予め定義された前記テス
   ト仕様が記述されているテストシーケンスファイルと、 このテストシーケンスファイル中の前記テスト仕様に該
   当する項目が前記テストシーケンス生成部により更新さ
   れた前記内部状態遷移表中に存在するか否かをマークす
   るマーキング部と、 このマーキング部によりマークされた前記内部状態遷移
   表を解析し、テスト項目の重複を判定する重複判定部と
   を備えたことを特徴とする請求項１記載のテスト支援装
   置。
4. 【請求項４】 システムにより予め定義された前記テス
   ト仕様が記述されているテストシーケンスファイルと、 このテストシーケンスファイル中の前記テスト仕様に該
   当する項目が前記テストシーケンス生成部により更新さ
   れた前記内部状態遷移表中に存在するか否かをマークす
   るマーキング部と、 このマーキング部によりマークされた前記内部状態遷移
   表を解析し、テスト項目の不足を判定する不足判定部と
   を備えたことを特徴とする請求項１記載のテスト支援装
   置。
5. 【請求項５】 次に遷移する状態とこの状態遷移を引き
   起こすイベントとが含まれる状態遷移表と、 この状態遷移表中に含まれる前記状態と前記イベントと
   を抽出するイベント状態抽出部と、 この抽出された状態とイベントとに基づいて、イベント
   の内容を定義したイベント状態定義表を生成するイベン
   ト状態定義生成部とを備えたことを特徴とするテスト支
   援装置。
6. 【請求項６】 状態遷移を引き起こすイベントの内容が
   システムにより予め定義されたイベント状態定義ファイ
   ルと、 前記イベント状態抽出部により抽出されたイベントが前
   記イベント状態定義ファイル中に存在するか否かをチエ
   ックするイベント状態照合部とを備えたことを特徴とす
   る請求項５記載のテスト支援装置。
7. 【請求項７】 前記イベント状態照合部のチエックによ
   り、前記イベント状態抽出部により抽出されたイベント
   が前記イベント状態定義ファイル中に存在しなかった場
   合に、前記抽出されたイベントの内容を前記イベント状
   態定義ファイルに追加するイベント状態定義追加部を備
   えたことを特徴とする請求項６記載のテスト支援装置。