JP5949391B2 - 実行条件検査装置、実行条件検査システム、実行条件検査方法およびプログラム - Google Patents

Description

本発明は、実行条件を検査する技術に関し、特にコンピュータシステムの実行条件を検査する技術に関する。

昨今、アプリケーションの開発において、動的検証システムが用いられることがある。動的検証システムとは、実際に動作するアプリケーションに対し、特定のバグやセキュリティ脆弱性を検知したり、性能測定を実施したりするシステムである。また、アプリケーションとは、プログラミング言語で作られたソースファイルから、コンパイラーによって機械語に変換され、コンピュータ上で任意の動作を行うシステムである。

動的検証システムの例としては、ＩＢＭ社のセキュリティ脆弱性検出ツール「ＡｐｐＳｃａｎ Ｓｔａｎｄａｒｄ Ｅｄｉｔｉｏｎ」（登録商標）やメモリリーク検出ツール「Ｐｕｒｉｆｙ Ｐｌｕｓ」（登録商標）、ＯＳＳ(Open Source Software)の性能測定ツール「Ａｐａｃｈｅ ＪＭｅｔｅｒ」などがあげられる。

動的検証システムを利用することにより、アプリケーションの性能や品質を効率よく評価することができる。しかしながら、動的検証システムを利用するためには、アプリケーションの実行環境であるＯＳ(Operating System)の種類およびバージョン、アプリケーションと関連する各種システム（データベース、アプリケーションサーバーなど）やネットワークの構成が、動的検証システムの利用条件（実行条件）を満たしている必要がある。また、動的検証システムを実行するためのテストケースの準備が必要なこともある。

これらの条件を満たしているかどうかは、動的検証システムを実際に利用するまでは不明確であり、事前に検証することが難しいという問題点がある。これと類似した問題点を解決する技術が特許文献１に記載されている。特許文献１に記載の規則検査装置は、ソースプログラムがフレームワーク仕様に則って作成されているか否かをチェックルールに基づいてチェックする。このことにより、ソースプログラムをコンパイルあるいは実行する前に品質を診断することを可能にする。

特開２００９−９９１１１号公報

上述した規則検査装置は、ソースプログラムのテキスト内容がフレームワーク仕様に則って作成されているか否かをチェックする。しかしながら、ソースプログラムのテキスト内容以外の条件、例えば、ソースプログラムが実行される環境についてチェックすることはできない。

本発明は、上述した課題を解決し、動的検証システムの実行条件の事前検証を容易に行うことを主たる目的とする。

上記目的を達成する本発明に係る実行条件検査装置は、
外部ツール制御手段と、外部ツール呼び出し手段と、検証結果確認手段と、事前チェック定義情報記憶手段とを備え、
事前チェック定義情報記憶手段が、動的検証システムの実行条件に関する、チェック内容情報と外部ツール情報と実行手順情報と閾値情報とを含む事前チェック定義情報を記憶し、
外部ツール制御手段が、外部ツール情報と実行手順情報とに基づいてスクリプトを生成し、
外部ツール呼び出し手段が、スクリプトを用いて外部ツールを起動することにより検証対象システムの情報を取得し、
検証結果確認手段が、検証対象システムの情報と閾値情報とを比較することにより、検証対象システムが動的検証システムの実行条件を満たすか否かを判定する。

また、上記目的を達成する本発明に係る実行条件検査システムは、
上述の実行条件検査装置と、
外部ツールと、
検証対象システムとを備える。

そして、上記目的を達成する本発明に係る実行条件検査方法は、
動的検証システムの実行条件に関する、チェック内容情報と外部ツール情報と実行手順情報と閾値情報とを含む事前チェック定義情報を記憶装置に記憶し、
外部ツール情報と実行手順情報とに基づいてスクリプトを生成し、
スクリプトを用いて外部ツールを起動し、
外部ツールの実行結果を取得することにより検証対象システムの情報を取得し、
検証対象システムの情報と閾値情報とを比較することにより、検証対象システムが動的検証システムの実行条件を満たすか否かを判定する。

さらに、上記目的を達成する本発明に係るプログラムは、
動的検証システムの実行条件に関する、チェック内容情報と外部ツール情報と実行手順情報と閾値情報とを含む事前チェック定義情報を記憶装置に記憶し、
外部ツール情報と実行手順情報とに基づいてスクリプトを生成し、
スクリプトを用いて外部ツールを起動し、
外部ツールの実行結果を取得することにより検証対象システムの情報を取得し、
検証対象システムの情報と閾値情報とを比較することにより、検証対象システムが動的検証システムの実行条件を満たすか否かを判定する処理をコンピュータに実行させる。

