JP6649580B2 - ソフトウエア検証プログラム、ソフトウエア検証装置及びソフトウエア検証方法 - Google Patents

Description

本発明は、ソフトウエア検証プログラム、ソフトウエア検証装置及びソフトウエア検証方法に関する。

例えば、利用者に対してサービスを提供する事業者（以下、単に事業者とも呼ぶ）は、利用者に対して各種サービスの提供を行うために、用途に応じた業務システムを構築して稼働させる。そして、事業者は、例えば、利用者に対する新たなサービスの追加等に応じて、業務システムに対する新たなソフトウエアの導入（導入済のソフトウエアを改版したソフトウエアを含む）を適宜実施する。

この場合、事業者は、業務システムに対する新たなソフトウエアの導入を行う前において、一般的に、新たなソフトウエアの動作等に関する検証（以下、単にテストとも呼ぶ）を行う。そして、事業者は、新たなソフトウエアの動作等に問題がないことが確認できた場合に、新たなソフトウエアを業務システムに導入する。これにより、事業者は、業務システムへの新たなソフトウエアの導入後において、新たなソフトウエアに起因する業務システムの障害の発生を防止することが可能になる（例えば、特許文献１から３参照）。

特開平５−１３４８９６号公報 特開平５−１５８７３９号公報 特開平７−１３４６６０号公報

上記のように新たなソフトウエアのテストを行う場合、事業者は、テストを行う際に用いるテストデータを事前に生成する。そして、事業者は、例えば、生成したテストデータをディスク装置（例えば、ＨＤＤ：Ｈａｒｄ Ｄｉｓｋ Ｄｒｉｖｅ）を記憶する。その後、事業者は、ディスク装置に記憶されたテストデータを取得することにより、新たなソフトウエアのテストを行う。

しかしながら、例えば、業務システムに対して導入される新たなソフトウエアが複数存在する場合、ディスク装置に予め記憶しておく必要があるテストデータのデータ量（情報量）が膨大になる。また、ディスク装置が他の用途（例えば、業務システムから出力されるデータの記憶等）にも使用されている場合、事業者は、テストデータを記憶するための領域を十分に確保できない場合がある。

そこで、一つの側面では、本発明は、ソフトウエアの検証に用いられるデータ容量を低減することを可能とするソフトウエア検証プログラム、ソフトウエア検証装置及びソフトウエア検証方法を提供することを目的とする。

実施の形態の一態様では、コンピュータに、検証対象のソフトウエアの実行に応じてアクセスされる検証用データを含む検証用ファイルとファイル名が一致し、かつ、前記検証用データを生成するためのデータ生成情報を含む仮ファイルを生成し、前記仮ファイルに対する前記検証対象のソフトウエアからのアクセス要求が行われる際に、前記データ生成情報に基づいて前記検証用データを生成し、生成した前記検証用データを前記検証対象のソフトウエアに参照させる、処理を実行させる。

一つの側面によれば、ソフトウエアの検証に用いられるデータ容量を低減する。

情報処理システム１０の構成を示す図である。 新たなソフトウエアのテストを行う際の比較例を説明する図である。 新たなソフトウエアのテストを行う際の比較例を説明する図である。 情報処理装置１のハードウエア構成を示す図である。 情報処理装置１の機能のブロック図である。 情報処理装置１の情報格納領域１３０に記憶された情報のブロック図である。 記憶装置２の情報格納領域２３０に記憶された情報のブロック図である。 第１の実施の形態におけるソフトウエア検証処理の概略を説明するフローチャート図である。 第１の実施の形態におけるソフトウエア検証処理の概略を説明する図である。 第１の実施の形態におけるソフトウエア検証処理の概略を説明する図である。 第１の実施の形態におけるソフトウエア検証処理の概略を説明する図である。 第１の実施の形態におけるソフトウエア検証処理の概略を説明する図である。 第１の実施の形態におけるソフトウエア検証処理の概略を説明する図である。 第１の実施の形態におけるソフトウエア検証処理の詳細を説明するフローチャート図である。 第１の実施の形態におけるソフトウエア検証処理の詳細を説明するフローチャート図である。 第１の実施の形態におけるソフトウエア検証処理の詳細を説明するフローチャート図である。 生成情報２３１の具体例を説明する図である。 仮ファイルに含まれる生成情報２３１及び識別情報２３２の具体例を説明する図である。 ファイル管理情報１３３の具体例を説明する図である。 検証用情報１３１の具体例を説明する図である。 ファイル管理情報１３３の具体例を説明する図である。 ファイル管理情報１３３の具体例を説明する図である。 ファイル管理情報１３３の具体例を説明する図である。 ファイル管理情報１３３の具体例を説明する図である。 第２の実施の形態におけるソフトウエア検証処理を説明するフローチャート図である。 第２の実施の形態におけるソフトウエア検証処理を説明するフローチャート図である。 第２の実施の形態におけるソフトウエア検証処理を説明するフローチャート図である。 仮ファイル退避処理を説明するフローチャート図である。

［情報処理システムの構成］
図１は、情報処理システム１０の構成を示す図である。図１に示す情報処理システム１０は、情報処理装置１（ソフトウエア検証装置１とも呼ぶ）と、記憶装置２とを有する。情報処理装置１は、インターネットやイントラネット等からなるネットワークＮＷを介して事業者端末３にアクセスすることが可能である。

情報処理装置１は、業務システム（図示しない）に導入する新たなソフトウエアのテストを行うための処理（以下、ソフトウエア検証処理とも呼ぶ）を実行する。ソフトウエア検証処理の詳細については後述する。

記憶装置２は、例えば、ＨＤＤ等からなる外部ディスク装置である。具体的に、記憶装置２は、例えば、情報処理装置１がソフトウエア検証処理を実行する際に参照する各種情報を記憶する。なお、記憶装置２は、情報処理装置１の内部に設けられたディスク装置であってもよい。

事業者端末３は、新たなソフトウエアのテストを行う事業者が利用する端末である。具体的に、事業者は、事業者端末３を介して、新たなソフトウエアのテストの開始指示等を行う。

［新たなソフトウエアのテストを行う際の比較例］
次に、新たなソフトウエアのテストを行う際の比較例について説明を行う。図２及び図３は、新たなソフトウエアのテストを行う際の比較例を説明する図である。

図２及び図３に示す情報処理装置１のＣＰＵ（Ｃｅｎｔｒａｌ Ｐｒｏｃｅｓｓｉｎｇ Ｕｎｉｔ）は、テストデータを生成するためのプログラムと協働して、データ生成部１１として動作する。また、図２及び図３に示す情報処理装置１のＣＰＵは、テストの実行を指示するためのプログラムと協働して、テスト実行指示部１２として動作する。また、図２及び図３に示す情報処理装置１のＣＰＵは、テスト対象の新たなソフトウエアに含まれるプログラムと協働して、テスト対象部１３として動作する。

具体的に、事業者は、図２に示すように、事業者端末３を介して、テストデータの生成指示をデータ生成部１１に送信する。そして、データ生成部１１は、事業者端末３からテストデータ作成指示を受信した場合、例えば、テストデータの生成指示に含まれる情報を入力としてテストデータ２１を生成する。その後、データ生成部１１は、生成したテストデータ２１を記憶装置２に記憶する。

また、事業者は、図３に示すように、事業者端末３を介して、テスト実行指示をテスト実行指示部１２に送信する。そして、テスト実行指示部１２は、事業者端末３からテスト実行指示を受信した場合、記憶装置２に記憶されたテストデータ２１を入力とする処理（以下、テスト処理とも呼ぶ）の実行をテスト対象部１３に指示する。

その後、テスト対象部１３は、記憶装置２からテストデータ２１を取得し、取得したテストデータ２１を入力する処理を実行する。そして、事業者は、例えば、事業者端末３を介して、テスト対象部１３による処理の結果を取得し、テスト対象部１３の動作の正常性を判定する。

その結果、テスト対象部１３の動作の正常性に異常がない場合、事業者は、利用者にサービスを提供する業務システム（図示しない）に対して、新たなソフトウエアの導入を行う。これにより、事業者は、業務システムへの導入後において、新たなソフトウエアに起因する障害の発生を防止することが可能になる。

上記のように新たなソフトウエアのテストを行う場合、事業者は、新たなソフトウエアのテストデータを事前に生成し、記憶装置２に記憶する。そして、事業者は、記憶装置２に記憶されたテストデータを取得することにより、新たなソフトウエアのテストを行う。

しかしながら、例えば、業務システムに対して導入される新たなソフトウエアが複数存在する場合、記憶装置２に予め記憶しておく必要があるテストデータのデータ量が膨大になる。また、記憶装置２が他の用途にも使用されている場合、事業者は、テストデータを記憶するための領域を十分に確保できない場合がある。

そこで、本実施の形態における情報処理装置１は、新たなソフトウエア（以下、検証対象のソフトウエアとも呼ぶ）の実行に応じてアクセスされるテストデータ２１（以下、検証用データ２１とも呼ぶ）を含む検証用ファイルに代えて、仮ファイルを生成する。具体的に、情報処理装置１は、検証用ファイルとファイル名が一致し、かつ、検証用データ２１を生成するためのデータ生成情報を含むように仮ファイルを生成する。

その後、情報処理装置１は、仮ファイルに対する検証対象のソフトウエアからのアクセスが行われる際に、データ生成情報に基づいて検証用データ２１を生成する。そして、情報処理装置１は、生成した検証用データ２１を検証対象のソフトウエアに参照させる。

