JP6366811B2 - 検査装置、検査方法、及び、プログラム - Google Patents

Description

本発明は、実際の機器（実機）を含んだシステム全体の試験を効率化することのできる検査装置、検査方法、及び、プログラムに関する。

近年、ビル等の建物内において、複数の設備機器（例えば、空調機器や照明機器等）がネットワークで接続された設備機器システム（例えば空調システムや照明システム等）が、設置されている。このような設備機器システムは、設置場所に応じて、機器構成（機種や台数等の組み合わせ）が異なる。そのため、設備機器のメーカでは、設計段階や試作段階等で、様々な機器構成に対応して試験（検査）を行っている。

例えば、特許文献１には、ネットワーク検証装置の発明が開示されている。このネットワーク検証装置は、検証対象となるネットワークを構成する各機器の動作モデルを含んだ検証情報から、過大近似モデルを生成する。この過大近似モデルとは、通信パケットのフィールドの具体値を取り扱わないように動作モデルを修正することにより、ネットワークの動作を過大近似したモデルである。そして、ネットワーク検証装置は、この過大近似モデルから変換した検証コードを用いてモデル検査を実行する。また、ネットワーク検証装置は、モデル検査の結果として得られる反例がネットワークの本来の動作にも存在するか否かを確認する。

国際公開第２０１４／１１５７５９号

上記の特許文献１のネットワーク検証装置は、上述したように、モデル検査の結果が実際のネットワークに適用されるかどうかの追加検証を実施している。しかしながら、このネットワーク検証装置は、動作モデル（過大近似モデル）だけを用いるため、ネットワークに実際の機器（実機）が接続された場合について、何ら検証が行われない。つまり、特許文献１の発明では、実機の設置環境やネットワーク配線の状態など、ハードウェアに依存する振る舞いについての試験ができなかった。そのため、実機を用いた追加試験を別の装置で改めて行う必要があるなど、試験の効率化が損なわれていた。

本発明は、上記のような問題点を解決するためになされたもので、実機を含んだシステム全体の試験を効率化することのできる検査装置、検査方法、及び、プログラムを提供することを目的とする。

上記目的を達成するために、本発明に係る検査装置は、
システムの動作を動作モデルを用いて検査する検査装置であって
通信可能な実際の機器を検出し、検出した当該実際の機器と前記動作モデルとの組み合わせを規定する試験構成情報を生成する構成情報生成部と、
生成された前記試験構成情報と、予め規定された通信シーケンスとに基づいて、試験データを生成する生成部と、
生成された前記試験データに従って、前記動作モデル及び前記実際の機器に対する検査を実行する検査実行部と、を備え、
前記生成部は、前記動作モデルだけを用いて検査する際の通信シーケンスを規定したモデル検査用ソースコードと、前記試験構成情報とに基づいて、前記実際の機器を含んだシステムを検査するための試験データを生成し、
前記検査実行部は、前記試験データに規定された通信シーケンスに応じて、通信処理を行う検査を実行する。

本発明によれば、実機を含んだシステム全体の試験を効率化することができる。

本発明の実施形態に係る設備機器試験支援システムの全体構成の一例を示すブロック図である。 試験構成情報の一例を示す模式図である。 モデル検査用ソースコードを説明するための模式図である。 試験データの一例を示す模式図である。 検査実行時のパターンを説明するための模式図である。 本発明の実施形態に係る試験データ生成処理の一例を示すフローチャートである。 本発明の実施形態に係る検査実行生成処理の一例を示すフローチャートである。 本発明の他の実施形態に係る設備機器試験支援システムの全体構成の一例を示すブロック図である。

以下、本発明の実施形態について、図面を参照しながら詳細に説明する。なお、図中同一又は相当部分には同一符号を付す。以下では、具体例として、本発明が設備機器（例えば、空調機器や照明機器等）を試験する検査装置に適用される場合について説明するが、他の種類の機器においても同様に本発明を適用することができる。すなわち、以下に説明する実施形態は説明のためのものであり、本発明の範囲を制限するものではない。従って、当業者であればこれらの各要素又は全要素をこれと均等なものに置換した実施形態を採用することが可能であるが、これらの実施形態も本発明の範囲に含まれる。

