JPH11353348A - テストケース作成装置及びテストケース作成方法 - Google Patents

Abstract

(57)【要約】 【課題】大規模複雑なコンピュータ応用製品に対して、
必要に応じて部分の切り分けをした詳細なテストケース
の作成を効率良く行うことにより、製品事故を防止する
こと。 【解決手段】本発明では、テスト範囲を自由に設定し、
テスト範囲の中で、意味のない事象や状態の場合わけを
除いた、合理的なテストケースを自動生成することによ
り、合理的な試験仕様を作成できる。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、コンピュータ応用
製品の開発において、その動作試験に使用されるテスト
ケースを作成するテストケース作成支援装置に関する。

【０００２】

【従来の技術】コンピュータ応用製品の信頼性を確保す
るためには、信頼性の設計，製造工程での作り込みとと
もに、試験工程が重要である。試験は、試験対象システ
ムが運用時に接続することになる外部システムの入出力
や人間の操作との関係において所定の機能を満足するこ
とを確認するものである。試験の方法としては、実際に
外部システムと接続してテストランにより機能を確認す
る方法や、シミュレータなどを用いて疑似的な入力を生
成して機能を確認する方法がある。いずれの場合も、入
力の値と入力の順序、タイミング、および入力に対して
の試験対象システムの出力の組からなるテストケースが
試験の有効性を大きく左右する。

【０００３】人命に関わるようなシステムや不具合の発
生が社会全体へ大きく影響がするようなシステムでは、
全ての外部環境，内部状態の組み合わせに応じて、網羅
的な試験をする必要があるが、近年の複雑なコンピュー
タ応用製品では、そのような網羅的なテストケースを人
手で作成することは極めて困難である（課題１）。これ
に対しては、特開平7−253905 号公報では、階層的な状
態遷移図から網羅的なテストケースを作成する技術があ
る。

【０００４】一方、現実のシステムでは、仕様に記述さ
れたシステムの中の部分だけが、現実に試験可能で或る
場合も多く、またシステム全体の網羅的なテストケース
を実行するのが困難であることもある。部分システムご
とに、適切な詳細度で、いわば、バランスのいいテスト
ケースを作成する必要がある（課題２）。

【０００５】さらに、現実のテストケースを記述した試
験仕様書は、試験すべき機能項目をリストにしただけの
チェックリストからなる、最も大雑把なものから、シス
テムの初期状態の設定手順や、テスト入力のための操作
手順、出力の測定のための詳細手順を定めたものまでさ
まざまであるが、実際に試験を行うためには、テストケ
ースを実行するための詳細手順が必要である。前述の技
術（特開平7−253905号公報）では、状態遷移図から入
力となるイベントの系列を取り出して、詳細手順を与え
ているが、どの機器に対する操作かが不明である（課題
３）。

【０００６】

【発明が解決しようとする課題】このような課題（特に
課題２，３）が解決されていないために詳細で体系だっ
た試験仕様を作成するために多大の労力を要する。その
ため、機能仕様書の機能項目を列挙しただけのチェック
リスト風の試験仕様書しか作成しない場合もある。信頼
性を体系的に確保するという観点からは、上記２，３の
課題を解決し、詳細な処理手順からなるテスト範囲を切
り分けた部分的なテストケースを作成できることが、好
ましいことはいうまでもない。

【０００７】

【課題を解決するための手段】上記、課題はシステムの
状態を階層的に記述するための階層的状態遷移図記述Ｉ
／Ｆ（以下、状態遷移Ｉ／Ｆと呼ぶ）、装置間のデータ
の流れを階層的に記述するとともに、試験範囲を設定す
るための階層的データフロー図を記述するための階層的
データフロー図記述Ｉ／Ｆ（以下、データフローＩ／Ｆ
と呼ぶ）、上記２つの記述の間の関係を定義する状態遷
移−データフロー関連定義Ｉ／Ｆ（以下、関連定義Ｉ／
Ｆと呼ぶ）、上記３つのＩ／Ｆから入力された仕様を分
析する仕様分析部，分析した仕様を格納する仕様格納
部，生成された仕様をもとにテストケースを生成するテ
ストケース生成部、および生成したテストケースを格納
するテストケース格納部により解決される。