すなわち、情報処理装置１は、検証対象のソフトウエアが検証用データ２１にアクセスするタイミングになるまで検証用データ２１の生成を行わない。具体的に、情報処理装置１は、検証対象のソフトウエアのテストの実行前においては、検証用データ２１を生成するためのデータ生成情報（パラメータ情報）のみを生成し、記憶装置２に記憶する。そして、情報処理装置１は、検証対象のソフトウエアから検証用データ２１のアクセスが行われる際に、記憶装置２に記憶したデータ生成情報から検証用データ２１の生成を行う。これにより、情報処理装置１は、記憶装置２に記憶されるデータの容量を低減させることが可能になる。

また、情報処理装置１は、仮ファイルを生成する際に、仮ファイルのファイル名を検証用ファイルと同じファイル名にする。これにより、例えば、仮ファイルのファイル名の参照要求等が発生した場合、情報処理装置１は、仮ファイルに検証用データ２１が含まれていないことを参照要求の要求元に意識させることなく、参照要求に対する応答を要求元に送信することが可能になる。

［情報処理装置のハードウエア構成］
次に、情報処理装置１のハードウエア構成について説明する。図４は、情報処理装置１のハードウエア構成を示す図である。

情報処理装置１は、プロセッサであるＣＰＵ１０１と、メモリ１０２と、外部インターフェース（Ｉ／Ｏユニット）１０３と、記憶媒体１０４とを有する。各部は、バス１０５を介して互いに接続される。

記憶媒体１０４は、例えば、ソフトウエア検証処理を行うためのプログラム１１０を記憶する。また、記憶媒体１０４は、例えば、ソフトウエア検証処理を行う際に用いられる情報を記憶する情報格納領域１３０（以下、記憶部１３０とも呼ぶ）を有する。

ＣＰＵ１０１は、図４に示すように、プログラム１１０の実行時に、プログラム１１０を記憶媒体１０４からメモリ１０２にロードし、プログラム１１０と協働してソフトウエア検証処理を行う。

外部インターフェース１０３は、例えば、記憶装置２と通信を行う。また、外部インターフェース１０３は、例えば、ネットワークＮＷを介して事業者端末３と通信を行う。

［情報処理装置の機能］
次に、情報処理装置１の機能について説明する。図５は、情報処理装置１の機能のブロック図である。また、図６は、情報処理装置１の情報格納領域１３０に記憶された情報のブロック図である。さらに、図７は、記憶装置２の情報格納領域２３０に記憶された情報のブロック図である。なお、以下、ソフトウエア検証処理は、記憶装置２を制御するためのディスクドライバ（以下、単にドライバとも呼ぶ）において実行される処理であるものとして説明を行う。

情報処理装置１のＣＰＵ１０１は、図５に示すように、プログラム１１０と協働することにより、例えば、情報受信部１１１と、仮ファイル生成部１１２（以下、第１生成部１１２とも呼ぶ）と、検証用情報生成部１１３（以下、第２生成部１１３とも呼ぶ）と、情報参照部１１４として動作する。また、情報処理装置１のＣＰＵ１０１は、図５に示すように、プログラム１１０と協働することにより、例えば、仮ファイル退避部１１５と、情報管理部１１６と、情報送信部１１７として動作する。

さらに、情報処理装置１のメモリ１０２には、図６に示すように、例えば、検証用情報１３１が記憶される。また、情報処理装置１の情報格納領域１３０には、図６に示すように、例えば、カウンタ情報１３２と、ファイル管理情報１３３とが記憶される。なお、検証用情報１３１は、図２等で説明したテストデータ２１（検証用データ２１）に対応する。

また、記憶装置２の情報格納領域２３０には、図７に示すように、例えば、データ生成情報２３１（以下、単に生成情報２３１とも呼ぶ）と、識別情報２３２とが記憶される。

情報受信部１１１は、図２等で説明したデータ生成部１１から、検証用情報１３１を生成するための生成情報２３１を取得する旨の情報（以下、生成情報２３１の取得要求とも呼ぶ）を受信する。生成情報２３１は、例えば、検証用情報１３１を生成するためのパラメータ情報を含む情報である。また、情報受信部１１１は、例えば、データ生成部１１から、データ生成部１１が生成した検証用情報１３１を記憶装置２に記憶する旨の情報（以下、検証用情報１３１の記憶要求とも呼ぶ）を受信する。

そして、情報受信部１１１は、図２等で説明したテスト実行指示部１２から、仮ファイルのファイル名を取得する旨の情報（以下、ファイル名の取得要求とも呼ぶ）を受信する。また、情報受信部１１１は、テスト実行指示部１２から、仮ファイルを生成するための生成情報２３１の取得要求を受信する。さらに、情報受信部１１１は、図２等で説明したテスト対象部１３から、仮ファイルに対するアクセスを要求する旨の情報（以下、仮ファイルのアクセス要求とも呼ぶ）を受信する。検証用情報１３１及び生成情報２３１の具体例については後述する。

仮ファイル生成部１１２は、検証対象のソフトウエアの実行に応じてアクセスされる検証用情報１３１を含む検証用ファイルに代えて、検証用ファイルとファイル名が一致し、かつ、生成情報２３１を含む仮ファイルを生成する。

すなわち、仮ファイル生成部１１２は、データ生成部１１が生成した検証用情報１３１を記憶装置２に記憶する旨の情報を受信した場合であっても、その検証用情報１３１の記憶を行わない。そして、仮ファイル生成部１１２は、検証用情報１３１を含む検証用ファイルに代えて、生成情報２３１を含む仮ファイルを記憶装置２に記憶する。

一方、検証用情報１３１を生成するための生成情報２３１が記憶装置２に記憶されている。そのため、検証用情報生成部１１３は、後述するように、必要に応じて、検証用情報１３１を生成することが可能である。これにより、情報管理部１１６は、検証対象のソフトウエアのテストが実施される際に、記憶装置２に記憶する必要がある情報量を低減させることが可能になる。

検証用情報生成部１１３は、仮ファイルに対するテスト対象部１３からのアクセス要求が行われる際に、記憶装置２に記憶された生成情報２３１に基づいて検証用情報１３１を生成する。具体的に、検証用情報生成部１１３は、仮ファイルに対するテスト対象部１３からのアクセス要求が行われる前に、検証用情報１３１の生成を行うものであってよい。また、検証用情報生成部１１３は、仮ファイルに対するテスト対象部１３からのアクセス要求が行われたことに応じて、検証用情報１３１の生成を行うものであってよい。

情報参照部１１４は、例えば、仮ファイルに対するテスト対象部１３からのアクセス要求に対して、検証用情報生成部１１３が生成した検証用情報１３１を参照する。

すなわち、テスト対象部１３がアクセスした仮ファイルには、ファイルの実体である検証用情報１３１が存在しない。そのため、情報参照部１１４は、仮ファイルに対する検証対象のソフトウエア（テスト対象部１３）からのアクセス要求があった場合、そのアクセス要求によるアクセス先を変更し、検証用情報生成部１１３が生成した検証用情報１３１を参照する。

また、情報参照部１１４は、テスト実行指示部１２から、仮ファイルのファイル名の取得要求を受信した場合、仮ファイルのファイル名を取得する。なお、仮ファイルのファイル名は、記憶装置２に記憶されているものであってよい。

さらに、情報参照部１１４は、テスト実行指示部１２等から、生成情報２３１の取得要求を受信した場合、記憶装置２に記憶された生成情報２３１を取得する。

仮ファイル退避部１１５は、テスト対象部１３等から、仮ファイルの退避要求（格納位置の変更要求）があった場合、仮ファイルのデータサイズを取得し、仮ファイルの格納位置の変更を行う。

すなわち、テスト対象部１３等は、データ生成部１１が生成した検証用情報１３１を含む検証用ファイルの先頭アドレス及びデータサイズ（以下、サイズ情報とも呼ぶ）に基づいて、仮ファイルの格納位置の変更要求を行う場合がある。しかしながら、記憶装置２には、検証用ファイルの代わりに仮ファイルが記憶されている。そして、テスト対象部１３等が認識する検証用ファイルのサイズ情報は、実際に記憶装置２に記憶されている仮ファイルのサイズ情報と異なる。そのため、仮ファイル退避部１１５は、仮ファイルの格納位置の変更を行う場合、仮ファイルのサイズ情報を取得する。そして、仮ファイル退避部１１５は、取得したサイズ情報に対応する情報について、格納位置の変更を行う。

情報管理部１１６は、仮ファイル生成部１１２が生成した生成情報２３１を含む仮ファイルを記憶装置２に記憶する。

一方、情報管理部１１６は、情報受信部１１１が検証用情報１３１の記憶要求を受信した場合であっても、検証用情報生成部１１３が生成した検証用情報１３１を記憶装置２に記憶しない。そのため、検証用情報１３１は、メモリ１０２上において他の情報に上書きされるまでの間のみ維持される。

すなわち、検証用情報１３１は、テスト対象部１３からのアクセス要求に対する応答を行うために生成される情報である。そのため、検証用情報１３１は、場合によっては、長期間記憶しておく必要がない情報である。したがって、情報管理部１１６は、検証用情報生成部１１３が生成した検証用情報１３１を記憶装置２に記憶しない。これにより、情報管理部１１６は、検証対象のソフトウエアのテストが実施される際に、記憶装置２に記憶する必要がある情報量を低減させることが可能になる。