なお、同目的は、係るプログラムを格納したコンピュータ読み取り可能な記憶媒体によっても達成される。

本発明によれば、動的検証システムの実行条件の事前検証を容易に行うことを可能とする。

本発明の第１の実施形態に係る実行条件検査装置の構成を表すブロック構成図である。 第１の実施形態に係る実行条件検査装置１００による、事前チェック定義情報４００の設定処理を説明するフローチャートである。 第１の実施形態に係る実行条件検査装置１００による、事前チェック実行および結果出力処理を説明するフローチャートである。 本発明の第２の実施形態に係る実行条件検査装置の構成を表すブロック構成図である。 コンピュータを構成する要素の例を表すブロック構成図である。

次に、本発明の実施の形態について図面を参照して詳細に説明する。

［第１の実施形態］
図１は、本発明の第１の実施形態に係る実行条件検査装置の構成を表すブロック構成図である。本発明の第１の実施形態に係る実行条件検査装置１００は、事前チェック定義情報ＩＦ（インタフェース）(InterFace)部１１０と、外部ツール制御部１２０と、外部ツール呼び出し部１３０と、検証結果確認部１４０と、事前チェック定義情報記憶部１５０とを備える。

実行条件検査装置１００は、外部ツール２００と、検証対象システム３００といった外部システムと連携して動作することにより、検証対象システム３００が動的検証システムの実行条件を満たしているか否かを検証する。なお、実行条件検査装置１００と外部ツール２００と検証対象システム３００は、ひとまとめにして、実行条件検査システムと呼ばれることもある。

検証対象システム３００は、動的検証システムが動作するシステムであり、動的検証システムが検証するシステム（ターゲットシステム）である。検証対象システム３００は複数存在してもよい。

外部ツール２００は、検証対象システム３００上で動作する、事前チェックを行うための各種スクリプト群である。外部ツール２００の具体的な例としては、検証対象システム３００がＷｉｎｄｏｗｓ（登録商標）システムの場合、マイクロソフト社提供のツールｒｅｇｅｄｉｔと連動するＶＢＳｃｒｉｐｔ（登録商標）を用いたスクリプト類が挙げられる。また、検証対象システム３００がＬｉｎｕｘ（登録商標）システムの場合、検証対象システム３００上のハードウェア情報を示す“／ｐｒｏｃ”ディレクトリのような情報を参照するコマンドを含むシェルスクリプトなどが挙げられる。これら外部ツール３００は、第１の実施形態における実行条件検査装置１００を利用するために、事前に登録されている、もしくは利用者がルールとともに設定可能なものとする。

事前チェック定義情報記憶部１５０は、事前チェック定義情報４００を記憶する。事前チェック定義情報記憶部１５０は、例えば、磁気ディスク装置やメモリ装置などの記憶装置でもよい。

事前チェック定義情報４００は、動的検証システムの実行条件に関する事前チェックを行うルールを定義した情報であり、チェック内容、連携する外部ツール２００、実行手順、閾値の情報を含む。事前チェック定義情報４００は、リスト形式で保存されてもよい。また、１つのルール定義に複数のチェック内容を含んでもよい。

チェック内容は、動的検証システムに関連する、以下の項目を含む。アプリケーション実行環境（検証対象システム３００）のＯＳ名称およびバージョン、ハードウェアのＣＰＵ(Central Processing Unit)が有するコア数および動作周波数、メモリサイズ、ハードディスクドライブの記憶容量および空き容量、ネットワークインタフェースおよび帯域と実測値に基づくネットワーク速度、連携データベース名称およびバージョン、利用Ｗｅｂサーバー名称およびバージョン、アプリケーションサーバー名称およびバージョン、動的検証設定ファイルの有無、動的検証設定のプロパティ値（検証ルール名、動作順序などの値）。さらなるチェック内容として、動的検証システムの種類に固有の、追加の項目を利用者が任意で追加してもよい。

実行手順は、連携する外部ツール２００の実行および、閾値と比較するための検証対象システム３００に関するデータを抽出・取得するまでの処理の実行手順となるコマンドラインである。１つの実行手順は、複数のコマンドラインを投入するように構成されていてもよい。