【０００８】

【発明の実施の形態】本発明の実施形態を図１以下を用
いて説明する。図１は、本発明のシステム構成図であ
り、試験対象システムの仕様を入力するための、３つの
Ｉ／Ｆ（状態遷移Ｉ／Ｆ，データフローＩ／Ｆ，関連定
義Ｉ／Ｆ）、入力された仕様を分析するための仕様分析
部，分析した仕様を格納する仕様格納部，仕様格納部で
格納された仕様と、上記３つのＩ／Ｆのうち、状態遷移
Ｉ／Ｆ，データフローＩ／Ｆを用いて定義された、サブ
システムごとの詳細度の設定に応じたテストケースを生
成するテストケース生成部、及びテストケースを格納す
るテストケース格納部からなる。

【０００９】以下、本発明を、鉄道の信号システムを例
にとり説明する。図２は、例とした駅周辺の鉄道の信号
システムを単純化したものである。例では、進行方向の
異なる２つの番線からなる駅周辺の信号システムの、１
つの番線の信号システムを対象としている。列車の進行
方向は１方向だけであり、線区も、駅内の線区，駅手前
の線区，駅直後の線区の３つだけを考える。信号は、通
常、赤だが、列車が駅手前の線区に入ると駅内の線区に
列車がいなければ、青信号を表示する。列車が駅内の線
区に入ると信号は赤に変わる。このような信号システム
を階層的な状態遷移図で記述したのが図３である。ただ
し、この図は、一番上位の階層のみを記述している。

【００１０】図３は、対象システムは、線区の状態，軌
道回路の状態，信号の状態の状態を表す３つの並行プロ
セスからなり、線区の状態と軌道回路の状態は、線区侵
入と、通過という２つの同期する共有事象を持ち、軌道
回路の状態と信号の状態のプロセスは線区侵入と同期す
る共有事象を持ち、線区の状態と信号の状態を表すプロ
セスの間は到着と線区侵入という２つの共有事象で同期
していることを表している。

【００１１】２つの並行プロセス間の共有事象とは、２
つのプロセスで同期して起きることを指す。従って、図
３の線区の状態と軌道回路の状態のように、２つの同期
事象がある場合は、その発生順序は、２つのプロセスの
間で同じでなければならない。３つのプロセスについ
て、説明すると、線区の状態のプロセスは、初期状態
(状態遷移図では、出発の状態のない矢印の終点の状態
で表す)は、“列車なし”の状態である。これは、手前
の線区にも、対象線区にも列車がない状態を表す。事象
（矢印の付近に記述されているもの）“到着”が発生す
ると、“手前の線区に列車”の状態に遷移する。これ
は、手前の線区に列車が存在する状態を表す。次に、
“線区侵入”の事象が起きると、“線区に列車”の状態
に遷移する。これは、対象線区に列車が存在する状態を
表す。以下、同じことを繰り返すプロセスである。

【００１２】一方、信号の状態は、以下のようなプロセ
スである。初期状態は、“信号赤”の状態である。これ
は、信号が赤の状態であることを表す。この状態で、
“到着”事象が発生すると、“判定中”の状態に遷移す
る。これは、信号回路が信号を青にしていいかどうか、
判断している状態を表し、見かけ上の信号機は赤のまま
である。

【００１３】事象“到着”は、“線区の状態”を表すプ
ロセスの事象“到着”と同期している。従って、事象
“到着”が起きると、線区の状態が、“列車なし”から
“手前の線区に列車”の状態に遷移すると同時に信号の
状態が、信号なしから、判定中に変わることになる。こ
の状態は、信号を青にしてもいいかどうか判定している
状態を表し、もし青にできなければ、青にできるまでこ
の状態にとどまる。もし、青にできる状態になれば、事
象“判定ＯＫ”の事象を発生し、“信号青”の状態に遷
移する。この状態は信号機が青を点灯している状態を表
す。

