JPH10198579A - 状態遷移ルート抽出装置 - Google Patents

Abstract

(57)【要約】 【課題】 できるだけ少ない数で且つできるだけ多くの
パターンを含むように状態遷移ルートを高効率的に生成
・抽出することである。 【解決手段】 記憶手段１には複数の状態、該状態に変
化をもたらす要因、該要因が発生した場合に実行すべき
処理及び該処理を実行した後の遷移先の状態を含む状態
遷移表データが格納されている。第１指定手段２により
開始状態及び終了状態を指定し、第２指定手段３により
除外条件を指定する。除外条件としては、同一ループが
重複する場合、同一状態が重複する場合、同一ルートが
重複する場合、自己ループがある場合等がある。ルート
生成手段４は、状態遷移表データについての開始状態か
ら終了状態に至る全ての状態遷移ルートのうち、第２指
定手段３により指定された除外条件に該当する状態遷移
ルートを除外した状態遷移ルートを生成し、表示手段５
に視覚的に表示する。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、状態遷移表データ
から状態遷移ルートを生成・抽出する状態遷移ルート抽
出装置に関する。

【０００２】近年、コンピュータ・プログラムは複雑
化、大規模化が著しく、その信頼性確保のための試験に
は膨大な手間と時間を要している。そこで、かかる試験
を高効率的に行うための技術が必要となる。

【０００３】

【従来の技術】コンピュータ・プログラムの製作におい
ては、一般に状態遷移表が作成され、この状態遷移表に
基づき、あるいはこれを参照して、ソースプログラムが
自動あるいは手動で作成される。そして、その試験は、
作成されたソースプログラムを実際に実行し、シミュレ
ータにより模擬的に実行し、あるいはプログラム内容を
試験プログラムや人的作業によって解析することにより
行われている。

【０００４】

【発明が解決しようとする課題】このようなソースプロ
グラムの試験は信頼性確保の観点から勿論必要なもので
あるが、状態遷移表の段階で、その論理やその他の試験
を行って不具合を発見し、できるだけその修正を施して
おけば、ソースプログラムの段階での試験に要する手間
や時間を大幅に縮減することができる。

【０００５】ここで、状態遷移表の段階で試験を行なお
うとした場合、開始状態から終了状態に至る状態遷移ル
ート（経路）は、プログラムの複雑化や大規模化ともあ
いまって極めて多数である。そして、これらの全ての状
態遷移ルートを生成し、その試験を行うことができれ
ば、より信頼性を高くすることができることはいうまで
もないが、その数の膨大さから考えて、非常に困難ある
いは重複等も存在することから非効率的である。従っ
て、できるだけ少ない数で且つできるだけ多くのパター
ンを含むように状態遷移ルートを生成・抽出する必要が
ある。

【０００６】本発明はこのような点に鑑みてなされたも
のであり、その目的とするところは、できるだけ少ない
数で且つできるだけ多くのパターンを含むように状態遷
移ルートを高効率的に生成・抽出することができる状態
遷移ルート抽出装置を提供することである。

【０００７】

【課題を解決するための手段】本願において開示される
発明のうち、代表的なものの概要を簡単に説明すれば、
以下のとおりである。

【０００８】本発明の状態遷移ルート抽出装置は、図１
に示されるように、複数の状態、該状態に変化をもたら
す要因、該要因が発生した場合に実行すべき処理、及び
該処理を実行した後の遷移先の状態を含む状態遷移表デ
ータが格納される状態遷移表記憶手段１と、開始状態及
び終了状態を入力指定する第１指定手段２と、除外条件
を入力指定する第２指定手段３と、前記状態遷移表デー
タについての前記第１指定手段２により指定された開始
状態から終了状態に至る全ての状態遷移ルートのうち、
前記第２指定手段３により指定された除外条件に該当す
る状態遷移ルートを除外した状態遷移ルートを生成する
ルート生成手段４と、必要に応じて該ルート生成手段４
により生成された状態遷移ルートを視覚的に表示する表
示手段５とを備えて構成される。

【０００９】前記除外条件としては、例えば、状態遷移
ルート中に一の状態から他の単一の又は複数の状態を経
て該一の状態に遷移するル−プが重複して存在する場合
を除外する同一ループ除外、状態遷移ルート中に同一の
状態が重複して存在する場合を除外する同一状態除外、
及び状態遷移ルート中に一の状態から一の要因により他
の状態に遷移することが重複して存在する場合を除外す
る同一遷移除外、のうちのいずれかとすることができ
る。

【００１０】また、前記除外条件としては、前記同一ル
ープ除外、前記同一状態除外、及び前記同一遷移除外の
うちのいずれかと、一の状態から他の状態を経ずに該一
の状態に遷移する自己ループを除外する自己ループ除
外、及び一の状態遷移ルート中に含まれる全ての状態及
び要因が他の状態遷移ルートに含まれる場合に、該一の
ルートを除外する全遷移通過最小パターン、のうちのい
ずれかとの組合せとすることができる。

【００１１】本発明によると、第１指定手段により開始
状態及び終了状態を指定し、第２指定手段により前記の
ような除外条件を指定するようにしている。例えば、前
記同一ループ除外を例にとると、状態遷移ルート中に同
一ループが複数存在する場合には、同一ループは通常は
１回試験を実施してその正当性が確認できれば、殆どの
場合にはそれで十分であり、同一ループを複数回含む状
態遷移ルートを試験した場合に誤動作等が全く無いとは
保証し得ないけれども、かなりの確率で正当であろうこ
とが推定でき、あえて同一ループを複数回含む状態遷移
ルートを試験することは労力に比較して得るものが少な
い。他の除外条件についても同様であり、試験内容に応
じて必要最小限となるような除外条件を指定すれば良
い。

【００１２】このように、本発明による状態遷移ルート
抽出装置は、開始状態及び終了状態を指定するととも
に、除外条件を指定して状態遷移ルートの数を減少させ
るようにしたから、試験内容に応じてできるだけ少ない
数で且つできるだけ多くのパターンを含むように状態遷
移ルートを生成・抽出することが可能である。

【００１３】従って、状態遷移表の段階で試験を高効率
的に実施することができるようになり、その後に実施さ
れるソースプログラムの試験における手間や時間を大幅
に縮減することができる。

【００１４】

【発明の実施の形態】以下、本発明の種々の実施の形態
を図面を参照して詳細に説明する。図２は、以下に示す
本発明の実施の形態において使用する状態遷移表の一例
であり、この状態遷移表はデータ化されて、メモリ（図
１の状態遷移表記憶手段１）に予め格納されている。

【００１５】状態遷移表データは、同図に示されている
ように、複数の状態（状態１〜状態４）、該状態に変化
をもたらす要因（要因Ａ〜要因Ｅ）、該要因が発生した
場合に実行すべき処理（処理ア〜キ）、及び該処理を実
行した後の遷移先の状態（状態１〜状態４）を含むデー
タである。

【００１６】図２において、例えば、状態１と要因Ａに
着目すると、状態１にあるときに、要因Ａが生じると、
処理アを実行して状態２になることを示している。な
お、図２中、「×」はその要因を無視することを意味す
る。図２に示されている状態遷移表データの内容の理解
を容易とするため、図３にこれに対応する状態遷移図を
示した。

【００１７】また、以下に示す実施の形態においては、
特にことわらない限り、図１の第１指定手段により開始
状態として「状態１」を、終了状態として同じく「状態
１」を指定したものとして説明する。

【００１８】なお、状態遷移表の中に、指定された終了
状態に至ることができない状態が存在する場合には、該
終了状態に至ることができない状態を含む状態遷移ルー
トテスト項目は無視することにする。

【００１９】〔第１の実施の形態〕本発明の第１の実施
の形態を、図４〜図６を参照して説明する。図４は、除
外条件として「同一ループ除外」且つ「自己ループ除
外」を指定した場合の処理を示すフローチャートであ
る。なお、「同一ループ除外」とは、状態遷移ルート中
に一の状態から他の単一の又は複数の状態を経て該一の
状態に戻るル−プが重複して存在する場合を除外する除
外条件を意味し、「自己ループ除外」とは、一の状態か
ら他の状態を経ずに該一の状態に遷移する場合である自
己ループを除外する除外条件を意味する。

【００２０】まず、作業変数としての状態ｘを第１指定
手段により指定された開始状態（この場合は「状態
１」）とし（ＳＴ１）、状態ｘについての要因に対して
の遷移先を全て調査したか否かを判断する（ＳＴ２）。

【００２１】ＳＴ２において、状態ｘについての要因に
対しての遷移先を全て調査していないと判断した場合
（Ｎｏの場合）には、状態ｘについての各要因のうちの
一の要因（状態ｘについての該一の要因について既に処
理済みの場合には、未だ処理していない次ぎの要因）に
対しての遷移先を調査し（ＳＴ３）、遷移先が「要因無
視」の場合、即ち図２で「×」の場合には、そのルート
を削除して（ＳＴ４）、ＳＴ２に戻る。

【００２２】ＳＴ３において、遷移先が「自状態」の場
合には、自己ループであるから、そのルートを削除して
（ＳＴ４′）、ＳＴ２に戻る。ＳＴ３において、遷移先
が「自状態以外」の場合には、遷移先状態が最終状態
（この場合は「状態１」）であるか否かを判断し（ＳＴ
５）、最終状態でない場合（Ｎｏの場合）には、ルート
（状態ｘから該当する要因により該当する遷移先の状態
に至るルート）を追加作成し（ＳＴ６）、作成したルー
ト（開始状態からＳＴ６において追加されたルートまで
のルート）内に繰り返しルートが存在するか否か、即
ち、同一ループが重複して存在しているか否かを判断す
る（ＳＴ７）。

【００２３】ＳＴ７において、繰り返しルートが存在す
る場合（Ｙｅｓの場合）には、そのルートを削除し（Ｓ
Ｔ８）、ＳＴ２に戻り、繰り返しルートが存在しない場
合（Ｎｏの場合）には、何もせずにＳＴ２に戻る。ＳＴ
５において、遷移先状態が最終状態であると判断した場
合（Ｙｅｓの場合）には、ＳＴ６でこれまでに追加作成
したルートを状態遷移ルートテスト項目として抽出して
（ＳＴ９）、ＳＴ２に戻る。