図１は、本発明の実施形態に係る設備機器試験支援システム１の全体構成の一例を示すブロック図である。図示するように、設備機器試験支援システム１は、検査装置１０と、設備機器２０とから構成される。検査装置１０と設備機器２０とは、予め定められた有線通信規格又は無線通信規格にて、通信可能に接続されている。なお、図１では、１つの設備機器２０だけを示しているが、後述するように、複数の設備機器２０が含まれていてもよい。

検査装置１０は、実機（つまり、設備機器２０）と、機器の動作モデルとが任意に組み合わされて構成される対象システム（つまり、設備機器システム）を試験する装置である。図示するように、検査装置１０は、入力部１１と、ソースコード読込部１２と、試験データ生成部１３と、データ管理部１４と、検査実行部１５と、検証部１６と、通信部１７と、出力部１８とを備える。なお、検査装置１０は、ＣＰＵ（Central Processing Unit），ＲＯＭ（Read Only Memory），ＲＡＭ（Random Access Memory）等のハードウェアを有している。そして、ＣＰＵが、ＲＡＭをワークメモリとして用い、例えば、ＲＯＭに記憶されている各種プログラム（後述する試験データ生成処理や検査実行処理のプログラム等）を適宜実行する。

入力部１１は、例えば、タッチパネルやスイッチ等の入力デバイスからなり、ユーザの入力操作を受け付ける。ユーザは、入力部１１から、例えば、試験構成情報を入力する。この試験構成情報は、検査しようとする設備機器システムの構成を示す情報である。以下、試験構成情報について、図２を参照して具体的に説明する。

図２は、検査対象となる設備機器システムが、空調システムである場合の試験構成情報１１１の具体例を示している。図示するように、試験構成情報１１１には、空調システムを構成する各機器について、機種、台数、及び、実機フラグの情報がそれぞれ設定されている。なお、実機フラグとは、その機器が実機であるか（オン）、機器の動作をシミュレートする動作モデルであるか（オフ）を示している。つまり、設備機器２０に対応する機器には、実機フラグがオンに設定され、それ以外の機器には、実機フラグがオフに設定される。この他にも、試験構成情報１１１には、実機のアクセス先（設備機器２０のアドレス等）や、動作モデルの識別情報等も含まれている。

図１に戻って、入力部１１は、ユーザから入力された試験構成情報１１１を、試験データ生成部１３に供給する。この他にもユーザは、入力部１１から、検査実行部１５に対して、検査の実行を指示する。その際、ユーザは、データ管理部１４が保持している試験データ（後述する試験データ１４２）のうちから１つ以上を選択する。

ソースコード読込部１２は、例えば、図示せぬ記憶装置等から、モデル検査用ソースコードを読み込む。このモデル検査用ソースコードは、動作モデルだけを用いて検査する際の試験手順（例えば、通信シーケンス等）を記述したものである。つまり、実機を用いずに、全て動作モデルを用いて検査するシミュレーション装置などで使用されているモデル検査用ソースコードを流用することができる。以下、モデル検査用ソースコードについて、図３を参照して具体的に説明する。

図３は、モデル検査用ソースコード１４１を説明するための模式図である。モデル検査用ソースコード１４１は、検査対象となる設備機器システムが、空調システムである場合の各試験（試験内容）について、試験手順（例えば、通信シーケンス等）が記述されている。なお、図３では、説明を容易にするために、モデル検査用ソースコード１４１を各動作モデル（リモコン、室内機、及び、室外機）のシーケンス図にて示しているが、実際には、コマンドＩＤ、通信元動作モデルＩＤ、通信先動作モデルＩＤ、処理ＩＤ、ディレイ時間、及び、タイムアウト時間などのパラメータを規定するソースコードにて記述されている。

図１に戻って、ソースコード読込部１２は、このようなモデル検査用ソースコード１４１を読み込むと、データ管理部１４に保持させる。

試験データ生成部１３は、実機（つまり、設備機器２０）を含んだ対象システム（つまり、設備機器システム）を検査するための試験データを生成する。例えば、試験データ生成部１３は、入力部１１から上述した試験構成情報１１１が入力されると、データ管理部１４から上述したモデル検査用ソースコード１４１を読み出す。そして、試験データ生成部１３は、試験構成情報１１１及びモデル検査用ソースコード１４１に基づいて、図４に示すような試験データ１４２を生成する。