【００１４】この状態で、事象“線区侵入”が起きる
と、“信号赤”の状態になる。“信号赤”の状態は、信
号機が赤を点灯している状態を表す。事象“線区侵入”
は、次に記述する軌道回路の状態を表すプロセスの事象
“線区侵入”と共有事象なので、軌道回路の状態がフリ
ーから、ノンフリーへ遷移するのと、信号の状態が“信
号青”から“信号赤”に遷移するのは同期する。

【００１５】信号機の状態のプロセスは以上の状態を繰
り返すプロセスである。軌道回路の状態を表すプロセス
は、フリーとノンフリーとの２つの状態からなる。状態
“フリー”とは、軌道回路が、信号を青に変えてもいい
と判断した状態を指し、状態“ノンフリー”とは信号を
青に変えられない、と軌道回路が判断した状態を表す。
初期状態では、フリー状態で、線区の状態に関するプロ
セス及び信号の状態に関するプロセスとの共有事象であ
る事象“線区侵入”が発生すると状態“ノンフリー”に
遷移し、線区の状態を表すプロセスとの共有事象である
事象“通過”が発生すると、状態“フリー”に遷移す
る。軌道回路の状態を表すプロセスは、この２つの状態
を繰り返すプロセスである。

【００１６】図４は、図３の信号の状態のプロセスの状
態“判定中”を詳細化した、下位の状態遷移図である。
右上の“信号の状態：判定中”は、上位の仕様である
“信号の状態”の中の“判定中”の状態を詳細化したも
のであることを示している。図４では、上位の仕様で
は、１つの状態であった“判定中”が、４つの状態“軌
道回路状態確認”，“判定待ち”，“タイマー設定”，
“時間待ち”の４つの状態に詳細化されている。

【００１７】図４で、出発点のない遷移“到着”は、上
位の仕様における遷移“到着”と同じものである。つま
り、上位の仕様の状態“信号赤”から事象“到着”によ
り上位の仕様ではただ１つの状態として表されていた状
態“判定中”を詳細化した状態の１つである“軌道回路
状態確認”に遷移する。状態“軌道回路確認”は、信号
を青にして良いかどうかの判定要求を軌道回路に出すま
での状態を表している。この状態から、事象“判定要
求”により状態“判定待ち”の状態への遷移を生じる。
この状態は、判定要求を出してから判定結果を得るまで
の状態を表す。もし、判定ＯＫならば、“判定ＯＫ”の
事象を出して上位の仕様の“信号青”の状態に戻る。す
なわち、図４中で、終点のない遷移“判定ＯＫ”は、上
位の仕様における、事象“判定ＯＫ”と同じものであ
る。

【００１８】一方、信号を青にできない場合は、しばら
く時間をとって、再度判定を行う。つまり、事象“判定
ＮＧ”を生じて、状態“タイマー設定”に遷移する。こ
の状態は、タイマーの時刻を０に設定している状態を表
す。時刻０の設定ができたら、事象“初期化”を生じ
て、状態“時間待ち”に遷移する。この状態は、一定時
刻時間待ちをしている状態を表す。所定の時間が経過し
たら、事象“Ｎ秒経過”を生じて、状態“軌道回路状態
確認”に戻る。

【００１９】このような階層的な状態遷移図をＧＵＩか
ら入力する技術は、例えば、Rose（参考文献“UML Tool
kit",H.E. Eriksson,M.Penker,John Wiley & Sons,In
c.,1998）などがあり、図１の１−ａの状態遷移Ｉ／Ｆ
は容易に実現することができる。また、入力された階層
的な状態遷移図から仕様を分析して、網羅的なテストケ
ースを作成する技術には、例えば、特開平7−253905 号
公報に記述されているようなものがある。つまり、図１
ａの状態遷移Ｉ／Ｆから仕様を入力し、仕様格納部（図
１，１ｅ）に仕様を格納し、仕様分析部（図１，１ｄ）
でデッドロックと網羅性のチェックをしながらテストケ
ース生成部（図１，１ｅ）でテストケースを生成し、テ
ストケース格納部（図１，１ｇ）に格納する方法公知の
ものである。