【００２４】ＳＴ２において、状態ｘについての要因に
対しての遷移先を全て調査したと判断した場合（Ｙｅｓ
の場合）には、全ての状態について調査したか否かを判
断し（ＳＴ１０）、全ての状態について調査していない
と判断した場合（Ｎｏの場合）には、状態ｘを次ぎの状
態とし（ＳＴ１１）、ＳＴ２に進み同様の処理を繰り返
す。

【００２５】ＳＴ１０において、全ての状態について調
査したと判断した場合（Ｙｅｓの場合）には、追加作成
されたルートが有るか否かを判断し（ＳＴ１２）、追加
作成されたルートが有る場合（Ｙｅｓの場合）にはＳＴ
１１に戻り、追加作成されたルートが無い場合には、Ｓ
Ｔ９で抽出された全ての状態遷移ルートテスト項目をデ
ィスプレイ（図１の表示手段）に表示し（ＳＴ１３）、
この処理を終了する。

【００２６】図２に示した状態遷移表データを図４のフ
ローチャートによって処理すると、図５に示すような途
中経過を経て、図６に示す結果がディスプレイ上に表示
される。図５中、数字の１〜４は状態を示し、Ａ〜Ｅは
要因を示し、×は除外項目に該当するために削除される
ルートを示し、○は状態遷移ルートテスト項目として抽
出するルートを示している。

【００２７】図５において、まず開始状態としての状態
１にあるときに要因Ａが生じると状態２に遷移し（Ｓ
１）、この状態２にあるときに要因Ｄが生じると状態１
に遷移し（Ｓ２）、このルート「１→２→１」は、図６
の「０００１」の欄に示されているように、状態遷移ル
ートテスト項目として抽出される。

【００２８】Ｓ１により状態２にあるときに要因Ｂが生
じると状態３に遷移し（Ｓ３）、この状態３にあるとき
に要因Ｅが生じると状態３に遷移し（Ｓ４）、このルー
トは自己ループを含むので削除される。

【００２９】Ｓ３により状態３にあるときに要因Ｃが生
じると状態４に遷移し（Ｓ５）、この状態４にあるとき
に要因Ｄが生じると状態１に遷移し（Ｓ６）、このルー
ト「１→２→３→４→１」は、図６の「０００３」の欄
に示されているように、状態遷移ルートテスト項目とし
て抽出される。

【００３０】Ｓ３により状態３にあるときに要因Ａが生
じると状態２に遷移し（Ｓ７）、この状態２にあるとき
に要因Ｄが生じると状態１に遷移し（Ｓ８）、このルー
ト「１→２→３→２→１」は、図６の「０００２」の欄
に示されているように、状態遷移ルートテスト項目とし
て抽出される。

【００３１】Ｓ７により状態２にあるときに要因Ｂが生
じると状態３に遷移し（Ｓ９）、この状態３にあるとき
に要因Ｅが生じると状態３に遷移し（Ｓ１０）、このル
ートは自己ループを含むので削除される。

【００３２】Ｓ９により状態３にあるときに要因Ｃが生
じると状態４に遷移し（Ｓ１１）、この状態４にあると
きに要因Ｄが生じると状態１に遷移し（Ｓ１２）、この
ルート「１→２→３→２→３→４→１」は、図６の「０
００４」の欄に示されているように、状態遷移ルートテ
スト項目として抽出される。

【００３３】Ｓ９により状態３にあるときに要因Ａが生
じると状態２に遷移し（Ｓ１３）、このルート中には、
「２→３→２」というループが２度繰り返されて存在し
ているので、このルートは削除される。

【００３４】このような処理の結果、図６に示されてい
るように、図２に示した状態遷移表データから状態遷移
ルートテスト項目として、４個の状態遷移ルートが抽出
された。

【００３５】〔第２の実施の形態〕本発明の第２の実施
の形態を、図７〜図９を参照して説明する。図７は、除
外条件として「同一ループ除外」のみ指定し、「自己ル
ープ除外」を指定しない場合の処理を示すフローチャー
トである。なお、「同一ループ除外」とは、状態遷移ル
ート中に一の状態から他の単一の又は複数の状態を経て
該一の状態に戻るル−プが重複して存在する場合を除外
する除外条件を意味し、「自己ループ除外」とは、一の
状態から他の状態を経ずに該一の状態に遷移する場合で
ある自己ループを除外する除外条件を意味する。

【００３６】まず、作業変数としての状態ｘを第１指定
手段により指定された開始状態（この場合は「状態
１」）とし（ＳＴ１）、状態ｘについての要因に対して
の遷移先を全て調査したか否かを判断する（ＳＴ２）。

【００３７】ＳＴ２において、状態ｘについての要因に
対しての遷移先を全て調査していないと判断した場合
（Ｎｏの場合）には、状態ｘについての各要因のうちの
一の要因（状態ｘについての該一の要因について既に処
理済みの場合には、未だ処理していない次ぎの要因）に
対しての遷移先を調査し（ＳＴ３）、遷移先が「要因無
視」の場合、即ち図２で「×」の場合には、そのルート
を削除して（ＳＴ４）、ＳＴ２に戻る。

【００３８】ＳＴ３において、遷移先が「自状態」の場
合、及び遷移先が「自状態以外」の場合には、遷移先状
態が最終状態（この場合は「状態１」）であるか否かを
判断し（ＳＴ５）、最終状態でない場合（Ｎｏの場合）
には、ルート（状態ｘから該当する要因により該当する
遷移先の状態に至るルート）を追加作成し（ＳＴ６）、
作成したルート（開始状態からＳＴ６において追加され
たルートまでのルート）内に繰り返しルートが存在する
か否か、即ち、同一ループが重複して存在しているか否
かを判断する（ＳＴ７）。

【００３９】ＳＴ７において、繰り返しルートが存在す
る場合（Ｙｅｓの場合）には、そのルートを削除し（Ｓ
Ｔ８）、ＳＴ２に戻り、繰り返しルートが存在しない場
合（Ｎｏの場合）には、何もせずにＳＴ２に戻る。ＳＴ
５において、遷移先状態が最終状態であると判断した場
合（Ｙｅｓの場合）には、ＳＴ６でこれまでに追加作成
したルートを状態遷移ルートテスト項目として抽出して
（ＳＴ９）、ＳＴ２に戻る。

【００４０】ＳＴ２において、状態ｘについての要因に
対しての遷移先を全て調査したと判断した場合（Ｙｅｓ
の場合）には、全ての状態について調査したか否かを判
断し（ＳＴ１０）、全ての状態について調査していない
と判断した場合（Ｎｏの場合）には、状態ｘを次ぎの状
態とし（ＳＴ１１）、ＳＴ２に進み同様の処理を繰り返
す。

【００４１】ＳＴ１０において、全ての状態について調
査したと判断した場合（Ｙｅｓの場合）には、追加作成
されたルートが有るか否かを判断し（ＳＴ１２）、追加
作成されたルートが有る場合（Ｙｅｓの場合）にはＳＴ
１１に戻り、追加作成されたルートが無い場合には、Ｓ
Ｔ９で抽出された全ての状態遷移ルートテスト項目をデ
ィスプレイ（図１の表示手段）に表示し（ＳＴ１３）、
この処理を終了する。

【００４２】図２に示した状態遷移表データを図７のフ
ローチャートによって処理すると、図８に示すような途
中経過を経て、図９に示す結果がディスプレイ上に表示
される。図８中、数字の１〜４は状態を示し、Ａ〜Ｅは
要因を示し、×は除外項目に該当するために削除される
ルートを示し、○は状態遷移ルートテスト項目として抽
出するルートを示している。

【００４３】図８において、まず開始状態としての状態
１にあるときに要因Ａが生じると状態２に遷移し（Ｓ
１）、この状態２にあるときに要因Ｄが生じると状態１
に遷移し（Ｓ２）、このルート「１→２→１」は、図９
の「０００１」の欄に示されているように、状態遷移ル
ートテスト項目として抽出される。

【００４４】Ｓ１により状態２にあるときに要因Ｂが生
じると状態３に遷移し（Ｓ３）、この状態３にあるとき
に要因Ｅが生じると状態３に遷移し（Ｓ４）、この状態
３にあるときに要因Ｅが生じると状態３に遷移し（Ｓ
５）、このルート中には、「３→３」というループが２
度繰り返されて存在しているので、このルートは削除さ
れる。

【００４５】Ｓ４により状態３にあるときに要因Ｃが生
じると状態４に遷移し（Ｓ６）、この状態４にあるとき
に要因Ｄが生じると状態１に遷移し（Ｓ７）、このルー
ト「１→２→３→３→４→１」は、図９の「０００５」
の欄に示されているように、状態遷移ルートテスト項目
として抽出される。

【００４６】Ｓ４により状態３にあるときに要因Ａが生
じると状態２に遷移し（Ｓ８）、この状態２にあるとき
に要因Ｄが生じると状態１に遷移し（Ｓ９）、このルー
ト「１→２→３→３→２→１」は、図９の「０００３」
の欄に示されているように、状態遷移ルートテスト項目
として抽出される。

【００４７】Ｓ８により状態２にあるときに要因Ｂが生
じると状態３に遷移し（Ｓ１０）、この状態３にあると
きに要因Ｅが生じると状態３に遷移し（Ｓ１１）、この
ルート中には、「３→３」というループが２度繰り返さ
れて存在しているので、このルートは削除される。

【００４８】Ｓ１０により状態３にあるときに要因Ｃが
生じると状態４に遷移し（Ｓ１２）、この状態４にある
ときに要因Ｄが生じると状態１に遷移し（Ｓ１３）、こ
のルート「１→２→３→３→２→３→４→１」は、図９
の「０００７」の欄に示されているように、状態遷移ル
ートテスト項目として抽出される。