すなわち、試験データ生成部１３は、まず、試験構成情報１１１（実機フラグ）に基づいて、対象システム（つまり、設備機器システム）に含まれる実機（つまり、設備機器２０）を特定する。そして、試験データ生成部１３は、モデル検査用ソースコード１４１における動作モデル（実機に対応する動作モデル）の情報を、実機の情報に適宜置き換えた試験データ１４２を生成する。なお、図４では、説明を容易にするために、試験データ１４２を表形式にて列記しているが、上述したモデル検査用ソースコード１４１と同様に、各種パラメータを規定するソースコードにて記述されている。

図１に戻って、試験データ生成部１３は、このような試験データ１４２を生成すると、データ管理部１４に保持させる。

データ管理部１４は、各種データを管理する。すなわち、データ管理部１４は、モデル検査用ソースコード１４１、試験データ１４２、及び、検証結果データ１４３等のデータを管理する。モデル検査用ソースコード１４１は、上述したように、ソースコード読込部１２が読み込んだデータである。また、試験データ１４２は、上述したように、試験データ生成部１３が生成したデータである。一方、検証結果データ１４３は、後述する検査実行部１５によって実行された検査の検証（例えば、到達性検証等）の結果（例えば、反例、実機との通信エラー等）を示すデータである。そのため、検査実行部１５が検査を実行した後に生成される。

検査実行部１５は、選択された試験データに則って、モデル検査プログラムによる検査を実行する。つまり、ユーザは、入力部１１から、試験データ（試験データ１４２のうちから１つ以上）を選択し、検査実行部１５に対して、検査の実行を指示する。そして、検査実行部１５は、選択された試験データに従って、実機（つまり、設備機器２０）を含んだ対象システム（つまり、設備機器システム）を検査する。具体的に、検査実行部１５は、以下のような検査を実行する。

まず、検査実行部１５は、選択された試験データに規定されたｎ番目（初回であれば、１番目等）の通信シーケンスを解析し、パターンを特定する。一例として、検査実行部１５は、図５に示すような４つのパターン（パターンＡ〜Ｄ）のうち、ｎ番目の通信シーケンスの通信元と通信先との関係から、どのパターンに該当するかを特定する。例えば、図４の試験データ１４２に示す１番目の通信シーケンス（(1)冷房設定要求）であれば、通信元が実機で、通信先が動作モデルであるため、検査実行部１５は、パターンＣと特定する。同様に、図４の試験データ１４２に示す２番目の通信シーケンス（(2)冷房設定応答）であれば、通信元が動作モデルで、通信先が実機であるため、検査実行部１５は、パターンＢと特定する。更に、図４の試験データ１４２に示す３番目の通信シーケンス（(3)制御変更要求）や４番目の通信シーケンス（(4)制御変更応答）であれば、通信元及び通信先が共に動作モデルであるため、検査実行部１５は、パターンＡと特定する。

次に、検査実行部１５は、特定したパターンに応じた処理を行う。つまり、検査実行部１５は、図５に示すように、各パターン（パターンＡ〜Ｄ）に応じて、異なる処理を実行する。例えば、パターンＡ（動作モデル→動作モデル）の場合、検査実行部１５は、プロセス間通信にて、該当コマンドを送受信する。つまり、検査実行部１５は、ｎ番目の通信シーケンスに規定されたコマンドを、通信元の動作モデルから送信し、通信先の動作モデルにて受信する。また、パターンＢ〜Ｃの場合、検査実行部１５は、通信部１７を介した通信を行う。例えば、パターンＢ（動作モデル→実機）の場合、検査実行部１５は、通信部１７を介して、該当コマンドを設備機器２０宛てに送信する。つまり、検査実行部１５は、ｎ番目の通信シーケンスに規定されたコマンドを、通信部１７を介して、通信元の動作モデルから通信先の設備機器２０に送信する。なお、パターンＤ（実機→実機）の場合、検査実行部１５は、設備機器２０同士で送受信される該当コマンドを傍受する。つまり、検査実行部１５は、例えば、通信モニタリング機能により、設備機器２０間の通信内容も取得可能となっている。