情報送信部１１７は、生成情報２３１の取得要求に応じて取得された生成情報２３１を、データ生成部１１等に送信する。また、情報送信部１１７は、仮ファイルのファイル名の取得要求に応じて取得された仮ファイルのファイル名を、テスト実行指示部１２に送信する。さらに、情報送信部１１７は、仮ファイルに対するアクセス要求に対する応答を、テスト対象部１３に送信する。識別情報２３２、カウンタ情報１３２及びファイル管理情報１３３については後述する。

［第１の実施の形態］
次に、第１の実施の形態について説明する。図８は、第１の実施の形態におけるソフトウエア検証処理の概略を説明するフローチャート図である。また、図９から図１３は、第１の実施の形態におけるソフトウエア検証処理の概略を説明する図である。図９から図１３を参照しながら図８のソフトウエア検証処理の概略について説明する。

［情報処理装置の構成の詳細］
初めに、情報処理装置１の構成の詳細について説明を行う。図９は、情報処理装置１の構成の詳細を説明する図である。

図９に示す情報処理装置１において、図４で説明したメモリ１０２等を含むハードウエア１６上には、ＯＳ（Ｏｐｅｒａｔｉｎｇ Ｓｙｓｔｅｍ）１４が動作する。そして、図９に示す情報処理装置１において、ＯＳ上では、図２等で説明したデータ生成部１１と、テスト実行指示部１２と、テスト対象部１３とが動作する。

そして、図９に示す情報処理装置１において、ハードウエア１６とＯＳ１４との間には、ハードウエア１６や記憶装置２を制御するドライバ１５が動作する。以下、図９に示す情報処理装置１におけるドライバ１５がソフトウエア検証処理を実行するものとして説明を行う。

［第１の実施の形態の概略を説明するフローチャート］
次に、第１の実施の形態の概略のフローチャートについて説明を行う。情報処理装置１のドライバ１５は、図８に示すように、仮ファイルを生成するタイミング（以下、仮ファイル生成タイミングとも呼ぶ）になるまで待機する（Ｓ１のＮＯ）。仮ファイル生成タイミングは、例えば、図１０に示すように、データ生成部１１（ＯＳ１４）から、検証用情報１３１（データ生成部１１が生成した検証用情報１３１）の記憶要求があったタイミングであってよい。

その後、仮ファイル生成タイミングになった場合（Ｓ１のＹＥＳ）、ドライバ１５は、図１０に示すように、検証用情報１３１を含む検証用ファイルとファイル名が一致し、かつ、生成情報２３１を含む仮ファイルを生成する（Ｓ２）。そして、ドライバ１５は、生成した仮ファイルを記憶装置２に記憶する。

すなわち、ドライバ１５は、例えば、データ生成部１１が生成した検証用情報１３１の記憶装置２への記憶要求を受信した場合であっても、その検証用情報１３１の記憶を行わない。そして、仮ファイル生成部１１２は、検証用情報１３１を含む検証用ファイルに代えて、生成情報２３１を含む仮ファイルを記憶装置２に記憶する。

その後、ドライバ１５は、仮ファイルに対する検証対象のソフトウエア（テスト対象部１３）からのアクセス要求が行われるタイミングになるまで待機する（Ｓ３のＮＯ）。そして、検証対象のソフトウエアからのアクセス要求が行われるタイミングになった場合（Ｓ３のＹＥＳ）、ドライバ１５は、図１１に示すように、記憶装置２に記憶された仮ファイルに含まれる生成情報２３１を取得する。具体的に、ドライバ１５は、記憶装置２に記憶された生成情報２３１の中から、検証対象のソフトウエアからのアクセス要求に対応する検証用情報１３１を生成するための生成情報２３１を取得する。そして、ドライバ１５は、図１２に示すように、取得した生成情報２３１に基づいて検証用情報１３１を生成する（Ｓ４）。さらに、ドライバ１５は、図１３に示すように、生成した検証用情報１３１を検証対象のソフトウエアに参照させる（Ｓ４）。

すなわち、ドライバ１５は、Ｓ２の処理において、検証用情報１３１を含む検証用ファイルに代えて、生成情報２３１を含む仮ファイルを記憶装置２に記憶している。そのため、ドライバ１５は、検証対象のソフトウエアからのアクセス要求が行われるタイミングになったことに応じて、記憶装置２に記憶された生成情報２３１から検証用情報１３１を生成することが可能になる。これにより、ドライバ１５は、検証対象のソフトウエアのテストを実行する際に記憶装置２に記憶する必要があるデータ容量を抑えながら、検証対象のソフトウエアからのアクセス要求に応答することが可能になる。

また、情報処理装置１は、仮ファイルを生成する際に、仮ファイルのファイル名を検証用ファイルと同じファイル名にする。これにより、例えば、仮ファイルのファイル名の参照要求等が発生した場合、情報処理装置１は、仮ファイルに検証用データ２１が含まれていないことを参照要求の要求元に意識させることなく、参照要求に対する応答を要求元に送信することが可能になる。

このように、本実施の形態における情報処理装置１（ドライバ１５）は、検証対象のソフトウエアの実行に応じてアクセスされる検証用情報１３１を含む検証用ファイルに代えて、仮ファイルを生成する。具体的に、情報処理装置１は、検証用ファイルとファイル名が一致し、かつ、検証用情報１３１を生成するための生成情報２３１を含むように仮ファイルを生成する。

その後、情報処理装置１は、仮ファイルに対する検証対象のソフトウエアからのアクセス要求が行われる際に、生成情報２３１に基づいて検証用情報１３１を生成する。そして、情報処理装置１は、生成した検証用情報１３１を検証対象のソフトウエアに参照させる。

すなわち、情報処理装置１は、検証対象のソフトウエアのテストに要する検証用情報１３１の全てを予め生成して記憶装置２に記憶することなく、メモリ１０２上に記憶可能な情報量の検証用情報１３１を順々に作成しながら検証対象のソフトウエアのテストを行う。さらに、情報処理装置１は、生成した検証用情報１３１を記憶装置２に記憶しない。これにより、情報処理装置１は、記憶装置２に記憶する情報量を低減させることが可能になる。

［第１の実施の形態の詳細］
次に、第１の実施の形態の詳細について説明する。図１４から図１６は、第１の実施の形態におけるソフトウエア検証処理の詳細を説明するフローチャート図である。また、図１７から図２４は、第１の実施の形態におけるソフトウエア検証処理の詳細を説明する図である。図１７から図２４を参照しながら、図１４から図１６のソフトウエア検証処理の詳細を説明する。

なお、以下、検証用情報１３１は、事業者がテストを行うソフトウエア毎にそれぞれ存在するものとする。そして、生成情報２３１は、検証用情報１３１毎にそれぞれ存在するものとする。また、テスト対象部１３は、検証用情報１３１をそれぞれ含む検証用ファイル毎に、アクセスされたアドレスが昇順になるように検証用情報１３１のアクセスを行うものとして説明を行う。

［仮ファイル生成処理］
初めに、第１の実施の形態におけるソフトウエア検証処理のうち、仮ファイルを生成する処理（以下、仮ファイル生成処理とも呼ぶ）について説明を行う。

ドライバ１５の情報受信部１１１は、図１４に示すように、ＯＳ１４（データ生成部１１）から、記憶装置２に記憶された生成情報２３１の取得要求を受信するまで待機する（Ｓ１１のＮＯ）。すなわち、情報受信部１１１は、データ生成部１１が検証用情報１３１を含む検証用ファイルの生成を行うための生成情報２３１の取得要求を行うまで待機する。

なお、以下、データ生成部１１は、仮ファイル生成処理において、検証用ファイルの生成を１ファイルずつ行う（生成情報２３１の取得要求を１ファイルずつ行う）ものとして説明を行う。以下、生成情報２３１の具体例について説明を行う。

［生成情報の具体例］
図１７は、生成情報２３１の具体例を説明する図である。図１７に示す生成情報２３１は、生成情報２３１に含まれる各情報を識別する「項番」と、検証用情報１３１が生成される際に用いられるパラメータ情報がそれぞれ設定される「情報（１）」、「情報（２）」、「情報（３）」及び「情報（４）」とを項目として有する。また、図１７に示す生成情報２３１は、生成される検証用情報１３１に含まれる各情報の行数を示す「行数」を項目として有する。なお、生成情報２３１においてパラメータ情報が設定される項目の数は、４項目以外であってもよい。

具体的に、図１７に示す生成情報２３１において、「項番」が「１」である情報には、「情報（１）」として「ＡＡＡ」が設定され、「情報（２）」として「川崎」が設定され、「情報（３）」として「社員」が設定され、「情報（４）」として「１０５」が設定されている。また、図１７に示す生成情報２３１において、「項番」が「１」である情報には、「行数」として「１５０」が設定されている。図１７に含まれる他の情報については説明を省略する。

すなわち、生成情報２３１は、検証用情報１３１を生成するためのパラメータ情報からなるものである。そのため、生成情報２３１の情報量は、その生成情報２３１から生成される検証用情報１３１の情報量よりも少ない。

図１４に戻り、情報受信部１１１が生成情報２３１の取得要求を受信した場合（Ｓ１１のＹＥＳ）、ドライバ１５の情報参照部１１４は、Ｓ１１の処理で受信した取得要求に対応する生成情報２３１を記憶装置２から取得する（Ｓ１２）。そして、ドライバ１５の情報送信部１１７は、Ｓ１２の処理で情報参照部１１４が取得した生成情報２３１をＯＳ１４（データ生成部１１）に送信する（Ｓ１３）。

また、この場合、ドライバ１５の仮ファイル生成部１１２は、Ｓ１２の処理で情報参照部１１４が取得した生成情報２３１を保持する（Ｓ１４）。すなわち、Ｓ１２の処理で取得された生成情報２３１は、後述するように、仮ファイル生成部１１２が仮ファイルを生成する際に使用する情報である。そのため、仮ファイル生成部１１２は、Ｓ１２の処理で取得された生成情報２３１を保持する。