【００４９】Ｓ１０により状態３にあるときに要因Ａが
生じると状態２に遷移し（Ｓ１４）、この状態２にある
ときに要因Ｄが生じると状態１に遷移し（Ｓ１５）、こ
のルート「１→２→３→３→２→３→２→１」は、図９
の「０００９」の欄に示されているように、状態遷移ル
ートテスト項目として抽出される。

【００５０】Ｓ１４により状態２にあるときに要因Ｂが
生じると状態３に遷移し（Ｓ１６）、このルート中に
は、「３→２→３」というループが２度繰り返されて存
在しているので、このルートは削除される。

【００５１】Ｓ３により状態３にあるときに要因Ｃが生
じると状態４に遷移し（Ｓ１７）、この状態４にあると
きに要因Ｄが生じると状態１に遷移し（Ｓ１８）、この
ルート「１→２→３→４→１」は、図９の「０００４」
の欄に示されているように、状態遷移ルートテスト項目
として抽出される。

【００５２】Ｓ３により状態３にあるときに要因Ａが生
じると状態２に遷移し（Ｓ１９）、この状態２にあると
きに要因Ｄが生じると状態１に遷移し（Ｓ２０）、この
ルート「１→２→３→２→１」は、図９の「０００２」
の欄に示されているように、状態遷移ルートテスト項目
として抽出される。

【００５３】Ｓ１９により状態２にあるときに要因Ｂが
生じると状態３に遷移し（Ｓ２１）、この状態３にある
ときに要因Ｅが生じると状態３に遷移し（Ｓ２２）、こ
の状態３にあるときに要因Ｅが生じると状態３に遷移し
（Ｓ２３）、このルート中には、「３→３」というルー
プが２度繰り返されて存在しているので、このルートは
削除される。

【００５４】Ｓ２２により状態３にあるときに要因Ｃが
生じると状態４に遷移し（Ｓ２４）、この状態４にある
ときに要因Ｄが生じると状態１に遷移し（Ｓ２５）、こ
のルート「１→２→３→２→３→３→４→１」は、図９
の「０００８」の欄に示されているように、状態遷移ル
ートテスト項目として抽出される。

【００５５】Ｓ２２により状態３にあるときに要因Ａが
生じると状態２に遷移し（Ｓ２６）、この状態２にある
ときに要因Ｄが生じると状態１に遷移し（Ｓ２７）、こ
のルート「１→２→３→２→３→３→２→１」は、図９
の「００１０」の欄に示されているように、状態遷移ル
ートテスト項目として抽出される。

【００５６】Ｓ２６により状態２にあるときに要因Ｂが
生じると状態３に遷移し（Ｓ２８）、このルート中に
は、「３→２→３」というループが２度繰り返されて存
在しているので、このルートは削除される。

【００５７】Ｓ２１により状態３にあるときに要因Ｃが
生じると状態４に遷移し（Ｓ２９）、この状態４にある
ときに要因Ｄが生じると状態１に遷移し（Ｓ３０）、こ
のルート「１→２→３→２→３→４→１」は、図９の
「０００６」の欄に示されているように、状態遷移ルー
トテスト項目として抽出される。

【００５８】Ｓ２１により状態３にあるときに要因Ａが
生じると状態２に遷移し（Ｓ３１）、このルート中に
は、「２→３→２」というループが２度繰り返されて存
在しているので、このルートは削除される。

【００５９】このような処理の結果、図９に示されてい
るように、図２に示した状態遷移表データから状態遷移
ルートテスト項目として、１０個の状態遷移ルートが抽
出された。

【００６０】〔第３の実施の形態〕本発明の第３の実施
の形態を、図１０〜図１２を参照して説明する。図１０
は、除外条件として「同一状態除外」を指定した場合の
処理を示すフローチャートである。なお、「同一状態除
外」とは、状態遷移ルート中に同一の状態が重複して存
在する場合を除外する除外条件を意味し、一の状態から
他の状態を経ずに該一の状態に遷移する場合である自己
ループを除外する除外条件である「自己ループ除外」は
当然にこの「同一状態除外」に含まれる。

【００６１】まず、作業変数としての状態ｘを第１指定
手段により指定された開始状態（この場合は「状態
１」）とし（ＳＴ１）、状態ｘについての要因に対して
の遷移先を全て調査したか否かを判断する（ＳＴ２）。

【００６２】ＳＴ２において、状態ｘについての要因に
対しての遷移先を全て調査していないと判断した場合
（Ｎｏの場合）には、状態ｘについての各要因のうちの
一の要因（状態ｘについての該一の要因について既に処
理済みの場合には、未だ処理していない次ぎの要因）に
対しての遷移先を調査し（ＳＴ３）、遷移先が「要因無
視」の場合、即ち図２で「×」の場合には、そのルート
を削除して（ＳＴ４）、ＳＴ２に戻る。

【００６３】ＳＴ３において、遷移先が「自状態」の場
合には、同一の状態が重複して存在する自己ループであ
るから、そのルートを削除して（ＳＴ４′）、ＳＴ２に
戻る。ＳＴ３において、遷移先が「自状態以外」の場合
には、遷移先状態が最終状態（この場合は「状態１」）
であるか否かを判断し（ＳＴ５）、最終状態でない場合
（Ｎｏの場合）には、ルート（状態ｘから該当する要因
により該当する遷移先の状態に至るルート）を追加作成
し（ＳＴ６）、作成したルート（開始状態からＳＴ６に
おいて追加されたルートまでのルート）内に同一の状態
が重複して存在しているか否かを判断する（ＳＴ７）。

【００６４】ＳＴ７において、同一の状態が重複して存
在する場合（Ｙｅｓの場合）には、そのルートを削除し
（ＳＴ８）、ＳＴ２に戻り、同一の状態が重複して存在
しない場合（Ｎｏの場合）には、何もせずにＳＴ２に戻
る。ＳＴ５において、遷移先状態が最終状態であると判
断した場合（Ｙｅｓの場合）には、ＳＴ６でこれまでに
追加作成したルートを状態遷移ルートテスト項目として
抽出して（ＳＴ９）、ＳＴ２に戻る。

【００６５】ＳＴ２において、状態ｘについての要因に
対しての遷移先を全て調査したと判断した場合（Ｙｅｓ
の場合）には、全ての状態について調査したか否かを判
断し（ＳＴ１０）、全ての状態について調査していない
と判断した場合（Ｎｏの場合）には、状態ｘを次ぎの状
態とし（ＳＴ１１）、ＳＴ２に進み同様の処理を繰り返
す。

【００６６】ＳＴ１０において、全ての状態について調
査したと判断した場合（Ｙｅｓの場合）には、追加作成
されたルートが有るか否かを判断し（ＳＴ１２）、追加
作成されたルートが有る場合（Ｙｅｓの場合）にはＳＴ
１１に戻り、追加作成されたルートが無い場合には、Ｓ
Ｔ９で抽出された全ての状態遷移ルートテスト項目をデ
ィスプレイ（図１の表示手段）に表示し（ＳＴ１３）、
この処理を終了する。

【００６７】図２に示した状態遷移表データを図１０の
フローチャートによって処理すると、図１１に示すよう
な途中経過を経て、図１２に示す結果がディスプレイ上
に表示される。図１１中、数字の１〜４は状態を示し、
Ａ〜Ｅは要因を示し、×は除外項目に該当するために削
除されるルートを示し、○は状態遷移ルートテスト項目
として抽出するルートを示している。

【００６８】図１１において、まず開始状態としての状
態１にあるときに要因Ａが生じると状態２に遷移し（Ｓ
１）、この状態２にあるときに要因Ｄが生じると状態１
に遷移し（Ｓ２）、このルート「１→２→１」は、図１
２の「０００１」の欄に示されているように、状態遷移
ルートテスト項目として抽出される。

【００６９】Ｓ１により状態２にあるときに要因Ｂが生
じると状態３に遷移し（Ｓ３）、この状態３にあるとき
に要因Ｅが生じると状態３に遷移し（Ｓ４）、このルー
トは「状態３」を２回通過するので削除される。

【００７０】Ｓ３により状態３にあるときに要因Ｃが生
じると状態４に遷移し（Ｓ５）、この状態４にあるとき
に要因Ｄが生じると状態１に遷移し（Ｓ６）、このルー
ト「１→２→３→４→１」は、図１２の「０００２」の
欄に示されているように、状態遷移ルートテスト項目と
して抽出される。Ｓ３により状態３にあるときに要因Ａ
が生じると状態２に遷移し（Ｓ７）、このルートは「状
態２」を２回通過するので削除される。

【００７１】このような処理の結果、図１２に示されて
いるように、図２に示した状態遷移表データから状態遷
移ルートテスト項目として、２個の状態遷移ルートが抽
出された。

【００７２】〔第４の実施の形態〕本発明の第４の実施
の形態を、図１３〜図１５を参照して説明する。図１３
は、除外条件として「同一遷移除外」且つ「自己ループ
除外」を指定した場合の処理を示すフローチャートであ
る。なお、「同一遷移除外」とは、状態遷移ルート中に
一の状態から一の要因により他の状態に遷移することが
重複して存在する場合を除外する除外条件を意味し、
「自己ループ除外」とは、一の状態から他の状態を経ず
に該一の状態に遷移する場合である自己ループを除外す
る除外条件を意味する。

【００７３】まず、作業変数としての状態ｘを第１指定
手段により指定された開始状態（この場合は「状態
１」）とし（ＳＴ１）、状態ｘについての要因に対して
の遷移先を全て調査したか否かを判断する（ＳＴ２）。

【００７４】ＳＴ２において、状態ｘについての要因に
対しての遷移先を全て調査していないと判断した場合
（Ｎｏの場合）には、状態ｘについての各要因のうちの
一の要因（状態ｘについての該一の要因について既に処
理済みの場合には、未だ処理していない次ぎの要因）に
対しての遷移先を調査し（ＳＴ３）、遷移先が「要因無
視」の場合、即ち図２で「×」の場合には、そのルート
を削除して（ＳＴ４）、ＳＴ２に戻る。