事前チェック定義情報ＩＦ部１１０は、事前チェック定義ロード部１１１と、事前チェックルール表示部１１２と、ルール設定・更新結果保存部１１３とを備える。

事前チェック定義ロード部１１１は、事前チェック定義情報４００を読み込んでデータ取得を行う。事前チェックルール表示部１１２は、事前チェック定義情報４００に含まれる、チェック内容、連携する外部ツール２００、実行手順および閾値を表示する。ルール設定・更新結果保存部１１３は、利用者の入力を受けつけることにより、事前チェック定義情報４００の作成、更新および保存を行う。

外部ツール制御部１２０は、事前チェック定義ロード部１２１と、外部ツール実行情報生成部１２２と、実行結果受信部１２３と、ルール・実行結果送信部１２４とを備える。

事前チェック定義ロード部１２１は、事前チェック定義情報４００を読み込んでデータ取得を行う。

外部ツール実行情報生成部１２２は、事前チェック定義情報４００に含まれる、連携する外部ツール２００の情報と実行手順の情報に基づいて外部ツール実行情報となるスクリプト等を生成する。そして、生成した外部ツール実行情報を外部ツール呼び出し部１３０に送信する。

実行結果受信部１２３は、外部ツールを実行した結果を外部ツール呼び出し部１３０から受信する。ルール・実行結果送信部１２４は、外部ツール呼び出し部１３０から取得した結果情報と、ルール情報を検証結果確認部１４０に送信する。

外部ツール呼び出し部１３０は、外部ツール呼び出し実行部１３１と、実行結果取得部１３２とを備える。

外部ツール呼び出し実行部１３１は、外部ツール制御部１２０から取得した実行情報に基づいて、外部ツール２００を呼び出し実行する。実行結果取得部１３２は、外部ツール２００を実行した結果を取得する。

検証結果確認部１４０は、判定部１４１と、エラー情報生成部１４２とを備える。

判定部１４１は、事前チェック定義情報４００に含まれる閾値と外部ツール２００の実行結果を比較し、その比較結果に基づいて正誤（動的検証システムの実行条件を満たすか否か）を判定する。エラー情報生成部１４２は、判定部１４１にて誤と判定された際に、事前チェック定義情報４００に含まれるチェック内容と閾値、外部ツール２００の実行結果をまとめた情報を生成して表示する。

図２は、第１の実施形態に係る実行条件検査装置１００による、事前チェック定義情報４００の設定処理を説明するフローチャートである。また、図３は、第１の実施形態に係る実行条件検査装置１００による、事前チェック実行および結果出力処理を説明するフローチャートである。なお、これらの処理の前提条件として、検証対象システム３００は、動的検証システムを実行するための環境が利用者によって設定済みであるものとする。

また、連携する外部ツール２００として一般的なＯＳ情報を収集するスクリプト（ｒｅｇｅｄｉｔと連動するＶＢＳｃｒｉｐｔなど）が指定された事前チェック定義情報４００がテンプレートとして事前に提供されていてもよい。なお、これらの情報を利用するかしないかは、利用者が判断してもよい。

以下、図２を参照して、事前チェック定義情報設定処理の動作を説明する。

まず、事前チェック定義ロード部１１１が、事前チェック定義情報記憶部１５０から、チェック内容、連携する外部ツール２００、実行手順、閾値の情報を含む事前チェック定義情報４００を取得する（ステップＳ２０１）。

ステップＳ２０１の後、事前チェック定義ロード部１１１は、ロード対象となる情報が存在するかどうかを判定する（ステップＳ２０２）。情報が存在する場合（ステップＳ２０２においてＹＥＳ）はステップＳ２０３へ、存在しない場合（ステップＳ２０２においてＮＯ）はステップＳ２０４へ処理が進む。

ロード対象となる事前チェック定義情報が存在する場合、チェックルール表示部１１２は、事前チェック定義ロード部１１１が取得した情報を表示する。そして、利用者は、表示された事前チェック定義情報４００を確認する（ステップＳ２０３）。

チェックルール表示部１１２は、事前チェック定義情報４００を表示した後、利用者の確認結果の入力を受け付ける（ステップＳ２０４）。この入力が当該情報の更新が必要であることを示すものであった場合（ステップＳ２０４においてＹＥＳ）、処理はステップＳ２０５へ進む。一方で、この入力が当該情報の更新が不要であることを示すものであった場合（ステップＳ２０４においてＮＯ）、事前チェック定義情報設定処理は終了する。