そして、仮ファイル生成部１１２は、情報格納領域１３０に記憶されたカウンタ情報１３２を更新する（Ｓ１５）。カウンタ情報１３２は、情報参照部１１４が取得した生成情報２３１の数に対応する情報である。すなわち、カウンタ情報１３２は、Ｓ１１からＳ１７までの処理が実行された回数に対応する情報である。そのため、仮ファイル生成部１１２は、Ｓ１５の処理において、現在のカウンタ情報１３２が示す値に「１」を加算した値を、新たなカウンタ情報１３２として情報格納領域１３０に記憶する。

さらに、仮ファイル生成部１１２は、情報格納領域１３０に記憶されたカウンタ情報１３２を識別情報２３２として取得する（Ｓ１５）。識別情報２３２は、生成情報２３１（生成情報３３１から生成された検証用情報１３１）を一意に識別する情報である。具体的に、情報格納領域１３０に記憶されたカウンタ情報１３２が示す値が「１５」である場合、仮ファイル生成部１１２は、識別情報２３２として「１５」を取得する。

その後、情報受信部１１１は、ＯＳ１４（データ生成部１１）から、データ生成部１１が生成した検証用情報１３１の記憶要求を受信するまで待機する（Ｓ１６のＮＯ）。すなわち、情報受信部１１１は、Ｓ１３の処理において送信された生成情報２３１に基づいて検証用情報１３１が生成されるまで待機する。

そして、検証用情報１３１の記憶要求を受信した場合（Ｓ１６のＹＥＳ）、仮ファイル生成部１１２は、検証用情報１３１を含む検証用ファイルの記憶に代えて、検証用ファイルをファイル名が一致し、かつ、生成情報２３１及び識別情報２３２含む仮ファイルを生成する（Ｓ１７）。さらに、仮ファイル生成部１１２は、この場合、生成した仮ファイルを記憶装置２に記憶する（Ｓ１７）。

すなわち、仮ファイル生成部１１２は、検証用情報１３１の記憶要求を受信した場合であっても、記憶装置２への検証用ファイルの記憶を行わない。一方、仮ファイル生成部１１２は、後述するように、検証用情報１３１を生成するための生成情報２３１を含む仮ファイルを記憶装置２に記憶する。

これにより、ドライバ１５は、検証対象のソフトウエアのテストを実行する際に記憶装置２に記憶する必要があるデータ容量を抑えながら、検証対象のソフトウエアからのアクセス要求に応答することが可能になる。以下、仮ファイルに含まれる生成情報２３１及び識別情報２３２の具体例について説明を行う。

［仮ファイルに含まれる生成情報２３１及び識別情報２３２の具体例］
図１８は、仮ファイルに含まれる生成情報２３１及び識別情報２３２の具体例を説明する図である。図１８に示す例では、生成情報２３１及び識別情報２３２が単一の情報として生成される場合について説明を行う。図１８に示す生成情報２３１及び識別情報２３２は、図１７で説明した生成情報２３１が有する項目に加え、識別情報が示す値が設定される「識別情報」を項目として有する。

具体的に、図１８に示す生成情報２３１及び識別情報２３２において、「項番」が「１」である情報には、「識別情報」として「１５」が設定されている。「項番」が「１」である情報の他の項目には、図１７で説明した生成情報２３１における「項番」が「１」である情報と同じ情報が設定されている。図１８に含まれる他の情報については説明を省略する。

［検証用情報生成処理］
次に、第１の実施の形態におけるソフトウエア検証処理のうち、検証対象のソフトウエアの検証の実行に伴って、生成情報２３１から検証用情報１３１を生成する際の処理（以下、検証用情報生成処理とも呼ぶ）。

情報参照部１１４は、図１５に示すように、仮ファイル名を取得するタイミング（以下、仮ファイル名取得タイミングとも呼ぶ）になるまで待機する（Ｓ２１のＮＯ）。仮ファイル名取得タイミングは、例えば、情報受信部１１１が、ＯＳ１４（テスト実行指示部１２）から、仮ファイルのファイル名の取得要求を受信したタイミングであってよい。すなわち、テスト実行指示部１２は、事業者端末３から検証対象のソフトウエアのテストを開始する旨の指示があった場合、指示されたテストの内容に合致する仮ファイルのファイル名を取得するために、仮ファイルのファイル名の取得要求をＯＳ１４（ドライバ１５）に送信する。

そして、仮ファイル名取得タイミングになった場合（Ｓ２１のＹＥＳ）、情報参照部１１４は、情報格納領域１３０から仮ファイルのファイル名を取得する（Ｓ２２）。そして、情報送信部１１７は、Ｓ２２の処理において情報参照部１１４が取得した仮ファイルのファイル名を、ＯＳ１４（テスト実行指示部１２）に送信する（Ｓ２３）。

すなわち、ドライバ１５は、Ｓ１７の処理において、検証用ファイルと同一のファイル名である仮ファイルを記憶装置２に記憶している。そのため、ドライバ１５は、テスト実行指示部１２から仮ファイルのファイル名の取得要求を受信した場合、仮ファイルに検証用情報１３１が生成されていないことをテスト実行指示部１２に意識させることなく、仮ファイルのファイル名を返すことが可能になる。したがって、テスト実行指示部１２は、ＯＳ１４から取得した仮ファイルのファイル名を入力として、テスト対象部１３にテスト処理を実行させることが可能になる。

その後、情報参照部１１４は、ファイル管理情報１３３を生成するタイミング（以下、ファイル管理情報生成タイミングとも呼ぶ）まで待機する（Ｓ２４のＮＯ）。ファイル管理情報１３３は、記憶装置２に記憶された各仮ファイルに含まれる識別情報２３２と、各仮ファイルの記憶装置２におけるアドレス（先頭アドレス）とが関連付けられた情報である。そして、ファイル管理情報生成タイミングは、情報受信部１１１が、ファイル管理情報１３３の生成を指示する旨の情報（以下、ファイル管理情報１３３の生成要求とも呼ぶ）を、テスト実行指示部１２から受信したタイミングであってよい。

なお、テスト実行指示部１２は、例えば、テスト対象部１３に処理の実行を指示する前に、ドライバ１５にファイル管理情報の生成の指示を行う。これにより、テスト実行指示部１２は、ファイル管理情報１３３が生成されていないために、テスト対象部１３が検証用情報１３１に対してアクセスを行うことができないという状況の発生を防止することが可能になる。

そして、ファイル管理情報生成タイミングになった場合（Ｓ２４のＹＥＳ）、情報参照部１１４は、記憶装置２に記憶された仮ファイルにアクセスする（Ｓ２５）。その後、ドライバ１５の情報管理部１１６は、Ｓ２５の処理でアクセスした仮ファイルに含まれる識別情報２３２と、Ｓ２５でアクセスした仮ファイルの先頭アドレスとを関連付けることにより、ファイル管理情報１３３を生成する（Ｓ２６）。以下、ファイル管理情報１３３の具体例について説明を行う。

［ファイル管理情報の具体例（１）］
図１９は、ファイル管理情報１３３の具体例を説明する図である。図１９に示すファイル管理情報１３３は、ファイル管理情報１３３に含まれる各情報を識別する「項番」と、各仮ファイルに含まれる識別情報２３２が設定される「識別情報」とを項目として有する。また、図１９に示すファイル管理情報１３３は、各仮ファイルが記憶される記憶装置２内の領域の先頭アドレスを示す「先頭アドレス」を項目として有する。さらに、図１９に示すファイル管理情報１３３は、各仮ファイルに対応する検証用情報１３１が記憶されるメモリ１０２上の領域の先頭アドレスを示す「先頭メモリアドレス」を項目として有する。

具体的に、図１９に示すファイル管理情報１３３において、「項番」が「１」である情報には、「識別情報」として「１５」が設定され、「先頭アドレス」として「０ｘ１０００００２０００」が設定されている。また、図１９に示すファイル管理情報１３３において、「項番」が「１」である情報には、「先頭メモリアドレス」として「０ｘ３００００１００００」が設定されている。

すなわち、検証用情報生成部１１３は、後述するように、アクセス要求を受信した場合、ファイル管理情報１３３を参照することにより、受信したアクセス要求のアクセス先の先頭アドレスの情報から、アクセス要求に対応する仮ファイルに含まれる識別情報２３２を特定することが可能になる。そのため、検証用情報生成部１１３は、この場合、生成すべき検証用情報１３１を特定し、検証用情報１３１を生成することが可能になる。

また、検証用情報生成部１１３は、検証用情報１３１を生成した場合、ファイル管理情報１３３を参照することにより、生成した検証用情報１３１を記憶すべきメモリ１０２上における領域を特定することが可能になる。そのため、検証用情報生成部１１３は、この場合、生成した検証用情報１３１を、メモリ１０２上における予め定められた領域に記憶することが可能になる。

図１６に戻り、情報受信部１１１は、ＯＳ１４（テスト対象部１３）からアクセス要求を受信するまで待機する（Ｓ３１のＮＯ）。そして、ＯＳ１４からアクセス要求を受信した場合（Ｓ３１のＹＥＳ）、検証用情報生成部１１３は、ファイル管理情報１３３を参照し、Ｓ３１の処理で受信したアクセス要求のアクセス先の先頭アドレスと関連付けられた識別情報２３２を特定する。そして、検証用情報生成部１１３は、特定した識別情報２３２と関連付けられた生成情報２３１から検証用情報１３１を生成する（Ｓ３２）。

