(57)【要約】  人手によって検証スクリプトの内部パラメータの修正を行うことなく、検証スクリプトの再利用を可能にする。検証自動化装置１は、検証スクリプトを検証対象となるシステムに適合させる。検証自動化装置１は、検証作業を行う実行スクリプト及び実行スクリプトを実行するための実行可能要件を含む、検証スクリプトを取得する、検証スクリプト取得部１０１と、検証対象となるシステムの環境情報及び実行可能要件を用いて、検証対象となるシステムにおいて、実行スクリプトが実行可能となる構成を探索する、検証構成探索手段１０４と、探索された構成に基づいて、実行スクリプトを、検証対象となるシステムで実行できるように具体化する、実行スクリプト具体化部１０５と、を備えている。
2020008991.tif 000002
【特許請求の範囲】
【請求項１】
検証スクリプトを検証対象となるシステムに適合させるための装置であって、
検証作業を行う実行スクリプト、及び前記実行スクリプトを実行するための実行可能要件を含む、前記検証スクリプトを取得する、検証スクリプト取得手段と、
前記検証対象となるシステムの環境情報及び前記実行可能要件を用いて、前記検証対象となるシステムにおいて、前記実行スクリプトが実行可能となる構成を探索する、検証構成探索手段と、
探索された前記構成に基づいて、前記実行スクリプトを、前記検証対象となるシステムで実行できるように具体化する、実行スクリプト具体化手段と、
を備えている、
ことを特徴とする検証自動化装置。
【請求項２】
請求項１に記載の検証自動化装置であって、
前記検証スクリプト取得手段によって取得された前記検証スクリプトを、前記実行スクリプトと前記実行可能要件とに分離する、検証スクリプト分離手段を、更に備えている、ことを特徴とする検証自動化装置。
【請求項３】
請求項１または２に記載の検証自動化装置であって、
前記環境情報が、前記検証対象となるシステムを構成する機器及びネットワークの情報を含み、前記機器及び前記ネットワークをパラメータによって規定し、
前記実行可能要件が、前記実行スクリプトを実行可能なシステム構成の情報を含み、
前記検証構成探索手段が、前記実行可能要件を元に前記環境情報を探索して、前記パラメータで表現された前記構成を特定し、
前記実行スクリプト具体化手段が、前記構成を表現するパラメータを用いて、前記実行スクリプトに含まれるパラメータを修正することによって、前記実行スクリプトを具体化する、
ことを特徴とする検証自動化装置。
【請求項４】
請求項１〜３のいずれかに記載の検証自動化装置であって、
前記実行スクリプト具体化手段が、前記検証対象となるシステムでの特定の動作と前記検証対象となるシステムを構成する機器毎の固有の操作命令との対応関係に基づいて、前記実行スクリプトを前記機器に対応させ、その後、前記実行スクリプトを具体化する、
ことを特徴とする検証自動化装置。
【請求項５】
請求項１〜４のいずれかに記載の検証自動化装置であって、
前記検証スクリプトにおいて、前記実行可能要件が、前記実行スクリプトを動作させるためにシステムを構成する機器に求められる実行要件を含み、
当該検証自動化装置は、
探索された前記構成のうち、前記実行要件を満たしている前記構成を特定する、検証構成絞り込み手段を更に備え、
前記実行スクリプト具体化手段が、前記検証構成絞り込み手段によって特定された構成に基づいて、前記実行スクリプトを、前記検証対象となるシステムで実行できるように具体化する、
ことを特徴とする検証自動化装置。
【請求項６】
請求項１〜５のいずれかに記載の検証自動化装置であって、
複数の前記検証スクリプトが、予め用意されており、
前記検証スクリプト取得手段が、複数の前記検証スクリプトの中から、特定の検証スクリプトを選択し、選択した検証スクリプトを取得する、
ことを特徴とする検証自動化装置。
【請求項７】
請求項６に記載の検証自動化装置であって、
複数の前記検証スクリプトそれぞれが、当該検証スクリプトの作成の意図を含み、
当該検証自動化装置が、前記検証スクリプト取得手段に、前記検証対象となるシステムを検証する意図を入力する、検証意図入力手段を更に備え、
前記検証スクリプト取得手段が、複数の前記検証スクリプトの中から、入力された前記意図に対応する検証スクリプトを選択する、
ことを特徴とする検証自動化装置。
【請求項８】
請求項１〜７のいずれかに記載の検証自動化装置であって、
具体化された前記実行スクリプトを実行する、検証実行手段と、
前記実行スクリプトの実行の結果について判定を行う、検証結果判定手段と、
前記判定の結果を、検証の結果として表示する、検証結果表示手段と、
を更に備えている、
ことを特徴とする検証自動化装置。
【請求項９】
検証スクリプトを検証対象となるシステムに適合させるための方法であって、
検証作業を行う実行スクリプト、及び前記実行スクリプトを実行するための実行可能要件を含む、前記検証スクリプトを取得し、
前記検証対象となるシステムの環境情報及び前記実行可能要件を用いて、前記検証対象となるシステムにおいて、前記実行スクリプトが実行可能となる構成を探索し、
探索された前記構成に基づいて、前記実行スクリプトを、前記検証対象となるシステムで実行できるように具体化する、
ことを特徴とする検証自動化方法。
【請求項１０】
検証スクリプトを検証対象となるシステムに適合させるためのプログラムを記録したコンピュータ読み取り可能な記録媒体であって、
コンピュータに、
（ａ）検証作業を行う実行スクリプト、及び前記実行スクリプトを実行するための実行可能要件を含む、前記検証スクリプトを取得する、ステップと、
（ｂ）前記検証対象となるシステムの環境情報及び前記実行可能要件を用いて、前記検証対象となるシステムにおいて、前記実行スクリプトが実行可能となる構成を探索する、ステップと、
（ｃ）探索された前記構成に基づいて、前記実行スクリプトを、前記検証対象となるシステムで実行できるように具体化する、ステップと
を実行させる命令を含む、プログラムを記録している、コンピュータ読み取り可能な記録媒体。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、特定のシステムにおける検証を自動化するための、検証自動化装置及び検証自動化方法に関し、更には、これらを実現するためのプログラムを記録したコンピュータ読み取り可能な記録媒体に関する。
【背景技術】
【０００２】
情報システムを構築して利用者に提供していくにあたって、システムの構築者は、様々な製品及び技術を組み合わせてシステムを構築するとともに、構築したシステムが正常に動作することを検証する必要がある。【０００３】
しかし、近年の仮想化技術の発展に伴い、システムの構築及び制御が柔軟になる一方で、システム全体が大規模化、複雑化しつつある。このようにシステムが大規模化及び複雑化するに伴い、従来のように人手で網羅的に検証することは現実的でなくなり、検証作業を自動化するための技術が必要とされている。【０００４】
このため、例えば、非特許文献１は、検証作業を自動化するための検証自動化装置の一例を開示している。非特許文献１に開示された検証自動化装置は、検証対象となるシステムが、与えられた環境において、想定どおりのふるまいをするかどうかを検証するＢＤＤ（Behavior Driven Development）の考え方を取り入れている。そして、非特許文献１に開示された検証自動化装置は、システムを自動的に検証するための検証スクリプトを作成する。【０００５】
また、非特許文献１に開示された検証自動化装置は、仕様上期待される振る舞いを検証したいテストケースとして、このテストケースとシステムの具体的な実装とを分けて、検証スクリプトに記述する。更に、非特許文献１に開示された検証自動化装置は、テストケースに記述された各命令文と具体的な実装とを対応させる。これらの結果、システムの構築者においてテストケースの理解が容易になるとともに、システムの構成要素を操作するための命令を再利用することが可能となる。
【先行技術文献】
【非特許文献】
【０００６】
【非特許文献１】“2016年度ネットワークテストシステム  プロジェクト  報告書”、［online］、2017年4月10日、ネットワークテストシステム  プロジェクトチーム、［2018年3月28日検索］、インターネット<URL: https://github.com/net-tester/2016-nwtestsyspj-report>
【発明の概要】
【発明が解決しようとする課題】
【０００７】
ところで、上述した非特許文献１に開示された検証自動化装置には、検証内容が以前と同様であっても、新たなシステムで利用可能な機器及びその構成が以前の検証対象のシステムと異なると、以前作成した検証スクリプトを新たなシステムの検証に利用できないという問題がある。その理由は、検証スクリプトの内部パラメータは、検証対象となるシステムの環境に依存しており、検証スクリプトを別のシステムに利用するためには、人手によって内部パラメータの修正が必要となるからである。【０００８】
［発明の目的］
本発明の目的の一例は、上記問題を解消し、人手によって検証スクリプトの内部パラメータの修正を行うことなく、検証スクリプトの再利用を可能にし得る、検証自動化装置、検証自動化方法、及びコンピュータ読み取り可能な記録媒体を提供することにある。
【課題を解決するための手段】
【０００９】
上記目的を達成するため、本発明の一側面における検証自動化装置は、検証スクリプトを検証対象となるシステムに適合させるための装置であって、
検証作業を行う実行スクリプト、及び前記実行スクリプトを実行するための実行可能要件を含む、前記検証スクリプトを取得する、検証スクリプト取得手段と、
前記検証対象となるシステムの環境情報及び前記実行可能要件を用いて、前記検証対象となるシステムにおいて、前記実行スクリプトが実行可能となる構成を探索する、検証構成探索手段と、
探索された前記構成に基づいて、前記実行スクリプトを、前記検証対象となるシステムで実行できるように具体化する、実行スクリプト具体化手段と
を備えている、
ことを特徴とする。【００１０】
また、上記目的を達成するため、本発明の一側面における検証自動化方法は、検証スクリプトを検証対象となるシステムに適合させるための方法であって、
検証作業を行う実行スクリプト、及び前記実行スクリプトを実行するための実行可能要件を含む、前記検証スクリプトを取得し、
前記検証対象となるシステムの環境情報及び前記実行可能要件を用いて、前記検証対象となるシステムにおいて、前記実行スクリプトが実行可能となる構成を探索し、
探索された前記構成に基づいて、前記実行スクリプトを、前記検証対象となるシステムで実行できるように具体化する、
ことを特徴とする。【００１１】
更に、上記目的を達成するため、本発明の一側面におけるコンピュータ読み取り可能な記録媒体は、検証スクリプトを検証対象となるシステムに適合させるためのプログラムを記録したコンピュータ読み取り可能な記録媒体であって、
コンピュータに、
（ａ）検証作業を行う実行スクリプト、及び前記実行スクリプトを実行するための実行可能要件を含む、前記検証スクリプトを取得する、ステップと、
（ｂ）前記検証対象となるシステムの環境情報及び前記実行可能要件を用いて、前記検証対象となるシステムにおいて、前記実行スクリプトが実行可能となる構成を探索する、ステップと、
（ｃ）探索された前記構成に基づいて、前記実行スクリプトを、前記検証対象となるシステムで実行できるように具体化する、ステップと
を実行させる命令を含む、プログラムを記録している、
ことを特徴とする。
【発明の効果】
【００１２】
以上のように、本発明によれば、人手によって検証スクリプトの内部パラメータの修正を行うことなく、検証スクリプトの再利用が可能となる。
【図面の簡単な説明】
【００１３】
【図１】図１は、本発明の実施の形態１における検証自動化装置の概略構成を示すブロック図である。
【図２】図２は、本発明の実施の形態１における検証自動化装置の具体的構成を示すブロック図である。
【図３】図３は、本発明の実施の形態１で用いられる検証スクリプトの一例を示す図である。
【図４】図４は、本発明の実施の形態で用いられる環境情報の一例を示す図である。
【図５】図５は、本発明の実施の形態において探索されたシステムの構成の一例を示す図である。
【図６】図６は、本発明の実施の形態１における検証自動化装置の動作を示すフロー図である。
【図７】図７は、本発明の実施の形態における検証自動化装置の変形例の構成を示すブロック図である。
【図８】図８は、本発明の実施の形態２における検証自動化装置の構成を示すブロック図である。
【図９】図９は、本発明の実施の形態２において用いられる機器情報の一例を示す図である。
【図１０】図１０は、本発明の実施の形態２における検証自動化装置の動作を示すフロー図である。
【図１１】図１１は、本発明の実施の形態３における検証自動化装置の構成を示すブロック図である。
【図１２】図１２は、本発明の実施の形態３で用いられる検証スクリプトの実行可能要件の一例を示す図である。
【図１３】図１３は、本発明の実施の形態３における検証自動化装置の動作を示すフロー図である。
【図１４】図１４は、本発明の実施の形態４における検証自動化装置の構成を示すブロック図である。
【図１５】図１５は、本発明の実施の形態４における検証自動化装置の動作を示すフロー図である。
【図１６】図１６は、本発明の実施の形態５における検証自動化装置の構成を示すブロック図である。
【図１７】図１７は、本発明の実施の形態５で用いられる検証スクリプトの一例を示す図である。
【図１８】図１８は、本発明の実施の形態５において入力される検証意図の一例を示す図である。
【図１９】図１９は、本発明の実施の形態５における検証自動化装置の動作を示すフロー図である。
【図２０】図２０は、本発明の実施の形態６における検証自動化装置の構成を示すブロック図である。
【図２１】図２１は、本発明の実施の形態６における検証自動化装置の動作を示すフロー図である。
【図２２】図２２は、本発明の実施の形態７における検証自動化装置の構成を示すブロック図である。
【図２３】図２３は、本発明の実施の形態７において提供されるユーザインターフェースの一例を示す図である。
【図２４】図２４は、本発明の実施の形態７における検証自動化装置の動作を示すフロー図である。
【図２５】図２５は、本発明の実施の形態１〜７における検証自動化装置を実現するコンピュータの一例を示すブロック図である。
【発明を実施するための形態】
【００１４】
（実施の形態１）
以下、本発明の実施の形態１における、検証自動化装置、検証自動化方法、及びプログラムについて、図１〜図６を参照しながら説明する。
【００１５】
［装置構成］
最初に、本実施の形態１における検証自動化装置の概略構成について図１を用いて説明する。図１は、本発明の実施の形態１における検証自動化装置の概略構成を示すブロック図である。
【００１６】
図１に示す、本実施の形態における検証自動化装置１は、検証スクリプトを検証対象となるシステムに適合させるための装置である。図１に示すように、検証自動化装置１は、検証スクリプト取得部１０１と、検証構成探索部１０４と、実行スクリプト具体化部１０５とを備えている。
【００１７】
検証スクリプト取得部１０１は、検証スクリプト取得手段として機能し、システムの検証に用いる検証スクリプトを取得する。検証スクリプトは、検証作業を行う実行スクリプトと、実行スクリプトを実行するための実行可能要件とを含む。
【００１８】
検証構成探索部１０４は、検証構成探索手段として機能し、検証対象となるシステムの環境情報と検証スクリプトに含まれる実行可能要件とを用いて、検証対象となるシステムにおいて、実行スクリプトが実行可能となる構成を探索する。
【００１９】
実行スクリプト具体化部１０５は、実行スクリプト具体化手段として機能し、検証構成探索部１０４によって探索された構成に基づいて、実行スクリプトを、検証対象となるシステムで実行できるように具体化する。
【００２０】
このように本実施の形態では、検証自動化装置１は、人手によることなく、検証スクリプトを、検証対象となるシステムに適合することができる。つまり、本実施の形態によれば、人手によって検証スクリプトの内部パラメータの修正を行うことなく、検証スクリプトの再利用が可能となる。
【００２１】
続いて、図２〜図５を用いて、本実施の形態１における検証自動化装置の構成及び機能を具体的に説明する。図２は、本発明の実施の形態１における検証自動化装置の具体的構成を示すブロック図である。
【００２２】
図２に示すように、本実施の形態１における検証自動化装置１は、上述した検証スクリプト取得部１０１、検証構成探索部１０４、及び実行スクリプト具体化部１０５に加えて、検証スクリプト分離部１０２と、検証環境記憶部１０３と、を備えている。
【００２３】
また、本実施の形態１では、検証スクリプト取得部１０１は、検証スクリプト分離部１０２に接続されている。検証スクリプト取得部１０１は、上述したように、検証スクリプトを取得する。この場合、検証スクリプトの取得先としては、検証自動化装置１が備える記憶装置、ネットワークを介して接続された別の端末装置等が挙げられる。また、検証スクリプトは、上述したように、実行スクリプトと、実行可能要件とを含む。
【００２４】
実行スクリプトが想定する実行可能要件は、実行スクリプトを実行可能なシステム構成の情報を含む。具体的には、実行可能要件は、動作可能となるために必要な構成、例えば、各種ネットワーク機器、それらの接続関係等を特定する。また、各種ネットワーク機器は、記号又はパラメータによって表される。具体的には、例えばルータなどのネットワーク機器は「Ｒ」と表され、特別な機能を持たない機器は「Ｃ」と表される。
【００２５】
実行スクリプトには、具体的な機器の種類、検証対象となるシステムの環境（以下「検証環境」と表記する）に依存するパラメータ等が与えられている。また、このパラメータは、空値であっても良いし、編集可能であっても良い。
【００２６】
また、検証スクリプトには、想定する検証目的が付加されていても良い。このような検証スクリプトの一例を図３に示す。図３は、本発明の実施の形態１で用いられる検証スクリプトの一例を示す図である。更に、本実施の形態１では、検証スクリプトは、実行可能要件（構成要素及び構成）とそれに対応した実行スクリプトとを含んでいれば良く、検証スクリプトの内容は図３の例に限定されるものではない。
【００２７】
検証スクリプト分離部１０２は、検証スクリプト取得部１０１、検証構成探索部１０４、及び実行スクリプト具体化部１０５に接続されている。検証スクリプト分離部１０２は、検証スクリプト取得部１０１によって取得された検証スクリプトを、実行可能要件と実行スクリプトとに分離し、そして、実行可能要件を検証構成探索部１０４に出力し、実行スクリプトを実行スクリプト具体化部１０５に出力する。
【００２８】
検証環境記憶部１０３は、検証対象となるシステムの環境情報を格納している。言い換えると、検証環境記憶部１０３は、例えば、図４に示す形式で、検証環境全体の構成図を格納している。図４は、本発明の実施の形態で用いられる環境情報の一例を示す図である。図４に示すように、環境情報は、検証対象となるシステムを構成する機器及びネットワークの情報を含み、機器及びネットワークをパラメータによって規定している。
【００２９】
具体的には、図４に示すように、検証環境記憶部１０３は、環境情報として、検証環境に含まれる各機器の種類、ネットワークの接続情報、及びＩＰ（Internet Protocol）アドレス等のネットワークに関わるパラメータを格納している。なお、検証環境記憶部１０３に上記の情報が格納されているとしても、環境情報は図４の例に限定されることはない。環境情報には、例えば、ＭＡＣ（Media Access Control）アドレス、利用可能なポートの番号、具体的な機器の型番情報等が含まれていても良い。
【００３０】
検証構成探索部１０４は、本実施の形態１では、検証スクリプト分離部１０２、検証環境記憶部１０３、及び実行スクリプト具体化部１０５に接続されている。検証構成探索部１０４は、検証スクリプト分離部１０２から実行可能要件を受け取ると、それが特定する実行可能要件を満たすシステムの構成（図４参照）を検証環境記憶部１０３から探索する。
【００３１】
具体的には、検証構成探索部１０４は、実行可能要件を元に環境情報を探索して、実行可能要件を満たすシステムの構成を特定する。このとき、特定された構成は、環境情報で用いられているパラメータによって表現されている。また、この場合の探索アルゴリズとしては、例えば、既存の部分グラフ同型判定アルゴリズムを利用することができる。そして、検証構成探索部１０４は、探索によって特定した構成のパラメータを抽出し、抽出したパラメータを、実行スクリプト具体化部１０５に出力する。
【００３２】
図５は、本発明の実施の形態において探索されたシステムの構成の一例を示す図である。また、図５の例は、図３に示した実行可能要件を元に図４に示した環境情報を探索して得られた、構成（出力結果）を示している。図５に示すように、探索された構成は、図４に示した環境情報で用いられているパラメータによって表現されている。なお、構成の表現は、図５の例に限定されず、例えば、図４に示した各ネットワーク機器は、それに付与されているＩＰアドレスによって表現されていても良い。
【００３３】
実行スクリプト具体化部１０５は、本実施の形態１では、検証スクリプト分離部１０２及び検証構成探索部１０４に接続されている。また、実行スクリプト具体化部１０５は、本実施の形態では、探索された構成を表現するパラメータを用いて、実行スクリプトに含まれるパラメータを修正することによって、実行スクリプトを具体化する。
【００３４】
具体的には、実行スクリプト具体化部１０５は、検証スクリプト分離部１０２から受信した実行スクリプトのパラメータの部分に、検証構成探索部１０４から受信した具体的な構成情報を入力する事で、実行スクリプトを具体化する。これにより、実行スクリプトは、検証対象となるシステムにおいて実行可能となる。
【００３５】
［装置動作］
次に、本実施の形態１における検証自動化装置１の動作について図６を用いて説明する。図６は、本発明の実施の形態１における検証自動化装置の動作を示すフロー図である。以下の説明においては、適宜図１〜図４を参酌する。また、本実施の形態１では、検証自動化装置１を動作させることによって、検証自動化方法が実施される。よって、本実施の形態１における検証自動化方法の説明は、以下の検証自動化装置１の動作説明に代える。
【００３６】
図５に示すように、最初に、検証スクリプト取得部１０１は、実行可能要件と実行スクリプトとを含む検証スクリプトを取得する（ステップＳ１０１）。また、検証スクリプト取得部１０１は、取得した検証スクリプトを、検証スクリプト分離部１０２に出力する。
【００３７】
次に、検証スクリプト分離部１０２は、ステップＳ１０１で取得された検証スクリプトを実行可能要件と実行スクリプトとに分離する（ステップＳ１０２）。また、検証スクリプト分離部１０２は、分離した実行可能要件を検証構成探索部１０４に出力し、分離した実行スクリプトを実行スクリプト具体化部１０５に出力する。
【００３８】
次に、検証構成探索部１０４は、実行可能要件を満たすシステムの構成を探索する（ステップＳ１０３）。具体的には、ステップＳ１０３では、検証構成探索部１０４は、検証環境記憶部１０３から、検証対象となるシステムの環境情報を取得し、検証スクリプト分離部１０２から実行可能要件を受け取る。そして、検証構成探索部１０４は、実行可能要件を元に環境情報を探索して、実行可能要件を満たすシステムの構成を特定する。また、ステップＳ１０３における探索は、例えば、部分グラフ同型判定アルゴリズム等を用いて行われる。
【００３９】
次に、検証構成探索部１０４は、ステップＳ１０３の探索によって、実行可能要件を満たす構成が１つ以上特定できているかどうか判定する（ステップＳ１０４）。ステップＳ１０４の判定の結果、１つ以上の構成を特定できなかった場合は、検証自動化装置１における処理は終了する。また、この場合、検証構成探索部１０４は、ステップＳ１０１で取得した検証スクリプトは実行不可能であると判断してエラーを出力する。
【００４０】
一方、ステップＳ１０４の判定の結果、１つ以上の構成を特定できた場合は、検証構成探索部１０４は、特定した全ての構成について、それを表現しているパラメータを抽出する（ステップＳ１０５）。抽出されたパラメータは、後述の具体化で必要となる。
【００４１】
次に、実行スクリプト具体化部１０５は、ステップＳ１０５で抽出されたパラメータを、実行スクリプトのパラメータに挿入して、実行スクリプトを具体化する（ステップＳ１０６）。これにより、検証環境で実行可能な実行スクリプト群が生成される。
【００４２】
［実施の形態１における効果］
このように、本実施の形態では、検証スクリプトの実行可能要件と、検証対象となるシステムの環境情報とを用いて、検証環境の中で、検証スクリプトの実行可能要件を満たす事の出来る構成が探索される。そして、実行スクリプトは、人手によることなく、この構成のパラメータによって修正され、検証環境で実行可能となるように具体化される。このため、本実施の形態１によれば、既存の検証スクリプトが作成された環境と、検証環境とが異なっていても、人手によるパラメータの修正を行うことなく、この既存の検証スクリプトを再利用することができる。
【００４３】
［プログラム］
本実施の形態１におけるプログラムは、コンピュータに、図６に示すステップＳ１０１〜Ｓ１０６を実行させるプログラムであれば良い。このプログラムをコンピュータにインストールし、実行することによって、本実施の形態１における検証自動化装置１と検証自動化方法とを実現することができる。この場合、コンピュータのプロセッサは、検証スクリプト取得部１０１、検証スクリプト分離部１０２、検証構成探索部１０４、及び実行スクリプト具体化部１０５として機能し、処理を行なう。また、検証環境記憶部１０３は、コンピュータに備えられたハードディスク等の記憶装置に、環境情報を格納することによって実現される。
【００４４】
また、本実施の形態１におけるプログラムは、複数のコンピュータによって構築されたコンピュータシステムによって実行されても良い。この場合は、例えば、各コンピュータが、それぞれ、検証スクリプト取得部１０１、検証スクリプト分離部１０２、検証構成探索部１０４、及び実行スクリプト具体化部１０５のいずれかとして機能しても良い。また、検証環境記憶部１０３は、本実施の形態１におけるプログラムを実行するコンピュータとは別のコンピュータ上に構築されていても良い。
【００４５】
［変形例］ 
ここで、図７を用いて、本実施の形態１の変形例について説明する。図７は、本発明の実施の形態における検証自動化装置の変形例の構成を示すブロック図である。
【００４６】
図７に示すように、本変形例においては、検証スクリプト分離部１０２が備えられておらず、代わりに、検証スクリプト取得部１０１が、実行可能要件取得部１１０と、実行スクリプト取得部１１１とを備えている。
【００４７】
この場合、実行スクリプト取得部１１１は、実行スクリプトを取得し、取得した実行スクリプトを実行スクリプト具体化部１０５に出力する。実行可能要件取得部１１０は、実行可能要件のみを取得し、取得した実行可能要件を検証構成探索部１０４に出力する。また、この場合に取得される実行可能要件は、実行スクリプト取得部１１１で取得された実行スクリプトのパラメータに対応している。
【００４８】
（実施の形態２）
次に、本発明の実施の形態２における、検証自動化装置、検証自動化方法、及びプログラムについて、図８〜図１０を参照しながら説明する。
【００４９】
［装置構成］
最初に、本実施の形態２における検証自動化装置の構成について図８及び図９を用いて説明する。図８は、本発明の実施の形態２における検証自動化装置の構成を示すブロック図である。
【００５０】
図８に示すように、本実施の形態２における検証自動化装置２は、図２に示した実施の形態１における検証自動化装置１が備える構成に加えて、機器情報記憶部２０１を備えており、この点で、実施の形態１における検証自動化装置１と異なっている。また、本実施の形態２は、検証構成探索部１０４及び実行スクリプト具体化部１０５での処理の点でも実施の形態１と異なっている。以下、実施の形態１との相違点を中心に説明する。なお、図８において、実施の形態１で示した構成要素と同様の構成要素については、図１及び図２と同一の符号を付与し、その詳細な説明を省略することとする。
【００５１】
機器情報記憶部２０１は、機器情報を格納している。機器情報は、検証対象となるシステムでの特定の動作と検証対象となるシステムを構成する機器毎の固有の操作命令との対応関係を含む。具体的には、機器情報は、図９に示すように、特定の動作毎に、実行スクリプトの中で、機器のベンダ及び機器に搭載されているオペレーティングシステム等によって、操作命令が異なる部分を示す情報である。図９は、本発明の実施の形態２において用いられる機器情報の一例を示す図である。
【００５２】
なお、本実施の形態２は、実行スクリプトが、機器のベンダ及びオペレーティングシステム等によって操作命令が通常であれば異なる部分を、共通化している例に適用される。また、機器情報は、図９に示す例に限定されない。機器情報は、機器の種類毎に情報が分けられる態様のテーブルであっても良い。
【００５３】
検証構成探索部１０４は、本実施の形態２では、探索によって、実行可能要件を満たすシステムの構成を特定すると、機器情報記憶部２０１から、特定した構成に対応する機器情報を抽出する。また、検証構成探索部１０４は、抽出した機器情報を、実行スクリプト具体化部１０５に出力する。
【００５４】
実行スクリプト具体化部１０５は、本実施の形態２では、まず、検証構成探索部１０４から出力されてきた機器情報に基づいて、実行スクリプトを各機器に対応させる。その後、実行スクリプト具体化部１０５は、実施の形態１と同様に、探索された構成を表現するパラメータを用いて、実行スクリプトに含まれるパラメータを修正することによって、実行スクリプトを具体化する。
【００５５】
［装置動作］
次に、本実施の形態２における検証自動化装置２の動作について図１０を用いて説明する。図１０は、本発明の実施の形態２における検証自動化装置の動作を示すフロー図である。以下の説明においては、適宜図８及び図９を参酌する。また、本実施の形態２では、検証自動化装置２を動作させることによって、検証自動化方法が実施される。よって、本実施の形態２における検証自動化方法の説明は、以下の検証自動化装置２の動作説明に代える。
【００５６】
図１０に示すように、最初に、検証スクリプト取得部１０１は、実行可能要件と実行スクリプトとを含む検証スクリプトを取得する（ステップＳ２０１）。ステップＳ２０１は、図６に示したステップＳ１０１と同様のステップである。
【００５７】
次に、検証スクリプト分離部１０２は、ステップＳ２０１で取得された検証スクリプトを実行可能要件と実行スクリプトとに分離する（ステップＳ２０２）。ステップＳ２０２は、図６に示したステップＳ１０２と同様のステップである。
【００５８】
次に、検証構成探索部１０４は、実行可能要件を満たすシステムの構成を探索する（ステップＳ２０３）。ステップＳ２０３は、図６に示したステップＳ１０３と同様のステップである。
【００５９】
次に、検証構成探索部１０４は、ステップＳ２０３の探索によって、実行可能要件を満たす構成が１つ以上特定できているかどうか判定する（ステップＳ２０４）。ステップＳ２０４は、図６に示したステップＳ１０４と同様のステップである。
【００６０】
ステップＳ２０４の判定の結果、１つ以上の構成を特定できなかった場合は、検証自動化装置２における処理は終了する。この場合、検証構成探索部１０４は、ステップＳ１０１で取得した検証スクリプトは実行不可能であると判断してエラーを出力する。
【００６１】
一方、ステップＳ２０４の判定の結果、１つ以上の構成を特定できた場合は、検証構成探索部１０４は、特定した全ての構成について、それを表現しているパラメータと、それに対応する機器情報とを抽出する（ステップＳ２０５）。
【００６２】
次に、実行スクリプト具体化部１０５は、ステップＳ２０５で抽出された機器情報を参照して、実行スクリプトのパラメータを各機器に対応するように変換する（ステップＳ２０６）。
【００６３】
次に、実行スクリプト具体化部１０５は、ステップＳ１０５で抽出されたパラメータを、ステップＳ２０６の処理が行われた実行スクリプトのパラメータに挿入して、実行スクリプトを具体化する（ステップＳ２０７）。これにより、検証環境で実行可能な実行スクリプト群が生成される。
【００６４】
［実施の形態２における効果］ 
このように、本実施の形態２では、実行スクリプトの中で、機器のベンダ、搭載されているオペレーティングシステム等によって操作命令が異なる部分を、動作の種類毎に特定した、機器情報が用いられる。また、実行スクリプトのパラメータは、機器情報に基づいて、該当する機器に対応するように変換される。このため、本実施の形態２によれば、機器のベンダ、機器に搭載されているオペレーティングシステム等の種類に関わらずに、同じ検証スクリプトを再利用できる。
【００６５】
［プログラム］
本実施の形態２におけるプログラムは、コンピュータに、図１０に示すステップＳ２０１〜Ｓ２０７を実行させるプログラムであれば良い。このプログラムをコンピュータにインストールし、実行することによって、本実施の形態２における検証自動化装置２と検証自動化方法とを実現することができる。この場合、コンピュータのプロセッサは、検証スクリプト取得部１０１、検証スクリプト分離部１０２、検証構成探索部１０４、及び実行スクリプト具体化部１０５として機能し、処理を行なう。また、検証環境記憶部１０３及び機器情報記憶部２０１は、コンピュータに備えられたハードディスク等の記憶装置に、環境情報を格納することによって実現される。
【００６６】
また、本実施の形態２におけるプログラムは、複数のコンピュータによって構築されたコンピュータシステムによって実行されても良い。この場合は、例えば、各コンピュータが、それぞれ、検証スクリプト取得部１０１、検証スクリプト分離部１０２、検証構成探索部１０４、及び実行スクリプト具体化部１０５のいずれかとして機能しても良い。また、検証環境記憶部１０３及び機器情報記憶部２０１は、本実施の形態２におけるプログラムを実行するコンピュータとは別のコンピュータ上に構築されていても良い。
【００６７】
（実施の形態３）
次に、本発明の実施の形態３における、検証自動化装置、検証自動化方法、及びプログラムについて、図１１〜図１３を参照しながら説明する。
【００６８】
［装置構成］
最初に、本実施の形態３における検証自動化装置の構成について図１１及び図１２を用いて説明する。図１１は、本発明の実施の形態３における検証自動化装置の構成を示すブロック図である。図１２は、本発明の実施の形態３で用いられる検証スクリプトの実行可能要件の一例を示す図である。
【００６９】
図１１に示すように、本実施の形態３における検証自動化装置３は、図２に示した実施の形態１における検証自動化装置１が備える構成に加えて、検証構成絞り込み部３０１を備えており、この点で、実施の形態１における検証自動化装置１と異なっている。以下、実施の形態１との相違点を中心に説明する。なお、図１２において、実施の形態１で示した構成要素と同様の構成要素については、図１及び図２と同一の符号を付与し、その詳細な説明を省略することとする。
【００７０】
図１２に示すように、本実施の形態３では、実行可能要件は、構成要件と実行要件とを含む。このうち、構成要件は、図３にも示した要件であり、実行スクリプトを動作させるためにシステムに求められる構成上の要件である。実行要件は、図３には示されていない要件であり、システムを構成する各機器に求められる要件を示している。
【００７１】
検証構成絞り込み部３０１は、検証構成探索部１０４及び実行スクリプト具体化部１０５に通信可能に接続されている。検証構成絞り込み部３０１は、検証構成探索部１０４によって探索された構成が、上述の実行要件を満たしているかどうかを判定し、実行要件を満たしている構成を特定する。なお、本実施の形態３において、実行要件は、図１３の例に限定されることはなく、検証構成探索部１０４から得られる情報の絞り込みに用いることができる情報であれば良い。実行要件としては、例えば、検証構成探索部１０４によって探索された構成に含まれる各機器に設定されているべき情報、機器間の通信可能性等も挙げられる。
【００７２】
［装置動作］
次に、本実施の形態３における検証自動化装置３の動作について図１３を用いて説明する。図１３は、本発明の実施の形態３における検証自動化装置の動作を示すフロー図である。以下の説明においては、適宜図１１及び図１２を参酌する。また、本実施の形態３では、検証自動化装置３を動作させることによって、検証自動化方法が実施される。よって、本実施の形態３における検証自動化方法の説明は、以下の検証自動化装置３の動作説明に代える。
【００７３】
図１３に示すように、最初に、検証スクリプト取得部１０１は、実行可能要件と実行スクリプトとを含む検証スクリプトを取得する（ステップＳ３０１）。ステップＳ３０１は、図６に示したステップＳ１０１と同様のステップである。
【００７４】
次に、検証スクリプト分離部１０２は、ステップＳ３０１で取得された検証スクリプトを実行可能要件と実行スクリプトとに分離する（ステップＳ３０２）。ステップＳ３０２は、図６に示したステップＳ３０１と同様のステップである。
【００７５】
次に、検証構成探索部１０４は、実行可能要件を満たすシステムの構成を探索する（ステップＳ３０３）。ステップＳ３０３は、図６に示したステップＳ１０３と同様のステップである。但し、検証構成探索部１０４は、探索によって特定した構成を、検証構成絞り込み部３０１に出力する。
【００７６】
次に、検証構成絞り込み部３０１は、ステップＳ３０３で探索された構成が、実行スクリプトの実行要件を満たしているかどうかを判定し、実行要件を満たしている構成に絞り込む（ステップＳ３０４）。
【００７７】
次に、検証構成探索部１０４は、ステップＳ３０４の実行後において、実行可能要件を満たす構成が１つ以上特定できているかどうか判定する（ステップＳ３０５）。ステップＳ３０５は、図６に示したステップＳ１０４と同様のステップである。
【００７８】
ステップＳ３０５の判定の結果、１つ以上の構成を特定できなかった場合は、検証自動化装置３における処理は終了する。この場合、検証構成探索部１０４は、ステップＳ１０１で取得した検証スクリプトは実行不可能であると判断してエラーを出力する。
【００７９】
一方、ステップＳ３０５の判定の結果、１つ以上の構成を特定できた場合は、検証構成探索部１０４は、ステップＳ３０４で絞り込まれた構成について、それを表現しているパラメータを抽出する（ステップＳ３０６）。
【００８０】
次に、実行スクリプト具体化部１０５は、ステップＳ３０６で抽出されたパラメータを、実行スクリプトのパラメータに挿入して、実行スクリプトを具体化する（ステップＳ３０７）。これにより、検証環境で実行可能な実行スクリプト群が生成される。
【００８１】
［実施の形態３における効果］
このように、本実施の形態３では、実行可能要件に実行要件が含まれているため、実行スクリプトを実行することなく、実行不可能な機器を含む構成を除外することができる。従って、本実施の形態３によれば、より効率的な検証が可能にある。
【００８２】
［プログラム］
本実施の形態３におけるプログラムは、コンピュータに、図１３に示すステップＳ３０１〜Ｓ３０７を実行させるプログラムであれば良い。このプログラムをコンピュータにインストールし、実行することによって、本実施の形態３における検証自動化装置３と検証自動化方法とを実現することができる。この場合、コンピュータのプロセッサは、検証スクリプト取得部１０１、検証スクリプト分離部１０２、検証構成探索部１０４、実行スクリプト具体化部１０５、及び検証構成絞り込み部３０１として機能し、処理を行なう。また、検証環境記憶部１０３は、コンピュータに備えられたハードディスク等の記憶装置に、環境情報を格納することによって実現される。
【００８３】
また、本実施の形態３におけるプログラムは、複数のコンピュータによって構築されたコンピュータシステムによって実行されても良い。この場合は、例えば、各コンピュータが、それぞれ、検証スクリプト取得部１０１、検証スクリプト分離部１０２、検証構成探索部１０４、実行スクリプト具体化部１０５及び検証構成絞り込み部３０１のいずれかとして機能しても良い。また、検証環境記憶部１０３は、本実施の形態３におけるプログラムを実行するコンピュータとは別のコンピュータ上に構築されていても良い。
【００８４】
（実施の形態４）
次に、本発明の実施の形態４における、検証自動化装置、検証自動化方法、及びプログラムについて、図１４及び図１５を参照しながら説明する。
【００８５】
［装置構成］
最初に、本実施の形態４における検証自動化装置の構成について図１４を用いて説明する。図１４は、本発明の実施の形態４における検証自動化装置の構成を示すブロック図である。
【００８６】
図１４に示すように、本実施の形態４における検証自動化装置４は、図２に示した実施の形態１における検証自動化装置１が備える構成に加えて、検証スクリプト記憶部４０１を備えており、この点で、実施の形態１における検証自動化装置１と異なっている。また、本実施の形態４は、検証スクリプト取得部１０１の機能においても、実施の形態１と異なっている。以下、実施の形態１との相違点を中心に説明する。なお、図１４において、実施の形態１で示した構成要素と同様の構成要素については、図１及び図２と同一の符号を付与し、その詳細な説明を省略することとする。
【００８７】
検証スクリプト記憶部４０１は、検証スクリプト取得部１０１に接続されている。検証スクリプト記憶部４０１は、予め用意されている複数の検証スクリプト（図３参照）をデータベースとして格納している。
【００８８】
検証スクリプト取得部１０１は、本実施の形態４では、検証スクリプト記憶部４０１に格納されている複数の検証スクリプトの中から、特定の検証スクリプトを選択し、選択した検証スクリプトを取得する。
【００８９】
［装置動作］ 
次に、本実施の形態４における検証自動化装置４の動作について図１５を用いて説明する。図１５は、本発明の実施の形態４における検証自動化装置の動作を示すフロー図である。以下の説明においては、適宜図１４を参酌する。また、本実施の形態４では、検証自動化装置４を動作させることによって、検証自動化方法が実施される。よって、本実施の形態４における検証自動化方法の説明は、以下の検証自動化装置４の動作説明に代える。
【００９０】
図１５に示すように、最初に、検証スクリプト取得部１０１は、検証スクリプト記憶部４０１に格納されている検証スクリプトの中に、後述のステップＳ４０２で未だ選択されていない検証スクリプトが存在しているかどうかを判定する（ステップＳ４０１）。
【００９１】
ステップＳ４０１の判定の結果、未だ選択されていない検証スクリプトが存在していない場合（全ての検証スクリプトが選択済みである場合）は、検証自動化装置４における処理は終了する。
【００９２】
一方、ステップＳ４０１の判定の結果、未だ選択されていない検証スクリプトが存在している場合は、検証スクリプト取得部１０１は、そのうちの一つを選択し、選択した検証スクリプトを取得する（ステップＳ４０２）。また、検証スクリプト取得部１０１は、選択した検証スクリプトを検証スクリプト分離部１０２に出力する。
【００９３】
次に、検証スクリプト分離部１０２は、ステップＳ４０２で取得された検証スクリプトを実行可能要件と実行スクリプトとに分離する（ステップＳ４０３）。ステップＳ４０３は、図６に示したステップＳ１０１と同様のステップである。
【００９４】
次に、検証構成探索部１０４は、実行可能要件を満たすシステムの構成を探索する（ステップＳ４０４）。ステップＳ４０４は、図６に示したステップＳ１０３と同様のステップである。
【００９５】
次に、検証構成探索部１０４は、ステップＳ４０４の探索によって、実行可能要件を満たす構成が１つ以上特定できているかどうか判定する（ステップＳ４０５）。ステップＳ４０５は、図６に示したステップＳ１０４と同様のステップである。
【００９６】
ステップＳ４０５の判定の結果、１つ以上の構成を特定できなかった場合は、再度、上述のステップＳ４０１が実行される。
【００９７】
一方、ステップＳ４０５の判定の結果、１つ以上の構成を特定できた場合は、検証構成探索部１０４は、特定した全ての構成について、それを表現しているパラメータを抽出する（ステップＳ４０６）。ステップＳ４０６は、図６に示したステップＳ１０５と同様のステップである。
【００９８】
次に、実行スクリプト具体化部１０５は、ステップＳ４０６で抽出されたパラメータを、実行スクリプトのパラメータに挿入して、実行スクリプトを具体化する（ステップＳ４０７）。ステップＳ４０７は、図６に示したステップＳ１０６と同様のステップである。これにより、検証環境で実行可能な実行スクリプト群が生成される。
【００９９】
［実施の形態４における効果］
このように、本実施の形態４においては、検証スクリプト記憶部４０１に、今までに作成された検証スクリプトが記録され、検証スクリプト毎に、実行スクリプトの具体化が行われる。このため、本実施の形態４によれば、利用者が検証環境に適した検証スクリプトを選択することなく、実行可能な既存の検証スクリプトは全て自動的に実行される。
【０１００】
［プログラム］
本実施の形態４におけるプログラムは、コンピュータに、図１５に示すステップＳ４０１〜Ｓ４０７を実行させるプログラムであれば良い。このプログラムをコンピュータにインストールし、実行することによって、本実施の形態４における検証自動化装置４と検証自動化方法とを実現することができる。この場合、コンピュータのプロセッサは、検証スクリプト取得部１０１、検証スクリプト分離部１０２、検証構成探索部１０４、及び実行スクリプト具体化部１０５として機能し、処理を行なう。また、検証環境記憶部１０３及び検証スクリプト記憶部４０１は、コンピュータに備えられたハードディスク等の記憶装置に、環境情報を格納することによって実現される。
【０１０１】
また、本実施の形態４におけるプログラムは、複数のコンピュータによって構築されたコンピュータシステムによって実行されても良い。この場合は、例えば、各コンピュータが、それぞれ、検証スクリプト取得部１０１、検証スクリプト分離部１０２、検証構成探索部１０４、及び実行スクリプト具体化部１０５のいずれかとして機能しても良い。また、検証環境記憶部１０３及び検証スクリプト記憶部４０１は、本実施の形態４におけるプログラムを実行するコンピュータとは別のコンピュータ上に構築されていても良い。
【０１０２】
（実施の形態５） 
次に、本発明の実施の形態５における、検証自動化装置、検証自動化方法、及びプログラムについて、図１６〜図１９を参照しながら説明する。
【０１０３】
［装置構成］
最初に、本実施の形態５における検証自動化装置の構成について図１６〜図１８を用いて説明する。図１６は、本発明の実施の形態５における検証自動化装置の構成を示すブロック図である。
【０１０４】
図１６に示すように、本実施の形態５における検証自動化装置５は、図１４に示した実施の形態４における検証自動化装置４が備える構成に加えて、検証意図入力部５０１を備えており、この点で、実施の形態４における検証自動化装置４と異なっている。以下、実施の形態４との相違点を中心に説明する。なお、図１６において、実施の形態４で示した構成要素と同様の構成要素については、図１４と同一の符号を付与し、その詳細な説明を省略することとする。
【０１０５】
まず、本実施の形態５においても、実施の形態４と同様に、検証スクリプト記憶部４０１が備えられているが、それに記憶されている検証スクリプトには、図１７に示すように、検証目的（図３参照）に加えて、この検証スクリプトの作成の意図（以下「検証意図」と表記する。）が付加されている。図１７は、本発明の実施の形態５で用いられる検証スクリプトの一例を示す図である。
【０１０６】
検証意図入力部５０１は、検証スクリプト取得部１０１と接続されている。検証意図入力部５０１は、検証スクリプト取得部１０１に対して、利用者からの指示に応じて、検証対象となるシステムを検証する意図、例えば、図１８に示す形式の検証意図を入力する。図１８は、本発明の実施の形態５において入力される検証意図の一例を示す図である。
【０１０７】
検証スクリプト取得部１０１は、本実施の形態５では、検証意図入力部５０１にも接続されている。よって、検証スクリプト取得部１０１は、検証スクリプト記憶部４０１の中から、検証意図入力部５０１によって入力された検証意図に対応する、全ての検証スクリプトを選択し、これらを取得する。また、検証スクリプト取得部１０１は、取得した検証スクリプトを、検証スクリプト分離部１０２に出力する。
【０１０８】
なお、本実施の形態５では、検証意図の形式は、図１８の例に限定されることはない。検証意図は、複数のキーワードで構成されたものであっても良い。この場合、検証スクリプト取得部１０１は、全てのキーワードをクエリとして、検証スクリプト記憶部４０１に格納されている全ての検証スクリプトを対象に検索を行って、検証意図に対応する検証スクリプトを特定し、特定した検証スクリプトを選択する。
【０１０９】
［装置動作］
次に、本実施の形態５における検証自動化装置５の動作について図１９を用いて説明する。図１９は、本発明の実施の形態５における検証自動化装置の動作を示すフロー図である。以下の説明においては、適宜図１６〜図１８を参酌する。また、本実施の形態５では、検証自動化装置５を動作させることによって、検証自動化方法が実施される。よって、本実施の形態５における検証自動化方法の説明は、以下の検証自動化装置５の動作説明に代える。
【０１１０】
図１９に示すように、最初に、検証意図入力部５０１は、利用者からの指示に応じて、検証スクリプト取得部１０１に対して、検証対象となるシステム検証意図を入力する（ステップＳ５０１）。
【０１１１】
次に、検証スクリプト取得部１０１は、検証スクリプト記憶部４０１の中から、ステップＳ５０１で入力された検証意図に対応する、全ての検証スクリプトを検索し、検索できた検証スクリプトを選択する（ステップＳ５０２）。また、検証スクリプト取得部１０１は、選択した検証スクリプトを検証スクリプト分離部１０２に出力する。
【０１１２】
次に、検証スクリプト分離部１０２は、ステップＳ５０２で選択された検証スクリプトを実行可能要件と実行スクリプトとに分離する（ステップＳ５０３）。ステップＳ５０３は、図６に示したステップＳ１０１と同様のステップである。
【０１１３】
次に、検証構成探索部１０４は、実行可能要件を満たすシステムの構成を探索する（ステップＳ５０４）。ステップＳ５０４は、図６に示したステップＳ１０３と同様のステップである。
【０１１４】
次に、検証構成探索部１０４は、ステップＳ５０４の探索によって、実行可能要件を満たす構成が１つ以上特定できているかどうか判定する（ステップＳ５０５）。ステップＳ５０５は、図６に示したステップＳ１０４と同様のステップである。
【０１１５】
ステップＳ５０５の判定の結果、１つ以上の構成を特定できなかった場合は、検証処理装置５における処理は終了する。
【０１１６】
一方、ステップＳ５０５の判定の結果、１つ以上の構成を特定できた場合は、検証構成探索部１０４は、特定した全ての構成について、それを表現しているパラメータを抽出する（ステップＳ５０６）。ステップＳ５０６は、図６に示したステップＳ１０５と同様のステップである。
【０１１７】
次に、実行スクリプト具体化部１０５は、ステップＳ５０６で抽出されたパラメータを、実行スクリプトのパラメータに挿入して、実行スクリプトを具体化する（ステップＳ５０７）。ステップＳ５０７は、図６に示したステップＳ１０６と同様のステップである。これにより、検証環境で実行可能な実行スクリプト群が生成される。
【０１１８】
［実施の形態５における効果］
このように、本実施の形態５においては、検証スクリプトに付加されている検証意図に沿って、検証に用いられる検証スクリプトが検索される。つまり、本実施の形態５によれば、検証意図の単位で検証スクリプトを検索する事ができるため、効率的に、システムの検証に用いるべき検証スクリプトを見つけることができる。
【０１１９】
［プログラム］
本実施の形態５におけるプログラムは、コンピュータに、図１９に示すステップＳ５０１〜Ｓ５０７を実行させるプログラムであれば良い。このプログラムをコンピュータにインストールし、実行することによって、本実施の形態５における検証自動化装置５と検証自動化方法とを実現することができる。この場合、コンピュータのプロセッサは、検証スクリプト取得部１０１、検証スクリプト分離部１０２、検証構成探索部１０４、実行スクリプト具体化部１０５、及び検証意図入力部５０１として機能し、処理を行なう。また、検証環境記憶部１０３及び検証スクリプト記憶部４０１は、コンピュータに備えられたハードディスク等の記憶装置に、環境情報を格納することによって実現される。
【０１２０】
また、本実施の形態５におけるプログラムは、複数のコンピュータによって構築されたコンピュータシステムによって実行されても良い。この場合は、例えば、各コンピュータが、それぞれ、検証スクリプト取得部１０１、検証スクリプト分離部１０２、検証構成探索部１０４、実行スクリプト具体化部１０５及び検証意図入力部５０１のいずれかとして機能しても良い。また、検証環境記憶部１０３及び検証スクリプト記憶部４０１は、本実施の形態５におけるプログラムを実行するコンピュータとは別のコンピュータ上に構築されていても良い。
【０１２１】
（実施の形態６）
次に、本発明の実施の形態６における、検証自動化装置、検証自動化方法、及びプログラムについて、図２０及び図２１を参照しながら説明する。
【０１２２】
［装置構成］
最初に、本実施の形態６における検証自動化装置の構成について図２０を用いて説明する。図２０は、本発明の実施の形態６における検証自動化装置の構成を示すブロック図である。
【０１２３】
図２０に示すように、本実施の形態６における検証自動化装置６は、図２に示した実施の形態１における検証自動化装置１が備える構成に加えて、検証実行部６０１と、検証結果判定部６０２と、検証結果表示部６０３とを備えている。本実施の形態６における検証自動化装置６は、この点で、実施の形態１における検証自動化装置１と異なっている。以下、実施の形態１との相違点を中心に説明する。なお、図２０において、実施の形態１で示した構成要素と同様の構成要素については、図１及び図２と同一の符号を付し、その詳細な説明を省略することとする。
【０１２４】
検証実行部６０１は、実行スクリプト具体化部１０５によって実行スクリプトが具体化された検証スクリプトを取得し、この実行スクリプトを実行し、検証対象となるシステムの検証を行う。また、検証実行部６０１は、その他に、検証構成のセットアップ、検証構成の削除等も実行する。
【０１２５】
検証結果判定部６０２は、検証実行部６０１による実行スクリプトの実行の結果について判定を行う。具体的には、検証結果判定部６０２は、実行の結果が予め定められた判定基準を満たすかどうかを確認することによって、検証の合否を判定する。
【０１２６】
検証結果表示部６０３は、検証結果判定部６０による判定の結果を、検証の結果として、利用者の端末装置等の画面上に表示する。また、検証結果表示部６０３は、検証構成探索部１０４によって特定された構成も、検証結果と一緒に、画面上に表示することもできる。
【０１２７】
［装置動作］ 
次に、本実施の形態６における検証自動化装置６の動作について図２１を用いて説明する。図２１は、本発明の実施の形態６における検証自動化装置の動作を示すフロー図である。以下の説明においては、適宜図２０を参酌する。また、本実施の形態６では、検証自動化装置６を動作させることによって、検証自動化方法が実施される。よって、本実施の形態６における検証自動化方法の説明は、以下の検証自動化装置６の動作説明に代える。
【０１２８】
図２１に示すように、最初に、検証スクリプト取得部１０１は、実行可能要件と実行スクリプトとを含む検証スクリプトを取得する（ステップＳ６０１）。ステップＳ６０１は、図６に示したステップＳ１０１と同様のステップである。
【０１２９】
次に、検証スクリプト分離部１０２は、ステップＳ６０１で取得された検証スクリプトを実行可能要件と実行スクリプトとに分離する（ステップＳ６０２）。ステップＳ６０２は、図６に示したステップＳ１０２と同様のステップである。
【０１３０】
次に、検証構成探索部１０４は、実行可能要件を満たすシステムの構成を探索する（ステップＳ６０３）。ステップＳ６０３は、図６に示したステップＳ１０３と同様のステップである。
【０１３１】
次に、検証構成探索部１０４は、ステップＳ６０３の探索によって、実行可能要件を満たす構成が１つ以上特定できているかどうか判定する（ステップＳ６０４）。ステップＳ６０４は、図６に示したステップＳ１０４と同様のステップである。
【０１３２】
ステップＳ６０４の判定の結果、１つ以上の構成を特定できなかった場合は、後述のステップＳ６０９が実行される。
【０１３３】
一方、ステップＳ６０４の判定の結果、１つ以上の構成を特定できた場合は、検証構成探索部１０４は、特定した全ての構成について、それを表現しているパラメータを抽出する（ステップＳ６０５）。ステップＳ６０５は、図６に示したステップＳ１０５と同様のステップである。
【０１３４】
次に、実行スクリプト具体化部１０５は、ステップＳ６０５で抽出されたパラメータを、実行スクリプトのパラメータに挿入して、実行スクリプトを具体化する（ステップＳ６０６）。ステップＳ６０６は、図６に示したステップＳ１０６と同様のステップである。これにより、検証環境で実行可能な実行スクリプト群が生成される。また、実行スクリプト具体化部１０５は、具体化した実行スクリプトを含む検証スクリプトを、検証実行部６０１に出力する。
【０１３５】
次に、検証実行部６０１は、ステップＳ６０６によって具体化された実行スクリプトを含む検証スクリプトを受け取り、この検証スクリプトに含まれる実行スクリプトを実行する（ステップＳ６０７）。
【０１３６】
次に、検証結果判定部６０２は、ステップＳ６０７の実行の結果について判定を行う（ステップＳ６０８）。具体的には、検証結果判定部６０２は、実行の結果に基づいて、検証結果の合否を判定する。
【０１３７】
次に、検証結果表示部６０３は、ステップＳ６０８による判定の結果を、検証の結果として、利用者の端末装置等の画面上に表示する（ステップＳ６０９）。また、ステップＳ６０４の判定の結果、１つ以上の構成を特定できなかった場合は、ステップＳ６０３では、検証結果表示部６０３は、検証構成探索部１０４が実行可能要件を満たす構成を特定できなかった検証スクリプトについて、検証結果が「否」である旨を表示する。
【０１３８】
［実施の形態６における効果］ 
以上のように、本実施の形態６では、実行スクリプトが具体化されると、この具体化された実行スクリプトが実行され、その後、実行結果が画面上に表示される。つまり、本実施の形態６によれば、検証スクリプトの検証環境に適合させるところから、それを実行させて、結果を表示するところまでが、全て自動で行われる。
【０１３９】
［プログラム］
本実施の形態６におけるプログラムは、コンピュータに、図２１に示すステップＳ６０１〜Ｓ６０９を実行させるプログラムであれば良い。このプログラムをコンピュータにインストールし、実行することによって、本実施の形態６における検証自動化装置６と検証自動化方法とを実現することができる。この場合、コンピュータのプロセッサは、検証スクリプト取得部１０１、検証スクリプト分離部１０２、検証構成探索部１０４、実行スクリプト具体化部１０５、検証実行部６０１、検証結果判定部６０２、及び検証結果表示部６０３として機能し、処理を行なう。また、検証環境記憶部１０３は、コンピュータに備えられたハードディスク等の記憶装置に、環境情報を格納することによって実現される。
【０１４０】
また、本実施の形態６におけるプログラムは、複数のコンピュータによって構築されたコンピュータシステムによって実行されても良い。この場合は、例えば、各コンピュータが、それぞれ、検証スクリプト取得部１０１、検証スクリプト分離部１０２、検証構成探索部１０４、実行スクリプト具体化部１０５、検証実行部６０１、検証結果判定部６０２、及び検証結果表示部６０３のいずれかとして機能しても良い。また、検証環境記憶部１０３は、本実施の形態６におけるプログラムを実行するコンピュータとは別のコンピュータ上に構築されていても良い。
【０１４１】
（実施の形態７）
次に、本発明の実施の形態７における、検証自動化装置、検証自動化方法、及びプログラムについて、図２２〜図２４を参照しながら説明する。
【０１４２】
［装置構成］
最初に、本実施の形態７における検証自動化装置の構成について図２２を用いて説明する。図２２は、本発明の実施の形態７における検証自動化装置の構成を示すブロック図である。
【０１４３】
図２２に示すように、本実施の形態７における検証自動化装置７は、図２に示した実施の形態１における検証自動化装置１が備える構成に加えて、機器情報記憶部２０１と、検証構成絞り込み部３０１と、検証スクリプト記憶部４０１と、検証意図入力部５０１と、検証実行部６０１と、検証結果判定部６０２と、検証結果表示部６０３とを備えている。
【０１４４】
つまり、本実施の形態７における検証自動化装置７は、実施の形態１における検証自動化装置１に、実施の形態２、３、５、６それぞれの構成要素を付加することによって、構成されている。なお、図２２において、実施の形態１、２、３、５、６で示した構成要素と同様の構成要素については、対応する図と同一の符号を付し、その詳細な説明を省略することとする。
【０１４５】
但し、本実施の形態７は、上述した実施の形態と異なり、検証自動化装置７は、利用者の端末装置の画面上に、ユーザインターフェースを提供する。図２３は、本発明の実施の形態７において提供されるユーザインターフェースの一例を示す図である。
【０１４６】
図２３に示すように、ユーザインターフェースには、検証テンプレート選択画面と、検証スクリプト選択画面と、構成情報画面と、詳細化スクリプト画面とが表示される。なお、本実施の形態７において、ユーザインターフェースの態様は、図２３の例に限定されるものではない。
【０１４７】
検証テンプレート選択画面は、検証スクリプト取得部１０１によって提供される。検証スクリプト取得部１０１は、検証意図入力部５０１から入力された検証意図と、それに対応して選択した検証スクリプトの検証目的とを、検証テンプレート選択画面として表示する。
【０１４８】
構成情報画面は、検証構成探索部１０４によって提供される。検証構成探索部１０４は、検証環境記憶部１０３から取得した、検証対象となるシステムの環境情報を、構成情報画面として表示する。
【０１４９】
検証スクリプト選択画面は、検証スクリプト分離部１０２によって提供される。検証スクリプト分離部１０２は、検証スクリプト取得部１０１によって選択された検証スクリプトを実行可能要件と実行スクリプトとに分離すると、これらを検証スクリプト選択画面として表示する。
【０１５０】
詳細化スクリプト画面は、実行スクリプト具体化部１０５によって提供される。実行スクリプト具体化部１０５は、検証構成絞り込み部３０１によって絞り込まれた構成を用いて実行スクリプトの具体化を行うと、具体化後の実行スクリプトを詳細化スクリプト画面として表示する。また、詳細化スクリプト画面では、具体化された各実行スクリプトはタブごとに表示される。
【０１５１】
［装置動作］
次に、本実施の形態７における検証自動化装置７の動作について図２４を用いて説明する。図２４は、本発明の実施の形態７における検証自動化装置の動作を示すフロー図である。以下の説明においては、適宜図２２及び図２３を参酌する。また、本実施の形態７では、検証自動化装置７を動作させることによって、検証自動化方法が実施される。よって、本実施の形態７における検証自動化方法の説明は、以下の検証自動化装置７の動作説明に代える。
【０１５２】
図２４に示すように、最初に、検証意図入力部５０１は、利用者からの指示に応じて、検証スクリプト取得部１０１に対して、検証対象となるシステム検証意図を入力する（ステップＳ７０１）。ステップＳ７０１は、図１９に示したステップＳ５０１と同様のステップである。
【０１５３】
次に、検証スクリプト取得部１０１は、検証スクリプト記憶部４０１の中から、ステップＳ５０１で入力された検証意図に対応する、全ての検証スクリプトを検索し、検索できた検証スクリプトを選択する（ステップＳ７０２）。ステップＳ７０１は、図１９に示したステップＳ５０２と同様のステップである。
【０１５４】
また、ステップＳ７０２において、検証スクリプト取得部１０１は、検証意図入力部５０１から入力された検証意図と、それに対応して選択した検証スクリプトの検証目的とを、検証テンプレート選択画面として表示する。
【０１５５】
次に、検証スクリプト分離部１０２は、ステップＳ７０２で選択された検証スクリプトを実行可能要件と実行スクリプトとに分離する（ステップＳ７０３）。ステップＳ７０３は、図６に示したステップＳ１０１と同様のステップである。
【０１５６】
また、ステップＳ７０３では、検証スクリプト分離部１０２は、検証スクリプトを実行可能要件と実行スクリプトとに分離すると、これらを検証スクリプト選択画面として表示する。
【０１５７】
次に、検証構成探索部１０４は、実行可能要件を満たすシステムの構成を探索する（ステップＳ７０４）。ステップＳ７０３は、図６に示したステップＳ１０３と同様のステップである。
【０１５８】
また、ステップＳ７０４では、検証構成探索部１０４は、検証環境記憶部１０３から取得した、検証対象となるシステムの環境情報を、構成情報画面として表示する。そして、検証スクリプト選択画面において、利用者がスクリプト詳細化ボタンを押下すると、以下の処理が実行される。
【０１５９】
次に、検証構成絞り込み部３０１は、ステップＳ７０４で探索された構成が、実行スクリプトの実行要件を満たしているかどうかを判定し、実行要件を満たしている構成に絞り込む（ステップＳ７０５）。ステップＳ７０５は、図１３に示したステップＳ３０４と同様のステップである。
【０１６０】
次に、検証構成探索部１０４は、ステップＳ７０５の実行後において、実行可能要件を満たす構成が１つ以上特定できているかどうか判定する（ステップＳ７０６）。ステップＳ７０６は、図６に示したステップＳ１０４と同様のステップである。
【０１６１】
ステップＳ７０６の判定の結果、１つ以上の構成を特定できなかった場合は、後述のステップＳ７１２が実行される。
【０１６２】
一方、ステップＳ７０６の判定の結果、１つ以上の構成を特定できた場合は、検証構成探索部１０４は、特定した全ての構成についてそれを表現しているパラメータと、それに対応する機器情報とを抽出する（ステップＳ７０７）。ステップＳ７０７、図１０に示したステップＳ２０５と同様のステップである。
【０１６３】
次に、実行スクリプト具体化部１０５は、ステップＳ７０７で抽出された機器情報を参照して、実行スクリプトのパラメータを各機器に対応するように変換する（ステップＳ７０８）。ステップＳ７０８、図１０に示したステップＳ２０６と同様のステップである。
【０１６４】
次に、実行スクリプト具体化部１０５は、ステップＳ７０７で抽出されたパラメータを、実行スクリプトのパラメータに挿入して、実行スクリプトを具体化する（ステップＳ７０９）。ステップＳ７０９は、図６に示したステップＳ１０６と同様のステップである。これにより、検証環境で実行可能な実行スクリプト群が生成される。
【０１６５】
そして、ステップＳ７０９の実行後、実行スクリプト具体化部１０５は、詳細化スクリプト画面を表示する。この状態において、利用者が、実行したい検証スクリプトを選択し、スクリプト実行ボタン（図２３参照）を押下すると、選択された検証スクリプトについて以下の処理が開始される。この場合、実行スクリプト具体化部１０５は、具体化した実行スクリプトを含む検証スクリプトを、検証実行部６０１に出力する。
【０１６６】
次に、検証実行部６０１は、ステップＳ６０６によって具体化された実行スクリプトを含む検証スクリプトを受け取り、この検証スクリプトに含まれる実行スクリプトを実行する（ステップＳ７１０）。ステップＳ７０９は、図２１に示したステップＳ６０７と同様のステップである。
【０１６７】
次に、検証結果判定部６０２は、ステップＳ７１０の実行の結果について判定を行う（ステップＳ７１１）。ステップＳ７１１は、図２１に示したステップＳ６０８と同様のステップである。
【０１６８】
次に、検証結果表示部６０３は、ステップＳ７１１による判定の結果を、検証の結果として、利用者の端末装置等の画面上に表示する（ステップＳ７１２）。また、ステップＳ７０６の判定の結果、１つ以上の構成を特定できなかった場合は、ステップＳ７１２では、検証結果表示部６０３は、検証構成探索部１０４が実行可能要件を満たす構成を特定できなかった検証スクリプトについて、検証結果が「否」である旨を表示する。ステップＳ７１２は、図２１に示したステップＳ６０９と同様のステップである。
【０１６９】
［効果の説明］ 
以上のように、本実施の形態７では、利用者の検証意図に従って検証スクリプトが検索され、検証スクリプトの実行可能要件によって探索された検証構成情報と、検証構成情報に含まれる各機器の情報を用いて実行スクリプトが具体化される。更に、具体化された実行スクリプトは自動で実行され、その結果が表示される。
【０１７０】
［プログラム］
本実施の形態７におけるプログラムは、コンピュータに、図２４に示すステップＳ７０１〜Ｓ７１２を実行させるプログラムであれば良い。このプログラムをコンピュータにインストールし、実行することによって、本実施の形態７における検証自動化装置７と検証自動化方法とを実現することができる。この場合、コンピュータのプロセッサは、検証スクリプト取得部１０１、検証スクリプト分離部１０２、検証構成探索部１０４、実行スクリプト具体化部１０５、検証構成絞り込み部３０１、検証意図入力部５０１、検証実行部６０１、検証結果判定部６０２、及び検証結果表示部６０３として機能し、処理を行なう。また、検証環境記憶部１０３、機器情報記憶部２０１及び検証スクリプト記憶部４０１は、コンピュータに備えられたハードディスク等の記憶装置に、環境情報を格納することによって実現される。
【０１７１】
また、本実施の形態６におけるプログラムは、複数のコンピュータによって構築されたコンピュータシステムによって実行されても良い。この場合は、例えば、各コンピュータが、それぞれ、検証スクリプト取得部１０１、検証スクリプト分離部１０２、検証構成探索部１０４、実行スクリプト具体化部１０５、検証構成絞り込み部３０１、検証意図入力部５０１、検証実行部６０１、検証結果判定部６０２、及び検証結果表示部６０３のいずれかとして機能しても良い。また、検証環境記憶部１０３、機器情報記憶部２０１及び検証スクリプト記憶部４０１は、本実施の形態７におけるプログラムを実行するコンピュータとは別のコンピュータ上に構築されていても良い。
【０１７２】
（物理構成）
ここで、実施の形態１〜７におけるプログラムを実行することによって、本実施の形態１〜７における検証自動化を実現するコンピュータについて図２５を用いて説明する。図２５は、本発明の実施の形態１〜７における検証自動化装置を実現するコンピュータの一例を示すブロック図である。
【０１７３】
図２５に示すように、コンピュータ１０は、ＣＰＵ１１と、メインメモリ１２と、記憶装置１３と、入力インターフェイス１４と、表示コントローラ１５と、データリーダ／ライタ１６と、通信インターフェイス１７とを備える。これらの各部は、バス２１を介して、互いにデータ通信可能に接続される。なお、コンピュータ１０は、ＣＰＵ１１に加えて、又はＣＰＵ１１に代えて、ＧＰＵ（Graphics Processing Unit）、又はＦＰＧＡ（Field-Programmable Gate Array）を備えていても良い。
【０１７４】
ＣＰＵ１１は、記憶装置１３に格納された、本実施の形態におけるプログラム（コード）をメインメモリ１２に展開し、これらを所定順序で実行することにより、各種の演算を実施する。メインメモリ１２は、典型的には、ＤＲＡＭ（Dynamic Random Access Memory）等の揮発性の記憶装置である。また、本実施の形態におけるプログラムは、コンピュータ読み取り可能な記録媒体１２０に格納された状態で提供される。なお、本実施の形態におけるプログラムは、通信インターフェイス１１７を介して接続されたインターネット上で流通するものであっても良い。
【０１７５】
また、記憶装置１３の具体例としては、ハードディスクドライブの他、フラッシュメモリ等の半導体記憶装置が挙げられる。入力インターフェイス１４は、ＣＰＵ１１と、キーボード及びマウスといった入力機器１８との間のデータ伝送を仲介する。表示コントローラ１５は、ディスプレイ装置１９と接続され、ディスプレイ装置１９での表示を制御する。
【０１７６】
データリーダ／ライタ１６は、ＣＰＵ１１と記録媒体２０との間のデータ伝送を仲介し、記録媒体２０からのプログラムの読み出し、及びコンピュータ１０における処理結果の記録媒体２０への書き込みを実行する。通信インターフェイス１７は、ＣＰＵ１１と、他のコンピュータとの間のデータ伝送を仲介する。
【０１７７】
また、記録媒体２０の具体例としては、ＣＦ（Compact Flash（登録商標））及びＳＤ（Secure Digital）等の汎用的な半導体記憶デバイス、フレキシブルディスク（Flexible
Disk）等の磁気記録媒体、又はＣＤ−ＲＯＭ（Compact Disk Read Only Memory）などの光学記録媒体が挙げられる。
【０１７８】
なお、本実施の形態１〜７における検証自動化装置は、プログラムがインストールされたコンピュータではなく、各部に対応したハードウェアを用いることによっても実現可能である。更に、本実施の形態１〜７における検証自動化装置は、一部がプログラムで実現され、残りの部分がハードウェアで実現されていてもよい。
【０１７９】
上述した実施の形態の一部又は全部は、以下に記載する（付記１）〜（付記２４）によって表現することができるが、以下の記載に限定されるものではない。
【０１８０】
（付記１）
検証スクリプトを検証対象となるシステムに適合させるための装置であって、
検証作業を行う実行スクリプト、及び前記実行スクリプトを実行するための実行可能要件を含む、前記検証スクリプトを取得する、検証スクリプト取得部と、
前記検証対象となるシステムの環境情報及び前記実行可能要件を用いて、前記検証対象となるシステムにおいて、前記実行スクリプトが実行可能となる構成を探索する、検証構成探索部と、
探索された前記構成に基づいて、前記実行スクリプトを、前記検証対象となるシステムで実行できるように具体化する、実行スクリプト具体化部と
を備えている、
ことを特徴とする検証自動化装置。
【０１８１】
（付記２）
付記１に記載の検証自動化装置であって、
前記検証スクリプト取得部によって取得された前記検証スクリプトを、前記実行スクリプトと前記実行可能要件とに分離する、検証スクリプト分離部を、更に備えている、
ことを特徴とする検証自動化装置。
【０１８２】
（付記３）
付記１または２に記載の検証自動化装置であって、
前記環境情報が、前記検証対象となるシステムを構成する機器及びネットワークの情報を含み、前記機器及び前記ネットワークをパラメータによって規定し、
前記実行可能要件が、前記実行スクリプトを実行可能なシステム構成の情報を含み、
前記検証構成探索部が、前記実行可能要件を元に前記環境情報を探索して、前記パラメータで表現された前記構成を特定し、
前記実行スクリプト具体化部が、前記構成を表現するパラメータを用いて、前記実行スクリプトに含まれるパラメータを修正することによって、前記実行スクリプトを具体化する、
ことを特徴とする検証自動化装置。
【０１８３】
（付記４）
付記１〜３のいずれかに記載の検証自動化装置であって、
前記実行スクリプト具体化部が、前記検証対象となるシステムでの特定の動作と前記検証対象となるシステムを構成する機器毎の固有の操作命令との対応関係に基づいて、前記実行スクリプトを前記機器に対応させ、その後、前記実行スクリプトを具体化する、
ことを特徴とする検証自動化装置。
【０１８４】
（付記５）
付記１〜４のいずれかに記載の検証自動化装置であって、
前記検証スクリプトにおいて、前記実行可能要件が、前記実行スクリプトを動作させるためにシステムを構成する機器に求められる実行要件を含み、
当該検証自動化装置は、
探索された前記構成のうち、前記実行要件を満たしている前記構成を特定する、検証構成絞り込み部を更に備え、
前記実行スクリプト具体化部が、前記検証構成絞り込み部によって特定された構成に基づいて、前記実行スクリプトを、前記検証対象となるシステムで実行できるように具体化する、
ことを特徴とする検証自動化装置。
【０１８５】
（付記６）
付記１〜５のいずれかに記載の検証自動化装置であって、
複数の前記検証スクリプトが、予め用意されており、
前記検証スクリプト取得部が、複数の前記検証スクリプトの中から、特定の検証スクリプトを選択し、選択した検証スクリプトを取得する、
ことを特徴とする検証自動化装置。
【０１８６】
（付記７）
付記６に記載の検証自動化装置であって、
複数の前記検証スクリプトそれぞれが、当該検証スクリプトの作成の意図を含み、
当該検証自動化装置が、前記検証スクリプト取得部に、前記検証対象となるシステムを検証する意図を入力する、検証意図入力部を更に備え、
前記検証スクリプト取得部が、複数の前記検証スクリプトの中から、入力された前記意図に対応する検証スクリプトを選択する、
ことを特徴とする検証自動化装置。
【０１８７】
（付記８）
付記１〜７のいずれかに記載の検証自動化装置であって、
具体化された前記実行スクリプトを実行する、検証実行部と、
前記実行スクリプトの実行の結果について判定を行う、検証結果判定部と、
前記判定の結果を、検証の結果として表示する、検証結果表示部と、
を更に備えている、
ことを特徴とする検証自動化装置。
【０１８８】
（付記９）
検証スクリプトを検証対象となるシステムに適合させるための方法であって、
（ａ）検証作業を行う実行スクリプト、及び前記実行スクリプトを実行するための実行可能要件を含む、前記検証スクリプトを取得する、ステップと、
（ｂ）前記検証対象となるシステムの環境情報及び前記実行可能要件を用いて、前記検証対象となるシステムにおいて、前記実行スクリプトが実行可能となる構成を探索する、ステップと、
（ｃ）探索された前記構成に基づいて、前記実行スクリプトを、前記検証対象となるシステムで実行できるように具体化する、ステップと
を有する、
ことを特徴とする検証自動化方法。
【０１８９】
（付記１０）
付記９に記載の検証自動化方法であって、
（ｄ）前記（ａ）のステップによって取得された前記検証スクリプトを、前記実行スクリプトと前記実行可能要件とに分離する、ステップを、更に有する、
ことを特徴とする検証自動化方法。
【０１９０】
（付記１１）
付記９または１０に記載の検証自動化方法であって、
前記環境情報が、前記検証対象となるシステムを構成する機器及びネットワークの情報を含み、前記機器及び前記ネットワークをパラメータによって規定し、
前記実行可能要件が、前記実行スクリプトを実行可能なシステム構成の情報を含み、
前記（ｂ）のステップにおいて、前記実行可能要件を元に前記環境情報を探索して、前記パラメータで表現された前記構成を特定し、
前記（ｃ）のステップにおいて、前記構成を表現するパラメータを用いて、前記実行スクリプトに含まれるパラメータを修正することによって、前記実行スクリプトを具体化する、
ことを特徴とする検証自動化方法。
【０１９１】
（付記１２）
付記９〜１１のいずれかに記載の検証自動化方法であって、
前記（ｃ）のステップにおいて、前記検証対象となるシステムでの特定の動作と前記検証対象となるシステムを構成する機器毎の固有の操作命令との対応関係に基づいて、前記実行スクリプトを前記機器に対応させ、その後、前記実行スクリプトを具体化する、
ことを特徴とする検証自動化方法。
【０１９２】
（付記１３）
付記９〜１２のいずれかに記載の検証自動化方法であって、
前記検証スクリプトにおいて、前記実行可能要件が、前記実行スクリプトを動作させるためにシステムを構成する機器に求められる実行要件を含み、
当該検証自動化方法は、
（ｅ）前記（ｂ）のステップで探索された前記構成のうち、前記実行要件を満たしている前記構成を特定する、ステップを更に有し、
前記（ｃ）のステップにおいて、前記（ｅ）のステップによって特定された構成に基づいて、前記実行スクリプトを、前記検証対象となるシステムで実行できるように具体化する、
ことを特徴とする検証自動化方法。
【０１９３】
（付記１４）
付記９〜１３のいずれかに記載の検証自動化方法であって、
複数の前記検証スクリプトが、予め用意されており、
前記（ａ）のステップにおいて、複数の前記検証スクリプトの中から、特定の検証スクリプトを選択し、選択した検証スクリプトを取得する、
ことを特徴とする検証自動化方法。
【０１９４】
（付記１５）
付記１４に記載の検証自動化方法であって、
複数の前記検証スクリプトそれぞれが、当該検証スクリプトの作成の意図を含み、
当該検証自動化方法が、
（ｆ）前記検証対象となるシステムを検証する意図を入力する、ステップを更に有し、
前記（ａ）のステップにおいて、複数の前記検証スクリプトの中から、入力された前記意図に対応する検証スクリプトを選択する、ステップを更に有する、
ことを特徴とする検証自動化方法。
【０１９５】
（付記１６）
付記９〜１５のいずれかに記載の検証自動化方法であって、
（ｇ）具体化された前記実行スクリプトを実行する、ステップと、
（ｈ）前記実行スクリプトの実行の結果について判定を行う、ステップと、
（ｉ）前記判定の結果を、検証の結果として表示する、ステップと、
を更に有する、
ことを特徴とする検証自動化方法。
【０１９６】
（付記１７）
検証スクリプトを検証対象となるシステムに適合させるためのプログラムを記録したコンピュータ読み取り可能な記録媒体であって、
コンピュータに、
（ａ）検証作業を行う実行スクリプト、及び前記実行スクリプトを実行するための実行可能要件を含む、前記検証スクリプトを取得する、ステップと、
（ｂ）前記検証対象となるシステムの環境情報及び前記実行可能要件を用いて、前記検証対象となるシステムにおいて、前記実行スクリプトが実行可能となる構成を探索する、ステップと、
（ｃ）探索された前記構成に基づいて、前記実行スクリプトを、前記検証対象となるシステムで実行できるように具体化する、ステップと
を実行させる命令を含む、プログラムを記録している、
ことを特徴とするコンピュータ読み取り可能な記録媒体。
【０１９７】
（付記１８）
付記１７に記載のコンピュータ読み取り可能な記録媒体であって、
前記プログラムが、前記コンピュータに、
（ｄ）前記（ａ）のステップによって取得された前記検証スクリプトを、前記実行スクリプトと前記実行可能要件とに分離する、ステップを実行させる命令を更に含む、
ことを特徴とするコンピュータ読み取り可能な記録媒体。
【０１９８】
（付記１９）
付記１７または１８に記載のコンピュータ読み取り可能な記録媒体であって、
前記環境情報が、前記検証対象となるシステムを構成する機器及びネットワークの情報を含み、前記機器及び前記ネットワークをパラメータによって規定し、
前記実行可能要件が、前記実行スクリプトを実行可能なシステム構成の情報を含み、
前記（ｂ）のステップにおいて、前記実行可能要件を元に前記環境情報を探索して、前記パラメータで表現された前記構成を特定し、
前記（ｃ）のステップにおいて、前記構成を表現するパラメータを用いて、前記実行スクリプトに含まれるパラメータを修正することによって、前記実行スクリプトを具体化する、
ことを特徴とするコンピュータ読み取り可能な記録媒体。
【０１９９】
（付記２０）
付記１７〜１９のいずれかに記載のコンピュータ読み取り可能な記録媒体であって、
前記（ｃ）のステップにおいて、前記検証対象となるシステムでの特定の動作と前記検証対象となるシステムを構成する機器毎の固有の操作命令との対応関係に基づいて、前記実行スクリプトを前記機器に対応させ、その後、前記実行スクリプトを具体化する、
ことを特徴とするコンピュータ読み取り可能な記録媒体。
【０２００】
（付記２１）
付記１７〜２０のいずれかに記載のコンピュータ読み取り可能な記録媒体であって、
前記検証スクリプトにおいて、前記実行可能要件が、前記実行スクリプトを動作させるためにシステムを構成する機器に求められる実行要件を含み、
前記プログラムは、前記コンピュータに、
（ｅ）前記（ｂ）のステップで探索された前記構成のうち、前記実行要件を満たしている前記構成を特定する、ステップを実行させる命令を更に含み、
前記（ｃ）のステップにおいて、前記（ｅ）のステップによって特定された構成に基づいて、前記実行スクリプトを、前記検証対象となるシステムで実行できるように具体化する、
ことを特徴とするコンピュータ読み取り可能な記録媒体。
【０２０１】
（付記２２）
付記１７〜２１のいずれかに記載のコンピュータ読み取り可能な記録媒体であって、
複数の前記検証スクリプトが、予め用意されており、
前記（ａ）のステップにおいて、複数の前記検証スクリプトの中から、特定の検証スクリプトを選択し、選択した検証スクリプトを取得する、
ことを特徴とするコンピュータ読み取り可能な記録媒体。
【０２０２】
（付記２３）
付記２２に記載のコンピュータ読み取り可能な記録媒体であって、
複数の前記検証スクリプトそれぞれが、当該検証スクリプトの作成の意図を含み、
前記プログラムが、前記コンピュータに、
（ｆ）前記検証対象となるシステムを検証する意図を入力する、ステップを実行させる命令を更に含み、
前記（ａ）のステップにおいて、複数の前記検証スクリプトの中から、入力された前記意図に対応する検証スクリプトを選択する、ステップを実行させる、
ことを特徴とするコンピュータ読み取り可能な記録媒体。
【０２０３】
（付記２４）
付記１７〜２３のいずれかに記載のコンピュータ読み取り可能な記録媒体であって、
前記プログラムが、前記コンピュータに、
（ｇ）具体化された前記実行スクリプトを実行する、ステップと、
（ｈ）前記実行スクリプトの実行の結果について判定を行う、ステップと、
（ｉ）前記判定の結果を、検証の結果として表示する、ステップと、
を実行させる命令を更に含む、
ことを特徴とするコンピュータ読み取り可能な記録媒体。
【０２０４】
以上、実施の形態を参照して本願発明を説明したが、本願発明は上記実施の形態に限定されるものではない。本願発明の構成や詳細には、本願発明のスコープ内で当業者が理解し得る様々な変更をすることができる。
【０２０５】
この出願は、２０１８年７月４日に出願された日本出願特願２０１８−１２７８７８を基礎とする優先権を主張し、その開示の全てをここに取り込む。
【産業上の利用可能性】
【０２０６】
以上のように、本発明によれば、人手によって検証スクリプトの内部パラメータの修正を行うことなく、検証スクリプトの再利用が可能となる。本発明は、システムの設計者が、別のシステム用に作成されたシステムの動作検証プログラムを、自身のシステム用として、動作させたい場合に有用である。
【符号の説明】
【０２０７】
１  検証自動化装置（実施の形態１）
２  検証自動化装置（実施の形態２）
３  検証自動化装置（実施の形態３）
４  検証自動化装置（実施の形態４）
５  検証自動化装置（実施の形態５）
６  検証自動化装置（実施の形態６）
７  検証自動化装置（実施の形態７）
１０  コンピュータ
１１  ＣＰＵ
１２  メインメモリ
１３  記憶装置
１４  入力インターフェイス
１５  表示コントローラ
１６  データリーダ／ライタ
１７  通信インターフェイス
１８  入力機器
１９  ディスプレイ装置
２０  記録媒体
２１  バス
１０１  検証スクリプト取得部
１０２  検証スクリプト分離部
１０３  検証環境記憶部
１０４  検証構成探索部
１０５  実行スクリプト具体化部
１１０  実行可能要件取得部
１１１  実行スクリプト取得部
２０１  機器情報記憶部
３０１  検証構成絞り込み部
４０１  検証スクリプト記憶部
４０２  検証スクリプト選択部
５０１  検証意図入力部
５０２  検証スクリプト選択部
６０１  検証実行部
６０２  検証結果判定部
６０３  検証結果表示部
【図１】
2020008991.tif 000003
【図２】
2020008991.tif 000004
【図３】
2020008991.tif 000005
【図４】
2020008991.tif 000006
【図５】
2020008991.tif 000007
【図６】
2020008991.tif 000008
【図７】
2020008991.tif 000009
【図８】
2020008991.tif 000010
【図９】
2020008991.tif 000011
【図１０】
2020008991.tif 000012
【図１１】
2020008991.tif 000013
【図１２】
2020008991.tif 000014
【図１３】
2020008991.tif 000015
【図１４】
2020008991.tif 000016
【図１５】
2020008991.tif 000017
【図１６】
2020008991.tif 000018
【図１７】
2020008991.tif 000019
【図１８】
2020008991.tif 000020
【図１９】
2020008991.tif 000021
【図２０】
2020008991.tif 000022
【図２１】
2020008991.tif 000023
【図２２】
2020008991.tif 000024
【図２３】
2020008991.tif 000025
【図２４】
2020008991.tif 000026
【図２５】
2020008991.tif 000027
【手続補正書】
【提出日】令和2年12月21日(2020.12.21)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
検証スクリプトを検証対象となるシステムに適合させるための装置であって、
検証作業を行う実行スクリプト、及び前記実行スクリプトを実行するための実行可能要件を含む、前記検証スクリプトを取得する、検証スクリプト取得手段と、
前記検証対象となるシステムの環境情報及び前記実行可能要件を用いて、前記検証対象となるシステムにおいて、前記実行スクリプトが実行可能となる構成を探索する、検証構成探索手段と、
探索された前記構成に基づいて、前記実行スクリプトを、前記検証対象となるシステムで実行できるように具体化する、実行スクリプト具体化手段と、
を備えている、
ことを特徴とする検証自動化装置。
【請求項２】
請求項１に記載の検証自動化装置であって、
前記検証スクリプト取得手段によって取得された前記検証スクリプトを、前記実行スクリプトと前記実行可能要件とに分離する、検証スクリプト分離手段を、更に備えている、ことを特徴とする検証自動化装置。
【請求項３】
請求項１または２に記載の検証自動化装置であって、
前記環境情報が、前記検証対象となるシステムを構成する機器及びネットワークの情報を含み、前記機器及び前記ネットワークをパラメータによって規定し、
前記実行可能要件が、前記実行スクリプトを実行可能なシステム構成の情報を含み、
前記検証構成探索手段が、前記実行可能要件を元に前記環境情報を探索して、前記パラメータで表現された前記構成を特定し、
前記実行スクリプト具体化手段が、前記構成を表現するパラメータを用いて、前記実行スクリプトに含まれるパラメータを修正することによって、前記実行スクリプトを具体化する、
ことを特徴とする検証自動化装置。
【請求項４】
請求項１〜３のいずれかに記載の検証自動化装置であって、
前記実行スクリプト具体化手段が、前記検証対象となるシステムでの特定の動作と前記検証対象となるシステムを構成する機器毎の固有の操作命令との対応関係に基づいて、前記実行スクリプトを前記機器に対応させ、その後、前記実行スクリプトを具体化する、
ことを特徴とする検証自動化装置。
【請求項５】
請求項１〜４のいずれかに記載の検証自動化装置であって、
前記検証スクリプトにおいて、前記実行可能要件が、前記実行スクリプトを動作させるためにシステムを構成する機器に求められる実行要件を含み、
当該検証自動化装置は、
探索された前記構成のうち、前記実行要件を満たしている前記構成を特定する、検証構成絞り込み手段を更に備え、
前記実行スクリプト具体化手段が、前記検証構成絞り込み手段によって特定された構成に基づいて、前記実行スクリプトを、前記検証対象となるシステムで実行できるように具体化する、
ことを特徴とする検証自動化装置。
【請求項６】
請求項１〜５のいずれかに記載の検証自動化装置であって、
複数の前記検証スクリプトが、予め用意されており、
前記検証スクリプト取得手段が、複数の前記検証スクリプトの中から、特定の検証スクリプトを選択し、選択した検証スクリプトを取得する、
ことを特徴とする検証自動化装置。
【請求項７】
請求項６に記載の検証自動化装置であって、
複数の前記検証スクリプトそれぞれが、当該検証スクリプトの作成の意図を含み、
当該検証自動化装置が、前記検証スクリプト取得手段に、前記検証対象となるシステムを検証する意図を入力する、検証意図入力手段を更に備え、
前記検証スクリプト取得手段が、複数の前記検証スクリプトの中から、入力された前記意図に対応する検証スクリプトを選択する、
ことを特徴とする検証自動化装置。
【請求項８】
請求項１〜７のいずれかに記載の検証自動化装置であって、
具体化された前記実行スクリプトを実行する、検証実行手段と、
前記実行スクリプトの実行の結果について判定を行う、検証結果判定手段と、
前記判定の結果を、検証の結果として表示する、検証結果表示手段と、
を更に備えている、
ことを特徴とする検証自動化装置。
【請求項９】
検証スクリプトを検証対象となるシステムに適合させるための方法であって、
検証作業を行う実行スクリプト、及び前記実行スクリプトを実行するための実行可能要件を含む、前記検証スクリプトを取得し、
前記検証対象となるシステムの環境情報及び前記実行可能要件を用いて、前記検証対象となるシステムにおいて、前記実行スクリプトが実行可能となる構成を探索し、
探索された前記構成に基づいて、前記実行スクリプトを、前記検証対象となるシステムで実行できるように具体化する、
ことを特徴とする検証自動化方法。
【請求項１０】
検証スクリプトを検証対象となるシステムに適合させるためのプログラムであって、
コンピュータに、
（ａ）検証作業を行う実行スクリプト、及び前記実行スクリプトを実行するための実行可能要件を含む、前記検証スクリプトを取得する、ステップと、
（ｂ）前記検証対象となるシステムの環境情報及び前記実行可能要件を用いて、前記検証対象となるシステムにおいて、前記実行スクリプトが実行可能となる構成を探索する、ステップと、
（ｃ）探索された前記構成に基づいて、前記実行スクリプトを、前記検証対象となるシステムで実行できるように具体化する、ステップと
を実行させる、プログラム。
【手続補正３】
【補正対象書類名】明細書
【補正対象項目名】０００１
【補正方法】変更
【補正の内容】
【０００１】
本発明は、特定のシステムにおける検証を自動化するための、検証自動化装置及び検証自動化方法に関し、更には、これらを実現するためのプログラムに関する。
【手続補正４】
【補正対象書類名】明細書
【補正対象項目名】０００８
【補正方法】変更
【補正の内容】
【０００８】
［発明の目的］
本発明の目的の一例は、上記問題を解消し、人手によって検証スクリプトの内部パラメータの修正を行うことなく、検証スクリプトの再利用を可能にし得る、検証自動化装置、検証自動化方法、及びプログラムを提供することにある。
【手続補正５】
【補正対象書類名】明細書
【補正対象項目名】００１１
【補正方法】変更
【補正の内容】
【００１１】
更に、上記目的を達成するため、本発明の一側面におけるプログラムは、検証スクリプトを検証対象となるシステムに適合させるためのプログラムであって、
コンピュータに、
（ａ）検証作業を行う実行スクリプト、及び前記実行スクリプトを実行するための実行可能要件を含む、前記検証スクリプトを取得する、ステップと、
（ｂ）前記検証対象となるシステムの環境情報及び前記実行可能要件を用いて、前記検証対象となるシステムにおいて、前記実行スクリプトが実行可能となる構成を探索する、ステップと、
（ｃ）探索された前記構成に基づいて、前記実行スクリプトを、前記検証対象となるシステムで実行できるように具体化する、ステップと
を実行させる、
ことを特徴とする。
【手続補正６】
【補正対象書類名】明細書
【補正対象項目名】００６０
【補正方法】変更
【補正の内容】
【００６０】
ステップＳ２０４の判定の結果、１つ以上の構成を特定できなかった場合は、検証自動化装置２における処理は終了する。この場合、検証構成探索部１０４は、ステップＳ２０１で取得した検証スクリプトは実行不可能であると判断してエラーを出力する。
【手続補正７】
【補正対象書類名】明細書
【補正対象項目名】００６３
【補正方法】変更
【補正の内容】
【００６３】
次に、実行スクリプト具体化部１０５は、ステップＳ２０５で抽出されたパラメータを、ステップＳ２０６の処理が行われた実行スクリプトのパラメータに挿入して、実行スクリプトを具体化する（ステップＳ２０７）。これにより、検証環境で実行可能な実行スクリプト群が生成される。
【手続補正８】
【補正対象書類名】明細書
【補正対象項目名】００７８
【補正方法】変更
【補正の内容】
【００７８】
ステップＳ３０５の判定の結果、１つ以上の構成を特定できなかった場合は、検証自動化装置３における処理は終了する。この場合、検証構成探索部１０４は、ステップＳ３０１で取得した検証スクリプトは実行不可能であると判断してエラーを出力する。
【手続補正９】
【補正対象書類名】明細書
【補正対象項目名】０１２６
【補正方法】変更
【補正の内容】
【０１２６】
検証結果表示部６０３は、検証結果判定部６０２による判定の結果を、検証の結果として、利用者の端末装置等の画面上に表示する。また、検証結果表示部６０３は、検証構成探索部１０４によって特定された構成も、検証結果と一緒に、画面上に表示することもできる。
【手続補正１０】
【補正対象書類名】明細書
【補正対象項目名】０１５７
【補正方法】変更
【補正の内容】
【０１５７】
次に、検証構成探索部１０４は、実行可能要件を満たすシステムの構成を探索する（ステップＳ７０４）。ステップＳ７０４は、図６に示したステップＳ１０３と同様のステップである。
【手続補正１１】
【補正対象書類名】明細書
【補正対象項目名】０１６６
【補正方法】変更
【補正の内容】
【０１６６】
次に、検証実行部６０１は、ステップＳ７０９によって具体化された実行スクリプトを含む検証スクリプトを受け取り、この検証スクリプトに含まれる実行スクリプトを実行する（ステップＳ７１０）。ステップＳ７１０は、図２１に示したステップＳ６０７と同様のステップである。
【手続補正１２】
【補正対象書類名】明細書
【補正対象項目名】０１７１
【補正方法】変更
【補正の内容】
【０１７１】
また、本実施の形態７におけるプログラムは、複数のコンピュータによって構築されたコンピュータシステムによって実行されても良い。この場合は、例えば、各コンピュータが、それぞれ、検証スクリプト取得部１０１、検証スクリプト分離部１０２、検証構成探索部１０４、実行スクリプト具体化部１０５、検証構成絞り込み部３０１、検証意図入力部５０１、検証実行部６０１、検証結果判定部６０２、及び検証結果表示部６０３のいずれかとして機能しても良い。また、検証環境記憶部１０３、機器情報記憶部２０１及び検証スクリプト記憶部４０１は、本実施の形態７におけるプログラムを実行するコンピュータとは別のコンピュータ上に構築されていても良い。
【手続補正１３】
【補正対象書類名】明細書
【補正対象項目名】０１９６
【補正方法】変更
【補正の内容】
【０１９６】
（付記１７）
検証スクリプトを検証対象となるシステムに適合させるためのプログラムであって、
コンピュータに、
（ａ）検証作業を行う実行スクリプト、及び前記実行スクリプトを実行するための実行可能要件を含む、前記検証スクリプトを取得する、ステップと、
（ｂ）前記検証対象となるシステムの環境情報及び前記実行可能要件を用いて、前記検証対象となるシステムにおいて、前記実行スクリプトが実行可能となる構成を探索する、ステップと、
（ｃ）探索された前記構成に基づいて、前記実行スクリプトを、前記検証対象となるシステムで実行できるように具体化する、ステップと
を実行させる、プログラム。
【手続補正１４】
【補正対象書類名】明細書
【補正対象項目名】０１９７
【補正方法】変更
【補正の内容】
【０１９７】
（付記１８）
付記１７に記載のプログラムであって、
前記コンピュータに、
（ｄ）前記（ａ）のステップによって取得された前記検証スクリプトを、前記実行スクリプトと前記実行可能要件とに分離する、ステップを更に実行させる、
ことを特徴とするプログラム。
【手続補正１５】
【補正対象書類名】明細書
【補正対象項目名】０１９８
【補正方法】変更
【補正の内容】
【０１９８】
（付記１９）
付記１７または１８に記載のプログラムであって、
前記環境情報が、前記検証対象となるシステムを構成する機器及びネットワークの情報を含み、前記機器及び前記ネットワークをパラメータによって規定し、
前記実行可能要件が、前記実行スクリプトを実行可能なシステム構成の情報を含み、
前記（ｂ）のステップにおいて、前記実行可能要件を元に前記環境情報を探索して、前記パラメータで表現された前記構成を特定し、
前記（ｃ）のステップにおいて、前記構成を表現するパラメータを用いて、前記実行スクリプトに含まれるパラメータを修正することによって、前記実行スクリプトを具体化する、
ことを特徴とするプログラム。
【手続補正１６】
【補正対象書類名】明細書
【補正対象項目名】０１９９
【補正方法】変更
【補正の内容】
【０１９９】
（付記２０）
付記１７〜１９のいずれかに記載のプログラムであって、
前記（ｃ）のステップにおいて、前記検証対象となるシステムでの特定の動作と前記検証対象となるシステムを構成する機器毎の固有の操作命令との対応関係に基づいて、前記実行スクリプトを前記機器に対応させ、その後、前記実行スクリプトを具体化する、
ことを特徴とするプログラム。
【手続補正１７】
【補正対象書類名】明細書
【補正対象項目名】０２００
【補正方法】変更
【補正の内容】
【０２００】
（付記２１）
付記１７〜２０のいずれかに記載のプログラムであって、
前記検証スクリプトにおいて、前記実行可能要件が、前記実行スクリプトを動作させるためにシステムを構成する機器に求められる実行要件を含み、
前記コンピュータに、
（ｅ）前記（ｂ）のステップで探索された前記構成のうち、前記実行要件を満たしている前記構成を特定する、ステップを更に実行させ、
前記（ｃ）のステップにおいて、前記（ｅ）のステップによって特定された構成に基づいて、前記実行スクリプトを、前記検証対象となるシステムで実行できるように具体化する、
ことを特徴とするプログラム。
【手続補正１８】
【補正対象書類名】明細書
【補正対象項目名】０２０１
【補正方法】変更
【補正の内容】
【０２０１】
（付記２２）
付記１７〜２１のいずれかに記載のプログラムであって、
複数の前記検証スクリプトが、予め用意されており、
前記（ａ）のステップにおいて、複数の前記検証スクリプトの中から、特定の検証スクリプトを選択し、選択した検証スクリプトを取得する、
ことを特徴とするプログラム。
【手続補正１９】
【補正対象書類名】明細書
【補正対象項目名】０２０２
【補正方法】変更
【補正の内容】
【０２０２】
（付記２３）
付記２２に記載のプログラムあって、
複数の前記検証スクリプトそれぞれが、当該検証スクリプトの作成の意図を含み、
前記コンピュータに、
（ｆ）前記検証対象となるシステムを検証する意図を入力する、ステップを更に実行させ、
前記（ａ）のステップにおいて、複数の前記検証スクリプトの中から、入力された前記意図に対応する検証スクリプトを選択する、ステップを実行させる、
ことを特徴とするプログラム。
【手続補正２０】
【補正対象書類名】明細書
【補正対象項目名】０２０３
【補正方法】変更
【補正の内容】
【０２０３】
（付記２４）
付記１７〜２３のいずれかに記載のプログラムであって、
前記コンピュータに、
（ｇ）具体化された前記実行スクリプトを実行する、ステップと、
（ｈ）前記実行スクリプトの実行の結果について判定を行う、ステップと、
（ｉ）前記判定の結果を、検証の結果として表示する、ステップと、
を更に実行させる、
ことを特徴とするプログラム。
【手続補正２１】
【補正対象書類名】図面
【補正対象項目名】図７
【補正方法】変更
【補正の内容】
【図７】
2020008991.tif 000028
【国際調査報告】
2020008991.tif 000029
2020008991.tif 000030