【００２０】しかしながら、実際のプラントは、複雑，
大規模で仕様に記述された全範囲をカバーする網羅的試
験を実行するのが困難な場合もある（課題２）。また、
状態遷移図だけからでは、どこの装置を操作するのか、
具体的に解らず、テストを実行する手順としては、不十
分である（課題２）。

【００２１】そこで、本発明では、状態遷移図ととも
に、装置間のデータの流れを示す階層的なデータフロー
図、及び相互の関連を記述する関連図を入力するＩ／Ｆ
からこれらの情報を入力，解析することにより、試験時
において入出力を設定，監視する装置までもテストケー
スに付随する情報として自動生成する（課題３の解
決）。また、階層的に状態遷移を入力するインターフェ
ースより、試験の網羅性のレベルを部分ごとに設定する
ことにより、テストケース作成者が、状態の組み合わせ
を部分ごとに適切な詳細度で網羅したテストケースを作
成することができる。さらに、データフロー図を入力す
るためのＩ／Ｆ上でテスト対象の物理的範囲を区切るこ
とができる。これにより、任意にテスト範囲を限定した
テストケースを作成することができる（課題２の解
決）。

【００２２】これを、以下、既述の鉄道の信号システム
を例に、まず、試験対象の物理範囲を限定しない場合
（ＣＡＳＥ １）を説明し、次に、限定する場合（ＣＡ
ＳＥ２）を説明する。

【００２３】［ＣＡＳＥ１：対象範囲を限定しない場
合］この場合は、インターフェースから入力された仕様
全体に対するテストケースを作成する。階層的な状態遷
移図の仕様は、すでに図１の１ａの入力インターフェー
スから入力され、図３，図４の仕様が入力されていると
する。次に、図１ｂの階層的データフロー入力インター
フェースより図５のようなデータフロー図を入力する。
データフロー図は、ハードウエアイメージのファンクシ
ョンブロックと、ファンクションブロックの間のデータ
の流れを表すデータフローからなる。図５では、ファン
クションブロックは四角形で、データフローは矢印で表
されている。図５が記述している範囲は、手前の線区の
軌道回路，対象線区の軌道回路，直後の線区の軌道回
路，直後の線区の次の線区の軌道回路，信号、および、
タイマーである。線区ごとの軌道回路と軌道回路の間で
は、列車の通過の情報が、伝達される。信号から、軌道
回路へは判定要求が伝達され、対象線区の軌道回路から
信号へは、判定結果が伝達される。

【００２４】また、信号からタイマーへは、初期化が、
タイマーから、信号へは、Ｎ秒経過の情報が流れる。ま
た、信号からは、外部環境へ、信号点灯（青または赤）
が出力される。外部環境への出力は、この他に、直後の
線区の次の線区の軌道回路からの通過データがあり、ま
た外部環境からの入力としては手前の線区の軌道回路へ
の通過情報の入力がある。

【００２５】このようなデータフロー図の核ファンクシ
ョンブロックを状態遷移図と同様なやり方で階層的に詳
細化できることはいうまでもない。また、このような図
形的な仕様を入力するインターフェースおよびデータフ
ロー図を解析する技術も公知のものである。

【００２６】図６に、状態遷移図で表された仕様とデー
タフロー図を関係づけた表の例を示す。対応づけは、デ
ータフロー図のどの名前の仕様の（表中の仕様名）どの
ファンクションブロック（表中のＦＲＯＭ）からどのフ
ァンクションブロックへ（表中のＴＯ）の何という名前
のデータフロー（表中の名称）が、状態遷移図の、どの
名前の仕様の（表中の仕様名）どの状態（表中のＦＲＯ
Ｍ）からどの状態へ（表中のＴＯ）の何という名前の事
象（表中の名称）が対応しているか、という形で示され
ている。