すなわち、テスト対象部１３は、テスト実行指示部１２からの指示の内容に応じて、必要な処理を実行し、仮ファイルに対してアクセス要求を送信する。しかしながら、この場合において、アクセスされた仮ファイルには、検証用情報１３１が含まれていない。そのため、検証用情報生成部１１３は、Ｓ３２の処理において、アクセス要求に対応する仮ファイルに含まれる生成情報２３１から検証用情報１３１（Ｓ３１の処理で受信したアクセス要求のアクセス先の検証用情報１３１）を生成する。

具体的に、検証用情報生成部１１３は、図１９に示す例において、Ｓ３１の処理で受信したアクセス要求のアクセス先の先頭アドレスが「０ｘ１０００３０００００」である場合、受信したアクセス要求のアクセス先の仮ファイルの識別情報２３２として「１８」を特定する。そのため、検証用情報生成部１１３は、記憶装置２に記憶された仮ファイルに含まれる生成情報２３１のうち、識別情報２３２が「１８」である生成情報２３１を取得する。そして、検証用情報生成部１１３は、識別情報２３２が「１８」である生成情報２３１から、検証用情報１３１を生成する。

その後、検証用情報生成部１１３は、「識別情報」が「１８」である情報の「先頭メモリアドレス」に設定された情報である「０ｘ３０００１ｂ００００」を特定する。そして、検証用情報生成部１１３は、メモリ１０２上において先頭アドレスが「０ｘ３０００１ｂ００００」である領域に、生成した検証用情報１３１を記憶する。以下、検証用情報１３１の具体例について説明をする。

［検証用情報の具体例］
図２０は、検証用情報１３１の具体例を説明する図である。図２０に示す検証用情報１３１は、ファイル管理情報１３３に含まれる各情報を識別する「項番」と、検証対象のソフトウエアからのアクセス要求のアクセス先の情報である「アクセス先情報」とを項目として有する。

具体的に、図２０に示す検証用情報１３１において、「項番」が「２」ある情報は、図１８に示す生成情報２３１及び識別情報２３２の「項番」が「４」である情報に対応する情報であり、「アクセス先情報」として「ＤＤＤ，沼津，社員，６９」が設定されている。

また、図２０に示す検証用情報１３１において、「項番」が「３」及び「６」ある情報には、図１８に示す生成情報２３１及び識別情報２３２の「項番」が「２」である情報に対応する情報であり、「アクセス先情報」として「ＢＢＢ，沼津，社員，６９」が設定されている。

一方、図２０に示す検証用情報１３１において、「項番」が「１」等である情報の「アクセス先情報」には、図１８に示す生成情報２３１及び識別情報２３２に含まれないダミー情報（「ＸＸＸ，ＹＹＹ，ＺＺＺ，９９９」）が設定されている。

すなわち、検証用情報生成部１１３は、Ｓ３２の処理において、図１８に示す生成情報２３１及び識別情報２３２を参照し、各情報が「行数」に設定された行数だけ含まれるように検証用情報１３１を生成する。具体的に、検証用情報生成部１１３は、例えば、「項番」が「１」である情報から生成された情報が、図１８に示す情報の「行数」に設定された情報である「１５０（行）」含まれるように検証用情報１３１を生成する。そして、図１８に示す情報に基づいて生成された情報の行数よりも、検証用情報１３１に含める必要がある情報の行数の方が多い場合、検証用情報生成部１１３は、検証用情報１３１にダミー情報を含める。図２０に含まれる他の情報については省略する。

図１６に戻り、情報送信部１１７は、Ｓ３２の処理で生成した検証用情報１３１に対するアクセス結果を、ＯＳ１４（テスト対象部１３）に送信する（Ｓ３３）。

すなわち、検証用情報生成部１１３は、検証用情報生成処理が実行されるまでの間、検証用情報１３１を生成しない。一方、仮ファイル生成部１１２及び検証用情報生成部１１３は、それぞれ対応する仮ファイルと検証用情報１３１とが同一の識別情報２３２を有するように、それぞれ仮ファイル及び検証用情報１３１の生成を行う。そのため、情報参照部１１４は、テスト対象部１３から仮ファイルに対するアクセス要求があった場合に、その仮ファイルに含まれる識別情報２３２に対応する検証用情報１３１に対してアクセスを行うことが可能になる。したがって、テスト対象部１３は、同一の内容のアクセス要求を行った場合、常に同じ内容の応答を受信することが可能になる。

これにより、事業者は、検証対象のソフトウエアについて、同一の検証用情報１３１による複数回のテストを行う場合であっても、各回のテストにおいて使用された検証用情報１３１が同一であるという担保を得ることが可能になる。さらに、検証対象のソフトウエアに対する複数回のテストに、図２等で説明した方法によるテストと、本実施の形態によるテストとが混在して含まれている場合であっても、事業者は、各回のテストで使用された検証用情報１３１が同一であるという担保を得ることが可能になる。

そして、情報管理部１１６は、Ｓ３３の処理の後、ファイル管理情報１３３に含まれる情報のうち、Ｓ３１の処理で受信したアクセス要求のアクセス先に対応する先頭アドレス及び先頭メモリアドレスを、そのアクセス要求のアクセス先の検証用情報１３１のうち、アクセスされていない情報の先頭に対応するアドレスに更新する（Ｓ３４）。

具体的に、情報管理部１１６は、例えば、１回のアクセス要求においてアクセスされる情報量を参照し、Ｓ３１の処理で受信したアクセス要求のアクセス先に対応する先頭アドレスを、Ｓ３１の処理において次に受信するアクセス要求のアクセス先の先頭アドレスに更新する。また、情報管理部１１６は、Ｓ３１の処理で受信したアクセス要求のアクセス先に対応する先頭メモリアドレスを、Ｓ３１の処理で受信したアクセス要求のアクセス先の検証用情報１３１のうち、ＯＳ１４（テスト対象部１３）によってアクセスされていないデータの先頭アドレスに更新する（Ｓ３４）。

これにより、情報管理部１１６は、情報受信部１１１が次に受信するアクセス要求のアクセス先の先頭アドレスを、ファイル管理情報１３３の「先頭アドレス」に設定することが可能になる。そのため、検証用情報生成部１１３は、情報受信部１１１が次のアクセス要求を受信した場合においても、ファイル管理情報１３３を参照することにより、そのアクセス要求に対応する仮ファイルを特定することが可能になる。また、検証用情報生成部１１３は、次のアクセス要求に応じて検証用情報１３１を生成した場合においても、生成した検証用情報１３１を記憶するメモリ１０２上のアドレスを特定することが可能になる。以下、Ｓ３４の処理が実行された後のファイル管理情報１３３の具体例について説明を行う。

［ファイル管理情報の具体例（２）］
図２１及び図２２は、ファイル管理情報１３３の具体例を説明する図である。図２１に示すファイル管理情報１３３は、図１９で説明したファイル管理情報１３３に対して、Ｓ３４の処理が実行された場合のファイル管理情報１３３である。また、図２２に示すファイル管理情報１３３は、図２１に示すファイル管理情報１３３に対して、Ｓ３４の処理が実行された場合のファイル管理情報１３３である。なお、以下、ＯＳ１４（テスト対象部１３）から行われる１回のアクセス要求による情報量が４０９６（バイト）であるものとして説明を行う。

具体的に、図１９に示す例において、「項番」が「１」である情報に対応する仮ファイルに対して行われるアクセス要求は、記憶装置２におけるアドレスが「０ｘ１０００００２０００」から「０ｘ１００００２ｆｆｆ」までの４０９６（バイト）の領域に記憶された情報に対するアクセス要求である。そのため、情報管理部１１６は、Ｓ３４の処理において、「項番」が「１」である情報に対応する仮ファイルに対してアクセス要求が行われた場合、次の行われるアクセス要求に対応する先頭アドレスとして「０ｘ１０００００３０００」を特定する。そして、情報管理部１１６は、図２１の下線部分に示すように、「項番」が「１」である情報の「先頭アドレス」を「０ｘ１０００００３０００」に更新する。

一方、図１９に示す例において、「項番」が「１」である情報の仮ファイルに対応する検証用情報１３１は、メモリ１０２上におけるアドレスが「０ｘ３００００１００００」から「０ｘ３００００１０ｆｆｆ」までの４０９６（バイト）の領域に記憶された情報である。そのため、情報管理部１１６は、Ｓ３４の処理において、「項番」が「１」である情報に対応する仮ファイルに対してアクセス要求が行われた場合、次の行われるアクセス要求に対応する検証用情報１３１の先頭アドレスとして「０ｘ３００００１１０００」を特定する。そして、情報管理部１１６は、図２１の下線部分に示すように、「項番」が「１」である情報の「先頭メモリアドレス」を「０ｘ３００００１１０００」に更新する。

さらに、図２１に示す例において、「項番」が「３」である情報に対応する仮ファイルに対して行われるアクセス要求は、アドレスが「０ｘ１０００１ｄ３５００」から「０ｘ１０００１ｄ４４ｆｆ」までの４０９６（バイト）の領域に記憶された情報に対するアクセス要求である。そのため、情報管理部１１６は、Ｓ３４の処理において、「項番」が「３」である情報に対応する仮ファイルに対してアクセス要求が行われた場合、次の行われるアクセス要求に対応する先頭アドレスとして「０ｘ１０００１ｄ４５００」を特定する。そして、情報管理部１１６は、図２２の下線部分に示すように、「項番」が「３」である情報の「先頭アドレス」を「０ｘ１０００１ｄ４５００」に更新する。

