(57)【要約】【課題】占有状態をモジュールを指定することで容易に特定できないこと。【解決手段】複数のモジュールから構成される情報システムを分析する情報システム分析装置であって、モジュールの状態の情報および遷移の情報を含むモジュール状態遷移情報を記憶するモジュール状態遷移情報記憶部２０１と、複数のモジュールのうち特定のモジュールを示すモジュール識別情報を受け付け、モジュール識別情報とモジュール状態遷移情報から特定のモジュールの遷移である注目遷移情報を生成する注目遷移生成部２０５と、情報システムの状態の情報および遷移の情報を含むシステム状態遷移情報を記憶するシステム状態遷移情報記憶部２０４と、情報システムの全状態の情報と特定のモジュールの遷移の情報とを含むモジュール特化状態遷移情報を、注目遷移情報とシステム状態遷移情報から生成する状態遷移情報生成部２０６とを備えた。【選択図】図２
2009230478.tif 000002
【特許請求の範囲】
【請求項１】
複数のモジュールから構成される情報システムを分析する情報システム分析装置であって、
前記モジュールの状態の情報および遷移の情報を含むモジュール状態遷移情報を記憶するモジュール状態遷移情報記憶部と、
前記複数のモジュールのうち特定のモジュールを示すモジュール識別情報を受け付け、前記モジュール識別情報と前記モジュール状態遷移情報から前記特定のモジュールの遷移である注目遷移情報を生成する注目遷移生成部と、
前記情報システムの状態の情報および遷移の情報を含むシステム状態遷移情報を記憶するシステム状態遷移情報記憶部と、
情報システムの全状態の情報と前記特定のモジュールの遷移の情報とを含むモジュール特化状態遷移情報を、前記注目遷移情報と前記システム状態遷移情報から生成する状態遷移情報生成部と
を有することを特徴とする情報システム分析装置。
【請求項２】
前記状態遷移情報生成部は、前記注目遷移情報をキーとして前記システム状態遷移情報から前記特定のモジュールの遷移の情報を抽出し、抽出した前記特定のモジュールの遷移の情報と前記システム状態遷移情報の情報システム全状態の情報とに基づいてモジュール特化状態遷移情報を生成することを特徴とする請求項１記載の情報システム分析装置。
【請求項３】
複数のモジュールから構成される情報システムを分析する情報システム分析方法であって、
前記複数のモジュールのうち特定のモジュールを示すモジュール識別情報を受け付け、前記モジュール識別情報と前記モジュールの状態の情報および遷移の情報を含むモジュール状態遷移情報から前記特定のモジュールの遷移である注目遷移情報を生成するステップと、
情報システムの全状態の情報と前記特定のモジュールの遷移の情報とを含むモジュール特化状態遷移情報を、前記注目遷移情報と前記情報システムの状態の情報および遷移の情報を含むシステム状態遷移情報から生成するステップと
を有し、
前記モジュール状態遷移情報はモジュール状態遷移情報記憶部に記憶され、
前記システム状態遷移情報はシステム状態遷移情報記憶部に記憶される
ことを特徴とする情報システム分析方法。
【請求項４】
複数のモジュールから構成される情報システムを分析し、前記モジュールの状態の情報および遷移の情報を含むモジュール状態遷移情報を記憶するモジュール状態遷移情報記憶部と、前記情報システムの状態の情報および遷移の情報を含むシステム状態遷移情報を記憶するシステム状態遷移情報記憶部とを有する情報システム分析装置に用いられるプログラムであって、
前記プログラムは、コンピュータに
前記複数のモジュールのうち特定のモジュールを示すモジュール識別情報を受け付け、前記モジュール識別情報と前記モジュール状態遷移情報から前記特定のモジュールの遷移である注目遷移情報を生成する注目遷移生成部と、
情報システムの全状態の情報と前記特定のモジュールの遷移の情報とを含むモジュール特化状態遷移情報を、前記注目遷移情報と前記システム状態遷移情報から生成する状態遷移情報生成部と
を実現させるためのプログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、情報システムで発生する障害、特に情報システム内のあるモジュールがリソースを占有することにより他のモジュールで顕在化する障害を分析する装置および方法に関する。
【背景技術】
【０００２】
近年、計算機によって構成される情報システムの応用分野が広がるとともに、情報システムの保守管理の重要性が高まっている。特に、情報システムが、何らかの障害により利用できない状態に陥った場合に、速やかに適切な管理作業を行い情報システムを利用可能な正常状態に復旧させることが必要である。復旧を速やかに行うためには、障害発生時にどのような異常状態に陥り、そこから、どのような操作によって復旧できるかを把握することが必要となる。
【０００３】
ここで、情報システムにおける異常状態を分析する方法として、（非特許文献１）がある。この方法では、情報システムの状態遷移を手動操作による遷移と、自動的に発生する遷移に分類することで、異常状態と復旧方法を関連づけて分析することを可能としている。
【０００４】
また、非特許文献２のLTSA（Labelled Transition System Analyser）などの技術では、遷移に優先度を指定する手段を備えることで、処理の優先度を考慮した情報システムの分析を可能としている。
【０００５】
また、特許文献１のように通信ソフトウェアに関する仕様から、自動的に状態遷移仕様を作成する技術もある。
【特許文献１】特開平０６−３０９１５８号
【非特許文献１】状態遷移モデルに基づく情報システムの障害とその復旧操作の分析法、電子情報通信学会 信学技報（ソフトウェアサイエンス）SS2007-28 pp.71-7
【非特許文献２】Concurrency State Models & Java Programming、 Jeff Magee and Jeff Kramer、 John Wiley & Sons Inc.   2006年6月16日
【発明の開示】
【発明が解決しようとする課題】
【０００６】
しかし、非特許文献１の方法では、分析可能な障害が、手動操作が実行されるまで復旧しない永続的なものに限られていた。例えば、あるモジュールが共有リソースを占有している間、他のモジュールの処理が妨害される、といった特定モジュールのみが影響を受ける一時的な障害（妨害障害）の検出が困難であった。
【０００７】
これは、非特許文献１の方法では、システム全体の状態遷移を示す情報（システム状態遷移情報）において、処理が妨害されてはならないモジュールに注目する手段を備えていないためである。
【０００８】
また、非特許文献２の技術では、遷移に優先度を指定する手段などがあるが、優先度を指定することで生成されるシステム状態遷移情報の状態が制限されシステムの全状態を考慮できないため、妨害障害の特定には利用できない。
【０００９】
また、特許文献１の状態遷移情報変換に関する技術は、システム状態遷移情報におけるモジュールと遷移の関係を管理していないため、システム状態遷移情報を特定モジュールに注目したものに変換することが困難であった。
【００１０】
本発明は、状態遷移図における妨害障害は、特定モジュールの処理を行うため、他のモジュールの処理（ロック解放など）が必要な状態として表現される点に着目する。そして、状態としてはシステムの取り得る全状態の情報を持ち、遷移に関しては注目するモジュールの遷移のみを持つ状態遷移情報を生成し、その状態遷移情報に問題があるか否かを分析する装置および方法に関わる。
【課題を解決するための手段】
【００１１】
上記目的を達成するために、本発明の実施形態に係る情報システム分析装置は、複数のモジュールから構成される情報システムを分析する情報システム分析装置であって、前記モジュールの状態の情報および遷移の情報を含むモジュール状態遷移情報を記憶するモジュール状態遷移情報記憶部と、前記複数のモジュールのうち特定のモジュールを示すモジュール識別情報を受け付け、前記モジュール識別情報と前記モジュール状態遷移情報から前記特定のモジュールの遷移である注目遷移情報を生成する注目遷移生成部と、前記情報システムの状態の情報および遷移の情報を含むシステム状態遷移情報を記憶するシステム状態遷移情報記憶部と、情報システムの全状態の情報と前記特定のモジュールの遷移の情報とを含むモジュール特化状態遷移情報を、前記注目遷移情報と前記システム状態遷移情報から生成する状態遷移情報生成部とを備えることを特徴とする。
【００１２】
また、本発明の実施形態に係る情報システム分析方法は、複数のモジュールから構成される情報システムを分析する情報システム分析方法であって、複数のモジュールのうち特定のモジュールを示すモジュール識別情報を受け付け、モジュール識別情報とモジュールの状態の情報および遷移の情報を含むモジュール状態遷移情報から特定のモジュールの遷移である注目遷移情報を生成するステップと、情報システムの全状態の情報と前記特定のモジュールの遷移の情報とを含むモジュール特化状態遷移情報を、注目遷移情報と情報システムの状態の情報および遷移の情報を含むシステム状態遷移情報から生成するステップとを有し、モジュール状態遷移情報はモジュール状態遷移情報記憶部に記憶され、システム状態遷移情報はシステム状態遷移情報記憶部に記憶されることを特徴とする。
【発明の効果】
【００１３】
本発明によれば、占有状態をモジュールを指定することで容易に特定することが可能となる。
【発明を実施するための最良の形態】
【００１４】
以下、本発明の実施形態について説明する。
【００１５】
図１は本発明の実施形態において分析対象となる情報システムの例を示すブロック図である。
【００１６】
ここで、情報システムとは、複数の計算機間で情報をやり取りして処理を行うものをいう。
【００１７】
この情報システムの例では、３台の計算機から構成されるシステムである。そのうち２台の計算機（クライアント計算機Ａ１０２およびクライアント計算機Ｂ１０３）にはクライアントモジュールが配置され、残りの１台の計算機（サーバ計算機１０１）にはサーバモジュールが配置されている。また、クライアント計算機A１０２はクライアント計算機B１０３より重要な処理を行っているとする。
【００１８】
クライアントモジュールはサーバモジュールに接続して、サーバ計算機に接続されている記憶装置にデータの書き込み処理を行う。また、書き込み処理を行う際にはサーバモジュールに対してロックを獲得する必要があるものとする。
【００１９】
なお、ロックを獲得するとは、ロックを獲得したモジュールのみがサーバモジュールが管理しているデータを読み書きできることをいう。
【００２０】
ここで、クライアント計算機Bのクライアントモジュールがロックを獲得すると、クライアント計算機Aのクライアントモジュールは同じサーバモジュールに依頼して処理を実行できない。この状態は、クライアント計算機Aの観点からは書き込み処理を実行できないため障害となる。なお、このように、あるクライアント計算機がロックを獲得し、他のクライアント計算機が書き込み処理を実行できない状態を占有状態と呼ぶことにする。
【００２１】
図２は本発明の実施形態の分析装置および周辺装置等の機能ブロック図を表す。
【００２２】
本発明の分析装置は、少なくともモジュール状態遷移情報記憶装置２０１、システム状態遷移情報記憶装置２０４、注目遷移抽出部２０５、状態遷移情報生成部２０６を有する。また、周辺装置としてシステム構成情報記憶装置２０２、システム状態遷移情報生成部２０３、モジュール特化状態遷移情報検査部２７がある。
【００２３】
モジュール状態遷移情報記憶部２０１は、モジュール状態遷移情報を記憶する。ここで、モジュール状態遷移情報は、モジュールの状態を識別するデータと、モジュールの遷移のデータを含む情報である。モジュールの状態を識別するデータとは、モジュールが状態を遷移する場合に、モジュールが遷移する状態を識別するデータをいう。モジュールの遷移のデータは、遷移の情報（遷移の前後の情報）と遷移の識別情報とが対応付けられた情報であり、例えば、遷移の事前状態の情報（状態識別情報）と遷移識別情報と遷移の事後状態の情報（状態識別情報）が対応付けられたデータを複数含むデータである。
【００２４】
例えば、図３は、サーバのモジュール状態遷移情報の例を示す。図３ではサーバモジュールの識別子としてSが付されている。この例では、モジュールの状態を識別するデータは、「１」と「２」とがある。また、モジュールの遷移のデータは、遷移の事前状態「１」と遷移識別情報「lock」と遷移の事後状態「２」とが対応付けられたデータなどを含み、これはモジュールの状態が「１」の場合に、「lock」という遷移が行われるとモジュールの状態が「２」になることを示している。
【００２５】
図４に、サーバのモジュール状態遷移情報の例を模式的に示す。図４では、サーバモジュールは、他のクライアントモジュールにロックされる（lock）と状態２に遷移し、書き込み処理（write）およびロック解除（unlock）が可能であることが分かる。
【００２６】
同様にクライアントのモジュール状態遷移情報の例を図５に表形式で、図６に模式的に示す。図５では、クライアントモジュールの識別子としてCが付されている。図６を見るとクライアントモジュールは、ロックを獲得すると(lock)、状態２に遷移し、書き込み処理（write）およびロック解除（unlock）が可能となることが分かる。
【００２７】
システム構成情報記憶装置２０２は、システム構成情報を記憶する。ここで、システム構成情報とは、システムの構成を示す情報、つまり、システムを構成するモジュール間の接続を示す情報である。
【００２８】
図７は、システム構成情報の例を示した図である。ここでは、図１の例に示された分析対象となるシステムのシステム構成情報を示しており、２つのクライアントモジュール（a:C、b:C）と一つのサーバモジュール（{a,b}::S）から構成されることを示す。２つのクライアントモジュールは、それらを区別するために、それぞれ、a、bとラベル付けされている。なお、a:Cがクライアント計算機Aに配置されたクライアントモジュールＡ、b:Cがクライアント計算機Bに配置されたクライアントモジュールＢに対応する。また、サーバモジュールに関しては、"{a,b}::"という記述により、a、bでラベル付けされたモジュールとの通信が可能であることが指定されている。
【００２９】
なお、サーバモジュールが複数ある場合は、別ラベルを付加するなど非特許文献２にあるように記述することが可能である。
【００３０】
システム状態遷移情報生成部２０３は、モジュール状態遷移情報とシステム構成情報を読み出し、これらの情報に基づいてシステム状態遷移情報を生成する。そして、生成したシステム状態遷移情報を後述するシステム状態遷移情報記憶装置２０４に記憶させる。なお、この生成は、非特許文献２の方法などを用いて行う。
【００３１】
システム状態遷移情報は、システムの状態のデータとシステムの遷移のデータを含む、つまり、システムのとり得る全状態とシステムを構成する全てのモジュールの遷移の情報を含む情報である。
【００３２】
図８に本実施例におけるシステム状態遷移情報の例を示す。遷移識別情報については、システム構成情報にしたがってラベルが付されている。例えば、a.lockは、クライアント計算機Aに配置されたクライアントモジュールＡ(a:C)がサーバモジュールのロックを獲得するという遷移を示す。
【００３３】
図９に、図８のシステム状態遷移情報を模式的に示す。
【００３４】
ここで、図９ではクライアントモジュールＢがロックを獲得した後、クライアントモジュールＢが障害により処理を停止するとロックされたままになり、クライアントモジュールＡの処理も継続できなくなる。
【００３５】
しかし、図９を見ても、どの状態からでもクライアントモジュールＡの処理が可能であると表現されているため、図９に基づいては上記のような継続できない状態を容易に特定できない。
【００３６】
システム状態遷移情報記憶装置２０４は、システム状態遷移情報生成部２０３にて生成されたシステム状態遷移情報を記憶する。
【００３７】
注目遷移生成部２０５は、ＰＣなどの分析装置外の装置（図示せず）からのモジュール指定情報を受け付け、受け付けたモジュール指定情報とモジュール状態遷移情報記憶部から読み出したモジュール状態遷移情報に基づいてモジュールの遷移識別情報を抽出し、注目遷移を生成する。
【００３８】
ここで、モジュール指定情報とは指定されたモジュール（特許請求の範囲の特定のモジュールが対応する）の情報をいう。つまり、システム構成情報に含まれるモジュールの中で、分析において注目する（処理が妨害されてはならない）モジュールの識別情報をいう。図１０に、本実施例におけるモジュール指定情報を示す。図１０のモジュール指定情報は、計算機Aに配置されたクライアントモジュールに注目することを示している。また、コロン（：）の左側（a）を付加ラベル、右側（C）をモジュール名と呼ぶことにする。
【００３９】
ここで、モジュール名はモジュールの種別を示す情報であり、モジュールの種別は共通の性質を有するモジュールの集まりをいい、例えば、サーバモジュール、クライアントモジュールという種別などがある。
【００４０】
また、図１１に注目遷移生成部の詳細な処理の流れを示す。まず、モジュール状態遷移情報とモジュール指定情報を受信する（Ｓ１１）。次に、モジュール指定情報で指定されたモジュールのモジュール状態遷移情報を抽出する（Ｓ１２）。このＳ１２の詳細な具体例としては、注目モジュール指定情報を付加ラベルとモジュール名に分割する（Ｓ１２１）。図１０の例では、付加ラベル a とモジュール名 C に分割される。次に、モジュール名に対応するモジュール状態遷移情報を特定する（Ｓ１２２）などの処理がある。なお、図１０の例ではモジュール名「Ｃ」を特定することになる。次に、モジュール状態遷移情報が抽出されると、特定されたモジュール名に対応するモジュールのモジュール状態遷移情報の遷移識別情報をモジュール状態遷移情報に基づいて特定する（Ｓ１４）。本実施の形態の例では、モジュール名「Ｃ」であるため、図５の例の情報に基づいて、クライアント状態遷移情報の遷移識別情報 lock、unlock、writeが抽出される。次に、抽出された遷移識別情報に付加ラベルを付与して注目遷移情報を生成し、出力する（Ｓ１５）。
【００４１】
本実施の形態の例では、付加ラベル aであり、遷移識別情報は lock、unlock、writeであるので、図１２のようにa.lock、a.unlock、a.writeを生成し、出力する。
【００４２】
状態遷移情報生成部２０６は、注目遷移情報およびシステム状態遷移情報に基づいてモジュール特化状態遷移情報を生成する。つまり、状態遷移情報生成部は、注目遷移情報をキーとしてシステム状態遷移情報から注目するのモジュールの遷移の情報を抽出し、抽出した注目するモジュールの遷移の情報とシステム状態遷移情報の情報システム全状態の情報とに基づいてモジュール特化状態遷移情報を生成する。
【００４３】
モジュール特化状態遷移情報とは、システムの全状態の情報と、注目するモジュールのシステム内での遷移のデータとを含む情報である。この遷移のデータは、例えば、事前状態（状態識別情報）と遷移識別情報と事後状態（状態識別情報）とが対応付けられた情報である。
【００４４】
この状態遷移情報生成部の処理を図１３を用いて説明する。まず、システム状態遷移情報と注目遷移情報を受信する（Ｓ２１）。次に、システム状態遷移情報における遷移データ毎にＳ２２、Ｓ２３の処理を行う。まず、遷移データ中の遷移識別情報が注目遷移情報に含まれるか否かを確認する（Ｓ２２）。含まれていれば、次の遷移データの処理に移る。含まれていなければ、その遷移データをシステム状態遷移情報から削除する（Ｓ２３）。全ての遷移データに対して、Ｓ２２、Ｓ２３の処理が終了すると、システム状態遷移情報をモジュール特化状態遷移情報として出力する（Ｓ２４）。
【００４５】
図１４に、本実施例におけるモジュール特化状態遷移情報を示す。
【００４６】
モジュール特化状態遷移情報検査部２０７は、モジュール特化情報遷移情報を受け付け、分析する。
【００４７】
次に、具体的な分析としては、入力された状態遷移情報に対して安全性や生存性など一般的な特性を検査する。なお、検査には（非特許文献２）などの方法を用いる。
【００４８】
図１５に図１４のモジュール特化状態遷移情報を模式的に示す。図１5を見ると状態（1,2,2）からは、遷移a.writeが発生しえないことがわかる。すなわち、図１５の状態遷移情報は、遷移a.writeに関する生存性を満たさない。これは、状態（1,2,2）は計算機Bがサーバモジュールのロックを占有しているためである。そこで、出力として、状態(1,2,2)を出力する。
【００４９】
ここで、（1,2,2）は、図９のように初期状態（1,1,1）からクライアントモジュールＢがロックを獲得した後、開放する前の状態を示している。
【００５０】
つまり、（1,2,2）はクライアントモジュールＢの遷移処理によって、到達する状態のため、クライアントモジュールＢの遷移処理のみであって、クライアントモジュールＡの遷移処理は無いことが示されている。
【００５１】
このように本発明によると、占有状態をモジュールを指定することで容易に特定できる。
【００５２】
なお、上記例では、ＰＣなどの分析装置外の装置（図示せず）からのモジュール指定情報を受け付け、受け付けたモジュール指定情報とモジュール状態遷移情報記憶部から読み出したモジュール状態遷移情報に基づいてモジュールの遷移識別情報を抽出し、注目遷移を生成すると説明したが、例えば、モジュールを複数指定した場合は、注目遷移生成部２０５は指定された各モジュール毎に注目遷移情報を生成し、各モジュール毎の注目遷移情報の重複を排除した情報を出力する注目遷移情報として生成する。
【００５３】
また、ＰＣなどの分析装置外の装置（図示せず）からのモジュールの指定を受け付け、指定されたモジュール以外のモジュールを対象として注目遷移情報を生成する場合は、図示せず装置はモジュール状態遷移情報記憶装置２０１を利用して指定されたモジュール以外のモジュールを特定してそのモジュールの識別情報を出力し、注目遷移生成部２０５は出力されたモジュールの識別情報を図２のモジュール指定情報として受け付ける。その後の処理は上記例と同様である。
【００５４】
また、モジュール状態遷移情報記憶装置２０１、システム構成情報記憶装置２０２、システム状態遷移情報記憶装置２０４はハードウェアである記憶装置であり、例えばハードディスクやメモリなどを含む。
【００５５】
また、上記実施形態に記載した手法は、コンピュータに実行させることのできるプログラムとして、磁気ディスク（フロッピー（登録商標）ディスク、ハードディスクなど）、光ディスク（ＣＤ−ＲＯＭ、ＤＶＤなど）、光磁気ディスク（ＭＯ）、半導体メモリなどの記憶媒体に格納して頒布することもできる。
【００５６】
また、この記憶媒体としては、プログラムを記憶でき、かつコンピュータが読み取り可能な記憶媒体であれば、その記憶形式は何れの形態であっても良い。
【００５７】
また、記憶媒体からコンピュータにインストールされたプログラムの指示に基づきコンピュータ上で稼働しているＯＳ（オペレーティングシステム）や、データベース管理ソフト、ネットワークソフト等のＭＷ（ミドルウェア）等が本実施形態を実現するための各処理の一部を実行しても良い。
【００５８】
さらに、本発明における記憶媒体は、コンピュータと独立した媒体に限らず、ＬＡＮやインターネット等により伝送されたプログラムをダウンロードして記憶または一時記憶した記憶媒体も含まれる。
【００５９】
また、記憶媒体は１つに限らず、複数の媒体から本実施形態における処理が実行される場合も本発明における記憶媒体に含まれ、媒体構成は何れの構成であっても良い。
【００６０】
尚、本発明におけるコンピュータは、記憶媒体に記憶されたプログラムに基づき、本実施形態における各処理を実行するものであって、パソコン等の１つからなる装置、複数の装置がネットワーク接続されたシステム等の何れの構成であっても良い。
【００６１】
また、本発明におけるコンピュータとは、パソコンに限らず、情報処理機器に含まれる演算処理装置、マイコン等も含み、プログラムによって本発明の機能を実現することが可能な機器、装置を総称している。
【００６２】
なお、本願発明は、上記各実施形態に限定されるものでなく、実施段階ではその要旨を逸脱しない範囲で種々に変形することが可能である。また、各実施形態は可能な限り適宜組み合わせて実施してもよく、その場合、組み合わされた効果が得られる。さらに、上記各実施形態には種々の段階の発明が含まれており、開示される複数の構成要件における適宜な組み合わせにより種々の発明が抽出され得る。例えば実施形態に示される全構成要件から幾つかの構成要件が省略されることで発明が抽出された場合には、その抽出された発明を実施する場合には省略部分が周知慣用技術で適宜補われるものである。
【００６３】
その他、本発明はその要旨を逸脱しない範囲で種々変形して実施できる。
【図面の簡単な説明】
【００６４】
【図１】本発明の分析対象となるシステムの例を示すブロック図。
【図２】本発明の実施形態の構成を示すブロック図。
【図３】本発明の実施形態のサーバのモジュール状態遷移情報の例を示す図。
【図４】本発明の実施形態のサーバのモジュール状態遷移情報の例を模式的に示す図。
【図５】本発明の実施形態のクライアントのモジュール状態遷移情報の例を示す図。
【図６】本発明の実施形態のクライアントのモジュール状態遷移情報の例を模式的に示す図
【図７】本発明の実施形態のシステム構成情報の例を示す図。
【図８】本発明の実施形態のシステム状態遷移情報の例を示す図。
【図９】本発明の実施形態のシステム状態遷移情報の例を模式的に示す図。
【図１０】本発明の実施形態のモジュール指定情報の例を示す図。
【図１１】本発明の実施形態の注目遷移情報を生成する処理を示す図。
【図１２】本発明の実施形態の注目遷移情報の例を示す図。
【図１３】本発明の実施形態の状態遷移情報を生成する処理を示す図。
【図１４】本発明の第２の実施形態の変形例２の構成を示すブロック図。
【図１５】本発明の実施形態のモジュール特化情報遷移情報の例を模式的に示す図。
【符号の説明】
【００６５】
２０１・・・モジュール状態遷移情報記憶装置
２０２・・・システム構成情報記憶装置
２０３・・・システム状態遷移情報生成部
２０４・・・システム状態遷移情報記憶装置
２０５・・・注目遷移生成部
２０６・・・状態遷移情報生成部
２０７・・・モジュール特化状態遷移情報検査部
【図１】
2009230478.tif 000003
【図２】
2009230478.tif 000004
【図３】
2009230478.tif 000005
【図４】
2009230478.tif 000006
【図５】
2009230478.tif 000007
【図６】
2009230478.tif 000008
【図７】
2009230478.tif 000009
【図８】
2009230478.tif 000010
【図９】
2009230478.tif 000011
【図１０】
2009230478.tif 000012
【図１１】
2009230478.tif 000013
【図１２】
2009230478.tif 000014
【図１３】
2009230478.tif 000015
【図１４】
2009230478.tif 000016
【図１５】
2009230478.tif 000017