検査実行部１５は、これらの処理（パターンの特定、及び、特定したパターに応じた通信）を、試験データに規定された通信シーケンス毎に繰り返し実行し、到達性検証など、モデル検査本来の検証を実施する。

検証部１６は、到達性検証において導出された反例などのモデル検査本来の検証結果と、設備機器２０から受信又は傍受した通信情報（例えば、通信コマンドの内容、及びその受信時刻、エラー情報等）とを基にして、試験の合否を判定する。例えば、検証部１６は、予め定められたアルゴリズムに、モデル検査本来の検証結果と設備機器２０から受信又は傍受した通信情報とを入力し、得られた判定結果から試験の合否を判定する。

通信部１７は、検査装置１０と設備機器２０との間の通信インターフェースである。なお、上述したように、通信部１７は、有線通信規格の通信インターフェースであっても、無線通信規格の通信インターフェースであってもよい。

出力部１８は、例えば、液晶ディスプレイ等の表示デバイスからなり、種々の情報を表示する。一例として、出力部１８は、検査実行部１５の検査結果（到達性検証において導出された反例等）や、検証部の判定結果（設備機器２０から受信又は傍受した通信情報、及び、試験の合否等）を表示する。

設備機器２０は、例えば、空調システムや照明システムを構成する機器の実機である。なお、図１では、説明を容易にするために、１つの設備機器２０だけを示しているが、複数の設備機器２０を用いてもよい。その場合、複数の設備機器２０は、同一機種（例えば、複数の室内機等）であっても異なる機種（例えば、リモコンと室内機等）であってもよい。

以下、本発明の実施形態に係る検査装置１０の動作について、図６及び図７を参照して説明する。図６は、本発明の実施形態に係る試験データ生成処理の一例を示すフローチャートである。また、図７は、本発明の実施形態に係る検査実行処理の一例を示すフローチャートである。

最初に、図６に示す試験データ生成処理について説明する。図６の試験データ生成処理は、図７の検査実行処理の前段階（試験準備時）に行われる処理である。

まず、検査装置１０は、モデル検査用ソースコードを読み込む（ステップＳ１０１）。すなわち、ソースコード読込部１２は、図３に示すようなモデル検査用ソースコード１４１を読み込む。読み込んだモデル検査用ソースコード１４１は、データ管理部１４に保持される。

検査装置１０は、入力される試験構成情報を取得する（ステップＳ１０２）。すなわち、入力部１１は、ユーザから入力された図２に示すような試験構成情報１１１を入力する。

検査装置１０は、読み込んだモデル検査コード及び入力された試験構成情報から試験データを生成する（ステップＳ１０３）。すなわち、試験データ生成部１３は、入力部１１から試験構成情報１１１が入力されると、データ管理部１４からモデル検査用ソースコード１４１を読み出す。そして、試験データ生成部１３は、試験構成情報１１１及びモデル検査用ソースコード１４１に基づいて、図４に示すような試験データ１４２を生成する。

検査装置１０は、生成した試験データを記憶する（ステップＳ１０４）。すなわち、データ管理部１４は、試験データ生成部１３が生成した試験データ１４２を管理する。

検査装置１０は、全ての試験についての試験構成情報の入力が完了したか否かを判別する（ステップＳ１０５）。検査装置１０は、全ての試験についての試験構成情報の入力が完了していないと判別すると（ステップＳ１０５；Ｎｏ）、上述したステップＳ１０２に処理を戻す。

一方、全ての試験についての試験構成情報の入力が完了したと判別した場合（ステップＳ１０５；Ｙｅｓ）に、検査装置１０は、試験データ生成処理を終了する。

次に、図７に示す検査実行処理について説明する。図７の検査実行処理は、図６の試験データ生成処理の後（試験実行時）に行われる処理であり、ユーザによって、入力部１１から検査の実行指示が入力されると、開始される。その際、ユーザは、１つ以上の試験データを選択して、検査の実行を指示する。

