(57)【要約】  解析部１１は、記録部１０に記録されているシーケンスデータからシーケンス中で分岐する条件を抽出する。条件設定部１２は、解析部１１の条件抽出結果をユーザに提示し、これによるユーザからの条件設定を受け付け、条件設定の内容を条件設定情報として再構成部１３に出力する。再構成部１３は、条件設定部１２からの条件設定情報に基づいて、シーケンスデータを再構成し、簡略化シーケンスとして出力する。
2011070695.tif 000002
【特許請求の範囲】
【請求項１】
シーケンスデータから、シーケンス中で分岐する条件を抽出する解析部と、
前記解析部の条件抽出結果を提示し、これによるユーザからの条件設定を受け付け、当該条件設定の内容を条件設定情報として出力する条件設定部と、
前記条件設定部からの条件設定情報に基づいて、前記シーケンスデータを再構成して出力する再構成部とを備えたシーケンス変換装置。
【請求項２】
シーケンスデータから、シーケンス中で分岐する条件を抽出する解析部と、
前記解析部の条件抽出結果に基づき、条件分岐を行った場合の複数の条件設定の内容を複数の条件設定情報として出力する条件設定部と、
前記条件設定部からの複数の条件設定情報に基づいて、前記シーケンスデータを再構成して出力する再構成部とを備えたシーケンス変換装置。
【請求項３】
解析部は、シーケンス中に被参照シーケンスを含む場合、当該被参照シーケンスを含むことを示す参照情報を出力し、
再構成部は、前記参照情報に基づいてシーケンスデータを再構成することを特徴とする請求項１記載のシーケンス変換装置。
【請求項４】
任意のシーケンスの条件抽出結果に対する条件設定結果を蓄積する履歴部を設け、条件設定部は、解析部から特定のシーケンスの条件抽出結果を受け取った場合、前記履歴部を参照し、前記特定のシーケンスに対する条件設定結果が記録されていた場合は、当該記録された条件設定結果の内容を提示することを特徴とする請求項１記載のシーケンス変換装置。
【請求項５】
条件設定部からの条件設定情報を蓄積する履歴部を設け、再構成部は、前記条件設定部から特定の条件設定情報を受け取った場合、前記履歴部を参照し、当該特定の条件設定情報に一致する条件設定情報があるか否かを判定し、一致する条件設定情報がなかった場合にのみ、当該特定の条件設定情報に対応したシーケンスデータを再構成することを特徴とする請求項１記載のシーケンス変換装置。
【請求項６】
シーケンスの更新状態を管理し、更新があった場合は、その更新による差分で生じる条件設定情報を送出する更新管理部を設け、
前記再構成部は、前記条件設定情報に基づいてシーケンスデータを再構成することを特徴とする請求項１記載のシーケンス変換装置。
【請求項７】
シーケンスの更新状態を管理し、更新があった場合は、その更新による差分で生じる条件設定情報を送出すると共に、更新されるシーケンスが被参照シーケンスであった場合、当該被参照シーケンスを参照するシーケンスを関連シーケンス情報として出力する更新管理部を設け、
解析部は、前記関連シーケンス情報に基づいて参照情報を出力し、再構成部は、前記参照情報と前記条件設定情報とに基づいてシーケンスデータを再構成することを特徴とする請求項１記載のシーケンス変換装置。
【請求項８】
条件設定部からの条件設定情報を蓄積する履歴部と、
シーケンスの更新状態を管理し、更新があった場合は、その更新による差分で生じる条件設定情報を送出すると共に、更新されるシーケンスが被参照シーケンスであり、かつ、前記履歴部に存在する条件設定情報を適用した場合に当該被参照シーケンスが参照される場合にのみ、前記被参照シーケンスを参照するシーケンスを関連シーケンス情報として出力する更新管理部とを設け、
解析部は、前記関連シーケンス情報に基づいて参照情報を出力し、再構成部は、前記参照情報と前記更新管理部から出力される条件設定情報とに基づいてシーケンスデータを再構成することを特徴とする請求項１記載のシーケンス変換装置。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、例えばネットワークに接続された装置間の通信など、シーケンスが存在する場合に、その仕様データである通信シーケンスから、試験等に使用可能な簡略化されたシーケンスに変換するシーケンス変換装置に関するものである。
【背景技術】
【０００２】
ネットワークに接続されて使用される通信装置や複数の通信処理が非同期に動作するソフトウェアでは、様々な通信シーケンスに従って通信装置や通信処理が動作する必要がある。そこで、通信装置の設計段階では、通信装置や通信処理が守るべき全ての通信シーケンスが定義され、それを満たすように開発が行われ、試験段階では、その通信シーケンス通りに動作するかの確認が行われる。
通信シーケンスの定義方法のひとつに「シーケンス図」がある。例えばシーケンス図の表記方式の国際標準規格（ＩＴＵ−Ｔ  Ｚ．１２０）であるＭＳＣ（Ｍｅｓｓａｇｅ  Ｓｅｑｕｅｎｃｅ  Ｃｈａｒｔ）では、条件分岐の記述や他シーケンスの参照など、複雑な表現が可能であり、設計段階における仕様の記述に有益である。【０００３】
一方で、試験段階で仕様通りの動作をしているか確認する際には、記述方式の理解と他ファイルの参照など、試験条件に合わせた解読作業が煩雑であった。そこで、利用者によって理解しやすいシーケンスを作成するためのシーケンス図作成装置として、例えば、特許文献１に記載されたようなシーケンス図作成装置があった。このシーケンス図作成装置では、評価すべきソフトウェアの規模が大きく、ソフトウェアに含まれるプロセスが膨大であり、プロセス間で複雑にメッセージをやり取りする場合、シーケンス図を読み取るのが難しくなる点に対応させたものである。
【先行技術文献】
【特許文献】
【０００４】
【特許文献１】特開２００７−４１６３８号公報
【０００５】
しかしながら、従来のシーケンス図作成装置では、主に通信プロセス数の増加に着目し、ユーザにとって不要な通信プロセスを削除する事に特化していることから、通信シーケンス上に現れる条件分岐や別シーケンス図への参照等による複雑さを解消することができないという問題があった。【０００６】
この発明は上記のような課題を解決するためになされたもので、シーケンス図を読み解く手間を軽減することのできるシーケンス変換装置を得ることを目的とする。
【発明の概要】
【０００７】
この発明に係るシーケンス変換装置は、シーケンスデータからシーケンス中で分岐する条件を抽出する解析部と、解析部の条件抽出結果を提示し、これによるユーザからの条件設定を受け付け、条件設定の内容を条件設定情報として出力する条件設定部と、条件設定部からの条件設定情報に基づいて、シーケンスデータを再構成して出力する再構成部とを備えたので、シーケンス図を読み解く手間を軽減することができる。
【図面の簡単な説明】
【０００８】
【図１】この発明の実施の形態１によるシーケンス変換装置を示す構成図である。
【図２】この発明の実施の形態１によるシーケンス変換装置の入力シーケンスと出力シーケンスの説明図である。
【図３】この発明の実施の形態２によるシーケンス変換装置を示す構成図である。
【図４】この発明の実施の形態３によるシーケンス変換装置を示す構成図である。
【図５】この発明の実施の形態３によるシーケンス変換装置の入出力シーケンスの一例を示す説明図である。
【図６】この発明の実施の形態３によるシーケンス変換装置の出力シーケンスの説明図である。
【図７】この発明の実施の形態４によるシーケンス変換装置を示す構成図である。
【図８】この発明の実施の形態５によるシーケンス変換装置を示す構成図である。
【図９】この発明の実施の形態６によるシーケンス変換装置を示す構成図である。
【図１０】この発明の形態７によるシーケンス変換装置を示す構成図である。
【発明を実施するための形態】
【０００９】
以下、この発明をより詳細に説明するために、この発明を実施するための形態について、添付の図面に従って説明する。
実施の形態１．
図１は、この発明の実施の形態１によるシーケンス変換装置１の構成図である。
図１に示すシーケンス変換装置１は、記録部１０、解析部１１、条件設定部１２、再構成部１３を備えている。記録部１０は、シーケンスデータを保持するハードディスクやメモリ等からなる記憶部である。解析部１１は、記録部１０から読み出したシーケンスデータの解析結果を再構成部１３に送出すると共に、シーケンスデータから、シーケンス中で分岐する条件を抽出し、その条件抽出結果を条件分岐情報として出力する機能部である。条件設定部１２は、解析部１１における条件分岐情報に基づいて、その条件抽出結果を図示しないディスプレイ等に提示し、かつ、これによりユーザからの応答として条件選択が行われた場合は、この内容を条件設定情報として出力する機能部である。再構成部１３は、解析部１１からのシーケンスデータと、条件設定部１２からの条件設定情報とに基づいて、シーケンスデータを再構成して出力する機能部である。
【００１０】
尚、シーケンス変換装置１はコンピュータを用いて実現され、これら解析部１１〜再構成部１３は、それぞれの機能に対応したソフトウェアと、これらのソフトウェアを実行するためのＣＰＵやメモリといったハードウェアから構成されるか、あるいは、専用のハードウェアによって構成されている。
【００１１】
次に、実施の形態１のシーケンス変換装置１の動作について説明する。
記録部１０には、設計段階で作成され、シーケンス図を予めシステム上で定めた表記法で記述したシーケンスデータが複数登録されており、その中から試験等で参照するために選択されたシーケンスデータが、解析部１１に入力される。解析部１１では、シーケンスデータの使用する表記法を解析する機能を有しており、シーケンスデータで使用されている条件分岐情報を抽出し、条件設定部１２に送る。
【００１２】
条件設定部１２では、ユーザに対し、条件分岐情報を例えばディスプレイ表示といった手段で提示する。ユーザはその内容を確認し、所望の選択を行うことで条件設定情報が確定する。例えば、「変数ａの値が１か、それ以外か」といった条件分岐情報が示された場合、ユーザが「変数ａ＝１」という選択肢を選べば、それが条件設定情報となる。尚、この条件選択はマウスやキーボードといった入力機器を用いて行われる。
再構成部１３には、解析部１１で解析されたシーケンスデータと、条件設定部１２で入力された条件設定情報が入力され、解析されたシーケンスデータを条件設定情報に従い再構成し、簡略化シーケンスとして出力する。
【００１３】
図２は、入力シーケンスと出力シーケンスの説明図である。
図示例では、解析部１１に入力されるのが左の「入力シーケンス」であり、再構成部１３が出力するのが右側の「出力シーケンス（ａ）」である。この表記法では、破線で２分割された部分が条件によりシーケンスが異なる例を示しており、「変数ａ＝１」という条件を満たす際には上部、つまり「ｍｓｇＢ１」がＢからＡに伝達され、条件を満たさない場合には下部、つまり「ｍｓｇＢ２」がＢからＡに伝達される事を示している。
ここでは、上述したように、条件設定部１２に「変数ａ＝１」という入力があり、条件設定情報として「変数ａ＝１」が与えられているとすると、それに基づき入力シーケンスの破線の下部が削除されたシーケンスに再構成され、簡略化シーケンスとしては出力シーケンス（ａ）が出力されることになる。
【００１４】
以上説明したように、実施の形態１のシーケンス変換装置によれば、シーケンスデータから、シーケンス中で分岐する条件を抽出する解析部１１と、解析部１１の条件抽出結果を提示し、これによるユーザからの条件設定を受け付け、条件設定の内容を条件設定情報として出力する条件設定部１２と、条件設定部１２からの条件設定情報に基づいて、シーケンスデータを再構成して出力する再構成部１３とを備えたので、ユーザがシーケンスを容易に理解することが可能となり、設計内容の確認を容易に行うことができる。また、通信装置やソフトウェアの通信処理の試験段階において、シーケンス通りに動作しているかの確認を容易に行うことができる。
【００１５】
実施の形態２．
図３は、実施の形態２のシーケンス変換装置１ａの構成図である。
実施の形態２のシーケンス変換装置１ａが、実施の形態１のシーケンス変換装置１と異なる点は、条件設定部１２ａが、ユーザからの指示ではなく、解析部１１から入力した条件分岐情報に基づいて、条件分岐を行った場合の複数の条件設定情報を再構成部１３に送出するようにした点である。これ以外は、図１に示す実施の形態１と同様であるため、ここでの説明は省略する。
【００１６】
次に、実施の形態２のシーケンス変換装置１ａの動作について説明する。
条件設定部１２ａは、解析部１１より条件分岐情報を取得した後、ユーザへの提示と条件設定の要求を受け付けない代わりに、それぞれの条件分岐を行った場合の複数の条件設定情報を再構成部１３に通知する。再構成部１３では複数の条件設定に対して個別にシーケンスの再構成を行い、簡略化シーケンスを生成する。
【００１７】
例えば、図２における左側の入力シーケンスの場合、条件設定部１２ａは、条件設定情報として「変数ａ＝１」、「変数ａ≠１」の両方を再構成部１３に入力する。これにより、再構成部１３は、二つの条件に対し順次シーケンスの再構成を行い、図２右側の出力シーケンス（ａ），（ｂ）の両方を出力する。
【００１８】
以上のように、実施の形態２のシーケンス変換装置によれば、シーケンスデータから、シーケンス中で分岐する条件を抽出する解析部１１と、解析部１１の条件抽出結果に基づき、条件分岐を行った場合の複数の条件設定の内容を複数の条件設定情報として出力する条件設定部１２ａと、条件設定部１２ａからの複数の条件設定情報に基づいて、シーケンスデータを再構成して出力する再構成部１３とを備えたので、ユーザの設定なしに条件設定を行うため、ユーザによる条件設定漏れを軽減することができる。また、ユーザが複数の条件設定操作を繰り返し行う必要がなくなるため、簡略化シーケンス生成に要する時間を軽減することができる。
【００１９】
実施の形態３．
図４は、実施の形態３のシーケンス変換装置１ｂを示す構成図である。
実施の形態３のシーケンス変換装置１ｂが、実施の形態１のシーケンス変換装置１と異なる点は、解析部１１ａにおいて、シーケンスから他のシーケンスへの参照情報が抽出され、再構成部１３ａがこの参照情報に基づいて記録部１０から被参照シーケンスを取得し、この被参照シーケンスを用いて、シーケンスデータを再構成するようにした点である。これ以外の構成は、図１に示す実施の形態１と同様であるため、ここでの説明は省略する。
【００２０】
次に、実施の形態３のシーケンス変換装置１ｂの動作について説明する。
図５は、実施の形態３における入出力シーケンスの簡単な例を示すものであり、参照情報を用いたシーケンスの再構成の例である。図５中、（ｂ）に示すシーケンスＡは、（ａ）に示す入力シーケンス最下部より参照されていることを示している。また、図６は実施の形態３の再構成部１３ａから出力されるシーケンスを示している。
【００２１】
実施の形態１と同様に、記録部１０から取得したシーケンスデータは解析部１１ａで解析される。このとき、条件分岐情報に加え、参照情報も抽出される。図５の例では、シーケンスＡが参照されていることが再構成部１３ａに通知される。
再構成部１３ａでは、この参照情報に基づき記録部１０より被参照シーケンスとしてシーケンスＡを取得する。ここで、実施の形態１の例と同様に条件設定部１２で「変数ａ＝１」が選択されれば、他のシーケンスを参照している部分は無い為、図２の出力シーケンス（ａ）が簡略化シーケンスとして出力されるが、条件設定部１２で「変数ａ≠１」が選択された場合には、シーケンスＡへの参照部分が有効となり、再構成部１３ａからは図６に示すような簡略化シーケンスが出力される。
【００２２】
尚、実施の形態３では、実施の形態１の構成に適用した例を説明したが、実施の形態２の構成に適用してもよく、この場合は、図２の出力シーケンス（ａ）と図６に示す出力シーケンスの両方が簡略化シーケンスとして出力されることになる。
【００２３】
以上のように、実施の形態３のシーケンス変換装置によれば、解析部１１ａは、シーケンス中に被参照シーケンスを含む場合、被参照シーケンスを含むことを示す参照情報を出力し、再構成部１３ａは、この参照情報に基づいてシーケンスデータを再構成するようにしたので、ユーザは複数のシーケンスを同時に見る必要が無くなり、シーケンスを容易に理解することが可能となり、設計内容の確認を容易に行うことができる。また、通信装置やソフトウェアの通信処理の試験段階において、シーケンス通りに動作しているかの確認を容易に行うことができる。
【００２４】
実施の形態４．
図７は、実施の形態４によるシーケンス変換装置１ｃを示す構成図である。
実施の形態４のシーケンス変換装置１ｃが、実施の形態３のシーケンス変換装置１ｂと異なる点は、条件設定部１２ｂの内部に履歴部１４を有し、条件設定部１２ｂが履歴部１４の履歴情報を用いてユーザへの提示を行う点である。即ち、履歴部１４は、ユーザの入力結果の履歴を保持する記憶部であり、条件設定部１２ｂは、解析部１１ａより条件分岐情報を取得した場合は履歴部１４を参照し、過去に選択されていない条件分岐があった場合はこれを提示するといったように、その履歴情報を提示するよう構成されている。これ以外の構成は実施の形態３と同様であるため、ここでの説明は省略する。
【００２５】
次に、実施の形態４のシーケンス変換装置１ｃの動作について説明する。
条件設定部１２ｂは、解析部１１ａより条件分岐情報を取得した後、ユーザへの提示と条件設定の入力を受け付けると、その結果を履歴部１４に記録しておく。以降の簡略化シーケンスを出力するまでの動作は実施の形態３と同様であるが、再度、同じシーケンスが入力されてきた際の動作が異なる。
【００２６】
即ち、以前と同様のシーケンスが解析部１１ａに入力され、同じ条件分岐情報が条件設定部１２ｂに入力されると、条件設定部１２ｂは、履歴部１４を参照し、未設定の条件をユーザに提示する。例えば、実施の形態１で示した「変数ａの値が１か、それ以外か」という条件においては、仮に１回目の操作で「変数ａ＝１」をユーザが選択した場合には、２回目以降の操作においては「変数ａ≠１」が未選択、または「変数ａ＝１」が選択済み、といった情報をユーザに提示する。
【００２７】
尚、履歴部１４は、条件設定部１２ｂが参照するのではなく、再構成部１３が参照するようにしてもよい。再構成部１３が履歴部１４を参照する場合は、再構成部１３において、条件設定部１２ｂからの条件設定情報を履歴部１４に記録させておく。そして、条件設定部１２ｂから条件設定情報を受け取った場合は、履歴部１４を参照し、条件設定部１２ｂから通知される条件設定情報に一致する情報が記録されていた場合は、簡略化シーケンスの生成を行わないようにする。一方、一致する情報が記録されていなかった場合は、その条件設定情報に対応したシーケンスデータを再構成して簡略化シーケンスを生成する。
【００２８】
以上のように、実施の形態４のシーケンス変換装置によれば、任意のシーケンスの条件抽出結果に対する条件設定結果を蓄積する履歴部１４を設け、条件設定部１２ｂは、解析部１１ａから特定のシーケンスの条件抽出結果を受け取った場合、履歴部１４を参照し、特定のシーケンスに対する条件設定結果が記録されていた場合、記録された条件設定結果の内容を提示するようにしたので、例えば、ユーザが未設定の条件を提示するといったことにより条件設定漏れを減少させることができる。
【００２９】
また、実施の形態４のシーケンス変換装置によれば、条件設定部１２ｂからの条件設定情報を蓄積する履歴部を設け、再構成部１３は、条件設定部１２ｂから特定の条件設定情報を受け取った場合、履歴部を参照し、特定の条件設定情報に一致する条件設定情報があるか否かを判定し、一致する条件設定情報がなかった場合にのみ、特定の条件設定情報に対応したシーケンスデータを再構成するようにしたので、冗長な簡略化シーケンスの生成を抑制することができる。
【００３０】
実施の形態５．
図８は、実施の形態５によるシーケンス変換装置１ｄを示す構成図である。
実施の形態５のシーケンス変換装置１ｄが、実施の形態３のシーケンス変換装置１ｂと異なる点は、更新管理部１５が新たに追加された点である。この更新管理部１５は、シーケンスの更新状態を管理し、更新があった場合は、その更新による差分で生じる条件設定情報を再構成部１３ａに送出し、再構成部１３ａはこの条件設定情報に基づいてシーケンスデータを再構成するよう構成されている。これ以外の構成は実施の形態３と同様である。
【００３１】
次に、実施の形態５によるシーケンス変換装置の動作について説明する。
記録部１０に記録されたシーケンスが更新されると、更新管理部１５に更新情報が通知される。更新管理部１５ではどのシーケンスのどの部分が更新されたかを記録しておく。また、更新管理部１５では、どういった条件設定を行うとその更新部分が簡略化シーケンスに現れるかを解析し、適切な条件設定情報を再構成部１３ａに対し出力する。
【００３２】
例えば、記録部１０において、図２の左側の入力シーケンスが図５（ａ）の入力シーケンスに更新された場合を考える。この場合、更新管理部１５は両シーケンスの差分を検知し、簡略化シーケンスに違いが出るのは条件設定情報として「変数ａ≠１」が選択された場合であることを求め、その内容を再構成部１３ａに通知する。再構成部１３ａはその内容に基づき、図６の出力シーケンスを簡略化シーケンスとして生成する。
【００３３】
また、実施の形態１と同様に、条件設定部１２にてユーザからの選択結果に基づいて条件設定情報を再構成部１３ａに出力し、簡略化シーケンスを出力する場合もある。更に、実施の形態２と同様に、条件設定部１２から複数の条件設定情報を再構成部１３ａに出力し、再構成部１３ａが複数の簡略化シーケンスを出力するようにしてもよい。
【００３４】
以上のように、実施の形態５によるシーケンス変換装置１ｄによれば、シーケンスの更新状態を管理し、更新があった場合は、その更新による差分で生じる条件設定情報を送出する更新管理部１５を設け、再構成部１３ａは、条件設定情報に基づいてシーケンスデータを再構成するようにしたので、通信装置やソフトウェアの通信処理の試験段階において、変更したシーケンス通りに動作しているかの確認を容易に行うことができる。
【００３５】
実施の形態６．
図９は、実施の形態６によるシーケンス変換装置１ｅを示す構成図である。
実施の形態６のシーケンス変換装置１ｅが、実施の形態５のシーケンス変換装置１ｄと異なる点は、更新管理部１５ａから解析部１１ｂに対し、関連シーケンス情報の通知が新たに追加された点である。即ち、更新管理部１５ａは、シーケンスの更新状態を管理し、更新があった場合は、その更新による差分で生じる条件設定情報を送出すると共に、更新されるシーケンスが被参照シーケンスであった場合、その参照シーケンスを参照するシーケンスを関連シーケンス情報として出力する。また、解析部１１ｂは、関連シーケンス情報に基づいて参照情報を再構成部１３ｂに出力し、再構成部１３ｂは、この参照情報と更新管理部１５ａから出力される条件設定情報に基づいてシーケンスデータを再構成するようにしたものである。これ以外の構成は実施の形態５と同様である。
【００３６】
次に、実施の形態６によるシーケンス変換装置１ｅの動作について説明する。
記録部１０に記録されたシーケンスが更新されると、更新管理部１５ａに更新情報が通知される。更新されたシーケンスが被参照シーケンス（他のシーケンスから参照されているシーケンス）の場合、更新管理部１５ａは、そのシーケンスのリストを関連シーケンス情報として解析部１１ｂに通知する。解析部１１ｂでは、関連シーケンス情報の内容に従い記録部１０よりシーケンスを順次取得し、解析を行う。以降は他の実施の形態同様に簡略化シーケンスを生成していく。
【００３７】
例えば記録部１０において、図５（ｂ）のシーケンスＡが更新された場合、そのシーケンスを参照する図５（ａ）の入力シーケンスが関連シーケンス情報として解析部１１ｂに通知される。以降、実施の形態３と同様に簡略化シーケンスを生成していく。
【００３８】
尚、実施の形態３では条件設定部１２に条件分岐情報を通知してユーザによる条件入力に従うが、本実施の形態においては、実施の形態５同様に、更新管理部１５ａが、図５（ａ）の入力シーケンスでシーケンスＡを参照する条件として「変数ａ≠１」を抽出し、条件設定情報として再構成部１３ｂに通知して、ユーザによる条件設定操作を省略しても良い。
【００３９】
以上のように、実施の形態６のシーケンス変換装置によれば、シーケンスの更新状態を管理し、更新があった場合は、その更新による差分で生じる条件設定情報を送出すると共に、更新されるシーケンスが被参照シーケンスであった場合、被参照シーケンスを参照するシーケンスを関連シーケンス情報として出力する更新管理部１５ａを設け、解析部１１ｂは、関連シーケンス情報に基づいて、参照情報を出力し、再構成部１３ｂは、参照情報と条件設定情報とに基づいてシーケンスデータを再構成するようにしたので、通信装置やソフトウェアの通信処理の試験段階において、変更したシーケンス通りに動作しているかの確認漏れを抑制することができる。
【００４０】
実施の形態７．
図１０は、実施の形態７によるシーケンス変換装置１ｆを示す構成図である。図９に示した実施の形態６との違いは、条件設定部１２ｂ内部に履歴部１４を持ち、更新管理部１５ｂに対する条件設定情報の通知が新たに追加された点である。そして、更新管理部１５ｂは、関連シーケンス情報を出力する前に履歴部１４を参照し、条件設定情報が被参照シーケンスを参照する条件設定である場合にのみ関連シーケンス情報を出力するよう構成されている。これ以外の構成は実施の形態６と同様である。
【００４１】
次に、実施の形態７によるシーケンス変換装置１ｆの動作について説明する。
更新管理部１５ｂでは、更新されるシーケンスが被参照シーケンスである場合に、どのような条件で参照されるかを併せて取得する。ここで履歴部１４より取得した条件設定情報と照合し、当該条件下においても被参照シーケンスが参照される場合のみ、関連シーケンス情報として解析部１１ｂに通知される。
【００４２】
例えば、記録部１０において、図５（ｂ）のシーケンスＡが更新された場合、そのシーケンスを参照する図５（ａ）の入力シーケンスと、その参照の条件である「変数ａ≠１」を取得し、履歴部１４より同じ条件「変数ａ≠１」を取得した場合のみ、図５（ａ）の入力シーケンスが関連シーケンス情報として解析部１１ｂに通知される。以降、実施の形態３と同様に簡略化シーケンスを生成していく。
このように、実施の形態７では、被参照シーケンスが更新された場合、過去に条件設定した必要性の高いシーケンスのみを出力することができる。
【００４３】
以上のように、この実施の形態７のシーケンス変換装置によれば、条件設定部１２ｂからの条件設定情報を蓄積する履歴部１４と、シーケンスの更新状態を管理し、更新があった場合は、その更新による差分で生じる条件設定情報を送出すると共に、更新されるシーケンスが被参照シーケンスであり、かつ、履歴部１４に存在する条件設定情報を適用した場合にその被参照シーケンスが参照される場合にのみ、被参照シーケンスを参照するシーケンスを関連シーケンス情報として出力する更新管理部１５ｂとを設け、解析部１１ｂは、関連シーケンス情報に基づいて参照情報を出力し、再構成部１３ｂは、参照情報と更新管理部１５ｂから出力される条件設定情報とに基づいてシーケンスデータを再構成するようにしたので、必要性の低いシーケンスまで過剰に出力することを抑制することができる。
【産業上の利用可能性】
【００４４】
以上のように、この発明に係るシーケンス変換装置は、シーケンス上に現れる条件分岐や別シーケンス図への参照等による複雑さを解消するものであり、ネットワークに接続されて使用される通信装置や複数の通信処理が非同期に動作するソフトウェアが、シーケンス通りに動作するかを確認するのに適している。
【図１】
2011070695.tif 000003
【図２】
2011070695.tif 000004
【図３】
2011070695.tif 000005
【図４】
2011070695.tif 000006
【図５】
2011070695.tif 000007
【図６】
2011070695.tif 000008
【図７】
2011070695.tif 000009
【図８】
2011070695.tif 000010
【図９】
2011070695.tif 000011
【図１０】
2011070695.tif 000012
【国際調査報告】
2011070695.tif 000013
2011070695.tif 000014
2011070695.tif 000015
2011070695.tif 000016