【００７５】ＳＴ３において、遷移先が「自状態」の場
合には、自己ループであるから、そのルートを削除して
（ＳＴ４′）、ＳＴ２に戻る。ＳＴ３において、遷移先
が「自状態以外」の場合には、遷移先状態が最終状態
（この場合は「状態１」）であるか否かを判断し（ＳＴ
５）、最終状態でない場合（Ｎｏの場合）には、ルート
（状態ｘから該当する要因により該当する遷移先の状態
に至るルート）を追加作成し（ＳＴ６）、作成したルー
ト（開始状態からＳＴ６において追加されたルートまで
のルート）内に同一ルートが存在するか否か、即ち、一
の状態から一の要因により他の状態に遷移することが重
複して存在するか否かを判断する（ＳＴ７）。

【００７６】ＳＴ７において、同一ルートが存在する場
合（Ｙｅｓの場合）には、そのルートを削除し（ＳＴ
８）、ＳＴ２に戻り、同一ルートが存在しない場合（Ｎ
ｏの場合）には、何もせずにＳＴ２に戻る。ＳＴ５にお
いて、遷移先状態が最終状態であると判断した場合（Ｙ
ｅｓの場合）には、ＳＴ６でこれまでに追加作成したル
ートを状態遷移ルートテスト項目として抽出して（ＳＴ
９）、ＳＴ２に戻る。

【００７７】ＳＴ２において、状態ｘについての要因に
対しての遷移先を全て調査したと判断した場合（Ｙｅｓ
の場合）には、全ての状態について調査したか否かを判
断し（ＳＴ１０）、全ての状態について調査していない
と判断した場合（Ｎｏの場合）には、状態ｘを次ぎの状
態とし（ＳＴ１１）、ＳＴ２に進み同様の処理を繰り返
す。

【００７８】ＳＴ１０において、全ての状態について調
査したと判断した場合（Ｙｅｓの場合）には、追加作成
されたルートが有るか否かを判断し（ＳＴ１２）、追加
作成されたルートが有る場合（Ｙｅｓの場合）にはＳＴ
１１に戻り、追加作成されたルートが無い場合には、Ｓ
Ｔ９で抽出された全ての状態遷移ルートテスト項目をデ
ィスプレイ（図１の表示手段）に表示し（ＳＴ１３）、
この処理を終了する。

【００７９】図２に示した状態遷移表データを図１３の
フローチャートによって処理すると、図１４に示すよう
な途中経過を経て、図１５に示す結果がディスプレイ上
に表示される。図１４中、数字の１〜４は状態を示し、
Ａ〜Ｅは要因を示し、×は除外項目に該当するために削
除されるルートを示し、○は状態遷移ルートテスト項目
として抽出するルートを示している。

【００８０】図１４において、まず開始状態としての状
態１にあるときに要因Ａが生じると状態２に遷移し（Ｓ
１）、この状態２にあるときに要因Ｄが生じると状態１
に遷移し（Ｓ２）、このルート「１→２→１」は、図１
５の「０００１」の欄に示されているように、状態遷移
ルートテスト項目として抽出される。

【００８１】Ｓ１により状態２にあるときに要因Ｂが生
じると状態３に遷移し（Ｓ３）、この状態３にあるとき
に要因Ｅが生じると状態３に遷移し（Ｓ４）、このルー
トは自己ループを含むので削除される。

【００８２】Ｓ３により状態３にあるときに要因Ｃが生
じると状態４に遷移し（Ｓ５）、この状態４にあるとき
に要因Ｄが生じると状態１に遷移し（Ｓ６）、このルー
ト「１→２→３→４→１」は、図１５の「０００３」の
欄に示されているように、状態遷移ルートテスト項目と
して抽出される。

【００８３】Ｓ３により状態３にあるときに要因Ａが生
じると状態２に遷移し（Ｓ７）、この状態２にあるとき
に要因Ｄが生じると状態１に遷移し（Ｓ８）、このルー
ト「１→２→３→２→１」は、図１５の「０００２」の
欄に示されているように、状態遷移ルートテスト項目と
して抽出される。

【００８４】Ｓ７により状態２にあるときに要因Ｂが生
じると状態３に遷移し（Ｓ９）、このルート中では、
「２→３」というルートを２度通過したので、即ち、状
態２から要因Ｂにより状態３に遷移することが重複して
存在しているので、このルートは削除される。

【００８５】このような処理の結果、図１５に示されて
いるように、図２に示した状態遷移表データから状態遷
移ルートテスト項目として、３個の状態遷移ルートが抽
出された。

【００８６】〔第５の実施の形態〕本発明の第５の実施
の形態を、図１６〜図１８を参照して説明する。図１６
は、除外条件として「同一遷移除外」のみ指定し、「自
己ループ除外」を指定しない場合の処理を示すフローチ
ャートである。なお、「同一遷移除外」とは、状態遷移
ルート中に一の状態から一の要因により他の状態に遷移
することが重複して存在する場合を除外する除外条件を
意味し、「自己ループ除外」とは、一の状態から他の状
態を経ずに該一の状態に遷移する場合である自己ループ
を除外する除外条件を意味する。

【００８７】まず、作業変数としての状態ｘを第１指定
手段により指定された開始状態（この場合は「状態
１」）とし（ＳＴ１）、状態ｘについての要因に対して
の遷移先を全て調査したか否かを判断する（ＳＴ２）。

【００８８】ＳＴ２において、状態ｘについての要因に
対しての遷移先を全て調査していないと判断した場合
（Ｎｏの場合）には、状態ｘについての各要因のうちの
一の要因（状態ｘについての該一の要因について既に処
理済みの場合には、未だ処理していない次ぎの要因）に
対しての遷移先を調査し（ＳＴ３）、遷移先が「要因無
視」の場合、即ち図２で「×」の場合には、そのルート
を削除して（ＳＴ４）、ＳＴ２に戻る。ＳＴ３におい
て、遷移先が「自状態」の場合、及び遷移先が「自状態
以外」の場合には、遷移先状態が最終状態（この場合は
「状態１」）であるか否かを判断し（ＳＴ５）、最終状
態でない場合（Ｎｏの場合）には、ルート（状態ｘから
該当する要因により該当する遷移先の状態に至るルー
ト）を追加作成し（ＳＴ６）、作成したルート（開始状
態からＳＴ６において追加されたルートまでのルート）
内に同一ルートが存在するか否か、即ち、一の状態から
一の要因により他の状態に遷移することが重複して存在
するか否かを判断する（ＳＴ７）。

【００８９】ＳＴ７において、同一ルートが存在する場
合（Ｙｅｓの場合）には、そのルートを削除し（ＳＴ
８）、ＳＴ２に戻り、同一ルートが存在しない場合（Ｎ
ｏの場合）には、何もせずにＳＴ２に戻る。ＳＴ５にお
いて、遷移先状態が最終状態であると判断した場合（Ｙ
ｅｓの場合）には、ＳＴ６でこれまでに追加作成したル
ートを状態遷移ルートテスト項目として抽出して（ＳＴ
９）、ＳＴ２に戻る。

【００９０】ＳＴ２において、状態ｘについての要因に
対しての遷移先を全て調査したと判断した場合（Ｙｅｓ
の場合）には、全ての状態について調査したか否かを判
断し（ＳＴ１０）、全ての状態について調査していない
と判断した場合（Ｎｏの場合）には、状態ｘを次ぎの状
態とし（ＳＴ１１）、ＳＴ２に進み同様の処理を繰り返
す。

【００９１】ＳＴ１０において、全ての状態について調
査したと判断した場合（Ｙｅｓの場合）には、追加作成
されたルートが有るか否かを判断し（ＳＴ１２）、追加
作成されたルートが有る場合（Ｙｅｓの場合）にはＳＴ
１１に戻り、追加作成されたルートが無い場合には、Ｓ
Ｔ９で抽出された全ての状態遷移ルートテスト項目をデ
ィスプレイ（図１の表示手段）に表示し（ＳＴ１３）、
この処理を終了する。

【００９２】図２に示した状態遷移表データを図１６の
フローチャートによって処理すると、図１７に示すよう
な途中経過を経て、図１８に示す結果がディスプレイ上
に表示される。図１７中、数字の１〜４は状態を示し、
Ａ〜Ｅは要因を示し、×は除外項目に該当するために削
除されるルートを示し、○は状態遷移ルートテスト項目
として抽出するルートを示している。

【００９３】図１７において、まず開始状態としての状
態１にあるときに要因Ａが生じると状態２に遷移し（Ｓ
１）、この状態２にあるときに要因Ｄが生じると状態１
に遷移し（Ｓ２）、このルート「１→２→１」は、図１
８の「０００１」の欄に示されているように、状態遷移
ルートテスト項目として抽出される。

【００９４】Ｓ１により状態２にあるときに要因Ｂが生
じると状態３に遷移し（Ｓ３）、この状態３にあるとき
に要因Ｅが生じると状態３に遷移し（Ｓ４）、この状態
３にあるときに要因Ｅが生じると状態３に遷移し（Ｓ
５）、このルート中では、「３→３」というルートを２
度通過しているので、このルートは削除される。

【００９５】Ｓ４により状態３にあるときに要因Ｃが生
じると状態４に遷移し（Ｓ６）、この状態４にあるとき
に要因Ｄが生じると状態１に遷移し（Ｓ７）、このルー
ト「１→２→３→３→４→１」は、図１８の「０００
５」の欄に示されているように、状態遷移ルートテスト
項目として抽出される。

【００９６】Ｓ４により状態３にあるときに要因Ａが生
じると状態２に遷移し（Ｓ８）、この状態２にあるとき
に要因Ｄが生じると状態１に遷移し（Ｓ９）、このルー
ト「１→２→３→３→２→１」は、図１８の「０００
３」の欄に示されているように、状態遷移ルートテスト
項目として抽出される。

【００９７】Ｓ８により状態２にあるときに要因Ｂが生
じると状態３に遷移し（Ｓ１０）、このルート中では、
「２→３」というルートを２度通過しているので、この
ルートは削除される。

【００９８】Ｓ３により状態３にあるときに要因Ｃが生
じると状態４に遷移し（Ｓ１１）、この状態４にあると
きに要因Ｄが生じると状態１に遷移し（Ｓ１２）、この
ルート「１→２→３→４→１」は、図１８の「０００
４」の欄に示されているように、状態遷移ルートテスト
項目として抽出される。