また、図２１に示す例において、「項番」が「３」である情報の仮ファイルに対応する検証用情報１３１は、メモリ１０２上におけるアドレスが「０ｘ３００００２５０００」から「０ｘ３００００２５ｆｆｆ」までの４０９６（バイト）の領域に記憶された情報である。そのため、情報管理部１１６は、Ｓ３４の処理において、「項番」が「３」である情報に対応する仮ファイルに対してアクセス要求が行われた場合、次の行われるアクセス要求に対応する検証用情報１３１の先頭アドレスとして「０ｘ３００００２６０００」を特定する。そして、情報管理部１１６は、図２２の下線部分に示すように、「項番」が「３」である情報の「先頭メモリアドレス」を「０ｘ３００００２６０００」に更新する。

これにより、情報管理部１１６は、仮ファイルの先頭アドレス（記憶装置２のアドレス）と、その仮ファイルに対応する検証用情報１３１の先頭アドレス（メモリ１０２上のアドレス）とを対応させながら、ファイル管理情報１１３を更新することが可能になる。そのため、検証用情報生成部１１３は、Ｓ３２の処理が実行される際に、ファイル管理情報１１３を参照することにより、検証用情報１３１を生成するために用いる生成情報２３１を特定することが可能になる。

図１６に戻り、Ｓ３４の処理の後、情報受信部１１１は、ＯＳ１４（テスト対象部１３）から次のアクセス要求を受信するまで待機する（Ｓ３１のＮＯ）。

なお、ファイル管理情報１３３は、Ｓ３４の処理が行われた後も、ファイル管理情報１３３の「先頭アドレス」及び「先頭メモリアドレス」に最初に設定された情報を維持するものであってもよい。以下、ファイル管理情報１３３の「先頭アドレス」及び「先頭メモリアドレス」に最初に設定された情報を維持する場合のファイル管理情報１３３の具体例について説明を行う。

［ファイル管理情報の具体例（３）］
図２３及び図２４は、ファイル管理情報１３３の具体例を説明する図である。図２３及び図２４に示すファイル管理情報１３３は、図１９等で説明したファイル管理情報１３３が有する項目に加え、ＯＳ１４（テスト対象部１３）によって次にアクセスされる記憶装置２内のアドレスを示す「次回アドレス」を項目として有する。また、図２３及び図２４に示すファイル管理情報１３３は、図１９等で説明したファイル管理情報１３３が有する項目に加え、次にアクセスされる検証用情報１３１が記憶されたメモリ１０２上のアドレスを示す「次回メモリアドレス」を項目として有する。

具体的に、図２３に示すファイル管理情報１３３において、「項番」が「１」から「５」である情報の「次回アドレス」及び「次回メモリアドレス」には、情報が設定されていないことを示す「−」がそれぞれ設定されている。図２３に含まれる他の情報については説明を省略する。

そして、図２３に示すファイル管理情報において、「項番」が「５」である情報に対応する仮ファイルに対して行われるアクセス要求は、アドレスが「０ｘ１０００３ｃ３５００」から「０ｘ１０００３ｃ４４ｆｆ」までの４０９６（バイト）の領域に記憶された情報に対するアクセス要求である。そのため、情報管理部１１６は、Ｓ３４の処理において、「項番」が「５」である情報に対応する仮ファイルに対してアクセス要求が行われた場合、次の行われるアクセス要求に対応する先頭アドレスとして「０ｘ１０００３ｃ４５００」を特定する。そして、情報管理部１１６は、図２４の下線部分に示すように、「項番」が「５」である情報の「次回アドレス」を「０ｘ１０００３ｃ４５００」に更新するものであってもよい。

また、図２３に示す例において、「項番」が「５」である情報の仮ファイルに対応する検証用情報１３１は、メモリ１０２上におけるアドレスが「０ｘ３００００４ｃ０００」から「０ｘ３００００４ｃｆｆｆ」までの４０９６（バイト）の領域に記憶された情報である。そのため、情報管理部１１６は、Ｓ３４の処理において、「項番」が「５」である情報に対応する仮ファイルに対してアクセス要求が行われた場合、次の行われるアクセス要求に対応する検証用情報１３１の先頭アドレスとして「０ｘ３００００４ｄ０００」を特定する。そして、情報管理部１１６は、図２４の下線部分に示すように、「項番」が「５」である情報の「先頭メモリアドレス」を「０ｘ３００００４ｄ０００」に更新するものであってもよい。図２４に含まれる他の情報については説明を省略する。

これにより、検証用情報生成部１１３は、同一の検証用情報１３１に対するアクセス要求が複数回行われる場合であっても、ファイル管理情報１３３を参照することで、受信したアクセス要求に対応する先頭アドレスと関連付けられた識別情報２３２を特定することが可能になる。

なお、図２３等で説明したファイル管理情報１３３を用いる場合、検証用情報生成部１１３は、Ｓ３２の処理において、Ｓ３１の処理で受信したアクセス要求のアクセス先の仮ファイルに対応する情報の「次回アドレス」に情報が設定されているか否かを判定する。そして、「次回アドレス」に情報が設定されている場合、検証用情報生成部１１３は、Ｓ３１の処理で受信したアクセス要求のアクセス先の先頭アドレスが「次回アドレス」に設定されている情報の識別情報２３２を特定するものであってよい。一方、「次回アドレス」に情報が設定されていない場合、検証用情報生成部１１３は、Ｓ３１の処理で受信したアクセス要求のアクセス先の先頭アドレスが「先頭アドレス」に設定されている情報の識別情報２３２を特定するものであってよい。

このように、本実施の形態における情報処理装置１（ドライバ１５）は、検証対象のソフトウエアの実行に応じてアクセスされる検証用情報１３１を含む検証用ファイルに代えて、仮ファイルを生成する。具体的に、情報処理装置１は、検証用ファイルとファイル名が一致し、かつ、検証用情報１３１を生成するための生成情報２３１を含むように仮ファイルを生成する。

その後、情報処理装置１は、仮ファイルに対する検証対象のソフトウエアからのアクセス要求が行われる際に、生成情報２３１に基づいて検証用情報１３１を生成する。そして、情報処理装置１は、生成した検証用情報１３１を検証対象のソフトウエアに参照させる。

これにより、情報処理装置１は、記憶装置２に記憶されるデータの容量を低減させることが可能になる。

［第２の実施の形態］
次に、第２の実施の形態について説明する。図２５から図２７は、第２の実施の形態におけるソフトウエア検証処理を説明するフローチャート図である。

第１の実施の形態におけるソフトウエア検証処理では、ＯＳ１４（テスト対象部１３）からアクセス要求があったことに応じて、生成情報２３１から検証用情報１３１の生成を行う。これに対し、第２の実施の形態におけるソフトウエア検証処理では、ＯＳ１４（テスト対象部１３）からのアクセス要求が発生と同期することなく、生成情報２３１から検証用情報１３１の生成を行う。

これにより、第２の実施の形態におけるドライバ１５は、ＯＳ１４（テスト対象部１３）からのアクセス要求があった場合において、アクセス先である検証用情報１３１が既に生成されている場合、検証用情報１３１を生成することなくアクセス要求を行うことが可能になる。そのため、この場合、ドライバ１５は、受信したアクセス要求の応答をＯＳ１４に送信するまでの時間を短縮することが可能になる。以下、第２の実施の形態の詳細について説明を行う。

［仮ファイル生成処理］
初めに、第２の実施の形態におけるソフトウエア検証処理のうち、仮ファイル生成処理について説明を行う。

情報受信部１１１は、図２５に示すように、ＯＳ１４（データ生成部１１）から、記憶装置２に記憶された生成情報２３１の取得要求を受信するまで待機する（Ｓ４１のＮＯ）。すなわち、情報受信部１１１は、データ生成部１１が検証用情報１３１を含む検証用ファイルの生成を行うための生成情報２３１の取得要求を行うまで待機する。

そして、情報受信部１１１が生成情報２３１の取得要求を受信した場合（Ｓ４１のＹＥＳ）、情報参照部１１４は、第１の実施の形態と同様に、Ｓ４１の処理で受信した取得要求に対応する生成情報２３１を記憶装置２から取得する（Ｓ１２）。そして、ドライバ１５の情報送信部１１７は、Ｓ４２の処理で情報参照部１１４が取得した生成情報２３１をＯＳ１４（データ生成部１１）に送信する（Ｓ４３）。

また、この場合、仮ファイル生成部１１２は、第１の実施の形態と同様に、Ｓ４２の処理で情報参照部１１４が取得した生成情報２３１を保持する（Ｓ４４）。そして、仮ファイル生成部１１２は、情報格納領域１３０に記憶されたカウンタ情報１３２を更新する（Ｓ４５）。さらに、仮ファイル生成部１１２は、情報格納領域１３０に記憶されたカウンタ情報１３２を識別情報２３２として取得する（Ｓ４５）。

その後、情報受信部１１１は、ＯＳ１４（データ生成部１１）から、データ生成部１１が生成した検証用情報１３１の記憶要求を受信するまで待機する（Ｓ４６のＮＯ）。そして、検証用情報１３１の記憶要求を受信した場合（Ｓ４６のＹＥＳ）、仮ファイル生成部１１２は、検証用情報１３１を含む検証用ファイルの記憶に代えて、検証用ファイルをファイル名が一致し、かつ、生成情報２３１及び識別情報２３２含む仮ファイルを生成する（Ｓ４７）。さらに、仮ファイル生成部１１２は、この場合、生成した仮ファイルを記憶装置２に記憶する（Ｓ４７）。