ロード対象となる事前チェック定義情報４００が存在しない場合、あるいは事前チェック定義情報４００の更新が必要との入力が行われた場合、ルール設定・更新結果保存部１１３は事前チェック定義情報４００の設定・更新を行う。具体的には、ルール設定・更新結果保存部１１３は、利用者に、事前チェック定義となる、チェック内容の追加あるいは選択を行わせる。その後、ルール設定・更新結果保存部１１３は、特定のチェック内容、連携する外部ツール２００、実行手順および閾値について、利用者に設定・更新を行わせる（ステップＳ２０５）。

次に、ルール設定・更新結果保存部１１３は、ステップＳ２０５にて追加あるいは更新されたチェック内容を含んだ、事前チェック定義情報４００を事前チェック定義情報記憶部１５０に格納する（ステップＳ２０６）。

以上で、事前チェック実行の事前準備となる事前チェック定義情報設定処理が終了する。次に、図３を参照して、事前チェック実行処理の動作を説明する。

まず、事前チェック定義ロード部１２１が、事前チェック定義情報記憶部１５０から、チェック内容、連携する外部ツール２００、実行手順、閾値の情報を含む事前チェック定義情報４００を取得する（ステップＳ３０１）。

ステップＳ３０１の後、事前チェック定義ロード部１２１は、ロード対象となる情報が存在するかどうかを判定する（ステップＳ３０２）。情報が存在する場合（ステップＳ３０２においてＹＥＳ）はステップＳ３０３へ処理が進む。存在しない場合（ステップＳ３０２においてＮＯ）、事前チェック実行処理は終了する。

次に、ロードした事前チェック定義情報４００に含まれる、連携する外部ツール２００および実行手順の情報に基づいて、外部ツール２００を呼び出して検証対象システム３００に対する処理を行うスクリプトを、外部ツール実行情報生成部１２２が生成する。そして、外部ツール呼び出し部１３０の外部ツール呼び出し実行部１３１が、生成されたスクリプトを用いて外部ツール２００を起動する（ステップＳ３０３）。

次に、外部ツール呼び出し実行部１３１によって起動された外部ツール２００の実行結果を、結果取得部１３２が取得する。この実行結果には、外部ツール２００が取得した検証対象システム３００の情報（チェック結果）が含まれる。そして、ツール制御部１２０の結果受信部１２３は、結果取得部１３２からこの実行結果を受信する。（ステップＳ３０４）。

次に、ルール・実行結果送信部１２４は、取得した結果情報（外部ツール２００の実行結果）を検証結果確認部１４０に送付する。そして、検証結果確認部１４０においては、判定部１４１が、定義ルールの閾値と外部ツール２００の実行結果とを比較することにより、問題が無いかどうか（動的検証システムの実行条件を満たすか否か）を判定する（ステップＳ３０５）。

ステップＳ３０５の判定の結果、閾値を超えるようなデータが無い場合（ステップＳ３０６においてＮＯ）、判定部１４１は、検証対象システム３００が動的検証システムの実行条件を満たすと判定する。そして、事前チェック実行処理は終了する。一方で、問題が有る（閾値を超えるデータが有る）場合（ステップＳ３０６においてＹＥＳ）、判定部１４１は、検証対象システム３００が動的検証システムの実行条件を満たさないと判定する。そして、ステップＳ３０７へ処理が進む。

問題が有る場合、エラー情報生成部１４２が、ステップＳ３０５で判定された結果をエラー情報として出力する（ステップＳ３０７）。出力されるエラー情報は、利用者に通知されてもよい。

以上のように、本発明の第１の実施形態に係る実行条件検査装置１００は、事前チェック定義情報４００に基づいて、外部ツール２００を用いて検証対象システム３００に対する動的検証システムの実行条件の検証を行う。すなわち、事前チェック定義情報ＩＦ部１１０が事前チェック定義情報４００を設定し、外部ツール制御部１２０が事前チェック定義情報４００に基づいて外部ツール実行のためのスクリプトを生成する。次に、外部ツール呼び出し部１３０が生成されたスクリプトを用いて外部ツール２００を起動し、検証対象システム３００の情報を含む外部ツール２００の実行結果を取得する。そして、取得した実行結果を検証結果確認部１４０が判定することにより、動的検証システムの実行条件が検証される。このことにより、本発明の第１の実施形態に係る実行条件検査装置１００は、動的検証システムの実行条件の事前検証を容易に行うことを可能とする。なぜならば、事前チェック定義情報４００に基づいて外部ツール２００を実行することにより、動的検証システムを使用すること無しに、検査対象システム３００の実行条件の事前検証を実現するからである。