【００９９】Ｓ３により状態３にあるときに要因Ａが生
じると状態２に遷移し（Ｓ１３）、この状態２にあると
きに要因Ｄが生じると状態１に遷移し（Ｓ１４）、この
ルート「１→２→３→２→１」は、図１８の「０００
２」の欄に示されているように、状態遷移ルートテスト
項目として抽出される。

【０１００】Ｓ１３により状態２にあるときに要因Ｂが
生じると状態３に遷移し（Ｓ１５）、このルート中で
は、「２→３」というルートを２度通過しているので、
このルートは削除される。

【０１０１】このような処理の結果、図１８に示されて
いるように、図２に示した状態遷移表データから状態遷
移ルートテスト項目として、５個の状態遷移ルートが抽
出された。

【０１０２】〔第６の実施の形態〕本発明の第６の実施
の形態を、図１９〜図２１を参照して説明する。図１９
は、除外条件として「同一遷移除外」（「自己ループ除
外」は指定しない）と、「全遷移通過最小パターン」を
組み合わせたものを指定した場合の処理を示すフローチ
ャートである。

【０１０３】なお、「同一遷移除外」とは、状態遷移ル
ート中に一の状態から一の要因により他の状態に遷移す
ることが重複して存在する場合を除外する除外条件を意
味し、「自己ループ除外」とは、一の状態から他の状態
を経ずに該一の状態に遷移する場合である自己ループを
除外する除外条件を意味し、「全遷移通過最小パター
ン」とは、一の状態遷移ルート中に含まれる全ての状態
及び要因が他の状態遷移ルートに含まれる場合に、該一
のルートを除外する除外条件を意味する。

【０１０４】まず、図１６に示した前記第５の実施の形
態における処理を行い（ＳＴ１）、「同一遷移除外」
（「自己ループ除外」は指定しない）を除外条件とし
て、状態遷移ルートテスト項目を抽出する。次いで、Ｓ
Ｔ１で抽出された全ての状態遷移ルートテスト項目につ
いて調査したか否かを判断する（ＳＴ２）。

【０１０５】ＳＴ２において、全ての状態遷移ルートテ
スト項目について調査していないと判断した場合（Ｎｏ
の場合）には、一の状態遷移ルートテスト項目が他の状
態遷移ルートテスト項目に含まれるか否かを判断する
（ＳＴ３）。

【０１０６】ＳＴ３において、一の状態遷移ルートテス
ト項目が他の状態遷移ルートテスト項目に含まれる場合
（Ｙｅｓの場合）には、その状態遷移ルートテスト項目
を削除して（ＳＴ４）、ＳＴ２に戻り、一の状態遷移ル
ートテスト項目が他の状態遷移ルートテスト項目に含ま
れない場合（Ｎｏの場合）には、その状態遷移ルートテ
スト項目を削除せずにＳＴ２に戻り、次ぎの状態遷移ル
ートテスト項目について同様の処理を繰り返す。

【０１０７】ＳＴ２において、全ての状態遷移ルートテ
スト項目について調査したと判断した場合（Ｙｅｓの場
合）には、ＳＴ４で削除されずに残った全ての状態遷移
ルートテスト項目について調査したか否かを判断する
（ＳＴ５）。

【０１０８】ＳＴ５において、残った全ての状態遷移ル
ートテスト項目について調査していないと判断した場合
（Ｎｏの場合）には、残った一の状態遷移ルートテスト
項目が残った他の全ての状態遷移ルートテスト項目の和
集合に含まれるか否かを判断する（ＳＴ６）。

【０１０９】ＳＴ６において、残った一の状態遷移ルー
トテスト項目が残った他の全ての状態遷移ルートテスト
項目の和集合に含まれる場合（Ｙｅｓの場合）には、そ
の状態遷移ルートテスト項目を削除して（ＳＴ７）、Ｓ
Ｔ５に戻り、残った一の状態遷移ルートテスト項目が残
った他の全ての状態遷移ルートテスト項目の和集合に含
まれない場合（Ｎｏの場合）には、その状態遷移ルート
テスト項目を削除せずにＳＴ５に戻り、残った次ぎの状
態遷移ルートテスト項目について同様の処理を繰り返
す。

【０１１０】ＳＴ５において、残った全ての状態遷移ル
ートテスト項目について調査したと判断した場合（Ｙｅ
ｓの場合）には、抽出された全ての状態遷移ルートテス
ト項目をディスプレイ（図１の表示手段）に表示し（Ｓ
Ｔ８）、この処理を終了する。

【０１１１】図２に示した状態遷移表データを図１９の
フローチャートによって処理すると、図２０に示すよう
な途中経過を経て、図２１に示す結果がディスプレイ上
に表示される。

【０１１２】図２０（ａ）には、ＳＴ１、即ち図１６の
フローチャートに従って処理した結果抽出された５個の
状態遷移ルートテスト項目が示されており、この中で、
「０００１」の項目は「０００２」の項目に含まれ、
「０００２」の項目は「０００３」の項目に含まれ、
「０００４」の項目は「０００５」の項目に含まれてい
るから、「０００１」、「０００２」、「０００４」の
各項目は削除され、図２０（ｂ）に示すように、「００
０３」及び「０００５」の項目のみが残される。

【０１１３】このような処理の結果、図２１に示されて
いるように、図２に示した状態遷移表データから状態遷
移ルートテスト項目として、２個の状態遷移ルートが抽
出された。

【０１１４】なお、この第６の実施の形態では、除外条
件として「同一遷移除外」（「自己ループ除外」は指定
しない）と、「全遷移通過最小パターン」を組み合わせ
たものを指定した場合について説明したが、他の除外条
件、「同一ループ除外」（「自己ループ除外」も指
定）、「同一ループ除外」（「自己ループ除外」は指定
しない）、「同一状態除外」、及び「同一遷移除外」
（「自己ループ除外」も指定）のうちのいずれかと、
「全遷移通過最小パターン」を組み合わせたものを指定
することができることは言うまでもない。

【０１１５】〔第７の実施の形態〕本発明の第７の実施
の形態を、図２２〜図２３を参照して説明する。図２２
は本発明の第７の実施の形態の処理を示すフローチャー
トである。この第７の実施の形態は、図７に示した第２
の実施の形態における処理を行って、即ち、除外条件と
して「同一ループ除外」（「自己ループ除外」は指定し
ない）を指定して、状態遷移ルートテスト項目を抽出
し、単一又は複数の通過状態をも入力指定して、該通過
状態を含まない状態遷移ルートテスト項目を追加的に除
外するようにしたものである。

【０１１６】この第７の実施の形態においては、通過状
態可変方式を採用しており、通過状態の指定は、単一又
は複数の状態を特定して行うが、複数の場合には、その
順序は関係せず、指定した状態のそれぞれが状態遷移ル
ートテスト項目内の各状態に少なくとも１個含まれてい
る場合には除外せず、指定した状態のうちのいずれか１
個でも状態遷移ルートテスト項目内の各状態に含まれて
いない場合には除外する。

【０１１７】図２２において、まず、図７に示した前記
第２の実施の形態における処理を行い（ＳＴ１）、「同
一ループ除外」（「自己ループ除外」は指定しない）を
除外条件として、状態遷移ルートテスト項目を抽出す
る。次いで、ＳＴ１で抽出された全ての状態遷移ルート
テスト項目について調査したか否かを判断する（ＳＴ
２）。

【０１１８】ＳＴ２において、全ての状態遷移ルートテ
スト項目について調査していないと判断した場合（Ｎｏ
の場合）には、一の状態遷移ルートテスト項目内の各状
態に指定された通過状態が含まれるか否かを判断する
（ＳＴ３）。

【０１１９】ＳＴ３において、一の状態遷移ルートテス
ト項目内の各状態に指定された通過状態が含まれない場
合（Ｎｏの場合）には、その状態遷移ルートテスト項目
を削除して（ＳＴ４）、ＳＴ２に戻り、一の状態遷移ル
ートテスト項目内の各状態に指定された通過状態が含ま
れる場合（Ｙｅｓの場合）には、その状態遷移ルートテ
スト項目を削除せずにＳＴ２に戻り、次ぎの状態遷移ル
ートテスト項目について同様の処理を繰り返す。

【０１２０】ＳＴ２において、全ての状態遷移ルートテ
スト項目について調査したと判断した場合（Ｙｅｓの場
合）には、抽出した全ての状態遷移ルートテスト項目を
ディスプレイ（図１の表示手段）に表示し（ＳＴ５）、
この処理を終了する。

【０１２１】図２に示した状態遷移表データを図２２の
フローチャートによって処理すると、図２３に示すよう
な途中経過を経て、結果がディスプレイ上に表示され
る。この第７の実施の形態では、通過状態として、状態
３、状態２及び状態４を指定したものとする。

【０１２２】図２３には、図２２のＳＴ１、即ち図７の
フローチャートに従って処理した結果抽出された１０個
の状態遷移ルートテスト項目が示されている。この中
で、項目番号に「×印」を付しているように、「０００
１」、「０００２」、「０００３」、「０００９」、
「００１０」は、指定された通過状態のうち、状態４を
含んでいないので除外され、同図中に網かけで表示して
いるように、指定した通過状態を全て含んでいる「００
０４」、「０００５」、「０００６」、「０００７」、
「０００８」は除外されない。

【０１２３】このような処理の結果、図示は省略する
が、図２に示した状態遷移表データから状態遷移ルート
テスト項目として、５個の状態遷移ルートが抽出され
た。なお、この第７の実施の形態では、除外条件として
「同一ループ除外」（「自己ループ除外」は指定しな
い）を指定して処理を行った後に、通過状態による除外
を行っているが、他の除外条件、「同一ループ除外」
（「自己ループ除外」も指定）、「同一状態除外」、
「同一遷移除外」（「自己ループ除外」も指定）、及び
「同一遷移除外」（「自己ループ除外」は指定しない）
のうちのいずれかの処理を行った後に、通過状態による
除外を行うようにできることは言うまでもない。