これにより、ドライバ１５は、検証対象のソフトウエアのテストを実行する際に記憶装置２に記憶する必要があるデータ容量を抑えながら、検証対象のソフトウエアからのアクセス要求に応答することが可能になる。

［検証用情報生成処理］
次に、第２の実施の形態におけるソフトウエア検証処理のうち、検証用情報生成処理について説明を行う。

情報参照部１１４は、図２６に示すように、仮ファイル名取得タイミングになるまで待機する（Ｓ５１のＮＯ）。そして、仮ファイル名取得タイミングになった場合（Ｓ２１のＹＥＳ）、情報参照部１１４は、第１の実施の形態と同様に、情報格納領域１３０から仮ファイルのファイル名を取得する（Ｓ５２）。そして、情報送信部１１７は、Ｓ２２の処理で情報参照部１１４が取得した仮ファイルのファイル名を、ＯＳ１４（テスト実行指示部１２）に送信する（Ｓ５３）。

その後、情報参照部１１４は、ファイル管理情報生成タイミングまで待機する（Ｓ５４のＮＯ）。そして、ファイル管理情報生成タイミングになった場合（Ｓ５４のＹＥＳ）、情報参照部１１４は、記憶装置２に記憶された仮ファイルにアクセスする（Ｓ５５）。その後、ドライバ１５の情報管理部１１６は、Ｓ５５の処理でアクセスした仮ファイルに含まれる識別情報２３２と、Ｓ５５でアクセスした仮ファイルの先頭アドレスとを関連付けることにより、ファイル管理情報１３３を生成する（Ｓ５６）。

また、検証用情報生成部１１３は、この場合、第１の実施の形態と異なり、記憶装置２に記憶された生成情報２３１から検証用情報１３１を順次生成する（Ｓ５７）。

すなわち、第２の実施の形態における検証用情報生成部１１３は、ＯＳ１４（テスト対象部１３）からのアクセス要求を待つことなく、ファイル管理情報生成タイミングになったことに応じて、検証用情報１３１の生成を行う。これにより、検証用情報生成部１１３は、ＯＳ１４（テスト対象部１３）からのアクセス要求があった場合において、アクセス先である検証用情報１３１が既に生成されている場合には、検証用情報１３１を生成することなく、アクセス要求の応答を送信することが可能になる。

なお、検証用情報生成部１１３は、Ｓ５７の処理において、例えば、検証用情報１３１の先頭から順に、検証用情報１３１の情報量が所定の情報量（例えば、１（ＭＢ））になるまで、検証用情報１３１の生成を行うものであってよい。すなわち、検証用情報生成部１１３は、検証用情報１３１の先頭から順に、検証用情報１３１を記憶するためにメモリ１０２に予め用意された領域が記憶可能な情報量になるまで、検証用情報１３１を生成して記憶するものであってよい。

その後、情報受信部１１１は、図２７に示すように、ＯＳ１４（テスト対象部１３）からアクセス要求を受信するまで待機する（Ｓ６１のＮＯ）。そして、ＯＳ１４からアクセス要求を受信した場合（Ｓ６１のＹＥＳ）、情報送信部１１７は、第１の実施の形態と異なり、ファイル管理情報１３３を参照し、Ｓ６１の処理で受信したアクセス要求に対応する先頭アドレスと関連付けられた識別情報２３２を特定する。そして、検証用情報生成部１１３は、特定した識別情報２３２と関連付けられた生成情報２３１から検証用情報１３１を特定する（Ｓ６２）。

すなわち、検証用情報生成部１１３は、ＯＳ１４からアクセス要求があった場合、アクセス要求のアクセス先である仮ファイルと、Ｓ５７の処理において生成された検証用情報１３１とを対応させる必要がある。そのため、検証用情報生成部１１３は、ＯＳ１４からアクセス要求があった場合、ファイル管理情報１３３を参照し、アクセス要求のアクセス先の先頭アドレスから、Ｓ５６の処理において生成された検証用情報１３１を特定する。

なお、Ｓ６１の処理で受信したアクセス要求のアクセス先に対応する検証用情報１３１が生成されていない場合、情報送信部１１７は、例えば、アクセス要求のアクセス先に対応する検証用情報１３１が生成されるまで待機する。

その後、情報送信部１１７は、Ｓ６２の処理で特定した検証用情報１３１に対するアクセス結果を、ＯＳ１４（テスト対象部１３）に送信する（Ｓ６３）。

また、情報管理部１１６は、例えば、Ｓ６２の処理で特定した検証用情報１３１を削除する（Ｓ６４）。そして、検証用情報生成部１１３は、例えば、生成情報２３１からまだ生成されていない検証用情報１３１の生成を行う（Ｓ６５）。

すなわち、テスト対象部１３は、各検証用ファイルをアクセスする際に、アクセスする情報のアドレスが昇順になるようにアクセスする。そのため、各検証用ファイルに対するアクセスが１回のみ行われる場合、テスト対象部１３が過去にアクセスを行った情報に対してアクセス要求は再度発生しない。そこで、情報管理部１１６は、Ｓ６４の処理において、Ｓ６３の処理においてテスト対象部１３によってアクセスされた検証用情報１３１を削除する。これにより、情報管理部１１６は、Ｓ６５の処理において、Ｓ６４の処理で削除された検証用情報１３１が記憶されていた領域に、まだ生成されていない検証用情報１３１の生成を行うことが可能になる。

なお、検証用情報生成部１１３は、Ｓ６５の処理において、例えば、まだ生成されていない検証用情報１３１の先頭から順に、検証用情報１３１の生成を行う。

さらに、情報管理部１１６は、ファイル管理情報１３３に含まれる情報のうち、Ｓ６１の処理で受信したアクセス要求のアクセス先に対応する先頭アドレス及び先頭メモリアドレスを、そのアクセス要求のアクセス先の検証用情報１３１のうち、アクセスされていない情報の先頭に対応するアドレスに更新する（Ｓ６６）。

そして、Ｓ６６の処理の後、情報受信部１１１は、第１の実施の形態と同様に、ＯＳ１４（テスト対象部１３）から次のアクセス要求を受信するまで待機する（Ｓ６１のＮＯ）。

これにより、第２の実施の形態におけるドライバ１５は、ＯＳ１４（テスト対象部１３）からのアクセス要求があった場合において、アクセス先である検証用情報１３１が既に生成されている場合、検証用情報１３１を生成することなくアクセス要求を行うことが可能になる。

［仮ファイル退避処理］
次に、記憶装置２に記憶された仮ファイルを、他の記憶装置または記憶装置２における他の領域に退避させる場合の処理（以下、仮ファイル退避処理とも呼ぶ）について説明する。図２８は、仮ファイル退避処理を説明するフローチャート図である。

ドライバ１５の仮ファイル退避部１１５は、仮ファイルの退避を行うタイミング（以下、仮ファイル退避タイミングとも呼ぶ）まで待機する（Ｓ７１のＮＯ）。仮ファイル退避タイミングは、例えば、ＯＳ１４（テスト対象部１３等）から記憶装置２に記憶された仮ファイルを他の記憶装置等に退避させる旨の情報（退避させる仮ファイル及び退避先の他の記憶装置の情報を含む情報）を受信したタイミングであってよい。

そして、仮ファイル退避タイミングになった場合（Ｓ７１のＹＥＳ）、仮ファイル退避部１１５は、例えば、Ｓ７１の処理で指定された仮ファイルにアクセスすることにより、その仮ファイルのサイズ情報を取得する（Ｓ７２）。さらに、仮ファイル退避部１１５は、Ｓ７１の処理で指定された仮ファイルの他の記憶装置に対する退避を行う（Ｓ７３）。

すなわち、テスト対象部１３は、データ生成部１１が生成した検証用情報１３１（記憶装置２には記憶されていない検証用情報１３１）の先頭アドレス及びサイズ情報に基づいて、仮ファイルの退避要求を行う場合がある。しかしながら、記憶装置２には、検証用ファイルの代わりに仮ファイルが記憶されている。そして、テスト対象部１３等が認識する検証用ファイルのサイズ情報は、実際に記憶装置２に記憶されている仮ファイルのサイズ情報と異なる。そのため、仮ファイル退避部１１５は、仮ファイルの格納位置の変更を行う場合、Ｓ７２の処理において、仮ファイルのサイズ情報を取得する。そして、仮ファイル退避部１１５は、Ｓ７３の処理において、取得したサイズ情報に対応する情報について、格納位置の変更を行う。

これにより、仮ファイル退避部１１５は、記憶装置２に仮ファイルが記憶されている場合であっても、その仮ファイルの退避を行うことが可能になる。

以上の実施の形態をまとめると、以下の付記のとおりである。

（付記１）
コンピュータに、
検証対象のソフトウエアの実行に応じてアクセスされる検証用データを含む検証用ファイルとファイル名が一致し、かつ、前記検証用データを生成するためのデータ生成情報を含む仮ファイルを生成し、
前記仮ファイルに対する前記検証対象のソフトウエアからのアクセス要求が行われる際に、前記データ生成情報に基づいて前記検証用データを生成し、生成した前記検証用データを前記検証対象のソフトウエアに参照させる、
処理を実行させることを特徴とするソフトウエア検証プログラム。

（付記２）
付記１において、さらに、
前記仮ファイルのファイル名に対する前記検証対象のソフトウエアからの参照要求に応じて、前記仮ファイルのファイル名を参照させる、
ことを特徴とするソフトウエア検証プログラム。