また、事前チェック定義情報４００は、繰り返し利用されてもよい。このことにより、本発明の第１の実施形態に係る実行条件検査装置１００は、検証対象システム３００が動的検証システムの実行条件を満たしているかどうかを、容易に、継続して評価することができる。

さらに、事前チェック定義情報４００は、他の検証対象システム３００の評価に利用されてもよい。このことにより、本発明の第１の実施形態に係る実行条件検査装置１００は、同一あるいは類似の構成のシステムを複数開発する場合においても、これらシステムが動的検証システムの実行条件を満たしているかどうかを、容易に評価することができる。

［第２の実施形態］
次に、本発明の第２の実施の形態を説明する。

図４は、本発明の第２の実施形態に係る実行条件検査装置の構成を表すブロック構成図である。本発明の第２の実施形態に係る実行条件検査装置１０００は、外部ツール制御部１２０と、外部ツール呼び出し部１３０と、検証結果確認部１４０と、事前チェック定義情報記憶部１５０とを備える。

事前チェック定義情報記憶部１５０は、動的検証システムの実行条件に関する、チェック内容、連携する外部ツール２００、実行手順、閾値の情報を含む事前チェック定義情報４００を記憶する。

外部ツール制御部１２０は、外部ツール２００と実行手順の情報に基づいてスクリプトを生成する。

外部ツール呼び出し部１３０は、生成されたスクリプトを用いて外部ツール２００を起動することにより、検証対象システム３００の情報を取得する。

検証結果確認部１４０は、取得した検証対象システム３００の情報と閾値情報を比較することにより、検証対象システム３００が動的検証システムの実行条件を満たすか否かを判定する。

以上のように、本発明の第２の実施形態に係る実行条件検査装置１０００は事前チェック定義情報４００に基づいて、外部ツール２００を用いて検証対象システム３００に対する動的検証システムの実行条件の検証を行う。すなわち、外部ツール制御部１２０が事前チェック定義情報４００に基づいて外部ツール実行のためのスクリプトを生成する。次に、外部ツール呼び出し部１３０が生成されたスクリプトを用いて外部ツール２００を起動し、検証対象システム３００の情報を含む外部ツール２００の実行結果を取得する。そして、取得した実行結果を検証結果確認部１４０が判定することにより、動的検証システムの実行条件が検証される。このことにより、本発明の第２の実施形態に係る実行条件検査装置１０００は、動的検証システムの実行条件の事前検証を容易に行うことを可能とする。なぜならば、事前チェック定義情報４００に基づいて外部ツール２００を実行することにより、動的検証システムを使用すること無しに、検査対象システム３００の実行条件の事前検証を実現するからである。

図５は、コンピュータを構成する要素の例を表すブロック構成図である。図５のコンピュータ９００は、ＣＰＵ９０１と、ＲＡＭ(Random Access Memory)９０２と、ＲＯＭ(Read Only Memory)９０３と、ハードディスクドライブ９０４と、通信インタフェース９０５とを備える。前述した実行条件検査装置１００および１０００の構成要素は、プログラムがコンピュータ９００のＣＰＵ９０１において実行されることにより実現されてもよい。具体的には、前述した図１あるいは４に記載の構成要素である、事前チェック定義情報ＩＦ部１１０，外部ツール制御部１２０，外部ツール呼び出し部１３０および検証結果確認部１４０は、ＣＰＵ９０１がＲＯＭ９０３あるいはハードディスクドライブ９０４からプログラムを読み込み、読み込んだプログラムを、例えば図２および３に示したフローチャートの手順の如くＣＰＵ９０１が実行することにより実現されてもよい。そして、このような場合において、上述した実施形態を例に説明した本発明は、係るコンピュータプログラムを表わすコードあるいはそのコンピュータプログラムを表わすコードが格納されたコンピュータ読み取り可能な記憶媒体（例えばハードディスクドライブ９０４や、不図示の着脱可能な磁気ディスク媒体，光学ディスク媒体やメモリカードなど）によって構成される。