【０１２４】〔第８の実施の形態〕本発明の第８の実施
の形態を、図２４〜図２５を参照して説明する。図２４
は本発明の第８の実施の形態の処理を示すフローチャー
トである。この第８の実施の形態は、図７に示した第２
の実施の形態における処理を行って、即ち、除外条件と
して「同一ループ除外」（「自己ループ除外」は指定し
ない）を指定して、状態遷移ルートテスト項目を抽出
し、複数の通過状態をも入力指定して、該通過状態を入
力指定した通りの順番に含まない状態遷移ルートテスト
項目を追加的に除外するようにしたものである。

【０１２５】この第８の実施の形態においては、通過状
態固定方式を採用しており、通過状態の指定は、複数の
状態を順番を考慮して行う。指定した順番は重要な意味
を持ち、指定した状態のそれぞれが順番通りに状態遷移
ルートテスト項目内の各状態に含まれている場合には除
外せず、指定した状態のうちのいずれか１個でも状態遷
移ルートテスト項目内の各状態に含まれていない場合及
び指定した状態のそれぞれが順番通りに状態遷移ルート
テスト項目内の各状態に含まれていない場合には除外す
る。なお、この第８の実施の形態では、指定した通過状
態が指定した順番通りに含まれていれば良く、指定した
一の状態と次ぎの状態の間に他の状態が存在していても
良い。

【０１２６】図２４において、まず、図７に示した前記
第２の実施の形態における処理を行い（ＳＴ１）、「同
一ループ除外」（「自己ループ除外」は指定しない）を
除外条件として、状態遷移ルートテスト項目を抽出す
る。次いで、ＳＴ１で抽出された全ての状態遷移ルート
テスト項目について調査したか否かを判断する（ＳＴ
２）。

【０１２７】ＳＴ２において、全ての状態遷移ルートテ
スト項目について調査していないと判断した場合（Ｎｏ
の場合）には、一の状態遷移ルートテスト項目内の各状
態に指定された通過状態が指定された順番通りに含まれ
るか否かを判断する（ＳＴ３）。

【０１２８】ＳＴ３において、一の状態遷移ルートテス
ト項目内の各状態に指定された通過状態が指定された順
番通りに含まれていない場合（Ｎｏの場合）には、その
状態遷移ルートテスト項目を削除して（ＳＴ４）、ＳＴ
２に戻り、一の状態遷移ルートテスト項目内の各状態に
指定された通過状態が指定された順番通りに含まれてい
る場合（Ｙｅｓの場合）には、その状態遷移ルートテス
ト項目を削除せずにＳＴ２に戻り、次ぎの状態遷移ルー
トテスト項目について同様の処理を繰り返す。

【０１２９】ＳＴ２において、全ての状態遷移ルートテ
スト項目について調査したと判断した場合（Ｙｅｓの場
合）には、抽出した全ての状態遷移ルートテスト項目を
ディスプレイ（図１の表示手段）に表示し（ＳＴ５）、
この処理を終了する。

【０１３０】図２に示した状態遷移表データを図２４の
フローチャートによって処理すると、図２５に示すよう
な途中経過を経て、結果がディスプレイ上に表示され
る。この第８の実施の形態では、通過状態として、状態
３、状態２及び状態４をこの順に指定したものとする。

【０１３１】図２５には、図２４のＳＴ１、即ち図７の
フローチャートに従って処理した結果抽出された１０個
の状態遷移ルートテスト項目が示されている。この中
で、項目番号に「×印」を付しているように、「０００
１」、「０００２」、「０００３」、「０００９」、
「００１０」は、指定された通過状態のうち、状態４を
含んでいないので除外され、さらに「０００４」、「０
００５」は、指定された通過状態の全てを含んではいる
が、「３→２→４」の順番通りでないので除外される。

【０１３２】一方、同図中に網かけで表示しているよう
に、指定した通過状態を順番通りに全て含んでいる「０
００６」、「０００７」、「０００８」は除外されな
い。このような処理の結果、図示は省略するが、図２に
示した状態遷移表データから状態遷移ルートテスト項目
として、３個の状態遷移ルートが抽出された。

【０１３３】なお、この第８の実施の形態では、除外条
件として「同一ループ除外」（「自己ループ除外」は指
定しない）を指定して処理を行った後に、通過状態によ
る除外を行っているが、他の除外条件、「同一ループ除
外」（「自己ループ除外」も指定）、「同一状態除
外」、「同一遷移除外」（「自己ループ除外」も指
定）、及び「同一遷移除外」（「自己ループ除外」は指
定しない）のうちのいずれかの処理を行った後に、通過
状態による除外を行うようにできることは言うまでもな
い。

【０１３４】〔第９の実施の形態〕本発明の第９の実施
の形態を、図２６〜図２９を参照して説明する。図２６
は本発明の第９の実施の形態の構成を示すブロック図で
ある。

【０１３５】この状態遷移ルート抽出装置は、ディスプ
レイ等の表示手段１１と、状態遷移表記憶手段１２と、
表示欄出力手段１３と、一の状態が記憶される作業変数
記憶手段１４と、開始状態指定手段１５と、要因指定手
段１６と、強調表示制御手段１７と、ルート生成手段と
を備えて構成される。

【０１３６】状態遷移表記憶手段１２には、複数の状
態、該状態に変化をもたらす要因、該要因が発生した場
合に実行すべき処理、及び該処理を実行した後の遷移先
の状態を含む状態遷移表データが格納される。表示欄出
力手段１３は、状態遷移表記憶手段１２に格納された状
態遷移表データに基づき、一軸方向に配列された複数の
状態を表示する状態表示欄、他軸方向に配列された複数
の要因を表示する要因表示欄、並びに該状態表示欄と該
要因表示欄との交差部分に配列された状態及び要因に対
応する処理及び遷移先を表示する処理表示欄からなる表
示欄を表示手段１１に表示させる。

【０１３７】作業変数記憶手段１４には、処理に使用さ
れる一の状態が記憶される。開始状態指定手段１５は、
オペレータによる開始状態の入力を受け付け、作業変数
記憶手段１４の記憶内容を入力指定された状態に更新す
る。要因指定手段１６は、オペレータによる要因を入力
指定するための手段である。開始状態指定手段１５及び
要因指定手段１６は、例えばマウス等のポインティング
デバイスである。

【０１３８】強調表示制御手段１７は、作業変数記憶手
段１４の記憶内容が更新されたときに、作業変数記憶手
段１４に記憶された状態に対応する状態表示欄を表示手
段１１に強調表示し、要因指定手段１６により要因が入
力指定されたときに、該要因に対応する要因表示欄を表
示手段１１に強調表示するとともに、該強調表示された
状態表示欄と要因表示欄に対応する処理表示欄を強調表
示し、さらに作業変数記憶手段１４の内容を該遷移先の
状態に更新する。

【０１３９】ルート生成手段１８は、強調表示制御手段
１７の出力と状態遷移表記憶手段１２の状態遷移表デー
タに基づいて、表示手段１１に強調表示されている内容
に対応した状態遷移ルートを生成する。

【０１４０】次ぎに、この状態遷移ルート抽出装置によ
る処理を図２７に示すフローチャート及び図２８に示す
ディスプレイへの表示例を参照して説明する。ディスプ
レイ（表示手段１１）には、表示欄が事前に表示されて
いるものとする。表示欄は、図２８に示されているよう
に、横軸方向に配列された複数の状態を表示する状態欄
（状態表示欄）、縦軸方向に配列された複数の要因を表
示する要因欄（要因表示欄）、並びに該状態欄と該要因
欄との交差部分に配列された状態及び要因に対応する処
理及び遷移先を表示する処理欄（処理表示欄）から構成
される。

【０１４１】まず、オペレータによる開始状態の入力指
定を待ち（ＳＴ１）、開始状態が入力指定されたか否か
を判断し（ＳＴ２）、開始状態が入力指定されていない
場合（Ｎｏの場合）にはＳＴ１に戻る。ＳＴ２で開始状
態が入力指定された場合には、入力指定された開始状態
をメモリ（作業変数記憶手段１４）に記憶する（ＳＴ
３）。

【０１４２】次いで、入力指定された開始状態に対応す
る状態欄（この場合は状態１に対応する状態欄）を、他
の表示欄から識別できるように着色表示する（ＳＴ
４）。その後、要因の入力指定を待ち（ＳＴ５）、要因
が入力指定されたか否かを判断する（ＳＴ６）。

【０１４３】ＳＴ６において、要因が入力指定された場
合（Ｙｅｓの場合）には、入力指定された要因に対応す
る要因欄を、他の表示欄から識別できるように着色表示
し（ＳＴ７）、ＳＴ３で記憶した状態欄の列と入力指定
された要因欄の行の交差した処理欄を他の表示欄から識
別できるように着色表示する（ＳＴ８）。

【０１４４】次いで、指定された要因をメモリに保存し
（ＳＴ９）、処理欄に遷移先の状態が有るか否かを判断
する（ＳＴ１０）。ＳＴ１０において、処理欄に遷移先
の状態が無い場合（Ｎｏの場合）にはＳＴ５に戻り、処
理欄に遷移先の状態が有る場合（Ｙｅｓの場合）には遷
移先の状態をメモリに記憶た後（ＳＴ１１）、ＳＴ４に
戻る。

【０１４５】ＳＴ６において、要因が入力指定されない
場合（Ｎｏの場合）には、この処理の終了を示す終了指
示がなされたか否かを判断し（ＳＴ１２）、終了指示が
なされていない場合（Ｎｏの場合）にはＳＴ５に戻り、
終了指示がなされた場合（Ｙｅｓの場合）には、この処
理を終了する。

【０１４６】なお、図２７に示すフローチャートでは省
略されているが、ＳＴ３で記憶された状態、ＳＴ９で保
存された要因、ＳＴ１１で記憶された遷移先の状態、及
び状態遷移表データに基づいて、状態遷移ルートテスト
項目が生成・抽出される。

