(57)【要約】【課題】プログラムの動作を決定するパラメタ群において、他マシンで動作検証を行う場合、資源のサイズに関するパラメタ値を変更することなく、ソフトウェアの検証を行うことができるソフトウェア検証方法を提供する。【解決手段】検証機１は、構築の検証を実施するマシンであり、資源Ａ１１と、資源Ｂ１２、ＴＰモニタ１３と、パラメタ群１４と、変更定義生成部１５と、本番環境マシン情報ファイル１６と、検証環境マシン情報ファイル１７と、変更定義ファイル１８と、要求変更部１９とで構成される。変更定義生成部１５で、本番環境マシン情報ファイル１６と検証環境マシン情報ファイル１７から変更定義ファイル１８を生成しておき、ＴＰモニタ１３の動作時に要求処理部１３１が資源へのアクセス要求を要求変更部１９に行い、要求変更部１９では要求内容を変更定義ファイル１８に従って変更し、アクセスを行う。【選択図】図１
2009277035.tif 000002
【特許請求の範囲】
【請求項１】
本番機より記憶容量の資源が少ない記憶装置を有する検証機において、前記本番機で指定される資源に関するパラメタ値を用いて、ソフトウェアの検証を行うソフトウェア検証方法であって、
前記検証の対象であるソフトウェアのプログラムは、
当該プログラムを実行する際に確保するアクセス先の資源情報であるアクセス先資源情報を有し、
前記検証機は、
前記記憶装置に、本番環境のマシン情報が登録された本番環境マシン情報と、前記検証機の検証環境のマシン情報が登録された検証環境マシン情報と、を記憶しており、
前記検証機は、
前記本番環境マシン情報と前記検証環境マシン情報とから、前記記憶容量を変更する変更定義ルールを作成し、
前記アクセス先資源情報を受理すると、前記変更定義ルールに従い前記検証機で確保する記憶容量を変更する
ことを特徴とするソフトウェア検証方法。
【請求項２】
前記記憶装置は、主記憶装置と、補助記憶装置とのうち少なくともひとつを含む
ことを特徴とする請求項１に記載のソフトウェア検証方法。
【請求項３】
前記変更定義ルールは、前記検証環境マシン情報の記憶容量を前記本番環境マシン情報の記憶容量で除算した比率を用いるものである
ことを特徴とする請求項１に記載のソフトウェア検証方法。
【請求項４】
前記検証機は、
前記アクセス先資源情報を受理し、かつ、書込み要求である場合、前記変更ルールに従い前記検証機で書込みする書込み記憶容量を変更し、前記変更した書込み記憶容量分のデータを、前記記憶装置に書込む
ことを特徴とする請求項１に記載のソフトウェア検証方法。
【請求項５】
前記検証機は、
前記アクセス先資源情報を受理し、かつ、読込み要求である場合、前記変更ルールに従い前記検証機で読込みする読込み記憶容量を変更し、前記変更した読込み容量分のデータを、前記記憶装置から読込む
ことを特徴とする請求項４に記載のソフトウェア検証方法。
【請求項６】
本番機より記憶容量の資源が少ない記憶装置を有し、前記本番機で指定される資源に関するパラメタ値を用いて、ソフトウェアの検証を行うソフトウェア検証機であって、
前記ソフトウェアのプログラムは、
当該プログラムを実行する際に確保するアクセス先の資源情報であるアクセス先資源情報を有し、
前記検証機は、
前記記憶装置に、本番環境のマシン情報が登録された本番環境マシン情報と、前記検証機の検証環境のマシン情報が登録された検証環境マシン情報と、を記憶しており、
前記本番環境マシン情報と前記検証環境マシン情報とから、前記記憶容量を変更する変更定義ルールを作成する変更定義生成手段と、
前記アクセス先資源情報を受理すると、前記変更定義ルールに従い前記検証機で確保する記憶容量を変更する要求変更手段と、を有する
ことを特徴とするソフトウェア検証機。
【請求項７】
前記記憶装置は、主記憶装置と、補助記憶装置とのうち少なくともひとつを含む
ことを特徴とする請求項６に記載のソフトウェア検証機。
【請求項８】
前記変更定義ルールは、前記検証環境マシン情報の記憶容量を前記本番環境マシン情報の記憶容量で除算した比率を用いるものである
ことを特徴とする請求項６に記載のソフトウェア検証機。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、情報システム構築時の検証に係り、本番機よりディスクやメモリという資源が少ない検証機において、資源のサイズに関するパラメタ値を用いて、ソフトウェアの検証を行うことができるソフトウェア検証方法およびソフトウェア検証機に関する。
【背景技術】
【０００２】
情報システム構築時には各種検証が必要である。例えば、（１）ハードウェア、ソフトウェアを含めた各種パラメタ値の検証、（２）情報システム構築前に、構築手順の検証、（３）情報システム構築後は、基本動作の検証、性能検証、システム全体の総合検証と、作業フェーズに応じて様々な検証を実施していく。各種パラメタ値の検証や、構築手順の検証段階においては、本番環境と同様の環境で検証することが理想であるため、本番機で行うか、同程度のスペックのマシンを用意することが望ましい。しかしながら、コスト面の負担増から検証機というスペックの劣る代替マシンで各種検証を実施する場合がある。
【０００３】
例えば、ＴＰモニタ（Transaction Processing Monitor)というオンラインシステムでトランザクション処理を可能にするプログラムでは、アプリケーションプロセス内にＤＢ（Data Base）を構成することによりトランザクション処理の高速化を実現する製品がある。この製品は、プロセス内にＤＢを構成することからメモリを大量に消費するという特徴を有する。
【０００４】
このようなプログラムの場合、本番機と同じサイズのメモリ資源、ディスク資源のパラメタ値を用いて検証機で検証を行うことが理想的であるが、ＤＢエリアサイズとして使用するメモリサイズを指定するパラメタ値を、検証機のメモリサイズに合わせて変更する必要がある。このようにして行った検証では、本番機のパラメタ値を変更していることから、パラメタ値変更に伴う作業リスク（例えば、変更作業、復旧作業による人的作業のリスク）を考える必要が出てくる。
【０００５】
特許文献１では、資源に関するパラメタ値を変更しない検証方法が開示されている。この技術では、本番機と検証機をネットワークで接続し、検証時のデータ読込みは本番機のディスクから行い、データ更新は検証機のディスクに行う。本番機のデータの更新が行われた場合、更新前のデータを検証機へコピーして検証機が読み込むことにより動作を継続するという検証方法である。
【特許文献１】特開２００７−２７２５７９号公報
【発明の開示】
【発明が解決しようとする課題】
【０００６】
特許文献１の方法では、すでに動作している本番機が存在し、検証機とネットワークで接続されていなければならない。また、データの書込みは検証機のディスクに行うことと、本番機のデータの更新がなされると更新前データを検証機のディスクへコピーすることから、本番機と同等のディスクサイズを必要とすることが問題であった。
【０００７】
本発明は、前記の課題を解決するための発明であって、本番機よりディスクやメモリという資源が少ない検証機において、本番機で指定される資源に関するパラメタ値を用いて、ソフトウェアの検証を行うことができるソフトウェア検証方法およびソフトウェア検証機を提供することを目的とする。
【課題を解決するための手段】
【０００８】
前記目的を達成するために、本番機と検証機の資源状態をマシン情報ファイルとして定義する。それぞれのマシン情報ファイルから資源へのアクセス要求時に要求内容を変更するルールを定義した変更定義ファイルを生成しておき、ソフトウェアのプログラム（例えば、ＴＰモニタ１３）が資源への領域確保、書込み、読込みといった要求を行う際に、変更定義ファイルを用いて資源へのアクセス要求内容の要求サイズを、検証機の資源に応じた値へ変更をすることにより、基本動作の検証を可能とすることを特徴とする。
【発明の効果】
【０００９】
本発明によれば、本番機よりディスクやメモリという資源が少ない検証機でも、本番機で指定される資源に関するパラメタ値を用いて検証を行うことができる。
【発明を実施するための最良の形態】
【００１０】
本発明を実施するための最良の形態（以下、「本実施形態」という。）について、図面を参照しながら詳細に説明する。本実施形態では、本番機で指定される資源に関するパラメタ値を変更することなく、検証機で検証を行うものである。
【００１１】
図１は、本実施形態のソフトウェア検証方法の機能を示すブロック図である。検証機１は、構築の検証を実施するマシンであり、資源Ａ１１と、資源Ｂ１２、検証対象のプログラムであるＴＰモニタ１３と、パラメタ群１４と、変更定義生成部１５と、本番環境マシン情報ファイル１６と、検証環境マシン情報ファイル１７と、変更定義ファイル（変更定義ルール）１８と、要求変更部１９とで構成される。
【００１２】
資源Ａ１１は、メモリを想定し、ＴＰモニタ１３を制御するための情報が入っている制御領域１１１や、ユーザデータが格納されるデータ領域１１２を有する。資源Ｂ１２はディスクを想定し、ＴＰモニタ１３でユーザデータが格納されるデータ領域１２１を有する。資源Ａおよび資源Ｂにより、ＴＰモニタ１３を実行する際のメモリおよびディスクの検証を行うことができる。
【００１３】
ＴＰモニタ１３は、検証対象のプログラムであり、資源Ａ１１、資源Ｂ１２へのアクセス要求を要求処理部１３１が行う。要求処理部１３１は、アクセス先資源情報１３２（図７参照）を要求変更部１９へ渡す。アクセス先資源情報１３２は、アクセス先資源、アクセスする領域種別７０２（制御領域、データ領域）、アクセスする確保要求サイズ７０３を含む情報である。
【００１４】
パラメタ群１４は、ＴＰモニタ１３の動作を定義したパラメタ値の集まりであり、本番機のパラメタ群が配置される。パラメタ群１４とは、具体的には、メモリ使用量の上限を指定するパラメタ、ディスク使用量の上限や出力先を指定するパラメタ、接続先や通信するポート番号を指定するパラメタなどＴＰモニタ１３の動作を定義するパラメタ値の集まりである。パラメタ群１４は、本番機で使用するものと同等のものを用意し、検証機１でもパラメタ群１４の所定数は変更しないことが本実施形態の特徴である。
【００１５】
変更定義生成部１５は、本番環境マシン情報ファイル１６（図４参照）と検証環境マシン情報ファイル１７（図５参照）とを入力として、変更定義ファイル１８（図６参照）を生成する。
【００１６】
要求変更部１９は、領域確保処理部１９１（図９参照）、領域書込み処理部１９２（図１０参照）、領域読込み処理部１９３（図１１参照）を有する。要求変更部１９は、ＴＰモニタ１３の要求処理部１３１からのアクセス要求を受理すると、変更定義ファイル１８のルールに従ってアクセス先資源情報１３２の要求サイズを変更し、資源Ａ１１、資源Ｂ１２へアクセスを行う。
【００１７】
図２は、検証機の構成を示すブロック図である。検証機１は、ＣＰＵ（中央演算処理装置）２、ディスク（補助記憶装置）３、メモリ（主記憶装置）４、およびこれらを接続するバスから構成される。ＣＰＵ２は、メモリ４に格納される各種プログラムを実行する。ディスク３は、検証機１が処理を実行するための各種データを保存する。メモリ４は、検証機１が処理を実行する各種プログラムおよび一時的なデータを保持する。
【００１８】
ディスク３は、パラメタ群１４と、本番環境マシン情報ファイル１６と、検証環境マシン情報ファイル１７と、変更定義ファイル１８と、データ領域１２１（資源Ｂ１２）とを有する。メモリ４は、プログラムとして、アクセス先資源情報１３２と要求処理部１３１とを有するＴＰモニタ１３と、要求変更部１９と、変更定義生成部１５とを有するとともに、ＴＰモニタ１３が動作するための作業領域である制御領域１１１とデータ領域１１２とを有する。
【００１９】
図３は、マシン情報ファイルの一例を示す説明図である。マシン情報ファイルに指定する資源の例として、ディスクとメモリを挙げている。ディスク情報２０１は、ディスク資源のサイズに関する内容が定義されている。定義内容はディスクの最大サイズであり、サブディスク２０３ごとに作成する。本例では、サブディスクＡとサブディスクＢとする。オペレーティングシステムの標準コマンドから内容（サイズ）を求める。同様に、メモリ情報２０２は、メモリ資源のサイズに関する内容が定義されている。定義内容はメモリの最大サイズであり、オペレーティングシステムの標準コマンドから内容（サイズ）を求める。本番環境マシン情報ファイル１６および検証環境マシン情報ファイル１７は、図３に示すマシン情報ファイルと同様の形式にそって、管理者がＴＰモニタ１３の検証前に作成しておく。
【００２０】
図４は、本番環境マシン情報ファイルの一例を示す説明図である。図５は、検証環境マシン定義ファイルの一例を示す説明図である。具体的には、図４に示すように、本番環境では、サブディスクＡおよびサブディスクＢのディスク容量は夫々１０ＧＢ、１０ＧＢであり、メモリ容量は４ＧＢである。一方、図５に示すように、検証環境では、サブディスクＡおよびサブディスクＢのディスク容量は夫々５ＧＢ、１０ＧＢであり、メモリ容量は２ＧＢである。これにより、検証環境では、本番環境に対し、サブディスクＡおよびメモリの容量が不足していることがわかる。
【００２１】
図６は、変更定義ファイルの一例を示す説明図である。変更定義ファイル１８は、ディスク情報６０１と、メモリ情報６０２とから構成される。ディスク情報６０１は、変更定義生成部１５が図４の本番環境マシン情報ファイル１６と図５の検証環境マシン情報ファイル１７のディスク情報のサイズから比率を算出する。算出式を（Ａ１）式に示す。メモリ情報６０２は、変更定義生成部１５が図４の本番環境マシン情報ファイル１６と図５の検証環境マシン情報ファイル１７のメモリ情報のサイズから比率を算出する。算出式を（Ａ２）式に示す。
【００２２】
【数１】
2009277035.tif 000003
【００２３】
例として、本番環境マシン情報ファイル１６を図４、検証環境マシン情報ファイル１７を図５のものとして説明する。本番環境マシン情報ファイル１６のサブディスクＡの値が１０ＧＢであり、検証環境マシン情報ファイル１７のサブディスクＡの値が５ＧＢであることから、サブディスクＡに定義する値は、５ＧＢ／１０ＧＢ＝０．５という比率となる。同様に、本番環境マシン情報ファイル１６のメモリの値が４ＧＢであり、検証環境マシン情報ファイル１７のメモリの値が２ＧＢであることから、メモリに定義する値は、２ＧＢ／４ＧＢ＝０．５という比率となる。
【００２４】
図７は、アクセス先資源情報の一例を示す説明図である。アクセス先資源情報１３２は、ＴＰモニタ１３が資源へアクセスするために要求変更部１９へ渡す情報である。アクセス先資源情報１３２には、アクセス先資源７０１、領域種別７０２、確保要求サイズ７０３を含む。アクセス先資源７０１は、アクセス要求先の資源であり、例では資源Ａか資源Ｂを指定する。領域種別７０２は、アクセス先資源７０１が資源Ａの場合に、領域が制御領域かデータ領域かを指定する。アクセス先資源７０１が資源Ｂの場合は、データ領域として自動的に指定される。確保要求サイズ７０３は、アクセス要求するサイズを指定する。
【００２５】
なお、検証環境では、他のプログラムも動作しているので、メモリ容量が不足する場合も考えられる。このときには、図５に示す検証環境マシン情報ファイル１７のメモリの数値を下げることにより、図６の変更定義ファイル１８のメモリの数値が下がる。変更定義ファイル１８のメモリの数値が下がることにより、アクセスする領域サイズを小さくすることができる。ここでは、本番環境のメモリ容量は４ＧＢ、検証環境のメモリ容量は２ＧＢと設定され、図６に示すように、変更定義ファイル１８のメモリ情報６０２は０．５となる。しかしながら、例えば、検証環境のメモリ容量を１ＧＢとすることにより、変更定義ファイル１８のメモリ情報６０２は０．２５となる。この状態で、図７に示すアクセス先資源情報１３２が、資源Ａ、データ領域、要求サイズ４ＧＢとなった場合、アクセスする領域サイズは４ＧＢ×０．２５＝１ＧＢとなる。この場合においても、本番機で指定される資源に関するパラメタ値を変更するものでない。
【００２６】
次に、変更定義生成部１５の処理について、図８を参照して説明する。
図８は、変更定義ファイル生成時の処理を示すフローチャートである。例では、図４に示す本番環境マシン情報ファイル１６、図５に示す検証環境マシン情報ファイル１７を適宜参照して説明する。変更定義生成部１５は、本番環境マシン情報ファイル１６から資源情報を読み込む（処理Ｓ８０１）。検証環境マシン情報ファイル１７から資源情報を読み込む（処理Ｓ８０２）。読み込んだ資源情報がディスクか否かを確認する（処理Ｓ８０３）。ディスクの場合（処理Ｓ８０３，Ｙｅｓ）、（Ａ１）式の計算式で変更定義ファイル１８のディスクの値を算出し（処理Ｓ８０４）、算出結果を変更定義ファイル１８に記憶し、処理Ｓ８０６に進む。
【００２７】
処理Ｓ８０３において、ディスクでない場合、すなわち、メモリの場合（処理Ｓ８０３，Ｎｏ）、（Ａ２）式の計算式で変更定義ファイル１８のメモリの値を算出し（処理Ｓ８０５）、算出結果を変更定義ファイル１８に記憶し、処理Ｓ８０６に進む。処理Ｓ８０６において、本番環境マシン情報ファイル１６と検証環境マシン情報ファイル１７に、次の資源情報が存在しないか否か確認する。存在する場合は（処理Ｓ８０６，Ｎｏ）、処理Ｓ７０１に戻り、存在しない場合は（処理Ｓ８０６，Ｙｅｓ）、処理を終了する。
【００２８】
次に、変更定義生成部１５の処理について、図９〜図１１を参照して説明する。例では、資源Ａをメモリ、資源Ｂをディスクとして説明する。
【００２９】
図９は、領域確保要求時の処理を示すフローチャートである。図９に示す処理は、要求変更部１９の領域確保処理部１９１（図１参照）によって実行される。領域確保処理部１９１は、領域の確保先が資源Ａか否か（資源Ｂか）を確認する（処理Ｓ９０１）。確保先が資源Ａの場合（処理Ｓ９０１，Ｙｅｓ）、確保領域がＴＰモニタ１３の動作を制御する制御領域か否か（ユーザデータが格納されるデータ領域か）を確認する（処理Ｓ９０２）。確認はアクセス先資源情報１３２の領域種別７０２からできる。データ領域の場合は（処理Ｓ９０２，Ｙｅｓ）、変更定義ファイル１８を参照し、変更定義ファイル１８の変更ルールに従って確保要求サイズ７０３（図７参照）を変更する（処理Ｓ９０３）。変更後、要求サイズで資源Ａにデータ領域を確保する（処理Ｓ９０４）。そして、データ領域確保要求に対しては、要求サイズで領域を確保できたことを返し（処理Ｓ９０５）、処理を終了する。
【００３０】
処理Ｓ９０２において、確保領域がデータ領域でない場合、すなわち、制御領域の場合は（処理Ｓ９０２，Ｎｏ）、要求サイズの変更は行わず、要求サイズで資源Ａに領域確保する（処理Ｓ９０６）。制御領域確保要求に対しては、要求サイズで領域を確保できたことを返し（処理Ｓ９０７）、処理を終了する。
【００３１】
処理Ｓ９０１において、確保先資源が資源Ａでなく資源Ｂの場合（処理Ｓ９０１，Ｎｏ）、変更定義ファイル１８を参照し、変更定義ファイル１８の変更ルールに従って確保要求サイズ７０３（図７参照）を変更する（処理Ｓ９０８）。変更後サイズで資源Ｂにデータ領域確保の処理を行う（処理Ｓ９０９）。そして、データ領域確保要求に対しては、要求サイズで領域を確保できたことを返し（処理Ｓ９１０）、処理を終了する。
【００３２】
図１０は、領域書込み要求時の処理を示すフローチャートである。図１０に示す処理は、要求変更部１９の領域書込み処理部１９２（図１参照）によって実行される。領域書込み処理部１９２は、領域の書込み先が資源Ａか否か（資源Ｂか）を確認する（処理Ｓ１００１）。書込み先が資源Ａの場合（処理Ｓ１００１，Ｙｅｓ）、書込み領域がＴＰモニタ１３の動作を制御する制御領域か否か（ユーザデータが格納されるとして使用するデータ領域か）を確認する（処理Ｓ１００２）。確認は、アクセス先資源情報１３２の領域種別７０２からできる。データ領域の場合は（処理Ｓ１００２，Ｙｅｓ）、変更定義ファイル１８を参照し、変更定義ファイル１８の変更ルールに従って書込み要求サイズを変更する（処理Ｓ１００３）。書込みデータのうち、変更後サイズのデータを資源Ａのデータ領域へ書込みを行う（処理Ｓ１００４）。そして、データ領域への書込み要求に対しては、要求サイズで領域に書込みできたことを返し（処理Ｓ１００５）、処理を終了する。
【００３３】
処理Ｓ１００２において、書込み領域がデータ領域でなく制御領域の場合は（処理Ｓ１００２，Ｎｏ）、要求領域サイズの変更は行わず、要求サイズで資源Ａへ領域の書込みを行う（処理Ｓ１００６）。そして、制御領域への領域書込み要求に対しては、要求サイズで領域に書込みできたことを返し（処理Ｓ１００７）、処理を終了する。
【００３４】
処理Ｓ１００１において、書込み資源が資源Ａでなく資源Ｂの場合（処理Ｓ１００１，Ｎｏ）、変更定義ファイル１８を参照し、変更定義ファイル１８の変更ルールに従って書込み要求サイズを変更する（処理Ｓ１００８）。書込み要求があったデータの変更後サイズ分だけ資源Ｂのデータ領域へ書込みを行う（処理Ｓ１００９）。そして、制御領域への書込み要求に対しては、要求サイズで領域に書込みできたことを返し（処理Ｓ１０１０）、処理を終了する。
【００３５】
図１１は、領域読込み要求時の処理を示すフローチャートである。図１１に示す処理は、要求変更部１９の領域読込み処理部１９３（図１参照）によって実行される。領域読込み処理部１９３は、領域の読込み先が資源Ａか否か（資源Ｂか）を確認する（処理Ｓ１１０１）。読込み先が資源Ａの場合（処理Ｓ１１０１，Ｙｅｓ）、読込み領域がＴＰモニタ１３の動作を制御する制御領域か否か（ユーザデータとして使用するデータ領域か）を確認する（処理Ｓ１１０２）。確認は、アクセス先資源情報１３２の領域種別７０２から確認することができる。データ領域の場合は（処理Ｓ１１０２，Ｙｅｓ）、変更定義ファイル１８を参照し、変更ルールに従って読込み要求サイズを変更する（処理Ｓ１１０３）。読込み要求があったデータの変更後サイズ分だけ資源Ａからデータ領域読込みを行う（処理Ｓ１１０４）。そして、データ領域の読込み要求に対しては、要求サイズで領域のデータを読込みできたことを返し（処理Ｓ１１０５）、処理を終了する。
【００３６】
処理Ｓ１１０２において、読込み領域がデータ領域でなく制御領域の場合は（処理Ｓ１１０２，Ｎｏ）、要求領域サイズの変更は行わず、要求サイズで資源Ａの領域のデータを読込む（処理Ｓ１１０６）。そして、制御領域の読込み要求に対しては、要求サイズで領域のデータを読込みできたことを返し（処理Ｓ１１０７）、処理を終了する。
【００３７】
処理Ｓ１１０１において、読込み先資源が資源Ａでなく資源Ｂの場合（処理Ｓ１１０１，Ｎｏ）、変更定義ファイル１８を参照し、変更ルールに従って読込み要求サイズを変更する（処理Ｓ１１０８）。読込み要求があったデータの変更後サイズ分だけ資源Ｂからデータ領域読込みを行う（処理Ｓ１１０９）。そして、データ領域読込み要求に対しては、要求サイズで領域のデータを読込みできたことを返し（処理Ｓ１１１０）、処理を終了する。
【００３８】
本実施形態によれば、情報システムの構築手順の検証を行う際に、プログラムの動作を決定するパラメタ群において、他マシンで動作検証を行う場合、資源のサイズに関するパラメタ値を変更ルールに基づき変更して動作検証を行うことができる。すなわち、構築手順の検証を行う際に、暫定的に資源のサイズに関するパラメタ値を変更することなくＴＰモニタ１３を動作させることができる。パラメタ値を変更しないことから、パラメタ値の検証も実施でき、検証後のパラメタ群をそのまま本番機のパラメタ群として使用することができる。パラメタ群を検証機用に変更することがなくなることから、作業時間の短縮という効果を得ることができる。
【図面の簡単な説明】
【００３９】
【図１】本実施形態のソフトウェア検証方法の機能を示すブロック図である。
【図２】検証機の構成を示すブロック図である。
【図３】マシン情報ファイルの一例を示す説明図である。
【図４】本番環境マシン情報ファイルの一例を示す説明図である。
【図５】検証環境マシン情報ファイルの一例を示す説明図である。
【図６】変更定義ファイルの一例を示す説明図である。
【図７】アクセス先資源情報の一例を示す説明図である。
【図８】変更定義ファイル生成時の処理を示すフローチャートである。
【図９】領域確保要求時の処理を示すフローチャートである。
【図１０】領域書込み要求時の処理を示すフローチャートである。
【図１１】領域読込み要求時の処理を示すフローチャートである。
【符号の説明】
【００４０】
１    検証機
２    ＣＰＵ（中央演算処理装置）
３    ディスク（補助記憶装置）
４    メモリ（主記憶装置）
１１    資源Ａ
１２    資源Ｂ
１３    ＴＰモニタ
１３１    要求処理部
１３２    アクセス先資源情報
１４    パラメタ群
１５    変更定義生成部
１６    本番環境マシン情報ファイル
１７    検証環境マシン情報ファイル
１８    変更定義ファイル（変更定義ルール）
１９    要求変更部
１１１    制御領域
１１２    データ領域
１２１    データ領域
７０１    アクセス先資源
７０２    領域種別
７０３    確保要求サイズ
【図１】
2009277035.tif 000004
【図２】
2009277035.tif 000005
【図３】
2009277035.tif 000006
【図４】
2009277035.tif 000007
【図５】
2009277035.tif 000008
【図６】
2009277035.tif 000009
【図７】
2009277035.tif 000010
【図８】
2009277035.tif 000011
【図９】
2009277035.tif 000012
【図１０】
2009277035.tif 000013
【図１１】
2009277035.tif 000014