【００２７】例えば、表の第１行は、駅信号システムの
データフローという名称の仕様の、入力のファンクショ
ンブロックが“外部”で、出力先のファンクションブロ
ックが、“手前の線区の軌道回路”である、“通過”と
いう名称のデータフローが、“線区の状態”という名称
の仕様の、遷移元の状態が、“列車なし”で、遷移先の
状態が“手前の線区に列車”である、“到着”という名
前の事象が対応していることを示す。ここで、表中に
（外部）とあるのは、図５の中で入力元のファンクショ
ンブロックまたは出力先ファンクションブロックがない
データフローが定義されている場合の入力元または、出
力先のことである。

【００２８】また、階層的に記述されている場合の状態
遷移図の遷移元または、遷移先は、上位の階層の状態に
なる場合がある。例えば、すでに説明したように、図４
の状態“軌道回路状態確認”の遷移元は、信号赤であ
り、状態“判定待ち”の事象“判定ＯＫ”による遷移先
は、図３に示す上位の仕様の“信号青”である。このよ
うな階層関係を考慮した遷移の解析は、公知例より(特
開平7−253905号公報）により容易に実現できる。

【００２９】図６の表を用いれば、図７に示した手順
で、入力すべき装置、および出力をチェックすべき装置
の情報を含んだより詳細なテストケースを生成すること
ができる。すなわち、公知例（特開平7−253905 号公
報）等の方法で階層的状態遷移図から網羅的テストケー
スを生成し、図６の対応表を用いて、入力すべき装置、
および出力をチェックすべき装置の情報を事象の系列と
して記述されているテストケースの各事象に付加する。

【００３０】図８は、公知例の方法で作成したテストケ
ースと、本発明により生成したテストケースの一部を示
したものである。図中の事象の横の番号は、事象の発生
順序を示す。公知例の方法では、状態遷移図中の遷移事
象の系列としてのみ記述される。例えば、図８では、状
態遷移図中の事象の系列、“到着”，“判定要求”，
“判定ＮＧ”，“初期化”，…としてテストケースが生
成される。

【００３１】しかし、これだけの情報では、入出力の区
別もなく、また、どの装置に関する入出力かもわからな
い。具体的な試験手順としては、不十分で、この情報を
さらに解読して、詳細な試験手順を作成しなおす必要が
ある。

【００３２】一方、本発明によれば、生起させる事象の
順序だけでなく、例えば、（到着（入力：外部，出力：
手前の線区の軌道回路））のように、事象とともに、入
出力に関わる機器を明示した手順を作成でき、試験仕様
書を作成する手間を大幅に省略することができる。本発
明の方がより詳しいテストケースを生成できることがわ
かる。

【００３３】［ＣＡＳＥ２：対象範囲を限定する場合］
この場合も、ＣＡＳＥ１と同様の仕様が、状態遷移図
（図３，図４），データフロー図（図５）で記述されて
いるとする。ＣＡＳＥ１との違いは、図９に示すよう
に、データフロー中のテスト範囲が、図中の太線で囲わ
れた範囲に限定されていることである。テスト範囲を図
のように図形的に定義して、図１のデータフローＩ／Ｆ
(１ｂ)から入力し、仕様分析部(１ｂ)で分析して仕様格
納部（１ｆ）に格納するのは、容易に実現可能な公知の
技術である。

【００３４】このように定義されたテスト範囲は、図１
の格納部では、例えば、図１０のように格納される。テ
スト範囲は、リスト形式で格納され、リストの要素がテ
スト範囲のファンクションブロックを指す。例えば、リ
スト中の駅信号システムのデータフロー：対象線区の軌
道回路は、信号システムのデーターフロー図（図５）の
中のファンクションブロック、“対象線区の軌道回路”
が、テスト範囲であることを示す。同様に、駅信号シス
テムの（図５）の中のファンクションブロック、“信
号”が、テスト範囲であることを示している。

【００３５】図１１は、仕様格納部において、データフ
ロー図で表された仕様が格納されているデータ形式の一
例である。データは、仕様名ごとに表形式で格納され
る。表の項目は、ファンクションブロック名称ごとに入
力データフロー名とそのＩＤ、および、出力データフロ
ー名とそのＩＤからなる。ＩＤは同じ名称のデータフロ
ーの区別をするためである。例えば、図９のデータフロ
ーには、通過という名称のものが多くあるが、これに、
ＩＤをつけることにより、区別がつく。例えば対象線区
の入力となるデータフローの“通過”は、図１１をみる
とＩＤ＝２であり、これは、表中の手前の線区の出力デ
ータフロー“通過”（ＩＤ＝２）と同じものであること
がわかる。

【００３６】これら、図１０，図１１と状態遷移図（図
３）を用いて、図９で定義した範囲のテストケースを生
成する手順を図１２に示す。まず最初のステップ(１２
−１)では、図１０の形式で格納されたテスト範囲と図
１１の形式で格納されたデーターフロー図の仕様を用い
て、テスト範囲外からの入力データフローとテスト範囲
外への出力データフローをリストアップし外部出力フロ
ー，外部入力フローのリストとして格納する。

【００３７】図１３に、この例における外部入力フロー
と外部出力フローのリストを示した。外部出力フロー
は、テスト範囲内に出力先を伴い、テスト範囲内のファ
ンクションブロックからの出力であり、外部入力フロー
は、テスト範囲外からのテスト範囲内のファンクション
ブロックへの入力であり、図１０，図１１を用いて容易
に作成することができる。

【００３８】次に図１２，１２−２において、テスト範
囲内のデータフローのリストを生成する。テスト範囲内
のデータフローはテスト範囲内のファンクションブロッ
クからのテスト範囲内のファンクションブロックへのフ
ローである。図１３に、この例におけるテスト範囲内の
２つのデータフローを示した。次にこれら３種類のデー
タフローに対応する外部入力遷移事象，外部出力遷移事
象，テスト内遷移事象を図６の対応表を用いて生成す
る。対応表の右側のデータフロー名称が同じものの区別
は、ＩＤではなく、どのファンクションブロックからど
のファンクションブロックへのフローであるか、という
形で区別されているが、図１１のデータフローＩＤをみ
れば、そのＩＤがどのファンクションブロックからどの
ファンクションブロックへのフローか容易に判断でき
る。

【００３９】例えば、図１３の外部入力フローの１つで
ある“通過（ＩＤ＝２）”は、図１１の表で手前の線区
の軌道回路から対象線区の軌道回路へのフローであるこ
とがわかるので、図６のＦＲＯＭが手前の線区の軌道回
路であり、ＴＯが対象線区の軌道回路である、２番めの
行が相当し、対応する状態線図の事象は、状態“手前の
線区に列車”から“線区に列車”への遷移である事象
“線区侵入”が対応することがわかる。このようにし
て、データフローに対応する状態遷移図中の事象を抽出
したものを図１３に示す。ただし、データフローの信号
点灯に対応する状態遷移図中の事象は図６には記述され
ていないので、対応するものは図１３中にはない。次に
もとの状態遷移図を、図１３の事象だけを含むように縮
約する。

【００４０】その結果、図１４のような状態遷移図のよ
うな状態遷移図ができる。これは、図３と図４とを合わ
せたものに対応するが、遷移のない場合は２つの状態は
１つの状態として縮約している。例えば、線区の状態
は、図３では、３つの状態からなるが、到着という遷移
事象が図１３にないため、状態“列車なし”、と、“手
前の線区に列車”を１つの状態にまとめて１つの状態
“列車なし手前の線区に列車”に縮約される。同様に、
信号の状態も、事象“到着”がないために、もとの２つ
の状態“信号”と“判定中”の状態が１つの状態“信号
判定中”に縮約される。

【００４１】最後に、この縮約された状態遷移図をもと
にＣＡＳＥ１と同様の方法テストケースを作成した結果
が、図１５に示すテストケースの一例である。図８の結
果に比べると到着の事象の分だけ、事象の系列が１つ減
っている。この例では、テスト手順の簡素化は、わずか
だが、より大規模なシステムでは、より、大きな効果が
期待できる。また、現実に手を加えたり、値を見られな
い部分がある場合、本発明は不可欠である。

【００４２】

【発明の効果】本発明により、単なる事象の発生順序だ
けでなく、その事象がどの機器からの入出力であるかの
情報を付加した、より詳細なテストケースを作成の自動
化を実現することができる。また、テスト範囲を自由に
設定し、テスト範囲の中で、意味のない事象や状態の場
合わけを除いた、合理的なテストケースを自動生成する
ことにより、合理的な試験仕様を作成できる。

【図面の簡単な説明】

【図１】本発明のシステム作成装置の構成図。

【図２】本発明の例題である鉄道の信号システムを示す
図。

【図３】例題に対する線区の状態遷移を示す図。

【図４】例題に対する下位階層の信号状態の遷移を示す
図。

【図５】例題に対する軌道回路のデータフロー図。

【図６】例題に対するデータフロー図と状態遷移図の対
応表を示す図。

【図７】本発明の処理の流れ図。

【図８】テストケースの生成結果の例を示す図。

【図９】テスト範囲の情報を付加したデータフロー図。

【図１０】テスト範囲の情報の格納形態の例を示す図。

【図１１】データフローの格納形態の例を示す図。

【図１２】テスト範囲を限定したテストケースの生成処
理の流れ図。

【図１３】テスト範囲内のデータフローと遷移事象の例
を示す図。

【図１４】テスト範囲を限定した状態遷移を示す図。

【図１５】テスト範囲を限定したテストケースの生成結
果の例を示す図。

【符号の説明】

１ａ…状態遷移図を図形的に入力する為のインターフェ
ース、１ｂ…データフロー図を図形的に入力するための
インターフェース、１ｃ…データフローと状態遷移の関
連づけを定義するためのインターフェース、１ｄ…仕様
の分析を行う仕様分析部、１ｅ…テストケ−ス格納部、
１ｆ…仕様格納部、１ｇ…テストケース格納部。

Claims (4)

【特許請求の範囲】
1. 【請求項１】状態遷移図で記述された仕様に基づいて、
   状態遷移図中の遷移事象の系列としてテストケースを作
   成するテストケース作成支援装置において、装置相互の
   データの流れを記述するデータフロー図で記述した仕様
   におけるデータフローと、該状態遷移図の遷移事象との
   間の対応付けを記述した表を参照することにより、遷移
   事象と、その遷移事象がどの装置の入力または出力であ
   るかの情報の組からなる系列に、テストケースを生成す
   ることを特徴とするテストケース作成装置。
2. 【請求項２】状態遷移図で記述された仕様に基づいて、
   状態遷移図中の遷移事象の系列としてテストケースを作
   成するテストケース作成支援方法において、装置相互の
   データの流れを記述するデータフロー図で記述した仕様
   におけるデータフローと、該状態遷移図の遷移事象との
   間の対応付けを記述した表を参照することにより、遷移
   事象と、その遷移事象がどの装置の入力または出力であ
   るかの情報の組からなる系列にテストケースを生成する
   ことを特徴とするテストケース作成支援方法。
3. 【請求項３】状態遷移図で記述された仕様に基づいて、
   状態遷移図中の遷移事象の系列としてテストケースを作
   成するテストケース作成支援装置において、装置相互の
   データの流れを記述するデータフロー図で記述した仕様
   において試験対象範囲を限定する情報を付加し、データ
   フロー図におけるデータフローと、該状態遷移図の遷移
   事象との間の対応付けを記述した表を参照することによ
   り、データフロー図中で限定された該試験対象範囲にお
   けるテストケースを生成することを特徴とするテストケ
   ース作成装置。
4. 【請求項４】状態遷移図で記述された仕様に基づいて、
   状態遷移図中の遷移事象の系列としてテストケースを作
   成するテストケース作成支援方法において、装置相互の
   データの流れを記述するデータフロー図で記述した仕様
   において、試験対象範囲を限定する情報を付加し、デー
   タフロー図におけるデータフローと、該状態遷移図の遷
   移事象との間の対応付けを記述した表を参照することに
   より、データフロー図中で限定された該試験対象範囲に
   おけるテストケースを生成することを特徴とするテスト
   ケース作成方法。