開発対象システムのモデル検査を支援するモデル検査支援装置であって、検査モデルを複数のクラスタに分ける検査モデルクラスタリング部と、前記複数のクラスタの一部を統計モデルに置き換えるモデル置換部と、前記検査モデルと前記置き換えられたモデルに対して実行時間の分布を得るためのシミュレーションを実行するシミュレーション実行部と、前記シミュレーションの条件を与える検査式入力部と、前記検査モデルの実行時間分布と前記置き換えられたモデルの実行時間分布との分布間距離を任意の一部のクラスタを置き換えられた全てのモデルに対して算出し、分布間距離が最小となる置き換え後のモデルの検査プログラムを出力するシミュレーション結果解析部と、前記シミュレーション結果解析部の結果を画面表示するシミュレーション結果出力部と、を備えていることを特徴とするモデル検査支援装置。前記シミュレーション結果出力部は、前記検査モデル、前記複数のクラスタ、前記シミュレーション結果解析部で算出された実行時間の分布間距離、クラスタに置き換えることによって削減される状態数、のうち任意の項目を表示することを特徴とする請求項1に記載のモデル検査支援装置。前記モデル置換部で前記検査モデルの一部のクラスタを前記統計モデルに置き換える際に、置き換えを行わないクラスタまたは置き換えを行うクラスタを事前に指定しておくことを特徴とする請求項1に記載のモデル検査支援装置。前記モデル置換部で任意の1つのクラスタを前記統計モデルに置き換えることを特徴とする請求項1に記載のモデル検査支援装置。前記モデル置換部で任意の複数クラスタを前記統計モデルに置き換えることを特徴とする請求項1に記載のモデル検査支援装置。前記シミュレーション結果解析部では自動的に最終モデルを出力せず、前記シミュレーション結果出力部から出力された結果から前記統計モデルに置き換えるクラスタをユーザが選択する置換部分選択部を備えることを特徴とする請求項1に記載のモデル検査支援装置。前記モデル置換部で前記検査モデルの一部のクラスタを前記統計モデルに置き換える際に、置き換え条件を指定する条件入力部を備えることを特徴とする請求項1に記載のモデル検査支援装置。前記条件入力部は、同時に前記統計モデルに置き換えるクラスタの上限値を指定することを特徴とする請求項7に記載のモデル検査支援装置。前記条件入力部は、前記モデル置換部で複数のクラスタを前記統計モデルに置き換える際に、置き換えの対象となるクラスタを、1つのクラスタのみを前記統計モデルに置き換えた場合の分布間距離が指定するしきい値以下となるクラスタ、1つのクラスタのみを前記統計モデルに置き換えた場合の分布間距離が小さい順に指定する順位以内となるクラスタ、のいずれかに指定することを特徴とする請求項7に記載のモデル検査支援装置。コンピュータによって、開発対象システムのモデル検査を支援するモデル検査支援プログラムであって、検査モデルを複数のクラスタに分割する検査モデルクラスタリング処理、前記複数のクラスタの一部のクラスタを前記統計モデルに置き換えるモデル置換処理、前記検査モデルと前記モデル置換処理で置き換えをしたモデルに対して実行時間分布を求めるシミュレーション実行処理、前記シミュレーション実行処理で得られた実行時間の分布間距離を算出するシミュレーション結果解析処理、および前記シミュレーション結果解析処理の結果を出力するシミュレーション結果出力処理を実行させることを特徴とするモデル検査支援プログラム。前記モデル置換処理は、1つまたは2つ以上のクラスタを同時に前記統計モデルに置き換えることを特徴とする請求項10に記載のモデル検査支援プログラム。前記モデル置換処理は、置き換え対象とするクラスタの条件を事前に指定することを特徴とする請求項10に記載のモデル検査支援プログラム。前記シミュレーション結果出力処理は、前記シミュレーション結果解析処理で分布間距離が最小となるモデルに対するモデル検査用の検査プログラムを出力することを特徴とする請求項10に記載のモデル検査支援プログラム。前記シミュレーション結果出力処理は、分布間距離の一覧、または分布間距離と削減状態数の一覧を出力し、出力結果に基づいて選択したクラスタを統計モデルに置き換えたモデルに対するモデル検査用の検査プログラムを出力することを特徴とする請求項10に記載のモデル検査支援プログラム。コンピュータによって、開発対象システムのモデル検査を支援するモデル検査支援方法であって、検査モデルを複数のクラスタに分割し、前記複数のクラスタの一部のクラスタを統計モデルに置き換え、前記検査モデルと置き換えをしたモデルに対して実行時間分布を求めるシミュレーションを実行して実行時間の分布間距離を算出し、分布間距離が最小となるクラスタを前記統計モデルへの置き換えが妥当なクラスタと判定し、前記統計モデルへ置き換えたモデルの検査プログラムを出力することを特徴とするモデル検査支援方法。本発明の目的は、モデル検査において、検査対象となるモデルの一部を統計モデルに置き換えることにより抽象化し、検査中の状態数増加を抑え、検査不可能となることを防ぐ方法、プログラムおよび装置を提供することにある。また、モデル検査で状態削減のために行うモデル抽象化において、抽象モデルへ置き換える部分をユーザが決めるのではなく、自動的に選択することにより、不適な抽象化による精度劣化を防ぐ方法、プログラムおよび装置を提供することにある。上記課題を解決するために、例えば特許請求の範囲に記載の構成を採用する。本願は上記課題を解決する手段を複数含んでいるが、モデル検査支援装置の一例を挙げるならば、開発対象システムのモデル検査を支援するモデル検査支援装置であって、記録部から検査モデルと統計モデルを取得し、前記検査モデルを複数のクラスタに分ける検査モデルクラスタリング部と、前記検査モデルクラスタリング部で生成されたクラスタの一部を前記統計モデルに置き換えることでモデル検査に用いるモデルの状態数を削減するモデル置換部と、前記検査モデルと前記モデル置換部で前記統計モデルに置き換えられたモデルに対して実行時間の分布を得るためのシミュレーションを実行するシミュレーション実行部と、前記シミュレーション実行部で実行するシミュレーションの条件を与える検査式入力部と、前記記録部から取得した前記検査モデルの実行時間分布と前記モデル置換部で前記統計モデルに置き換えられたモデルの実行時間分布との分布間距離を任意の一部のクラスタを統計モデルに置き換えられた全てのモデルに対して算出し、分布間距離が最小となる置き換え後のモデルの検査プログラムを出力するシミュレーション結果解析部と、前記シミュレーション結果解析部の結果を画面表示するシミュレーション結果出力部と、を備えていることを特徴とする。即ち、第1の発明の特徴は、1開発対象システムのモデル検査を支援するモデル検査支援装置であって、検査モデルを複数のクラスタに分ける検査モデルクラスタリング部と、前記複数のクラスタの一部を統計モデルに置き換えるモデル置換部と、前記検査モデルと前記置き換えられたモデルに対して実行時間の分布を得るためのシミュレーションを実行するシミュレーション実行部と、前記シミュレーションの条件を与える検査式入力部と、前記検査モデルの実行時間分布と前記置き換えられたモデルの実行時間分布との分布間距離を任意の一部のクラスタを置き換えられた全てのモデルに対して算出し、分布間距離が最小となる置き換え後のモデルの検査プログラムを出力するシミュレーション結果解析部と、前記シミュレーション結果解析部の結果を画面表示するシミュレーション結果出力部と、を備えているモデル検査支援装置にある。21において、前記シミュレーション結果出力部は、前記検査モデル、前記複数のクラスタ、前記シミュレーション結果解析部で算出された実行時間の分布間距離、クラスタに置き換えることによって削減される状態数、のうち任意の項目を表示することができる。31において、前記モデル置換部で前記検査モデルの一部のクラスタを前記統計モデルに置き換える際に、置き換えを行わないクラスタまたは置き換えを行うクラスタを事前に指定することができる。41において、前記モデル置換部で任意の1つのクラスタを前記統計モデルに置き換えることができる。51において、前記モデル置換部で任意の複数クラスタを前記統計モデルに置き換えることができる。61において、前記シミュレーション結果解析部では自動的に最終モデルを出力せず、前記シミュレーション結果出力部から出力された結果から前記統計モデルに置き換えるクラスタを選択できる置換部分選択部を備えていても良い。71において、前記モデル置換部で前記検査モデルの一部のクラスタを前記統計モデルに置き換える際に、置き換え条件を指定できる条件入力部を備えていても良い。87において、前記条件入力部は、同時に前記統計モデルに置き換えるクラスタの上限値を指定することができる。97において、前記条件入力部は、前記モデル置換部で複数のクラスタを前記統計モデルに置き換える際に、置き換えの対象となるクラスタを、1つのクラスタのみを前記統計モデルに置き換えた場合の分布間距離が指定するしきい値以下となるクラスタ、1つのクラスタのみを前記統計モデルに置き換えた場合の分布間距離が小さい順に指定する順位以内となるクラスタ、のいずれかを指定できる。第2の発明の特徴は、10コンピュータによって、開発対象システムのモデル検査を支援するモデル検査支援プログラムであって、検査モデルを複数のクラスタに分割する検査モデルクラスタリング処理、前記複数のクラスタの一部のクラスタを前記統計モデルに置き換えるモデル置換処理、前記検査モデルと前記モデル置換処理で置き換えをしたモデルに対して実行時間分布を求めるシミュレーション実行処理、前記シミュレーション実行処理で得られた実行時間の分布間距離を算出するシミュレーション結果解析処理、および前記シミュレーション結果解析処理の結果を出力するシミュレーション結果出力処理を実行させるモデル検査支援プログラムにある。1110において、前記モデル置換処理は、1つまたは2つ以上のクラスタを同時に前記統計モデルに置き換えて行われる。1210において、前記モデル置換処理は、置き換え対象とするクラスタの条件を事前に指定しておいても良い。1310において、前記シミュレーション結果出力処理は、前記シミュレーション結果解析処理で分布間距離が最小となるモデルに対するモデル検査用の検査プログラムを出力する。1410において、前記シミュレーション結果出力処理は、分布間距離の一覧、または分布間距離と削減状態数の一覧を出力し、出力結果に基づいて選択したクラスタを統計モデルに置き換えたモデルに対するモデル検査用の検査プログラムを出力する。第3の発明の特徴は、15コンピュータによって、開発対象システムのモデル検査を支援するモデル検査支援方法であって、検査モデルを複数のクラスタに分割し、前記複数のクラスタの一部のクラスタを統計モデルに置き換え、前記検査モデルと置き換えをしたモデルに対して実行時間分布を求めるシミュレーションを実行して実行時間の分布間距離を算出し、分布間距離が最小となるクラスタを前記統計モデルへの置き換えが妥当なクラスタと判定し、前記統計モデルへ置き換えたモデルの検査プログラムを出力することを特徴とするモデル検査支援方法にある。本発明によれば、モデル検査における状態数を削減することができる。また、モデル検査におけるモデル抽象化による精度の劣化を抑えることができる。以下、実施例を図面を用いて説明する。図1は、実施例1におけるモデル検査支援プログラムを実行するモデル検査支援装置の全体構成図の例である。図1に示す装置1は、制御部2、記録部3を備え、入出力装置4と接続されている。装置1は、入出力装置4から入力された検査モデル7に対して、モデルの一部の統計モデル8への置き換えを実行する。例えば、装置1はコンピュータや専用のハードウェアである。制御部2は、検査モデル抽象化部5、妥当性判定部6を備えている。制御部2は、検査モデル抽象化部5、妥当性判定部6以外に、入出力装置4、図示しない外部記録装置などの周辺機器とのやり取りの制御を行う。また、制御部2はCPUやプログラマブルなFPGA、PLDなどのデバイスを用いることができる。検査モデル抽象化部5は、検査モデル7の一部を統計モデル8に置き換える。妥当性判定部6は、シミュレーションを実行することによって、検査モデル抽象化部5でのモデル置き換えの妥当性を判断し、モデル検査を行うための検査プログラム9を出力する。記録部3は、検査モデル7、統計モデル8、検査プログラム9、入出力装置4から入力される不図示の入力データや、ドライバ、データベースタブ、ネットワークタブなどが記録されている。また、記録部3は、例えばROM、RAM、ハードディスクなどのメモリである。また、記録部3は、変数値やパラメータ値などのデータを記録してもよいし、ワークエリアとして用いることもできる。図2は、検査モデル抽象化部5、妥当性判定部6の機能構成の一例を示すブロック図である。検査モデル抽象化部5は、検査モデルクラスタリング部51、モデル置換部52を備えている。検査モデルクラスタリング部51は、記録部3から取得した検査モデル7をクラスタリングによって、いくつかのクラスタに分割する。クラスタリングは、例えば、複数のサンプルを取り込み、それをまとめて符号化する、ベクトル量子化クラスタリング等の技法を用いて実施することができる。図3は、状態遷移図で表される検査モデル7の一例を示す。図4は、図3で示す検査モデル7に対して検査モデルクラスタリング部51でクラスタリングを実行することにより、点線で区切られた3つのクラスタに分けられる例を示す。モデル置換部52は、検査モデルクラスタリング部51によってクラスタに分割された検査モデル7に対して、任意の1つのクラスタを記録部3から取得した統計モデル8に置き換える。統計モデル8は、例えば、処理待ちを表す待ち行列モデルでもよく、各クラスタに適するモデルをユーザが用意する。妥当性判定部6は、検査式入力部61、シミュレーション実行部62、シミュレーション結果解析部63、シミュレーション結果出力部64を備えている。検査式入力部61は、シミュレーションの実行に必要なパラメータ値を与える。シミュレーション実行部62は、検査式入力部61から入力された検査式を基に実行するシミュレーションを決定し、記録部3から取得した検査モデル7およびモデル置換部52で一部を統計モデル8に置き換えられたモデルに対して、実行時間を算出するシミュレーションを複数回実行し、実行時間の分布を算出する。モデル置換部52におけるモデルの置き換えは、統計モデル8へ置き換えるクラスタがなくなるまで実行し、それぞれに対して、シミュレーション実行部62で実行時間を算出するシミュレーションを複数回実行し、実行時間の分布を算出する。モデル置換部52におけるモデルの置き換えは、検査モデルクラスタリング部51で生成された全てのクラスタについて実施してもよいし、モデルの置き換えを実施するクラスタ、または実施しないクラスタを事前に指定してもよい。シミュレーション結果解析部63は、記録部3から取得された検査モデル7の実行時間分布と、モデル置換部52で一部を統計モデル8に置き換えられたモデルの実行時間分布との間の分布間距離を算出し、分布間距離が最少となるモデルを置き換え妥当なモデルと判断し、置き換え妥当と判断されたモデルの検査プログラム9を出力する。出力された検査プログラム9は、外部のモデル検査装置またはモデル検査プログラムの入力として使用できる。ここではシミュレーション実行部62で実行時間分布を算出しているが、シミュレーション結果解析部63で実行時間分布を算出する構成としてもよい。シミュレーション結果出力部64は、シミュレーション結果解析部63で算出された実行時間の分布間距離の一覧を出力する。図5は、制御部2の動作の一例を示すフロー図である。ステップS501では、シミュレーション実行部62で記録部3から取得した検査モデル7を用いたシミュレーションを複数回実行し、実行時間の分布Aを得る。ステップS502では、検査モデルクラスタリング部51で検査モデル7をクラスタに分割する。ステップS503では、検査モデルクラスタリング部51で生成されたクラスタのうち、統計モデル8に置き換えることによって抽象化するクラスタが存在するかどうかを判定する。抽象化するクラスタが存在する場合はステップS504に移行し、存在しない場合はステップS507に移行する。ステップS504では、モデル置換部52で、抽象化するクラスタのうちの任意の1つのクラスタCiを統計モデル8に置き換える。ステップS505では、モデル置換部52で一部を統計モデル8に置き換えられたモデルに対して、シミュレーション実行部62でシミュレーションを複数回実行し、実行時間の分布Biを得る。ステップS506では、シミュレーション結果解析部63において、ステップS501で得られた実行時間分布AとステップS505で得られた実行時間分布Biの分布間距離を算出する。ステップS507では、シミュレーション結果解析部63で算出された分布間距離が最少となる場合のモデルを統計モデル8への置き換えが妥当なモデルと判断し、置き換え妥当と判断されたモデルの検査プログラム9を出力し、処理を終了する。図6は、検査モデルクラスタリング部51でのクラスタリングにより、記録部3から取得された検査モデル7が7つのクラスタに分割された例を示す図であり、図中のノードに記載されたC1からC7は各クラスタ番号を表す。各ノードは1つの状態を表すものではなく、実際には、各クラスタに含まれる全ての状態遷移が含まれる。図7のaは図6と同等であり、図7のbは、同図aのモデルに対してシミュレーション実行部62で得られた実行時間分布の例を示す。図7aに示すモデルは、統計モデル8への置き換えは行われていない。図8aは、図6に示されるクラスタのうち、クラスタC2に対して統計モデル8への置き換えを実行することを示し、同図bは、クラスタC2を統計モデル8へ置き換えたモデルに対してシミュレーション実行部62でシミュレーションを実行し、得られた実行時間分布の例を示す。図9aは、図6に示されるクラスタのうち、クラスタC4に対して統計モデル8への置き換えを実行することを示し、同図bは、クラスタC4を統計モデル8へ置き換えたモデルに対してシミュレーション実行部62でシミュレーションを実行し、得られた実行時間分布の例を示す。図10は、統計モデル8への置き換えを実行する全てのクラスタに対してシミュレーション実行部62でシミュレーションを実行した結果として得られる実行時間分布を重ね合わせた図の例である。図の点線で示す分布は、例えば、統計モデル8への置き換えのない実行時間分布を表す。図11は、シミュレーション結果出力部64から出力される表示画面の一例を示す図であり、入力モデル表示部111、クラスタ表示部112、およびシミュレーション結果表示部113で構成される。入力モデル表示部111では、統計モデル8に置き換えられていない検査モデル7を表示し、クラスタ表示部112では、検査モデル7をクラスタに分割した結果を表示する。シミュレーション結果表示部113では、シミュレーション結果出力部64で出力される実行時間の分布図と、分布間距離の一覧を表示する。クラスタ表示部112およびシミュレーション結果表示部113において、統計モデル8に置き換えることで分布間距離が最小となるクラスタにマークを付けるなどしてもよい。図11に示す表示画面は一例であり、このうちの一部を表示する構成でもよい。図12は、シミュレーション結果表示部113で表示される分布間距離の一覧の例を示す。クラスタC2を統計モデル8に置き換えたときの分布間距離が最小であり、このとき、シミュレーション結果解析部63からは、クラスタC2を統計モデル8に置き換えたモデルの検査プログラム9が出力される。先の実施例1では、シミュレーション結果解析部63で算出された分布間距離が最小となるモデルの検査プログラム9を自動的に出力するが、この実施例2では、クラスタごとの分布間距離の一覧を表示し、統計モデル8に置き換えるクラスタはユーザが選択する。実施例2におけるモデル検査支援プログラムを実行するモデル検査支援装置の全体構成図は、図1に示す実施例1における全体構成図と同様である。図13は、実施例2における検査モデル抽象化部、妥当性判定部の機能構成の一例を示すブロック図であり、置換部分選択部65を備え、シミュレーション結果出力部64での処理の後に検査プログラム9が出力される点が、実施例1とは異なる。実施例1と同一の機能を持つ部位には同一の符号を付してその詳細の説明は省略する。シミュレーション結果解析部63は、記録部3から取得された検査モデル7の実行時間分布と、モデル置換部52で一部を統計モデル8に置き換えられたモデルの実行時間分布との間の分布間距離を算出する。ここでは、自動的なモデルの置き換えは実施しない。シミュレーション結果出力部64は、シミュレーション結果解析部63で算出された実行時間の分布間距離の一覧を出力し、置換部分選択部65で統計モデル8に置き換えるクラスタがユーザによって選択されるのを待つ。ユーザからの入力を受け付けると、選択されたクラスタを統計モデル8に置き換えたモデルの検査プログラム9を出力する。置換部分選択部65は、シミュレーション結果出力部64で出力された分布間距離の一覧から、統計モデル8へ置き換えるクラスタをユーザが選択する。図14は、実施例2における制御部2の動作の一例を示すフロー図である。実施例1の図5におけるステップと同一ステップには同一符号を付して重複する説明は省略する。ステップS1407では、シミュレーション結果解析部63で算出された分布間距離の一覧を表示する。ステップS1408では、ユーザによって選択されたクラスタを統計モデル8に置き換えたモデルの検査プログラム9を出力し、処理を終了する。図15は、実施例2におけるシミュレーション結果出力部64から出力される表示画面の一例を示す図であり、シミュレーション結果表示部113に表示される分布間距離の一覧にクラスタ選択欄が追加されている点が図11とは異なる。分布間距離の一覧には、各クラスタを統計モデルに置き換えることで削減される状態数も併せて表示してもよく、これにより、分布間距離による置き換え妥当性だけではなく、状態数削減効果を考慮した置き換えが可能となる。上記実施例1、実施例2では、検査モデルクラスタリング部51で生成されたクラスタのうち1つを統計モデル8に置き換えていたが、実施例3では、複数のクラスタの置き換えを可能とする。具体的には、実施例2に示す動作で1つのクラスタを置き換えたモデルについて分布間距離を得た後、事前にユーザによって指定されたクラスタ選択条件を満たす複数クラスタの組合せに対して、統計モデル8への置き換え、実行時間分布の算出、および統計モデル8への置き換えをしない検査モデル7の実行時間分布との分布間距離の算出を実行し、その一覧から統計モデル8に置き換えるクラスタの組を決定する。実施例3におけるモデル検査支援プログラムを実行するモデル検査支援装置の全体構成図は、図1に示す実施例1における全体構成図と同様である。図16は、実施例3における検査モデル抽象化部、妥当性判定部の機能構成の一例を示すブロック図であり、条件入力部53を備える点が、実施例2とは異なる。実施例2と同一の機能を持つ部位には同一の符号を付してその詳細の説明は省略する。条件入力部53では、同時に統計モデル8に置き換えるクラスタの最大数と、複数クラスタ選択の条件を入力する。ここで、複数クラスタ選択の条件とは、統計モデル8への置き換えの対象となるクラスタを指定するための条件であり、1つのクラスタのみを統計モデル8に置き換えた場合の分布間距離が事前にユーザの指定するしきい値以下となるクラスタ、1つのクラスタのみを統計モデル8に置き換えた場合の分布間距離が小さい順に事前にユーザの指定する順位以内となるクラスタ、あるいは全てのクラスタのいずれかを設定する。モデル置換部52は、検査モデルクラスタリング部51によってクラスタに分割された検査モデル7に対して、実施例1および実施例2同様に任意の1つのクラスタを記録部3から取得した統計モデル8に置き換えることに加えて、条件入力部53で入力された条件を満たす複数クラスタを記録部3から取得した統計モデル8に置き換える。図17および図18は、実施例3における制御部の動作の一例を示すフロー図である。実施例2の図14におけるステップと同一ステップには同一符号を付して重複する説明は省略する。ステップS1700では、条件入力部53で、ユーザが同時に統計モデル8に置き換えるクラスタの最大数Mと複数クラスタ選択の条件Tを入力する。ステップS1801では、条件入力部53で入力された条件を満たし、統計モデル8に置き換えることによって抽象化する複数クラスタの組合せが存在するかどうかを判定する。抽象化するクラスタが存在する場合はステップS1802に移行し、存在しない場合はステップS1805に移行する。ステップS1802では、モデル置換部52で、抽象化する任意の複数クラスタの組合せを統計モデル8に置き換える。ステップS1803では、ステップS1802で統計モデル8に置き換えたモデルに対して、シミュレーション実行部62でシミュレーションを複数回実行し、実行時間の分布Diを得る。ステップS1804では、シミュレーション結果解析部63において、ステップS501で得られた実行時間分布AとステップS1803で得られた実行時間分布Diの分布間距離を算出する。ステップS1805では、シミュレーション結果解析部63で算出された分布間距離の一覧を表示する。ステップS1806では、ユーザが統計モデル8に置き換えるクラスタを選択し、選択されたクラスタを統計モデル8に置き換えたモデルの検査プログラム9を出力し、処理を終了する。図19は、実施例3におけるシミュレーション結果出力部64から出力される表示画面中のシミュレーション結果表示部113の一例を示す図であり、複数クラスタを置き換えた場合の結果が追加されている。また、各クラスタを統計モデル8に置き換えることで削減される状態数も併せて表示した例となっているが、必ずしも表示する必要はない。本実施例3によれば、1つのクラスタの置き換えと比較してより多くの状態数を削減することができる。上記実施例1、実施例2、実施例3では、モデル検査装置とは独立する装置としての構成を示したが、モデル検査装置の一機能として実現する構成本実施例がコンピュータプログラムとして実現される場合の構成とすることも可能である。図20は、上記本発明の実施形態の装置を実現できるコンピュータのハードウェア構成の一例を示す図である。コンピュータのハードウェア200は、CPU201、通信インタフェース202、入出力インタフェース203、記録部204ROM、RAM、ハードディスクドライブなど、記録媒体読取装置205などを備えている。また、上記の各構成部は、バス206によってそれぞれ接続されている。CPU201は、記録部204に格納されている上記説明した検査モデルクラスタリング部、モデル置換部、シミュレーション実行部、シミュレーション結果解析部、シミュレーション結果出力部などで行う処理を実行する。通信インタフェース202は、必要に応じて、他のコンピュータとの間のLAN接続やインターネット接続や無線接続のためのインタフェースである。また、他の装置に接続され、外部装置からのデータの入出力を制御する。入出力インタフェース203には、入出力装置203a図1の入出力装置4、マウス、キーボード、ディスプレイなどが接続され、ユーザが入力した情報を受信し、バス206を介してCPU201に送信する。また、CPU201からの命令に従って、ディスプレイの画面上に操作情報などを表示する。記録部204には、CPU201が実行するプログラムやデータが記録されている。また、ワークエリアなどとして使用される。記録媒体読取装置205は、CPU201の制御にしたがった記録媒体205aに対するデータの読み書きを制御する。そして、記録媒体205a、記録媒体読取装置205の制御で書き込まれたデータを記憶したり、記録媒体205aに記憶されたデータを読み取らせたりする。また、着脱可能な記録媒体205aは、コンピュータで読み取り可能な記録媒体として、磁気記録装置、光ディスク、光磁気記録媒体、半導体メモリなどがある。このようなハードウェア構成を有するコンピュータを1台以上用いることによって、上記説明した各処理機能実施例で説明した処理が実現される。その場合、システムが有すべき機能の処理内容を記述したプログラムが提供される。そのプログラムをコンピュータで実行することにより、上記処理機能がコンピュータ上で実現される。処理内容を記述したプログラムは、コンピュータで読み取り可能な記録媒体205aに記録しておくことができる。プログラムを流通させる場合には、例えば、そのプログラムが記録されたDVD、CD-ROMなどの可搬型記録媒体として販売される。また、プログラムをサーバコンピュータの記憶装置に格納しておき、ネットワークを介して、サーバコンピュータから他のコンピュータにプログラムを転送することもできる。プログラムを実行するコンピュータは、例えば、可搬型記録媒体に記録されたプログラムもしくはサーバコンピュータから転送されたプログラムを、自己の記憶装置に格納する。そして、コンピュータは、自己の記憶装置からプログラムを読み取り、プログラムに従った処理を実行する。なお、コンピュータは、可搬型記録媒体から直接プログラムを読み取り、そのプログラムに従った処理を実行することもできる。また、コンピュータはサーバコンピュータからプログラムが転送されるごとに、逐次、受け取ったプログラムに従った処理を実行することもできる。また、本発明は、上記した実施例に限定されるものではなく、本発明の要旨を逸脱しない範囲内で種々の改良、変更が可能である。例えば、上記した実施例は本発明を分かりやすく説明するために詳細に説明したものであり、必ずしも説明した全ての構成を備えるものに限定されるものではない。また、ある実施例の構成の一部を他の実施例の構成に置き換えることが可能であり、また、ある実施例の構成に他の実施例の構成を加えることも可能である。また、各実施例の構成の一部について、他の構成の追加削除置換をすることが可能である。また、制御線や情報線は説明上必要と考えられるものを示しており、製品上必ずしも全ての制御線や情報線を示しているとは限らない。実際には殆ど全ての構成が相互に接続されていると考えてもよい。