JPH11232085A - 処理シーケンス自動生成方法および装置並びに処理シーケンス生成プログラムを記録した記憶媒体 - Google Patents
処理シーケンス自動生成方法および装置並びに処理シーケンス生成プログラムを記録した記憶媒体Info
- Publication number
- JPH11232085A JPH11232085A JP10035937A JP3593798A JPH11232085A JP H11232085 A JPH11232085 A JP H11232085A JP 10035937 A JP10035937 A JP 10035937A JP 3593798 A JP3593798 A JP 3593798A JP H11232085 A JPH11232085 A JP H11232085A
- Authority
- JP
- Japan
- Prior art keywords
- transition
- pattern
- processing sequence
- processing
- state
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Landscapes
- Stored Programmes (AREA)
Abstract
(57)【要約】
【課題】 状態遷移表から簡明な遷移パターンに対応す
る処理シーケンス図を自動的に作成する。 【解決手段】 装置において発生しうる状態間の遷移関
係を表す状態遷移表から一連の処理の流れを示す処理シ
ーケンス図を自動的に作成する処理シーケンス自動生成
方法において、状態遷移表に表された状態の遷移関係を
追跡して、可能な組み合わせの要因の発生に応じて遷移
する状態の連なりを表す遷移パターンをそれぞれ生成
し、遷移パターンそれぞれから同一の状態を二度以上通
過するループパターンを検出し、ループパターンの検出
結果に基づいて、有効な遷移パターンを選択して処理シ
ーケンス図の作成処理に供する。
る処理シーケンス図を自動的に作成する。 【解決手段】 装置において発生しうる状態間の遷移関
係を表す状態遷移表から一連の処理の流れを示す処理シ
ーケンス図を自動的に作成する処理シーケンス自動生成
方法において、状態遷移表に表された状態の遷移関係を
追跡して、可能な組み合わせの要因の発生に応じて遷移
する状態の連なりを表す遷移パターンをそれぞれ生成
し、遷移パターンそれぞれから同一の状態を二度以上通
過するループパターンを検出し、ループパターンの検出
結果に基づいて、有効な遷移パターンを選択して処理シ
ーケンス図の作成処理に供する。
Description
【０００１】
【発明の属する技術分野】本発明は、様々な装置の状態
間の遷移関係を表す状態遷移表から一連の処理の流れを
示す処理シーケンス図を自動的に作成する処理シーケン
ス自動生成方法および装置並びに処理シーケンス生成プ
ログラムを記録した記憶媒体に関するものである。状態
遷移表は、対象となる装置において発生しうる全ての状
態について、相互の遷移関係を表形式で示したものであ
り、状態遷移を網羅的に表すことが可能であることか
ら、様々な分野において、装置の設計段階などで頻繁に
利用されている。一方、処理シーケンス図は、基点とな
る状態から終点となる状態までを状態遷移表の上で追跡
して得られるものであり、処理の進捗を直感的に把握す
ることができるため、装置の試験段階などで利用される
ことが多い。このため、設計段階で作成された状態遷移
表から、装置の性能試験などに利用しやすい有効な処理
シーケンス図を自動的に生成する技術が必要とされてい
る。
間の遷移関係を表す状態遷移表から一連の処理の流れを
示す処理シーケンス図を自動的に作成する処理シーケン
ス自動生成方法および装置並びに処理シーケンス生成プ
ログラムを記録した記憶媒体に関するものである。状態
遷移表は、対象となる装置において発生しうる全ての状
態について、相互の遷移関係を表形式で示したものであ
り、状態遷移を網羅的に表すことが可能であることか
ら、様々な分野において、装置の設計段階などで頻繁に
利用されている。一方、処理シーケンス図は、基点とな
る状態から終点となる状態までを状態遷移表の上で追跡
して得られるものであり、処理の進捗を直感的に把握す
ることができるため、装置の試験段階などで利用される
ことが多い。このため、設計段階で作成された状態遷移
表から、装置の性能試験などに利用しやすい有効な処理
シーケンス図を自動的に生成する技術が必要とされてい
る。
【０００２】
【従来の技術】図１０に、状態遷移表の例を示す。図１
０(ａ)、(ｂ)にそれぞれ示した状態遷移表は、通信装置
の通信制御処理部および装置制御処理部それぞれについ
て、予想される要因のごく一部と、これらの要因の発生
に応じて遷移することが予想される状態を示したもので
ある。
０(ａ)、(ｂ)にそれぞれ示した状態遷移表は、通信装置
の通信制御処理部および装置制御処理部それぞれについ
て、予想される要因のごく一部と、これらの要因の発生
に応じて遷移することが予想される状態を示したもので
ある。
【０００３】図１０に示した２つの状態遷移表は互いに
連携しており、それぞれの処理欄において、それぞれの
処理部が行う動作は、例えば、メッセージの略称と宛先
となる通信制御処理部あるいは装置制御処理部を示す符
号（com,main）とを矢印で結んで示されている。従来
は、性能試験などの際に、このような状態遷移表を人手
で追跡していき、処理シーケンス図を作成していた。
連携しており、それぞれの処理欄において、それぞれの
処理部が行う動作は、例えば、メッセージの略称と宛先
となる通信制御処理部あるいは装置制御処理部を示す符
号（com,main）とを矢印で結んで示されている。従来
は、性能試験などの際に、このような状態遷移表を人手
で追跡していき、処理シーケンス図を作成していた。
【０００４】その際には、まず、状態遷移の起点となる
状態あるいは要因を決定し、その後は、処理欄内の処理
に基づいて、遷移先の状態あるいは要因を探索する作業
を繰り返していき、予め決定しておいた終点の状態ある
いは要因に到達するまで、状態遷移表を追跡していた。
このように、人手によって状態遷移表の追跡を行う際に
は、当然ながら、有効な処理シーケンスのみを得るよう
に、遷移先の探索が行われており、図１１に示すよう
に、必要な情報を過不足なく含んだ簡明な処理シーケン
ス図が得られる。
状態あるいは要因を決定し、その後は、処理欄内の処理
に基づいて、遷移先の状態あるいは要因を探索する作業
を繰り返していき、予め決定しておいた終点の状態ある
いは要因に到達するまで、状態遷移表を追跡していた。
このように、人手によって状態遷移表の追跡を行う際に
は、当然ながら、有効な処理シーケンスのみを得るよう
に、遷移先の探索が行われており、図１１に示すよう
に、必要な情報を過不足なく含んだ簡明な処理シーケン
ス図が得られる。
【０００５】一方、状態遷移表から自動的に処理シーケ
ンス図を作成するための技術としては、伊藤篤ほか著、
「通信ソフトウェア仕様の設計と解析のためのシーケン
スチャートと状態遷移図の相互変換」、電子情報通信学
会技術研究報告、第９１巻、第９３号（１９９１年６月
２０）pp37〜pp46に記載の方法や、森保健二ほか著、
「通信プロトコル設計におけるリバースエンジニアリン
グ」、１９９１年電子情報通信学会春季大会講演論文
集、第３分冊、p98 に記載の方法、および特開平６−１
５２６８４号公報に記載の方法などがある。
ンス図を作成するための技術としては、伊藤篤ほか著、
「通信ソフトウェア仕様の設計と解析のためのシーケン
スチャートと状態遷移図の相互変換」、電子情報通信学
会技術研究報告、第９１巻、第９３号（１９９１年６月
２０）pp37〜pp46に記載の方法や、森保健二ほか著、
「通信プロトコル設計におけるリバースエンジニアリン
グ」、１９９１年電子情報通信学会春季大会講演論文
集、第３分冊、p98 に記載の方法、および特開平６−１
５２６８４号公報に記載の方法などがある。
【０００６】これらの方法は、それぞれ遷移先を探索す
る際に制限条件を設定するなどして、不要な遷移パター
ンを含む処理シーケンス図を排除することにより、有効
な処理シーケンス図を求めようとするものである。
る際に制限条件を設定するなどして、不要な遷移パター
ンを含む処理シーケンス図を排除することにより、有効
な処理シーケンス図を求めようとするものである。
【０００７】
【発明が解決しようとする課題】装置の設計の際に想定
すべき要因は膨大な数に上り、また、遷移先となる状態
もまた非常に多いため、状態遷移表は非常に大きく複雑
なものとなっている。
すべき要因は膨大な数に上り、また、遷移先となる状態
もまた非常に多いため、状態遷移表は非常に大きく複雑
なものとなっている。
【０００８】このため、上述したように、処理シーケン
ス図の作成を人手に頼っていたのでは、性能試験などに
必要な処理の流れを表す処理シーケンス図を漏れなく作
成することは困難である。また、有効な遷移先の探索を
行う際には、作成作業者に例えば通信プロトコルなどに
ついての知識や経験が必要であるから、作業者の負担も
大きかった。
ス図の作成を人手に頼っていたのでは、性能試験などに
必要な処理の流れを表す処理シーケンス図を漏れなく作
成することは困難である。また、有効な遷移先の探索を
行う際には、作成作業者に例えば通信プロトコルなどに
ついての知識や経験が必要であるから、作業者の負担も
大きかった。
【０００９】一方、上述した自動作成技法によれば、状
態遷移表から自動的に処理シーケンス図を得ることが可
能である。しかしながら、有効な処理シーケンスのみを
選択的に抽出するための制限条件を設定することは困難
であるため、不要な遷移パターンを大量に含んだ膨大な
量の処理シーケンス図が生成されてしまう場合がある。
態遷移表から自動的に処理シーケンス図を得ることが可
能である。しかしながら、有効な処理シーケンスのみを
選択的に抽出するための制限条件を設定することは困難
であるため、不要な遷移パターンを大量に含んだ膨大な
量の処理シーケンス図が生成されてしまう場合がある。
【００１０】また、もちろん、適切な制限条件を設定す
るためには、これらの自動作成技法の利用者も、通信プ
ロトコルなどに関する深い知識や広い経験をもっている
ことが必要である。ところで、人手で追跡した場合に
は、同一の順序で状態が遷移するループパターンや不自
然に多数のイベントが組み込まれたパターンなどは、不
要な情報として無意識のうちに排除され、一連の処理の
流れを簡明に表す有効な遷移パターンのみが抽出されて
いる。
るためには、これらの自動作成技法の利用者も、通信プ
ロトコルなどに関する深い知識や広い経験をもっている
ことが必要である。ところで、人手で追跡した場合に
は、同一の順序で状態が遷移するループパターンや不自
然に多数のイベントが組み込まれたパターンなどは、不
要な情報として無意識のうちに排除され、一連の処理の
流れを簡明に表す有効な遷移パターンのみが抽出されて
いる。
【００１１】このような取捨選択を自動作成技術に適用
することができれば、処理シーケンス図の作成作業を大
幅に効率化することが可能である。本発明は、不要な遷
移パターンを排除して、簡明な遷移パターンに対応する
処理シーケンス図を自動的に作成する処理シーケンス自
動生成方法および装置並びに処理シーケンス生成プログ
ラムを記録した記憶媒体を提供することを目的とする。
することができれば、処理シーケンス図の作成作業を大
幅に効率化することが可能である。本発明は、不要な遷
移パターンを排除して、簡明な遷移パターンに対応する
処理シーケンス図を自動的に作成する処理シーケンス自
動生成方法および装置並びに処理シーケンス生成プログ
ラムを記録した記憶媒体を提供することを目的とする。
【００１２】
【課題を解決するための手段】図１に、本発明の処理シ
ーケンス自動生成方法の原理を示す。請求項１の発明
は、装置において発生しうる状態間の遷移関係を表す状
態遷移表から一連の処理の流れを示す処理シーケンス図
を自動的に作成する処理シーケンス自動生成方法におい
て、状態遷移表に表された状態の遷移関係を追跡して、
可能な組み合わせの要因の発生に応じて遷移する状態の
連なりを表す遷移パターンをそれぞれ生成し、遷移パタ
ーンそれぞれから同一の状態を二度以上通過するループ
パターンを検出し、ループパターンの検出結果に基づい
て、有効な遷移パターンを選択して処理シーケンス図の
作成処理に供することを特徴とする。
ーケンス自動生成方法の原理を示す。請求項１の発明
は、装置において発生しうる状態間の遷移関係を表す状
態遷移表から一連の処理の流れを示す処理シーケンス図
を自動的に作成する処理シーケンス自動生成方法におい
て、状態遷移表に表された状態の遷移関係を追跡して、
可能な組み合わせの要因の発生に応じて遷移する状態の
連なりを表す遷移パターンをそれぞれ生成し、遷移パタ
ーンそれぞれから同一の状態を二度以上通過するループ
パターンを検出し、ループパターンの検出結果に基づい
て、有効な遷移パターンを選択して処理シーケンス図の
作成処理に供することを特徴とする。
【００１３】請求項１の発明は、状態遷移表を追跡して
得られる遷移パターンそれぞれについて、ループパター
ンを含んでいるか否かに基づいて処理シーケンス図の作
成処理に供するか否かを決定しているので、例えば、同
一の経路を辿る遷移を何度も繰り返すような遷移パター
ンを冗長な遷移パターンとして排除することができ、一
連の処理の流れを簡明に表す遷移パターンを選択的に処
理シーケンス図の作成処理に供することができる。
得られる遷移パターンそれぞれについて、ループパター
ンを含んでいるか否かに基づいて処理シーケンス図の作
成処理に供するか否かを決定しているので、例えば、同
一の経路を辿る遷移を何度も繰り返すような遷移パター
ンを冗長な遷移パターンとして排除することができ、一
連の処理の流れを簡明に表す遷移パターンを選択的に処
理シーケンス図の作成処理に供することができる。
【００１４】請求項２の発明は、装置において発生しう
る状態間の遷移関係を表す状態遷移表から一連の処理の
流れを示す処理シーケンス図を自動的に作成する処理シ
ーケンス自動生成方法において、状態遷移表に表された
状態の遷移関係を追跡して、可能な組み合わせの要因の
発生に応じて遷移する状態の連なりを表す遷移パターン
をそれぞれ生成し、遷移パターンそれぞれにおいて発行
された要因の数を計数し、得られた要因の数に応じて、
有効な遷移パターンを選択して処理シーケンス図の作成
処理に供することを特徴とする。
る状態間の遷移関係を表す状態遷移表から一連の処理の
流れを示す処理シーケンス図を自動的に作成する処理シ
ーケンス自動生成方法において、状態遷移表に表された
状態の遷移関係を追跡して、可能な組み合わせの要因の
発生に応じて遷移する状態の連なりを表す遷移パターン
をそれぞれ生成し、遷移パターンそれぞれにおいて発行
された要因の数を計数し、得られた要因の数に応じて、
有効な遷移パターンを選択して処理シーケンス図の作成
処理に供することを特徴とする。
【００１５】請求項２の発明は、状態遷移表を追跡して
得られる遷移パターンそれぞれに含まれる要因の数に応
じて処理シーケンス図の作成処理に供するか否かを決定
しているので、例えば、不必要に多くの要因が発行され
るような複雑な遷移パターンを排除することができ、一
連の処理の流れを簡明に表す遷移パターンを選択的に処
理シーケンス図の作成処理に供することができる。
得られる遷移パターンそれぞれに含まれる要因の数に応
じて処理シーケンス図の作成処理に供するか否かを決定
しているので、例えば、不必要に多くの要因が発行され
るような複雑な遷移パターンを排除することができ、一
連の処理の流れを簡明に表す遷移パターンを選択的に処
理シーケンス図の作成処理に供することができる。
【００１６】図２に、本発明の処理シーケンス自動生成
装置の原理ブロック図を示す。請求項３の発明は、装置
において発生しうる状態間の遷移関係を表す状態遷移表
から一連の処理の流れを示す処理シーケンス図を自動的
に作成する処理シーケンス自動生成装置において、状態
遷移表に表された状態の遷移関係を追跡して、可能な組
み合わせの要因の発生に応じて遷移する状態の連なりを
表す遷移パターンをそれぞれ生成する追跡手段１１１
と、遷移パターンそれぞれから同一の状態を二度以上通
過するループパターンを検出するループ検出手段１１２
と、ループパターンの検出結果に基づいて、有効な遷移
パターンを選択して処理シーケンス図の作成処理に供す
る第１パターン選択手段１１３とを備えたことを特徴と
する。
装置の原理ブロック図を示す。請求項３の発明は、装置
において発生しうる状態間の遷移関係を表す状態遷移表
から一連の処理の流れを示す処理シーケンス図を自動的
に作成する処理シーケンス自動生成装置において、状態
遷移表に表された状態の遷移関係を追跡して、可能な組
み合わせの要因の発生に応じて遷移する状態の連なりを
表す遷移パターンをそれぞれ生成する追跡手段１１１
と、遷移パターンそれぞれから同一の状態を二度以上通
過するループパターンを検出するループ検出手段１１２
と、ループパターンの検出結果に基づいて、有効な遷移
パターンを選択して処理シーケンス図の作成処理に供す
る第１パターン選択手段１１３とを備えたことを特徴と
する。
【００１７】請求項３の発明は、第１選択手段１１３
が、ループ検出手段１１２による検出結果に応じて動作
することにより、追跡手段１１１によって得られた遷移
パターンに含まれる冗長な遷移パターンを排除して、一
連の処理を簡明に表す遷移パターンのみを有効な遷移パ
ターンとして処理シーケンス図の作成処理に供すること
ができる。
が、ループ検出手段１１２による検出結果に応じて動作
することにより、追跡手段１１１によって得られた遷移
パターンに含まれる冗長な遷移パターンを排除して、一
連の処理を簡明に表す遷移パターンのみを有効な遷移パ
ターンとして処理シーケンス図の作成処理に供すること
ができる。
【００１８】請求項４の発明は、装置において発生しう
る状態間の遷移関係を表す状態遷移表から一連の処理の
流れを示す処理シーケンス図を自動的に作成する処理シ
ーケンス自動生成装置において、状態遷移表に表された
状態の遷移関係を追跡して、可能な組み合わせの要因の
発生に応じて遷移する状態の連なりを表す遷移パターン
をそれぞれ生成する追跡手段１１１と、遷移パターンそ
れぞれにおいて発行された要因の数を計数する要因計数
手段１１４と、得られた要因の数に応じて、有効な遷移
パターンを選択して処理シーケンス図の作成処理に供す
る第２パターン選択手段１１５とを備えたことを特徴と
する。
る状態間の遷移関係を表す状態遷移表から一連の処理の
流れを示す処理シーケンス図を自動的に作成する処理シ
ーケンス自動生成装置において、状態遷移表に表された
状態の遷移関係を追跡して、可能な組み合わせの要因の
発生に応じて遷移する状態の連なりを表す遷移パターン
をそれぞれ生成する追跡手段１１１と、遷移パターンそ
れぞれにおいて発行された要因の数を計数する要因計数
手段１１４と、得られた要因の数に応じて、有効な遷移
パターンを選択して処理シーケンス図の作成処理に供す
る第２パターン選択手段１１５とを備えたことを特徴と
する。
【００１９】請求項４の発明は、第２選択手段１１５
が、要因計数手段１１４による計数結果に応じて動作す
ることにより、追跡手段１１１によって得られた遷移パ
ターンに含まれる過度に複雑な遷移パターンを排除し
て、一連の処理を簡明に表す遷移パターンのみを有効な
遷移パターンとして処理シーケンス図の作成処理に供す
ることができる。
が、要因計数手段１１４による計数結果に応じて動作す
ることにより、追跡手段１１１によって得られた遷移パ
ターンに含まれる過度に複雑な遷移パターンを排除し
て、一連の処理を簡明に表す遷移パターンのみを有効な
遷移パターンとして処理シーケンス図の作成処理に供す
ることができる。
【００２０】請求項５の発明は、装置において発生しう
る状態間の遷移関係を表す状態遷移表から一連の処理の
流れを示す処理シーケンス図を自動的に作成する処理シ
ーケンス自動生成プログラムを記録した記憶媒体におい
て、状態遷移表に表された状態の遷移関係を追跡して、
可能な組み合わせの要因の発生に応じて遷移する状態の
連なりを表す遷移パターンをそれぞれ生成する追跡手順
と、遷移パターンそれぞれから同一の状態を二度以上通
過するループパターンを検出する検出手順と、ループパ
ターンの検出結果に基づいて、有効な遷移パターンを選
択して処理シーケンス図の作成処理に供する第１の選択
手順とをコンピュータに実行させるプログラムを記録し
たことを特徴とする。
る状態間の遷移関係を表す状態遷移表から一連の処理の
流れを示す処理シーケンス図を自動的に作成する処理シ
ーケンス自動生成プログラムを記録した記憶媒体におい
て、状態遷移表に表された状態の遷移関係を追跡して、
可能な組み合わせの要因の発生に応じて遷移する状態の
連なりを表す遷移パターンをそれぞれ生成する追跡手順
と、遷移パターンそれぞれから同一の状態を二度以上通
過するループパターンを検出する検出手順と、ループパ
ターンの検出結果に基づいて、有効な遷移パターンを選
択して処理シーケンス図の作成処理に供する第１の選択
手順とをコンピュータに実行させるプログラムを記録し
たことを特徴とする。
【００２１】請求項５の発明は、第１の選択手順が、ル
ープ検出手順において得られた検出結果に応じて遷移パ
ターンの選択を行うことにより、追跡手順において得ら
れた遷移パターンに含まれる冗長な遷移パターンを排除
して、一連の処理を簡明に表す遷移パターンのみを有効
な遷移パターンとして処理シーケンス図の作成処理に供
することができる。
ープ検出手順において得られた検出結果に応じて遷移パ
ターンの選択を行うことにより、追跡手順において得ら
れた遷移パターンに含まれる冗長な遷移パターンを排除
して、一連の処理を簡明に表す遷移パターンのみを有効
な遷移パターンとして処理シーケンス図の作成処理に供
することができる。
【００２２】請求項６の発明は、装置において発生しう
る状態間の遷移関係を表す状態遷移表から一連の処理の
流れを示す処理シーケンス図を自動的に作成する処理シ
ーケンス自動生成プログラムを記録した記憶媒体におい
て、状態遷移表に表された状態の遷移関係を追跡して、
可能な組み合わせの要因の発生に応じて遷移する状態の
連なりを表す遷移パターンをそれぞれ生成する追跡手順
と、遷移パターンそれぞれにおいて発行された要因の数
を計数する計数手順と、得られた要因の数に応じて、有
効な遷移パターンを選択して処理シーケンス図の作成処
理に供する第２の選択手順とをコンピュータに実行させ
るプログラムを記録したことを特徴とする。
る状態間の遷移関係を表す状態遷移表から一連の処理の
流れを示す処理シーケンス図を自動的に作成する処理シ
ーケンス自動生成プログラムを記録した記憶媒体におい
て、状態遷移表に表された状態の遷移関係を追跡して、
可能な組み合わせの要因の発生に応じて遷移する状態の
連なりを表す遷移パターンをそれぞれ生成する追跡手順
と、遷移パターンそれぞれにおいて発行された要因の数
を計数する計数手順と、得られた要因の数に応じて、有
効な遷移パターンを選択して処理シーケンス図の作成処
理に供する第２の選択手順とをコンピュータに実行させ
るプログラムを記録したことを特徴とする。
【００２３】請求項６の発明は、第２の選択手順が、要
因計数手順において得られた計数結果に応じて遷移パタ
ーンの選択を行うことにより、追跡手順において得られ
た遷移パターンに含まれる過度に複雑な遷移パターンを
排除して、一連の処理を簡明に表す遷移パターンのみを
有効な遷移パターンとして処理シーケンス図の作成処理
に供することができる。
因計数手順において得られた計数結果に応じて遷移パタ
ーンの選択を行うことにより、追跡手順において得られ
た遷移パターンに含まれる過度に複雑な遷移パターンを
排除して、一連の処理を簡明に表す遷移パターンのみを
有効な遷移パターンとして処理シーケンス図の作成処理
に供することができる。
【００２４】
【発明の実施の形態】以下、図面に基づいて、本発明の
実施形態について詳細に説明する。図３に、請求項３の
処理シーケンス自動作成装置の実施形態を示す。図３に
おいて、追跡手段１１１に相当する追跡処理部２０１
は、指定された状態あるいは要因を起点として、予め指
定された追跡条件に従って、状態遷移表格納部２０２に
格納された状態遷移表に基づいて装置状態の遷移を追跡
し、遷移先の状態とその遷移要因との組み合わせで表さ
れる状態遷移を追跡結果として遷移パターン判別処理部
２１０の処理に供する構成となっている。
実施形態について詳細に説明する。図３に、請求項３の
処理シーケンス自動作成装置の実施形態を示す。図３に
おいて、追跡手段１１１に相当する追跡処理部２０１
は、指定された状態あるいは要因を起点として、予め指
定された追跡条件に従って、状態遷移表格納部２０２に
格納された状態遷移表に基づいて装置状態の遷移を追跡
し、遷移先の状態とその遷移要因との組み合わせで表さ
れる状態遷移を追跡結果として遷移パターン判別処理部
２１０の処理に供する構成となっている。
【００２５】また、この追跡処理部２０１による追跡処
理で得られた遷移パターンは、追跡条件で指定された終
了条件の満了に応じて、遷移パターン保持部２０３を介
して変換処理部２０４に送出され、この遷移パターンに
対応する処理シーケンス図に変換されて、プリンタ２０
５あるいはディスプレイ装置（ＣＲＴ）２０６を介して
出力される構成となっている。
理で得られた遷移パターンは、追跡条件で指定された終
了条件の満了に応じて、遷移パターン保持部２０３を介
して変換処理部２０４に送出され、この遷移パターンに
対応する処理シーケンス図に変換されて、プリンタ２０
５あるいはディスプレイ装置（ＣＲＴ）２０６を介して
出力される構成となっている。
【００２６】図３において、遷移パターン保持部２０３
は、追跡処理部２０１によって新しい状態遷移が得られ
るごとに、この新しい状態遷移を追跡済みの遷移パター
ンに加えて保持していき、この遷移パターンを遷移パタ
ーン判別処理部２１０の処理に供する構成となってい
る。この遷移パターン判別処理部２１０において、ルー
プ検出部２１１は、追跡処理部２０１から新しい状態遷
移を受け取るごとに、上述した遷移パターン保持部２０
３に既に保持されている遷移パターンにこの状態遷移が
含まれているか否かに基づいて、同一の状態遷移によっ
て挟まれたループパターンを検出する構成となってい
る。
は、追跡処理部２０１によって新しい状態遷移が得られ
るごとに、この新しい状態遷移を追跡済みの遷移パター
ンに加えて保持していき、この遷移パターンを遷移パタ
ーン判別処理部２１０の処理に供する構成となってい
る。この遷移パターン判別処理部２１０において、ルー
プ検出部２１１は、追跡処理部２０１から新しい状態遷
移を受け取るごとに、上述した遷移パターン保持部２０
３に既に保持されている遷移パターンにこの状態遷移が
含まれているか否かに基づいて、同一の状態遷移によっ
て挟まれたループパターンを検出する構成となってい
る。
【００２７】例えば、図４(ａ)に示すように、８つの要
因（図において符号〜符号を付して示す）と５つの
状態（図において、符号Ａ〜Ｅで示す）との遷移関係を
表す状態遷移表について、上述した追跡処理部２０１が
追跡処理を行うことによって、図４(ｂ)に示すような遷
移パターンが得られた場合は、この遷移パターンの中の
状態Ｃから状態Ｅと状態Ｄを経由して状態Ｃに戻る部分
（図において、矢印を付して示す）がループパターンと
して検出される。
因（図において符号〜符号を付して示す）と５つの
状態（図において、符号Ａ〜Ｅで示す）との遷移関係を
表す状態遷移表について、上述した追跡処理部２０１が
追跡処理を行うことによって、図４(ｂ)に示すような遷
移パターンが得られた場合は、この遷移パターンの中の
状態Ｃから状態Ｅと状態Ｄを経由して状態Ｃに戻る部分
（図において、矢印を付して示す）がループパターンと
して検出される。
【００２８】また、図３において、パターン切り出し部
２１２は、このループ検出部２１１による検出結果に応
じて、該当する遷移パターンの一部を遷移パターン保持
部２０３から切り出して、ループパターン保持部２１３
およびループ判定部２１４に送出する構成となってい
る。このループ判定部２１４は、パターン切り出し部２
１２から新しく検出されたループパターンを受け取り、
このループパターンと既にループパターン保持部２１３
に保持されているループパターンとを照合し、この照合
結果に応じて、該当するループパターンが重複している
か否かを判定し、この判定結果に応じて、追跡制御部２
１５が、追跡処理部２０１の動作を制御する構成となっ
ている。
２１２は、このループ検出部２１１による検出結果に応
じて、該当する遷移パターンの一部を遷移パターン保持
部２０３から切り出して、ループパターン保持部２１３
およびループ判定部２１４に送出する構成となってい
る。このループ判定部２１４は、パターン切り出し部２
１２から新しく検出されたループパターンを受け取り、
このループパターンと既にループパターン保持部２１３
に保持されているループパターンとを照合し、この照合
結果に応じて、該当するループパターンが重複している
か否かを判定し、この判定結果に応じて、追跡制御部２
１５が、追跡処理部２０１の動作を制御する構成となっ
ている。
【００２９】図５に、遷移パターン判別動作を表す流れ
図を示す。追跡処理部２０１による追跡処理で得られた
状態遷移は、まず、遷移パターン保持部２０３に保持さ
れた遷移パターンに追加され（ステップ３０１、３０
２）、その後、ループ検出部２１１により、この状態遷
移がループパターンの一部でないと判定された場合（ス
テップ３０３の否定判定）は、得られた状態遷移が追跡
の終了条件を満たしているか否かを判定し（ステップ３
０４）、否定判定の場合は、そのままステップ３０１に
戻って、この遷移パターンについて更に探索が続けられ
る。
図を示す。追跡処理部２０１による追跡処理で得られた
状態遷移は、まず、遷移パターン保持部２０３に保持さ
れた遷移パターンに追加され（ステップ３０１、３０
２）、その後、ループ検出部２１１により、この状態遷
移がループパターンの一部でないと判定された場合（ス
テップ３０３の否定判定）は、得られた状態遷移が追跡
の終了条件を満たしているか否かを判定し（ステップ３
０４）、否定判定の場合は、そのままステップ３０１に
戻って、この遷移パターンについて更に探索が続けられ
る。
【００３０】一方、例えば、図４(ｂ)に示したループパ
ターンの末尾である状態Ｃへの遷移が追跡処理部２０１
による追跡結果が遷移パターン保持部２０３に保持され
たときに、ループ検出部２１１により、このループパタ
ーンが検出され、ステップ３０３の肯定判定となる。こ
のときは、このループパターンと一致するものがループ
パターン保持部２１３に保持されていないので、ループ
判定部２１４は新しいループパターンであると判断し
（ステップ３０５の肯定判定）、これに応じて、ループ
パターン保持部２１３により、パターン切り出し部２１
２から受け取ったループパターンが保持され（ステップ
３０６）、その後、ステップ３０４に進めばよい。
ターンの末尾である状態Ｃへの遷移が追跡処理部２０１
による追跡結果が遷移パターン保持部２０３に保持され
たときに、ループ検出部２１１により、このループパタ
ーンが検出され、ステップ３０３の肯定判定となる。こ
のときは、このループパターンと一致するものがループ
パターン保持部２１３に保持されていないので、ループ
判定部２１４は新しいループパターンであると判断し
（ステップ３０５の肯定判定）、これに応じて、ループ
パターン保持部２１３により、パターン切り出し部２１
２から受け取ったループパターンが保持され（ステップ
３０６）、その後、ステップ３０４に進めばよい。
【００３１】一方、図４(ｃ)に示すように、上述したル
ープパターンと同一の遷移過程を辿るループパターンが
再び現れた場合には、ループパターン保持部２１３に該
当するループパターンが既に保持されているから、ルー
プ判定部２１４は、このループパターンは重複している
と判定する（ステップ３０５の否定判定）。これに応じ
て、図３に示した追跡制御部２１５は、遷移パターン保
持部２０３およびループパターン保持部２１３の内容を
クリアするとともに、追跡処理部２０１に追跡中の遷移
パターンについての処理の中止を指示してこの遷移パタ
ーンを破棄し（ステップ３０７）、この遷移パターンに
関する追跡処理を終了すればよい。
ープパターンと同一の遷移過程を辿るループパターンが
再び現れた場合には、ループパターン保持部２１３に該
当するループパターンが既に保持されているから、ルー
プ判定部２１４は、このループパターンは重複している
と判定する（ステップ３０５の否定判定）。これに応じ
て、図３に示した追跡制御部２１５は、遷移パターン保
持部２０３およびループパターン保持部２１３の内容を
クリアするとともに、追跡処理部２０１に追跡中の遷移
パターンについての処理の中止を指示してこの遷移パタ
ーンを破棄し（ステップ３０７）、この遷移パターンに
関する追跡処理を終了すればよい。
【００３２】この場合に、追跡処理部２０１は、ステッ
プ３０８において、全ての遷移パターンを追跡したか否
かを判定し、否定判定の場合は、ステップ３０１に戻っ
て、再び指定された起点から改めて別の遷移パターンの
追跡処理を開始すればよい。このようにして、ループパ
ターンを検出し、このループパターンが重複したときに
追跡処理を中断する構成とすれば、重複したループパタ
ーンを含む遷移パターンを排除することができる。
プ３０８において、全ての遷移パターンを追跡したか否
かを判定し、否定判定の場合は、ステップ３０１に戻っ
て、再び指定された起点から改めて別の遷移パターンの
追跡処理を開始すればよい。このようにして、ループパ
ターンを検出し、このループパターンが重複したときに
追跡処理を中断する構成とすれば、重複したループパタ
ーンを含む遷移パターンを排除することができる。
【００３３】この場合は、重複したパターンを含まない
遷移パターンについての追跡処理のみが、ステップ３０
４において終了条件を満足したとして完遂し、ステップ
３０９において、遷移パターン保持部２０３に保持され
た遷移パターンがシーケンス変換部２０４に送出され、
処理シーケンス図に変換される。このようにして、状態
遷移表を追跡して得られる全ての遷移パターンについて
上述した処理を行い、ステップ３０８の肯定判定に応じ
て処理を終了すればよい。
遷移パターンについての追跡処理のみが、ステップ３０
４において終了条件を満足したとして完遂し、ステップ
３０９において、遷移パターン保持部２０３に保持され
た遷移パターンがシーケンス変換部２０４に送出され、
処理シーケンス図に変換される。このようにして、状態
遷移表を追跡して得られる全ての遷移パターンについて
上述した処理を行い、ステップ３０８の肯定判定に応じ
て処理を終了すればよい。
【００３４】つまり、ループ検出部２１１、パターン切
り出し部２１２、ループパターン保持部２１３およびル
ープ判定部２１４によって、重複したループパターンを
検出し、この検出結果に応じて、追跡制御部２１５によ
る追跡処理を中断して、該当する遷移パターンを排除す
ることにより、請求項３で述べたループ検出手段１１２
および第１選択手段１１３と同等の機能が実現され、有
効な遷移パターンのみが選択的に処理シーケンス図への
変換処理に供される。
り出し部２１２、ループパターン保持部２１３およびル
ープ判定部２１４によって、重複したループパターンを
検出し、この検出結果に応じて、追跡制御部２１５によ
る追跡処理を中断して、該当する遷移パターンを排除す
ることにより、請求項３で述べたループ検出手段１１２
および第１選択手段１１３と同等の機能が実現され、有
効な遷移パターンのみが選択的に処理シーケンス図への
変換処理に供される。
【００３５】このようにして、請求項１の処理シーケン
ス自動作成方法を適用した処理シーケンス自動作成装置
を実現し、膨大な数の遷移パターンの中から、重複した
パターンを含む冗長な遷移パターンを排除して、簡明な
遷移パターンのみを選択的に処理シーケンス図に変換す
ることができるから、自動作成によって生成される処理
シーケンス図を大幅に絞り込んで、処理シーケンス図の
作成作業の効率化を図ることが可能である。
ス自動作成方法を適用した処理シーケンス自動作成装置
を実現し、膨大な数の遷移パターンの中から、重複した
パターンを含む冗長な遷移パターンを排除して、簡明な
遷移パターンのみを選択的に処理シーケンス図に変換す
ることができるから、自動作成によって生成される処理
シーケンス図を大幅に絞り込んで、処理シーケンス図の
作成作業の効率化を図ることが可能である。
【００３６】例えば、図４(ａ)に示した状態遷移図に対
応する状態遷移表に基づく追跡処理について、上述した
遷移パターンの判別処理を適用すれば、図６に示すよう
に、約３分の１の遷移パターンを排除することができ
る。ここで、図６は、図４(ａ)に示した状態Ａを起点と
して、再び状態Ａに戻ることを条件として追跡して得ら
れた結果を要因の連なりとして表しており、この場合
は、考えられる全てのパターン（２４パターン）から、
符号「×」を付して示した７個の遷移パターンが排除さ
れ、１７パターンが有効な遷移パターンとして抽出され
ている。
応する状態遷移表に基づく追跡処理について、上述した
遷移パターンの判別処理を適用すれば、図６に示すよう
に、約３分の１の遷移パターンを排除することができ
る。ここで、図６は、図４(ａ)に示した状態Ａを起点と
して、再び状態Ａに戻ることを条件として追跡して得ら
れた結果を要因の連なりとして表しており、この場合
は、考えられる全てのパターン（２４パターン）から、
符号「×」を付して示した７個の遷移パターンが排除さ
れ、１７パターンが有効な遷移パターンとして抽出され
ている。
【００３７】特に、上述したように、重複するループパ
ターンを検出した時点で、該当する遷移パターンについ
ての追跡処理を中断する構成としたことにより、排除さ
れる遷移パターンについての追跡処理に費やされる無駄
な処理時間を削減することが可能となり、処理シーケン
ス自動生成装置の処理負担を軽減し、処理の高速化を図
ることができる。
ターンを検出した時点で、該当する遷移パターンについ
ての追跡処理を中断する構成としたことにより、排除さ
れる遷移パターンについての追跡処理に費やされる無駄
な処理時間を削減することが可能となり、処理シーケン
ス自動生成装置の処理負担を軽減し、処理の高速化を図
ることができる。
【００３８】また、上述した遷移パターン判別処理部２
１０の各部は、ソフトウェアによって実現可能であるか
ら、これらの各部の処理をコンピュータに実行させるプ
ログラムおよびデータをフロッピーディスクなどの記憶
媒体に記録して、請求項５で述べた記憶媒体を作成し、
これを市販することにより、様々な分野で同様の課題を
解決することができる。
１０の各部は、ソフトウェアによって実現可能であるか
ら、これらの各部の処理をコンピュータに実行させるプ
ログラムおよびデータをフロッピーディスクなどの記憶
媒体に記録して、請求項５で述べた記憶媒体を作成し、
これを市販することにより、様々な分野で同様の課題を
解決することができる。
【００３９】更に、ループパターンを全く含まない遷移
パターンのみを抽出することもできる。例えば、図７に
示すように、ループパターン検出部２１１によるループ
パターンの検出に応じて、追跡制御部２１５が追跡処理
部２０１に追跡処理の中止を指示する構成とすればよ
い。
パターンのみを抽出することもできる。例えば、図７に
示すように、ループパターン検出部２１１によるループ
パターンの検出に応じて、追跡制御部２１５が追跡処理
部２０１に追跡処理の中止を指示する構成とすればよ
い。
【００４０】この場合は、図４(ａ)に示した状態遷移図
に対応する状態遷移表について、状態Ａを起点として再
び状態Ａに戻ることを条件として追跡して得られる遷移
パターンから、図８に示すように、起点および終点とし
て指定された状態Ａ以外の状態を２度以上通らないもの
が抽出される。このように、同一の状態を２度以上通る
遷移パターン（図８において、符号「×」を付して示
す）を排除することにより、ごく少数の簡明な遷移パタ
ーンのみを有効な遷移パターンとして抽出することがで
きる。
に対応する状態遷移表について、状態Ａを起点として再
び状態Ａに戻ることを条件として追跡して得られる遷移
パターンから、図８に示すように、起点および終点とし
て指定された状態Ａ以外の状態を２度以上通らないもの
が抽出される。このように、同一の状態を２度以上通る
遷移パターン（図８において、符号「×」を付して示
す）を排除することにより、ごく少数の簡明な遷移パタ
ーンのみを有効な遷移パターンとして抽出することがで
きる。
【００４１】これにより、一連の処理をより簡明に表す
遷移パターンを抽出して処理シーケンス図の作成作業に
供することができるから、処理内容を把握しやすい処理
シーケンス図を選択的に作成し、装置の性能試験やデバ
ッグ作業などを強力に支援することができる。
遷移パターンを抽出して処理シーケンス図の作成作業に
供することができるから、処理内容を把握しやすい処理
シーケンス図を選択的に作成し、装置の性能試験やデバ
ッグ作業などを強力に支援することができる。
【００４２】特に、デバッグ作業では、一連の処理過程
においてバグの発生箇所を特定する作業が主であり、ル
ープパターンに対応する処理シーケンス図を必要とする
ことはない。したがって、上述したようにして、ループ
パターンを含む遷移パターンを処理シーケンス図の作成
対象から排除することにより、デバッグ作業をスムーズ
に進めることができる。
においてバグの発生箇所を特定する作業が主であり、ル
ープパターンに対応する処理シーケンス図を必要とする
ことはない。したがって、上述したようにして、ループ
パターンを含む遷移パターンを処理シーケンス図の作成
対象から排除することにより、デバッグ作業をスムーズ
に進めることができる。
【００４３】一方、簡明な遷移パターンを得る方法とし
て、起点から終点に至るまでに発行される要因の数を制
限することが考えられる。図９に、請求項４の処理シー
ケンス自動作成装置の実施形態を示す。図９において、
処理シーケンス自動作成装置は、遷移パターン判別処理
部２１０に代えて遷移パターン判別処理部２２０を備
え、この遷移パターン判別処理部２２０によって有効と
された遷移パターンが、遷移パターン保持部２０３を介
して変換処理部２０４に送出され、処理シーケンス図に
変換される構成となっている。
て、起点から終点に至るまでに発行される要因の数を制
限することが考えられる。図９に、請求項４の処理シー
ケンス自動作成装置の実施形態を示す。図９において、
処理シーケンス自動作成装置は、遷移パターン判別処理
部２１０に代えて遷移パターン判別処理部２２０を備
え、この遷移パターン判別処理部２２０によって有効と
された遷移パターンが、遷移パターン保持部２０３を介
して変換処理部２０４に送出され、処理シーケンス図に
変換される構成となっている。
【００４４】図９に示した遷移パターン判別処理部２２
０において、要因計数部２２１は、請求項４で述べた要
因計数手段１１４に相当するものであり、追跡処理部２
０１による追跡処理で得られた状態遷移に含まれる要因
を計数し、この要因計数部２２１による計数値と指定さ
れた閾値とを比較処理部２２２によって比較し、この閾
値を超えた旨の比較結果に応じて、追跡制御部２１５
が、追跡処理部２０１に該当する遷移パターンについて
の追跡処理の中止を指示するとともに、遷移パターン保
持部２０３の内容をクリアする構成となっている。
０において、要因計数部２２１は、請求項４で述べた要
因計数手段１１４に相当するものであり、追跡処理部２
０１による追跡処理で得られた状態遷移に含まれる要因
を計数し、この要因計数部２２１による計数値と指定さ
れた閾値とを比較処理部２２２によって比較し、この閾
値を超えた旨の比較結果に応じて、追跡制御部２１５
が、追跡処理部２０１に該当する遷移パターンについて
の追跡処理の中止を指示するとともに、遷移パターン保
持部２０３の内容をクリアする構成となっている。
【００４５】この場合は、要因計数部２２１による計数
値が要因数について指定された閾値を超えると、直ち
に、この遷移パターンについての処理が中止されるの
で、起点から終点までに発行される要因数が閾値以下で
ある遷移パターンのみが、追跡処理の完遂に応じて、遷
移パターン保持部２０３を介して変換処理部２０４に送
出される。
値が要因数について指定された閾値を超えると、直ち
に、この遷移パターンについての処理が中止されるの
で、起点から終点までに発行される要因数が閾値以下で
ある遷移パターンのみが、追跡処理の完遂に応じて、遷
移パターン保持部２０３を介して変換処理部２０４に送
出される。
【００４６】このように、比較処理部２２２による比較
結果に応じて、追跡制御部２１５が動作して、指定され
た閾値を超える数の要因を含む遷移パターンを排除する
ことにより、請求項４で述べた第２選択手段１１５と同
等の機能が果され、有効な遷移パターンのみが選択的に
処理シーケンス図への変換処理に供される。このように
して、請求項２の処理シーケンス自動作成方法を適用し
た処理シーケンス自動作成装置を実現し、膨大な数の遷
移パターンの中から、必要以上に多数の要因を含む過度
に複雑な遷移パターンを排除して、簡明な遷移パターン
のみを選択的に処理シーケンス図に変換することができ
るから、自動作成によって生成される処理シーケンス図
を大幅に絞り込んで、処理シーケンス図の作成作業の効
率化を図ることが可能である。
結果に応じて、追跡制御部２１５が動作して、指定され
た閾値を超える数の要因を含む遷移パターンを排除する
ことにより、請求項４で述べた第２選択手段１１５と同
等の機能が果され、有効な遷移パターンのみが選択的に
処理シーケンス図への変換処理に供される。このように
して、請求項２の処理シーケンス自動作成方法を適用し
た処理シーケンス自動作成装置を実現し、膨大な数の遷
移パターンの中から、必要以上に多数の要因を含む過度
に複雑な遷移パターンを排除して、簡明な遷移パターン
のみを選択的に処理シーケンス図に変換することができ
るから、自動作成によって生成される処理シーケンス図
を大幅に絞り込んで、処理シーケンス図の作成作業の効
率化を図ることが可能である。
【００４７】このようにして得られた遷移パターンは、
起点から終点に至る一連の処理の流れを簡明に表してい
るから、このような遷移パターンのみを抽出して、選択
的に処理シーケンス図の作成対象とすることにより、装
置の性能試験やデバッグ作業に有用な処理シーケンス図
を選択的に自動作成することができる。また、上述した
遷移パターン判別処理部２２０の各部は、ソフトウェア
によって実現可能であるから、これらの各部の処理をコ
ンピュータに実行させるプログラムおよびデータをフロ
ッピーディスクなどの記憶媒体に記録して、請求項６で
述べた記憶媒体を作成し、これを市販することにより、
様々な分野で同様の課題を解決することができる。
起点から終点に至る一連の処理の流れを簡明に表してい
るから、このような遷移パターンのみを抽出して、選択
的に処理シーケンス図の作成対象とすることにより、装
置の性能試験やデバッグ作業に有用な処理シーケンス図
を選択的に自動作成することができる。また、上述した
遷移パターン判別処理部２２０の各部は、ソフトウェア
によって実現可能であるから、これらの各部の処理をコ
ンピュータに実行させるプログラムおよびデータをフロ
ッピーディスクなどの記憶媒体に記録して、請求項６で
述べた記憶媒体を作成し、これを市販することにより、
様々な分野で同様の課題を解決することができる。
【００４８】
【発明の効果】以上で説明したように、請求項１、請求
項３および請求項５の発明によれば、例えば、同一の経
路を辿る遷移を繰り返す遷移パターンを変換対象から排
除して、一連の処理を簡明に表す遷移パターンのみを選
択的に処理シーケンス図に変換することができるから、
状態遷移表から有効な処理シーケンス図を効率よく自動
生成することができる。
項３および請求項５の発明によれば、例えば、同一の経
路を辿る遷移を繰り返す遷移パターンを変換対象から排
除して、一連の処理を簡明に表す遷移パターンのみを選
択的に処理シーケンス図に変換することができるから、
状態遷移表から有効な処理シーケンス図を効率よく自動
生成することができる。
【００４９】また、請求項２、請求項４および請求項６
の発明によれば、必要以上に多数の要因を含む過度に複
雑な遷移パターンを変換対象から排除して、一連の処理
を簡明に表す遷移パターンのみを選択的に処理シーケン
ス図に変換することができるから、状態遷移表から有効
な処理シーケンス図を効率よく自動生成することができ
る。
の発明によれば、必要以上に多数の要因を含む過度に複
雑な遷移パターンを変換対象から排除して、一連の処理
を簡明に表す遷移パターンのみを選択的に処理シーケン
ス図に変換することができるから、状態遷移表から有効
な処理シーケンス図を効率よく自動生成することができ
る。
【図１】本発明の処理シーケンス自動生成方法の原理を
示す図である。
示す図である。
【図２】本発明の処理シーケンス自動生成装置の原理ブ
ロック図である。
ロック図である。
【図３】請求項３の処理シーケンス自動生成装置の実施
形態を示す図である。
形態を示す図である。
【図４】遷移パターンを説明する図である。
【図５】遷移パターン判別動作を表す流れ図である。
【図６】遷移パターンの判別処理を説明する図である。
【図７】請求項３の処理シーケンス自動生成装置の別実
施形態を示す図である。
施形態を示す図である。
【図８】遷移パターンの判別処理を説明する図である。
【図９】請求項４の処理シーケンス自動生成装置の実施
形態を示す図である。
形態を示す図である。
【図１０】状態遷移表の例を示す図である。
【図１１】処理シーケンス図の例を示す図である。
１１１ 追跡手段 １１２ ループ検出手段 １１３ 第１選択手段 １１４ 要因計数手段 １１５ 第２選択手段 ２０１ 追跡処理部 ２０２ 状態遷移表格納部 ２０３ 遷移パターン保持部 ２０４ 変換処理部 ２０５ プリンタ ２０６ ディスプレイ装置（ＣＲＴ） ２１０、２２０ 遷移パターン判別処理部 ２１１ ループ検出部 ２１２ パターン切り出し部 ２１３ ループパターン保持部 ２１４ ループ判定部 ２１５ 追跡制御部 ２２１ 要因計数部 ２２２ 比較処理部
Claims (6)
- 【請求項１】 装置において発生しうる状態間の遷移関
係を表す状態遷移表から一連の処理の流れを示す処理シ
ーケンス図を自動的に作成する処理シーケンス自動生成
方法において、 前記状態遷移表に表された状態の遷移関係を追跡して、
可能な組み合わせの要因の発生に応じて遷移する状態の
連なりを表す遷移パターンをそれぞれ生成し、 前記遷移パターンそれぞれから同一の状態を二度以上通
過するループパターンを検出し、 前記ループパターンの検出結果に基づいて、有効な遷移
パターンを選択して処理シーケンス図の作成処理に供す
ることを特徴とする処理シーケンス自動作成方法。 - 【請求項２】 装置において発生しうる状態間の遷移関
係を表す状態遷移表から一連の処理の流れを示す処理シ
ーケンス図を自動的に作成する処理シーケンス自動生成
方法において、 前記状態遷移表に表された状態の遷移関係を追跡して、
可能な組み合わせの要因の発生に応じて遷移する状態の
連なりを表す遷移パターンをそれぞれ生成し、 前記遷移パターンそれぞれにおいて発行された要因の数
を計数し、 得られた要因の数に応じて、有効な遷移パターンを選択
して処理シーケンス図の作成処理に供することを特徴と
する処理シーケンス自動作成方法。 - 【請求項３】 装置において発生しうる状態間の遷移関
係を表す状態遷移表から一連の処理の流れを示す処理シ
ーケンス図を自動的に作成する処理シーケンス自動生成
装置において、 前記状態遷移表に表された状態の遷移関係を追跡して、
可能な組み合わせの要因の発生に応じて遷移する状態の
連なりを表す遷移パターンをそれぞれ生成する追跡手段
と、 前記遷移パターンそれぞれから同一の状態を二度以上通
過するループパターンを検出するループ検出手段と、 前記ループパターンの検出結果に基づいて、有効な遷移
パターンを選択して処理シーケンス図の作成処理に供す
る第１パターン選択手段とを備えたことを特徴とする処
理シーケンス自動作成装置。 - 【請求項４】 装置において発生しうる状態間の遷移関
係を表す状態遷移表から一連の処理の流れを示す処理シ
ーケンス図を自動的に作成する処理シーケンス自動生成
装置において、 前記状態遷移表に表された状態の遷移関係を追跡して、
可能な組み合わせの要因の発生に応じて遷移する状態の
連なりを表す遷移パターンをそれぞれ生成する追跡手段
と、 前記遷移パターンそれぞれにおいて発行された要因の数
を計数する要因計数手段と、 得られた要因の数に応じて、有効な遷移パターンを選択
して処理シーケンス図の作成処理に供する第２パターン
選択手段とを備えたことを特徴とする処理シーケンス自
動作成方法。 - 【請求項５】 装置において発生しうる状態間の遷移関
係を表す状態遷移表から一連の処理の流れを示す処理シ
ーケンス図を自動的に作成する処理シーケンス自動生成
プログラムを記録した記憶媒体において、 前記状態遷移表に表された状態の遷移関係を追跡して、
可能な組み合わせの要因の発生に応じて遷移する状態の
連なりを表す遷移パターンをそれぞれ生成する追跡手順
と、 前記遷移パターンそれぞれから同一の状態を二度以上通
過するループパターンを検出する検出手順と、 前記ループパターンの検出結果に基づいて、有効な遷移
パターンを選択して処理シーケンス図の作成処理に供す
る第１の選択手順とをコンピュータに実行させるプログ
ラムを記録したことを特徴とする記憶媒体。 - 【請求項６】 装置において発生しうる状態間の遷移関
係を表す状態遷移表から一連の処理の流れを示す処理シ
ーケンス図を自動的に作成する処理シーケンス自動生成
プログラムを記録した記憶媒体において、 前記状態遷移表に表された状態の遷移関係を追跡して、
可能な組み合わせの要因の発生に応じて遷移する状態の
連なりを表す遷移パターンをそれぞれ生成する追跡手順
と、 前記遷移パターンそれぞれにおいて発行された要因の数
を計数する計数手順と、 得られた要因の数に応じて、有効な遷移パターンを選択
して処理シーケンス図の作成処理に供する第２の選択手
順とをコンピュータに実行させるプログラムを記録した
ことを特徴とする記憶媒体。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP10035937A JPH11232085A (ja) | 1998-02-18 | 1998-02-18 | 処理シーケンス自動生成方法および装置並びに処理シーケンス生成プログラムを記録した記憶媒体 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP10035937A JPH11232085A (ja) | 1998-02-18 | 1998-02-18 | 処理シーケンス自動生成方法および装置並びに処理シーケンス生成プログラムを記録した記憶媒体 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH11232085A true JPH11232085A (ja) | 1999-08-27 |
Family
ID=12455941
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP10035937A Pending JPH11232085A (ja) | 1998-02-18 | 1998-02-18 | 処理シーケンス自動生成方法および装置並びに処理シーケンス生成プログラムを記録した記憶媒体 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH11232085A (ja) |
Cited By (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2009295021A (ja) * | 2008-06-06 | 2009-12-17 | Internatl Business Mach Corp <Ibm> | シーケンス図作成装置、シーケンス図作成方法及びコンピュータプログラム |
| JP2010250422A (ja) * | 2009-04-13 | 2010-11-04 | Hitachi Ltd | 状態遷移表編集装置、および、状態遷移表編集方法 |
| JP2012226398A (ja) * | 2011-04-14 | 2012-11-15 | Fuji Electric Co Ltd | モデル図作成装置、モデル図作成方法、モデル図作成プログラムおよびモデル図作成用の状態イベント表のデータ構造 |
| JP2013171458A (ja) * | 2012-02-21 | 2013-09-02 | Fuji Electric Co Ltd | モデル図作成装置、モデル図作成方法、モデル図作成プログラムおよびモデル図作成用の状態イベント表のデータ構造 |
| JP2020154421A (ja) * | 2019-03-18 | 2020-09-24 | 菊水電子工業株式会社 | プログラム生成システム、そのコンピュータプログラム及び記録媒体 |
-
1998
- 1998-02-18 JP JP10035937A patent/JPH11232085A/ja active Pending
Cited By (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2009295021A (ja) * | 2008-06-06 | 2009-12-17 | Internatl Business Mach Corp <Ibm> | シーケンス図作成装置、シーケンス図作成方法及びコンピュータプログラム |
| JP2010250422A (ja) * | 2009-04-13 | 2010-11-04 | Hitachi Ltd | 状態遷移表編集装置、および、状態遷移表編集方法 |
| JP2012226398A (ja) * | 2011-04-14 | 2012-11-15 | Fuji Electric Co Ltd | モデル図作成装置、モデル図作成方法、モデル図作成プログラムおよびモデル図作成用の状態イベント表のデータ構造 |
| JP2013171458A (ja) * | 2012-02-21 | 2013-09-02 | Fuji Electric Co Ltd | モデル図作成装置、モデル図作成方法、モデル図作成プログラムおよびモデル図作成用の状態イベント表のデータ構造 |
| JP2020154421A (ja) * | 2019-03-18 | 2020-09-24 | 菊水電子工業株式会社 | プログラム生成システム、そのコンピュータプログラム及び記録媒体 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN110928772A (zh) | 一种测试方法及装置 | |
| US20090203368A1 (en) | Automated recording of virtual device interface | |
| US20140067360A1 (en) | System And Method For On-Demand Simulation Based Learning For Automation Framework | |
| JP2007052703A (ja) | テストシナリオ作成プログラム、テストシナリオ作成装置、テストシナリオ作成方法 | |
| JP2000112784A (ja) | プログラムテスト支援装置及びプログラムテスト支援プログラムを記録した記録媒体 | |
| JPH11232085A (ja) | 処理シーケンス自動生成方法および装置並びに処理シーケンス生成プログラムを記録した記憶媒体 | |
| JP4295775B2 (ja) | Ｇｕｉテスト支援システム及びテスト支援用アプリケーションプログラム | |
| CN114968787B (zh) | 基于节点关系的测试方法、装置及电子设备 | |
| CN109359042A (zh) | 一种基于路径搜索算法的自动化测试方法 | |
| CN110738384B (zh) | 事件序列的校验方法及系统 | |
| JP2009146280A (ja) | レガシーマイグレーション支援システム | |
| CN105786865A (zh) | 一种检索系统故障分析方法及装置 | |
| CN113742151B (zh) | 多版本cdm工具自动测试方法、装置和计算机设备 | |
| CN1996239A (zh) | 一种生成测试脚本的方法及装置 | |
| JP4625432B2 (ja) | 操作部品データ作成装置 | |
| JP3712882B2 (ja) | 時間間隔を含む時系列パターン抽出装置 | |
| KR20000055986A (ko) | 데이터 자동 추출/검증 시스템 및 그 방법 | |
| JP3028792B2 (ja) | シミュレーション解析装置及びシミュレーション解析方法 | |
| JPH0887417A (ja) | コンパイラ装置 | |
| JPH09223040A (ja) | ソフトウェアのシステムテスト支援装置およびこれに用いるテストシナリオ生成装置 | |
| JPH09325952A (ja) | オブジェクト指向仕様の実行検証装置 | |
| JP5514682B2 (ja) | バッチ処理プログラム分析方法および装置 | |
| CN120256595A (zh) | 基于大模型的文本分析方法、装置及电子设备 | |
| JP2000113006A (ja) | 電子回路機能論理検証支援システム | |
| JP3602231B2 (ja) | テストパターン作成装置 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20040113 |
|
| A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20040305 |
|
| A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20040406 |
|
| A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20040428 |
|
| A911 | Transfer of reconsideration by examiner before appeal (zenchi) |
Free format text: JAPANESE INTERMEDIATE CODE: A911 Effective date: 20040510 |
|
| A912 | Removal of reconsideration by examiner before appeal (zenchi) |
Free format text: JAPANESE INTERMEDIATE CODE: A912 Effective date: 20040528 |