（付記３）
付記１において、さらに、
前記仮ファイルは、前記データ生成情報とともに、前記データ生成情報を一意に識別する識別情報を含み、
前記検証用データを参照させる処理の前に、前記仮ファイルに含まれる前記識別情報と、前記仮ファイルの記憶領域内における先頭アドレスとを関連付けたファイル管理情報を生成する、
処理をコンピュータに実行させ、
前記検証用データを参照させる処理では、前記アクセス要求が行われた場合、前記ファイル管理情報を参照し、前記アクセス要求のアクセス先の先頭アドレスと関連付けられた前記識別情報を特定し、特定した前記識別情報と関連付けられた前記データ生成情報から前記検証用データを生成する、
ことを特徴とするソフトウエア検証プログラム。

（付記４）
付記３において、
前記検証用データを参照させる処理では、前記アクセス要求が行われた場合、前記検証用データのうち、前記アクセス要求によってアクセスされる検証用データの生成を行う、
ことを特徴とするソフトウエア検証プログラム。

（付記５）
付記１において、さらに、
前記仮ファイルは、前記データ生成情報とともに、前記データ生成情報を一意に識別する識別情報を含み、
前記検証用データを参照させる処理の前に、前記データ生成情報と同一の仮ファイルに含まれる前記識別情報と、前記データ生成情報の記憶領域内における先頭アドレスとを関連付けたファイル管理情報を生成する、
処理をコンピュータに実行させ、
前記検証用データを参照させる処理では、前記アクセス要求が行われる前に、前記データ生成情報から前記検証用データを生成する、
ことを特徴とするソフトウエア検証プログラム。

（付記６）
付記５において、
前記検証対象のソフトウエアは、アクセスするデータのアドレスが昇順になるように前記検証用データにアクセスするソフトウエアであり、
前記検証用データを参照させる処理では、前記アクセス要求が行われる前に、前記検証用データの先頭から順に、データ量が所定のデータ量になるまで前記検証用データの生成を行う、
ことを特徴とするソフトウエア検証プログラム。

（付記７）
付記３または５において、
前記検証対象のソフトウエアは、アクセスするデータのアドレスが昇順になるように前記検証用データにアクセスするソフトウエアであり、
前記検証用データを参照させる処理では、前記アクセス要求が行われた場合、前記ファイル管理情報のうち、前記アクセス要求のアクセス先の前記先頭アドレスを、前記アクセス要求のアクセス先の前記検証用データのうち、前記検証対象のソフトウエアにアクセスされていないデータの先頭に対応するアドレスに更新する、
ことを特徴とするソフトウエア検証プログラム。

（付記８）
付記６において、
前記検証用データを参照させる処理では、
前記検証対象のソフトウエアによってアクセスされた前記検証用データを順次削除し、
前記検証用データが削除された場合、生成されていない前記検証用データのうちの先頭から順に、データ量が前記所定のデータ量になるまで前記検証用データの生成を行う、
ことを特徴とするソフトウエア検証プログラム。

（付記９）
付記１において、さらに、
前記仮ファイルに対する前記検証対象のソフトウエアからの格納位置の変更要求があった場合、前記仮ファイルのデータサイズを参照し、前記仮ファイルの格納位置の変更を行う、
処理を実行させることを特徴とするソフトウエア検証プログラム。

（付記１０）
検証対象のソフトウエアの実行に応じてアクセスされる検証用データを含む検証用ファイルとファイル名が一致し、かつ、前記検証用データを生成するためのデータ生成情報を含む仮ファイルを生成する第１生成部と、
前記仮ファイルに対する前記検証対象のソフトウエアからのアクセス要求が行われる際に、前記データ生成情報に基づいて前記検証用データを生成し、生成した前記検証用データを前記検証対象のソフトウエアに参照させる第２生成部と、を有する、
ことを特徴とするソフトウエア検証装置。

（付記１１）
検証対象のソフトウエアの実行に応じてアクセスされる検証用データを含む検証用ファイルとファイル名が一致し、かつ、前記検証用データを生成するためのデータ生成情報を含む仮ファイルを生成し、
前記仮ファイルに対する前記検証対象のソフトウエアからのアクセス要求が行われる際に、前記データ生成情報に基づいて前記検証用データを生成し、生成した前記検証用データを前記検証対象のソフトウエアに参照させる、
ことを特徴とするソフトウエア検証方法。

１：情報処理装置 ２：記憶装置
３：事業者端末 ＮＷ：ネットワーク

Claims (9)

1. コンピュータに、
   検証対象のソフトウエアの実行に応じてアクセスされる検証用データを含む検証用ファイルとファイル名が一致し、かつ、前記検証用データを生成するためのデータ生成情報を含む仮ファイルを生成し、
   前記データ生成情報と、前記データ生成情報に対応する記憶領域内のアドレスとを関連付けたファイル管理情報を生成し、
   前記仮ファイルに対する前記検証対象のソフトウエアからのアクセス要求が行われた場合、前記ファイル管理情報を参照し、前記アクセス要求のアクセス先のアドレスと関連付けられた前記データ生成情報に基づいて前記検証用データを生成し、生成した前記検証用データを前記検証対象のソフトウエアに参照させる、
   処理を実行させることを特徴とするソフトウエア検証プログラム。
2. 請求項１において、さらに、
   前記仮ファイルのファイル名に対する前記検証対象のソフトウエアからの参照要求に応じて、前記仮ファイルのファイル名を参照させる、
   ことを特徴とするソフトウエア検証プログラム。
3. 請求項１において、さらに、
   前記仮ファイルは、前記データ生成情報とともに、前記データ生成情報を一意に識別する識別情報を含み、
   前記検証用データを参照させる処理の前に、前記仮ファイルに含まれる前記識別情報と、前記仮ファイルの記憶領域内における先頭アドレスとを関連付けたファイル管理情報を生成する、
   処理をコンピュータに実行させ、
   前記検証用データを参照させる処理では、前記アクセス要求が行われた場合、前記ファイル管理情報を参照し、前記アクセス要求のアクセス先の先頭アドレスと関連付けられた前記識別情報を特定し、特定した前記識別情報と関連付けられた前記データ生成情報から前記検証用データを生成する、
   ことを特徴とするソフトウエア検証プログラム。
4. 請求項１において、さらに、
   前記仮ファイルは、前記データ生成情報とともに、前記データ生成情報を一意に識別する識別情報を含み、
   前記検証用データを参照させる処理の前に、前記データ生成情報と同一の仮ファイルに含まれる前記識別情報と、前記データ生成情報の記憶領域内における先頭アドレスとを関連付けたファイル管理情報を生成する、
   処理をコンピュータに実行させ、
   前記検証用データを参照させる処理では、前記アクセス要求が行われる前に、前記データ生成情報から前記検証用データを生成する、
   ことを特徴とするソフトウエア検証プログラム。
5. 請求項４において、
   前記検証対象のソフトウエアは、アクセスするデータのアドレスが昇順になるように前記検証用データにアクセスするソフトウエアであり、
   前記検証用データを参照させる処理では、前記アクセス要求が行われる前に、前記検証用データの先頭から順に、データ量が所定のデータ量になるまで前記検証用データの生成を行う、
   ことを特徴とするソフトウエア検証プログラム。
6. 請求項３または４において、
   前記検証対象のソフトウエアは、アクセスするデータのアドレスが昇順になるように前記検証用データにアクセスするソフトウエアであり、
   前記検証用データを参照させる処理では、前記アクセス要求が行われた場合、前記ファイル管理情報のうち、前記アクセス要求のアクセス先の前記先頭アドレスを、前記アクセス要求のアクセス先の前記検証用データのうち、前記検証対象のソフトウエアにアクセスされていないデータの先頭に対応するアドレスに更新する、
   ことを特徴とするソフトウエア検証プログラム。
7. 請求項１において、さらに、
   前記仮ファイルに対する前記検証対象のソフトウエアからの格納位置の変更要求があった場合、前記仮ファイルのデータサイズを参照し、前記仮ファイルの格納位置の変更を行う、
   処理を実行させることを特徴とするソフトウエア検証プログラム。
8. 検証対象のソフトウエアの実行に応じてアクセスされる検証用データを含む検証用ファイルとファイル名が一致し、かつ、前記検証用データを生成するためのデータ生成情報を含む仮ファイルを生成する第１生成部と、
   前記データ生成情報と、前記データ生成情報に対応する記憶領域内のアドレスとを関連付けたファイル管理情報を生成する情報生成部と、
   前記仮ファイルに対する前記検証対象のソフトウエアからのアクセス要求が行われた場合、前記ファイル管理情報を参照し、前記アクセス要求のアクセス先のアドレスと関連付けられた前記データ生成情報に基づいて前記検証用データを生成し、生成した前記検証用データを前記検証対象のソフトウエアに参照させる第２生成部と、を有する、
   ことを特徴とするソフトウエア検証装置。
9. 検証対象のソフトウエアの実行に応じてアクセスされる検証用データを含む検証用ファイルとファイル名が一致し、かつ、前記検証用データを生成するためのデータ生成情報を含む仮ファイルを生成し、
   前記データ生成情報と、前記データ生成情報に対応する記憶領域内のアドレスとを関連付けたファイル管理情報を生成し、
   前記仮ファイルに対する前記検証対象のソフトウエアからのアクセス要求が行われた場合、前記ファイル管理情報を参照し、前記アクセス要求のアクセス先のアドレスと関連付けられた前記データ生成情報に基づいて前記検証用データを生成し、生成した前記検証用データを前記検証対象のソフトウエアに参照させる、
   ことを特徴とするソフトウエア検証方法。

Images