【０１４７】図２８には、図２に示した状態遷移表デー
タに基づき、作業中にディスプレイ上に表示される内容
が示されている。まず、開始状態として状態１を入力す
ると、状態１に対応する状態欄が着色表示される。次い
で、要因１を入力指定すると、要因１に対応する要因欄
が着色表示され、これらに対応する処理欄（状態１に対
応する状態欄と要因１に対応する要因欄の交差した部
分）が着色表示され、さらに遷移先の状態としての状態
２に対応する状態欄が着色表示される。

【０１４８】次ぎに、要因２を入力指定すると、要因２
に対応する要因欄が着色表示され、これらに対応する処
理欄（状態２に対応する状態欄と要因２に対応する要因
欄の交差した部分）が着色表示され、さらに遷移先の状
態としての状態３に対応する状態欄が着色表示される。

【０１４９】次ぎに、要因４を入力指定すると、要因４
に対応する要因欄が着色表示され、これらに対応する処
理欄（状態３に対応する状態欄と要因４に対応する要因
欄の交差した部分）が着色表示され、さらに遷移先の状
態としての状態１に対応する状態欄が着色表示される
が、この場合は状態１に対応する状態欄は既に着色表示
されているので変化はない。

【０１５０】以下同様に要因の入力指定を繰り返すこと
により、順次同様の着色表示が行われ、それに対応した
状態遷移ルートテスト項目が生成・抽出される。このよ
うな処理を行うことにより、例えば、図２９に示されて
いるように、対話的に生成・抽出された状態遷移ルート
テスト項目がディスプレイ上に表示される。

【０１５１】このように、この第９の実施の形態による
と、開始状態の入力指定と所望の要因を順次入力指定す
ることにより、対話的に処理が進行して状態遷移ルート
テスト項目が順次生成・抽出されるとともに、ディスプ
レイへの着色表示によって処理の進行状況を視覚的に確
認することができるから、高効率的に状態遷移ルートテ
スト項目の生成・抽出を行うことができる。

【０１５２】なお、この実施の形態においては、表示欄
の強調表示方法は着色表示としたが、網かけや太文字表
示等他の強調表示方法を採用できることは言うまでもな
い。 〔第１０の実施の形態〕本発明の第１０の実施の形態
を、図３０〜図３２を参照して説明する。図３０は本発
明の第１０の実施の形態の処理を示すフローチャートで
あり、図３１は本発明の第１０の実施の形態において使
用する状態遷移ルートテスト項目表データの内容の一例
を示す図、図３２は本発明の第１０の実施の形態による
処理の結果の表示例を示す図である。

【０１５３】まず、前提として、前記第１乃至第９の実
施の形態のいずれかにより処理されて、状態遷移ルート
テスト項目が生成・抽出され、図３１に示されているよ
うな状態遷移ルートテスト項目表データがメモリに格納
されているものとする。

【０１５４】また、状態遷移ルートテスト項目表データ
には、図３１に示されているように、各状態遷移ルート
テスト項目のそれぞれについてテスト終了の有無を示す
フラグが設定される領域（項目番号の直下に表示されて
いる）が確保されており、テストが終了した場合にはフ
ラグ「ＯＫ」が、テストが終了していない場合にはフラ
グ「ＮＧ」が予めオペレータによって付与されて入力さ
れているものとする。

【０１５５】図３０において、まず、状態遷移ルートテ
スト項目表データを読み込み（ＳＴ１）、このデータに
基づき、ディスプレイ上に表示欄を表示する（ＳＴ
２）。表示欄は、図３２に示されているように、横軸方
向に配列された複数の状態を表示する状態欄（状態表示
欄）、縦軸方向に配列された複数の要因を表示する要因
欄（要因表示欄）、並びに該状態欄と該要因欄との交差
部分に配列された状態及び要因に対応する処理及び遷移
先を表示する処理欄（処理表示欄）から構成される。

【０１５６】次いで、全ての状態遷移ルートテスト項目
について調査が行われたか否かを判断し（ＳＴ３）、全
ての状態遷移ルートテスト項目について調査が行われて
いないと判断した場合（Ｎｏの場合）には、一の状態遷
移ルートテスト項目を調査する（ＳＴ４）。その後、該
一の状態遷移ルートテスト項目に付与されている前記テ
スト終了の有無を示すフラグが「ＯＫ」か否かを判断し
（ＳＴ５）、「ＮＧ」の場合（Ｎｏの場合）にはＳＴ３
に戻る。

【０１５７】ＳＴ５において、該一の状態遷移ルートテ
スト項目に付与されている前記テスト終了の有無を示す
フラグが「ＯＫ」である場合（Ｙｅｓの場合）には、該
一の状態遷移ルートテスト項目についての開始状態をメ
モリに記憶する（ＳＴ６）。

【０１５８】次いで、入力指定された開始状態に対応す
る状態欄（この場合は状態１に対応する状態欄）を、他
の表示欄から識別できるように着色表示する（ＳＴ
７）。その後、要因と遷移先の状態を読み込み（ＳＴ
８）、入力指定された要因に対応する要因欄を、他の表
示欄から識別できるように着色表示し（ＳＴ９）、該状
態欄の列と該要因欄の行の交差した処理欄を他の表示欄
から識別できるように着色表示する（ＳＴ１０）。

【０１５９】次いで、該要因と該遷移先の状態をメモリ
に記憶し（ＳＴ１１）、次ぎの状態遷移ルートテスト項
目が有るか否かを判断し（ＳＴ１２）、次ぎの状態遷移
ルートテスト項目が有ると判断した場合（Ｙｅｓの場
合）にはＳＴ７に戻り、次ぎの状態遷移ルートテスト項
目が無いと判断した場合（Ｎｏの場合）にはＳＴ３に戻
る。

【０１６０】ＳＴ３において、全ての状態遷移ルートテ
スト項目について調査が行われたと判断した場合（Ｙｅ
ｓの場合）には、この処理を終了する。なお、この処理
の後に、前記第９の実施の形態による処理に移行して、
順次要因を指定することにより、処理を続行するように
することができる。

【０１６１】このように、この第１０の実施の形態によ
ると、テスト終了の有無を示すフラグを各状態遷移ルー
トテスト項目に予め付与しておき、これを含む状態遷移
ルートテスト項目表データに基づき、ディスプレイ上に
テストが終了した状態遷移ルートを表示するようにした
から、テストの終了の有無が一目瞭然であり、テストが
終了していない状態遷移ルートテスト項目についてその
後のテストを高効率的に行うことができる。

【０１６２】なお、表示欄の強調表示方法は着色表示と
したが、網かけや太文字表示等他の強調表示方法を採用
できることは言うまでもない。 〔第１１の実施の形態〕本発明の第１１の実施の形態
を、図３３〜図３４を参照して説明する。図３３は本発
明の第１１の実施の形態の処理を示すフローチャートで
あり、図３４は本発明の第１１の実施の形態による処理
の結果の表示例を示す図である。

【０１６３】まず、前提として、前記第１乃至第９の実
施の形態のいずれかにより処理されて、状態遷移ルート
テスト項目が生成・抽出され、状態遷移ルートテスト項
目表データがメモリに格納されているものとする。ま
た、状態遷移ルートテスト項目表データには、前記第１
０の実施の形態において、図３１に示したのと同様に、
各状態遷移ルートテスト項目のそれぞれについてテスト
終了の有無を示すフラグが設定される領域（項目番号の
直下に表示されている）が確保されており、テストが終
了した場合にはフラグ「ＯＫ」が、テストが終了してい
ない場合にはフラグ「ＮＧ」が予めオペレータによって
付与されて入力されているものとする。

【０１６４】図３３において、まず、図３０に示した処
理を行い（ＳＴ１）、その後、全体の処理欄の数を算出
し（ＳＴ２）、テスト終了の有無を示すフラグが「Ｏ
Ｋ」である状態遷移ルートテスト項目の数を算出し（Ｓ
Ｔ３）、状態遷移ルートテスト項目の全体の数を算出す
る（ＳＴ４）。

【０１６５】次いで、図３０に示した処理において、着
色表示した処理欄の個数を算出する（ＳＴ５）。その
後、ＳＴ３で求めたテスト終了の有無を示すフラグが
「ＯＫ」である状態遷移ルートテスト項目の数を、ＳＴ
４で求めた状態遷移ルートテスト項目の全体の数で割算
することにより、進捗率を算出する（ＳＴ６）。

【０１６６】次いで、着色表示した処理欄の個数を、全
体の処理欄の数で割算することにより、カバレッジ率を
算出し（ＳＴ７）、それぞれの結果を図３４に例示され
ているような一覧表としてディスプレイ上に表示する
（ＳＴ８）。

【０１６７】この一覧表を参照することにより、状態遷
移ルートテスト項目についてのテストの進捗状況を一目
で認識することができるから、状態遷移ルートテスト項
目についてのテストの高効率化を図ることができる。

【０１６８】〔第１２の実施の形態〕本発明の第１２の
実施の形態を、図３５を参照して説明する。図３５は本
発明の第１２の実施の形態による処理の結果の表示例を
示す図である。

【０１６９】前述した第１乃至第１０の実施の形態によ
る処理の結果を示す図である、図６、図９、図１２、図
１５、図１８、図２１及び図２９においては、各項目番
号に対応して、複数の状態、該状態に変化をもたらす要
因、及び該処理を実行した後の遷移先の状態状態のみが
ディスプレイ上に表示されているが、図３５に示されて
いるように、さらに該要因が発生した場合に実行すべき
処理の内容をも表示するようにした。

【０１７０】これにより、ディスプレイ上に表示された
各状態遷移ルートテスト項目についての表示内容が充実
し、状態遷移ルートテスト項目についてテストを実施す
る際の一助となり、テストのさらなる高効率化を実現で
きる場合がある。

【０１７１】

【発明の効果】本発明によると、試験の内容に応じてで
きるだけ少ない数で且つできるだけ多くのパターンを含
むように状態遷移ルートを生成・抽出することができる
ようになるから、状態遷移表の段階において、その論理
やその他の試験を高効率的に実施できるようになり、不
具合の発見・修正を施しておくことにより、後に生成さ
れるソースプログラムの段階での試験に要する手間や時
間を大幅に縮減することができるようになるという効果
がある。