まず、検査装置１０は、選択された１つ以上の試験データを特定する（ステップＳ２０１）。すなわち、検査実行部１５は、入力部１１からの入力内容に従って、図４の試験データ１４２のうちからユーザに選択された１つ以上の試験データを特定する。

検査装置１０は、特定したうちの１つの試験データを読み出す（ステップＳ２０２）。すなわち、検査実行部１５は、データ管理部１４から対象となる１つの試験データを読み出す。

検査装置１０は、ｎ番目のシーケンス（通信シーケンス等）を解析し、パターンを特定する（ステップＳ２０３）。すなわち、検査実行部１５は、読み出した試験データに規定されたｎ番目（初回であれば、１番目等）の通信シーケンスを解析し、パターンを特定する。具体的に、検査実行部１５は、図５に示すような４つのパターン（パターンＡ〜Ｄ）のうち、ｎ番目の通信シーケンスの通信元と通信先との関係から、どのパターンに該当するかを特定する。

検査装置１０は、特定したパターンがパターンＡ（動作モデル→動作モデル）であるか否かを判別する（ステップＳ２０４）。例えば、図４の試験データ１４２に示す３番目の通信シーケンス（(3)制御変更要求）や４番目の通信シーケンス（(4)制御変更応答）であれば、通信元及び通信先が共に動作モデルであるため、検査実行部１５は、パターンＡであると判別する。

検査装置１０は、特定したパターンがパターンＡであると判別すると（ステップＳ２０４；Ｙｅｓ）、プロセス間通信にて通信処理を行う（ステップＳ２０５）。すなわち、検査実行部１５は、プロセス間通信にて、該当コマンドを送受信する。つまり、検査実行部１５は、ｎ番目の通信シーケンスに規定されたコマンドを、通信元の動作モデルから送信し、通信先の動作モデルにて受信する。

一方、特定したパターンがパターンＡでないと判別した場合に（ステップＳ２０４；Ｎｏ）、検査装置１０は、通信部１７を介して通信処理を行う（ステップＳ２０６）。すなわち、検査実行部１５は、通信部１７を介した通信を行う。例えば、特定したパターンがパターンＢ（動作モデル→実機）の場合、検査実行部１５は、通信部１７を介して、該当コマンドを設備機器２０宛てに送信する。つまり、検査実行部１５は、ｎ番目の通信シーケンスに規定されたコマンドを、通信部１７を介して、通信元の動作モデルから通信先の設備機器２０に送信する。なお、パターンＤ（実機→実機）の場合、検査実行部１５は、設備機器２０同士で送受信される該当コマンドを傍受する。

検査装置１０は、ｎ番目のシーケンス（通信シーケンス等）の検証結果を取得する（ステップＳ２０７）。例えば、検査実行部１５は、到達性検証など、モデル検査本来の検証結果を取得する。

検査装置１０は、全てのシーケンスが終了したか否かを判別する（ステップＳ２０８）。つまり、ステップＳ２０２にて読み出した試験データに規定される全ての試験手順が終了したかどうかを判別する。検査装置１０は、全てのシーケンスが終了していないと判別すると（ステップＳ２０８；Ｎｏ）、上述したステップＳ２０３に処理を戻す。

一方、全てのシーケンスが終了したと判別した場合（ステップＳ２０８；Ｙｅｓ）に、検査装置１０は、試験の合否を判定する（ステップＳ２０９）。すなわち、検証部１６は、到達性検証において導出された反例などのモデル検査本来の検証結果と、設備機器２０から受信又は傍受した通信情報（例えば、通信コマンドの内容、及びその受信時刻、エラー情報等）とを基にして、試験の合否を判定する。

検査装置１０は、試験結果を表示する（ステップＳ２１０）。例えば、出力部１８は、検査実行部１５の検査結果（到達性検証において導出された反例等）や、検証部の判定結果（設備機器２０から受信又は傍受した通信情報、及び、試験の合否等）を表示する。

検査装置１０は、全ての試験データに基づく検査が終了したか否かを判別する（ステップＳ２１１）。つまり、ステップＳ２０１にて特定した全試験データ（ユーザに選択された１つ以上の試験データ）に基づく検査が終了したかどうかを判別する。検査装置１０は、全ての試験データに基づく検査が終了していないと判別すると（ステップＳ２１１；Ｎｏ）、上述したステップＳ２０２に処理を戻す。