あるいは、事前チェック定義情報ＩＦ部１１０，外部ツール制御部１２０，外部ツール呼び出し部１３０および検証結果確認部１４０は、専用のハードウェアで実現されてもよい。また、実行条件検査装置１００および１０００は、これら構成要素を備える専用のハードウェアであってもよい。

１００，１０００ 実行条件検査装置
１１０ 事前チェック定義情報ＩＦ部
１１１ 事前チェック定義ロード部
１１２ 事前チェックルール表示部
１１３ ルール設定・更新結果保存部
１２０ 外部ツール制御部
１２１ 事前チェック定義ロード部
１２２ 外部ツール実行情報生成部
１２３ 実行結果受信部
１２４ ルール・実行結果送信部
１３０ 外部ツール呼び出し部
１３１ 外部ツール呼び出し実行部
１３２ 実行結果取得部
１４０ 検証結果確認部
１４１ 判定部
１４２ エラー情報生成部
１５０ 事前チェック定義情報記憶部
２００ 外部ツール
３００ 検証対象システム
４００ 事前チェック定義情報
９００ コンピュータ
９０１ ＣＰＵ
９０２ ＲＡＭ
９０３ ＲＯＭ
９０４ ハードディスクドライブ
９０５ 通信インタフェース

Claims (10)

1. 外部ツール制御手段と、外部ツール呼び出し手段と、検証結果確認手段と、事前チェック定義情報記憶手段とを備え、
   前記事前チェック定義情報記憶手段が、動的検証システムの実行条件に関する、チェック内容情報と外部ツール情報と実行手順情報と閾値情報とを含む事前チェック定義情報を記憶し、
   前記外部ツール制御手段が、前記外部ツール情報と前記実行手順情報とに基づいてスクリプトを生成し、
   前記外部ツール呼び出し手段が、前記スクリプトを用いて外部ツールを起動することにより検証対象システムの情報を取得し、
   前記検証結果確認手段が、前記検証対象システムの情報と前記閾値情報とを比較することにより、前記検証対象システムが前記動的検証システムの実行条件を満たすか否かを判定する実行条件検査装置。
2. 前記事前チェック定義情報を作成または更新する事前チェック定義情報ＩＦ手段をさらに備える請求項１に記載の実行条件検査装置。
3. 前記実行手順情報は、前記外部ツールの起動および前記検証対象システムの情報取得を実行するコマンドラインである請求項１または２に記載の実行条件検査装置。
4. 請求項１乃至３のいずれかに記載の実行条件検査装置と、
   外部ツールと、
   前記検証対象システムとを備える実行条件検査システム。
5. 動的検証システムの実行条件に関する、チェック内容情報と外部ツール情報と実行手順情報と閾値情報とを含む事前チェック定義情報を記憶装置に記憶し、
   前記外部ツール情報と前記実行手順情報とに基づいてスクリプトを生成し、
   前記スクリプトを用いて外部ツールを起動し、
   前記外部ツールの実行結果を取得することにより検証対象システムの情報を取得し、
   前記検証対象システムの情報と前記閾値情報とを比較することにより、前記検証対象システムが前記動的検証システムの実行条件を満たすか否かを判定する実行条件検査方法。
6. 前記事前チェック定義情報を作成または更新する請求項５に記載の実行条件検査方法。
7. 前記実行手順情報は、前記外部ツールの起動および前記検証対象システムの情報取得を実行するコマンドラインである請求項５または６に記載の実行条件検査方法。
8. 動的検証システムの実行条件に関する、チェック内容情報と外部ツール情報と実行手順情報と閾値情報とを含む事前チェック定義情報を記憶装置に記憶し、
   前記外部ツール情報と前記実行手順情報とに基づいてスクリプトを生成し、
   前記スクリプトを用いて外部ツールを起動し、
   前記外部ツールの実行結果を取得することにより検証対象システムの情報を取得し、
   前記検証対象システムの情報と前記閾値情報とを比較することにより、前記検証対象システムが前記動的検証システムの実行条件を満たすか否かを判定する処理をコンピュータに実行させるプログラム。
9. 前記事前チェック定義情報を作成または更新する処理をコンピュータに実行させる請求項８に記載のプログラム。
10. 前記実行手順情報は、前記外部ツールの起動および前記検証対象システムの情報取得を実行するコマンドラインである請求項８または９に記載のプログラム。

Images