【図面の簡単な説明】

【図１】本発明の原理構成を示すブロック図である。

【図２】本発明の実施の形態において使用する状態遷移
表データの一例を示す図である。

【図３】図２に示した状態遷移表データの内容を模式的
に示した状態遷移図である。

【図４】本発明の第１の実施の形態の処理を示すフロー
チャートである。

【図５】本発明の第１の実施の形態の処理の経過を示す
図である。

【図６】本発明の第１の実施の形態の処理の結果を示す
図である。

【図７】本発明の第２の実施の形態の処理を示すフロー
チャートである。

【図８】本発明の第２の実施の形態の処理の経過を示す
図である。

【図９】本発明の第２の実施の形態の処理の結果を示す
図である。

【図１０】本発明の第３の実施の形態の処理を示すフロ
ーチャートである。

【図１１】本発明の第３の実施の形態の処理の経過を示
す図である。

【図１２】本発明の第３の実施の形態の処理の結果を示
す図である。

【図１３】本発明の第４の実施の形態の処理を示すフロ
ーチャートである。

【図１４】本発明の第４の実施の形態の処理の経過を示
す図である。

【図１５】本発明の第４の実施の形態の処理の結果を示
す図である。

【図１６】本発明の第５の実施の形態の処理を示すフロ
ーチャートである。

【図１７】本発明の第５の実施の形態の処理の経過を示
す図である。

【図１８】本発明の第５の実施の形態の処理の結果を示
す図である。

【図１９】本発明の第６の実施の形態の処理を示すフロ
ーチャートである。

【図２０】本発明の第６の実施の形態の処理の経過を示
す図である。

【図２１】本発明の第６の実施の形態の処理の結果を示
す図である。

【図２２】本発明の第７の実施の形態の処理を示すフロ
ーチャートである。

【図２３】本発明の第７の実施の形態の処理の経過を示
す図である。

【図２４】本発明の第８の実施の形態の処理を示すフロ
ーチャートである。

【図２５】本発明の第８の実施の形態の処理の経過を示
す図である。

【図２６】本発明の第９の実施の形態の構成を示すブロ
ック図である。

【図２７】本発明の第９の実施の形態の処理を示すフロ
ーチャートである。

【図２８】本発明の第９の実施の形態の作業中の表示例
を示す図である。

【図２９】本発明の第９の実施の形態の処理の結果を示
す図である。

【図３０】本発明の第１０の実施の形態の処理を示すフ
ローチャートである。

【図３１】本発明の第１０の実施の形態で使用する状態
遷移ルートテスト項目を示す図である。

【図３２】本発明の第１０の実施の形態の表示例を示す
図である。

【図３３】本発明の第１１の実施の形態の処理を示すフ
ローチャートである。

【図３４】本発明の第１１の実施の形態の処理の結果を
示す図である。

【図３５】本発明の第１２の実施の形態の処理の結果を
示す図である。

【符号の説明】

１ 状態遷移表記憶手段 ２ 第１指定手段 ３ 第２指定手段 ４ ルート生成手段 ５ 表示手段

Claims (10)

【特許請求の範囲】
1. 【請求項１】 複数の状態、該状態に変化をもたらす要
   因、該要因が発生した場合に実行すべき処理、及び該処
   理を実行した後の遷移先の状態を含む状態遷移表データ
   が格納される状態遷移表記憶手段と、 開始状態及び終了状態を入力指定する第１指定手段と、 除外条件を入力指定する第２指定手段と、 前記状態遷移表データについての前記第１指定手段によ
   り指定された開始状態から終了状態に至る全ての状態遷
   移ルートのうち、前記第２指定手段により指定された除
   外条件に該当する状態遷移ルートを除外した状態遷移ル
   ートを生成するルート生成手段とを備えたことを特徴と
   する状態遷移ルート抽出装置。
2. 【請求項２】 請求項１に記載の状態遷移ルート抽出装
   置において、 前記除外条件は、 状態遷移ルート中に一の状態から他の単一の又は複数の
   状態を経て該一の状態に遷移するル−プが重複して存在
   する場合を除外する同一ループ除外、 状態遷移ルート中に同一の状態が重複して存在する場合
   を除外する同一状態除外、 及び状態遷移ルート中に一の状態から一の要因により他
   の状態に遷移することが重複して存在する場合を除外す
   る同一遷移除外、のうちのいずれかであることを特徴と
   する状態遷移ルート抽出装置。
3. 【請求項３】 請求項１に記載の状態遷移ルート抽出装
   置において、 前記除外条件は、 状態遷移ルート中に一の状態から他の単一の又は複数の
   状態を経て該一の状態に遷移するル−プが重複して存在
   する場合を除外する同一ループ除外、 状態遷移ルート中に同一の状態が重複して存在する場合
   を除外する同一状態除外、 及び状態遷移ルート中に一の状態から一の要因により他
   の状態に遷移することが重複して存在する場合を除外す
   る同一遷移除外、のうちのいずれかと、 一の状態から他の状態を経ずに該一の状態に遷移する自
   己ループを除外する自己ループ除外、 及び一の状態遷移ルート中に含まれる全ての状態及び要
   因が他の状態遷移ルートに含まれる場合に、該一のルー
   トを除外する全遷移通過最小パターン、のうちのいずれ
   かとの組合せであることを特徴とする状態遷移ルート抽
   出装置。
4. 【請求項４】 請求項１に記載の状態遷移ルート抽出装
   置において、 前記第１指定手段により、少なくとも一つの通過状態を
   も入力指定するようにし、 前記ルート生成手段により生成された状態遷移ルートの
   うち、該第１指定手段により入力指定された通過状態を
   含まない状態遷移ルートをさらに除外するようにしたこ
   とを特徴とする状態遷移ルート抽出装置。
5. 【請求項５】 請求項１に記載の状態遷移ルート抽出装
   置において、 前記第１指定手段により、複数の通過状態をも順次入力
   指定するようにし、 前記ルート生成手段により生成された状態遷移ルートの
   うち、該第１指定手段により入力指定された順番通りの
   通過状態を含まない状態遷移ルートをさらに除外するよ
   うにしたことを特徴とする状態遷移ルート抽出装置。
6. 【請求項６】 請求項１に記載の状態遷移ルート抽出装
   置において、 前記ルート生成手段により生成された状態遷移ルートに
   ついて、テストが終了したか否かを示すフラグを入力指
   定する第３指定手段と、 表示手段と、 前記ルート生成手段により生成された状態遷移ルート
   に、前記第３指定手段により入力指定されたフラグが付
   与されてなる状態遷移ルートテスト項目表データに基づ
   き、一軸方向に配列された複数の状態を表示する状態表
   示欄、他軸方向に配列された複数の要因を表示する要因
   表示欄、並びに該状態表示欄と該要因表示欄との交差部
   分に配列された状態及び要因に対応する処理及び遷移先
   を表示する処理表示欄からなる表示欄を前記表示手段に
   表示させる表示欄出力手段と、 前記状態遷移ルートテスト項目表データのうちの前記第
   ３指定手段によりテストが終了したことを示すフラグが
   付与された状態遷移ルートに含まれる状態に対応する状
   態表示欄及び要因に対応する要因表示欄を強調表示し、
   並びに該強調表示された状態表示欄と要因表示欄に対応
   する処理表示欄を強調表示する強調表示制御手段とを備
   えたことを特徴とする状態遷移ルート抽出装置。
7. 【請求項７】 請求項６に記載の状態遷移ルート抽出装
   置において、 前記状態遷移ルートテスト項目表データのうちの前記第
   ３指定手段によりテストが終了したことを示すフラグが
   付与された状態遷移ルートの数を、前記状態遷移ルート
   テスト項目表データに含まれる全ての状態遷移ルートの
   数で割った値である進捗率を算出して、前記表示手段に
   表示するようにしたことを特徴とする状態遷移ルート抽
   出装置。
8. 【請求項８】 請求項６に記載の状態遷移ルート抽出装
   置において、 前記状態遷移ルートテスト項目表データのうちの前記第
   ３指定手段によりテストが終了したことを示すフラグが
   付与された状態遷移ルートに含まれる状態遷移の数の和
   を、前記状態遷移ルートテスト項目表データに含まれる
   全ての状態遷移ルートに含まれる状態遷移の数の和で割
   った値であるカバレッジ率を算出して、前記表示手段に
   表示するようにしたことを特徴とする状態遷移ルート抽
   出装置。
9. 【請求項９】 表示手段と、 複数の状態、該状態に変化をもたらす要因、該要因が発
   生した場合に実行すべき処理、及び該処理を実行した後
   の遷移先の状態を含む状態遷移表データが格納される状
   態遷移表記憶手段と、 前記状態遷移表データに基づき、一軸方向に配列された
   複数の状態を表示する状態表示欄、他軸方向に配列され
   た複数の要因を表示する要因表示欄、並びに該状態表示
   欄と該要因表示欄との交差部分に配列された状態及び要
   因に対応する処理及び遷移先を表示する処理表示欄から
   なる表示欄を前記表示手段に表示させる表示欄出力手段
   と、 一の状態が記憶される作業変数記憶手段と、 前記作業変数記憶手段の記憶内容を入力指定された開始
   状態に更新する開始状態指定手段と、 要因を入力指定する要因指定手段と、 前記作業変数記憶手段の記憶内容が更新されたときに、
   該作業変数記憶手段に記憶された状態に対応する状態表
   示欄を強調表示し、 前記要因指定手段により要因が入力指定されたときに、
   該要因に対応する要因表示欄を強調表示するとともに、
   該強調表示された状態表示欄と要因表示欄に対応する処
   理表示欄を強調表示し、さらに前記作業変数記憶手段の
   内容を該遷移先の状態に更新する強調表示制御手段とを
   備えたことを特徴とする状態遷移ルート抽出装置。
10. 【請求項１０】 請求項９に記載の状態遷移ルート抽出
    装置において、 前記表示手段に強調表示されている内容に対応した状態
    遷移ルートを生成するルート生成手段をさらに備えたこ
    とを特徴とする状態遷移ルート抽出装置。