一方、全ての試験データに基づく検査が終了したと判別した場合（ステップＳ２１１；Ｙｅｓ）に、検査装置１０は、検査実行処理を終了する。

このような試験データ生成処理や検査実行処理により、モデル検査による検証を、通常の計算機上のシミュレータではなく実機（つまり、設備機器２０）を用いて実施することができる。これにより、検証結果に対しシミュレータと実機との振る舞いの差異を考慮する必要が無くなるため、試験の効率化が見込める。

この結果、実機を含んだシステム全体の試験を効率化することすることができる。

（他の実施形態）
上記の実施形態では、ユーザが入力部１１から、図２に示すような試験構成情報１１１を入力する場合について説明したが、このような試験構成情報１１１を自動的に生成するようにしてもよい。以下、図８を参照して、試験構成情報１１１を自動的に生成することを特徴とする設備機器試験支援システム３について、簡単に説明する。

図８は、本発明の他の実施形態に係る設備機器試験支援システム３の全体構成の一例を示すブロック図である。図示するように、設備機器試験支援システム３は、検査装置３０と、設備機器２０とから構成される。検査装置３０と設備機器２０とは、予め定められた有線通信規格又は無線通信規格にて、通信可能に接続されている。なお、図８でも、１つの設備機器２０だけを示しているが、上記と同様に、複数の設備機器２０が含まれていてもよい。

検査装置３０は、入力部１１と、ソースコード読込部１２と、試験データ生成部３３と、データ管理部３４と、検査実行部１５と、検証部１６と、通信部１７と、出力部１８と、構成情報生成部３９を備える。なお、入力部１１、ソースコード読込部１２、検査実行部１５、検証部１６、通信部１７、及び、出力部１８の構成は、上述した図１の検査装置１０と同様である。

構成情報生成部３９は、通信部１７を介して、通信可能な実機（つまり、設備機器２０）を検出し、検出した実機を含んだ試験構成情報３４４を生成する。例えば、構成情報生成部３９は、ひな形として規定された基準試験構成情報（実機フラグが全てオフ）に、検出した実機を適用（該当する機器の実機フラグをオン）して、試験構成情報３４４を生成する。なお、ひな形となる基準試験構成情報が複数ある場合に、構成情報生成部３９は、各基準試験構成情報から複数の試験構成情報３４４を生成する。構成情報生成部３９は、生成した試験構成情報３４４をデータ管理部３４に保持させる。

試験データ生成部３３は、試験構成情報３４４が生成されると（データ管理部３４に保持されると）、データ管理部３４から試験構成情報３４４及びモデル検査用ソースコード１４１を読み出す。そして、試験データ生成部３３は、読み出した試験構成情報３４４及びモデル検査用ソースコード１４１に基づいて、上記と同様に、図４に示すような試験データ１４２を生成する。試験データ生成部３３は、生成した試験データ１４２をデータ管理部３４に保持させる。

データ管理部３４は、モデル検査用ソースコード１４１、試験構成情報３４４、試験データ１４２、及び、検証結果データ１４３等のデータを管理する。試験構成情報３４４は、上述したように、構成情報生成部３９が生成したデータである。

このような検査装置３０によれば、設備機器２０（複数の場合も含む）を検査装置３０と通信可能に配置するだけで、自動的に試験構成情報（試験構成情報３４４）が生成される。この結果、実機を含んだシステム全体の試験を効率化することすることができる。

また、上記実施形態では、専用の検査装置１０，３０を用いる場合について説明したが、検査装置１０，３０の動作を規定する動作プログラムを既存のパーソナルコンピュータや情報端末機器などに適用することで、当該パーソナルコンピュータなどを本発明に係る検査装置１０，３０として機能させることも可能である。

また、このようなプログラムの配布方法は任意であり、例えば、ＣＤ−ＲＯＭ（Compact Disk Read-Only Memory）、ＤＶＤ（Digital Versatile Disk）、ＭＯ（Magneto Optical Disk）、メモリカードなどのコンピュータ読み取り可能な記録媒体に格納して配布してもよいし、インターネットなどの通信ネットワークを介して配布してもよい。

本発明は、広義の精神と範囲を逸脱することなく、様々な実施形態及び変形が可能とされるものである。また、上述した実施形態は、本発明を説明するためのものであり、本発明の範囲を限定するものではない。つまり、本発明の範囲は、実施形態ではなく、請求の範囲によって示される。そして、請求の範囲内及びそれと同等の発明の意義の範囲内で施される様々な変形が、本発明の範囲内とみなされる。

本発明は、実機を含んだシステム全体の試験を効率化することのできる検査装置、検査方法、及び、プログラムに採用され得る。

１，３ 設備機器試験支援システム、１０，３０ 検査装置、１１ 入力部、１２ ソースコード読込部、１３，３３ 試験データ生成部、１４，３４ データ管理部、１５ 検査実行部、１６ 検証部、１７ 通信部、１８ 出力部、３９ 構成情報生成部、２０ 設備機器、１４１ モデル検査用ソースコード、１４２ 試験データ、１４３ 検証結果データ、３４４ 試験構成情報

Claims (5)

1. システムの動作を動作モデルを用いて検査する検査装置であって、
   通信可能な実際の機器を検出し、検出した当該実際の機器と前記動作モデルとの組み合わせを規定する試験構成情報を生成する構成情報生成部と、
   生成された前記試験構成情報と、予め規定された通信シーケンスとに基づいて、試験データを生成する生成部と、
   生成された前記試験データに従って、前記動作モデル及び前記実際の機器に対する検査を実行する検査実行部と、を備え、
   前記生成部は、前記動作モデルだけを用いて検査する際の通信シーケンスを規定したモデル検査用ソースコードと、前記試験構成情報とに基づいて、前記実際の機器を含んだシステムを検査するための試験データを生成し、
   前記検査実行部は、前記試験データに規定された通信シーケンスに応じて、通信処理を行う検査を実行する、
   検査装置。
2. 前記検査実行部は、前記試験データに規定された通信シーケンスにおける通信元及び通信先の何れかに前記実際の機器が含まれる場合に、前記実際の機器が接続された通信部を用いて検査を実行する、
   請求項１に記載の検査装置。
3. 前記生成部は、前記モデル検査用ソースコードに規定された通信シーケンスにおける通信元及び通信先の情報を、前記試験構成情報に従って前記実際の機器の情報に置き換えた前記試験データを生成する、
   請求項１又は２に記載の検査装置。
4. システムの動作を動作モデルを用いて検査する検査方法であって、
   通信可能な実際の機器を検出し、検出した当該実際の機器と前記動作モデルとの組み合わせを規定する試験構成情報を生成する構成情報生成ステップと、
   生成された前記試験構成情報と、予め規定された通信シーケンスとに基づいて、試験データを生成する生成ステップと、
   生成された前記試験データに従って、前記動作モデル及び前記実際の機器に対する検査を実行する検査実行ステップと、を備え、
   前記生成ステップでは、前記動作モデルだけを用いて検査する際の通信シーケンスを規定したモデル検査用ソースコードと、前記試験構成情報とに基づいて、前記実際の機器を含んだシステムを検査するための試験データを生成し、
   前記検査実行ステップでは、前記試験データに規定された通信シーケンスに応じて、通信処理を行う検査を実行する、
   検査方法。
5. システムの動作を動作モデルを用いて検査するコンピュータを、
   通信可能な実際の機器を検出し、検出した当該実際の機器と前記動作モデルとの組み合わせを規定する試験構成情報を生成する構成情報生成部、
   生成された前記試験構成情報と、予め規定された通信シーケンスとに基づいて、試験データを生成する生成部、
   生成された前記試験データに従って、前記動作モデル及び前記実際の機器に対する検査を実行する検査実行部、として機能させ、
   前記生成部は、前記動作モデルだけを用いて検査する際の通信シーケンスを規定したモデル検査用ソースコードと、前記試験構成情報とに基づいて、前記実際の機器を含んだシステムを検査するための試験データを生成し、
   前記検査実行部は、前記試験データに規定された通信シーケンスに応じて、通信処理を行う検査を実行する、
   ように機能させるプログラム。

Images