JP2022150518A - テスト処理プログラム、テスト処理方法および情報処理装置 - Google Patents

Abstract

【課題】ソフトウェアテストを簡便化する。【解決手段】情報処理装置は、記憶部と処理部とを有する。記憶部は、ソフトウェアとソフトウェアとは別個のテストプログラムとを記憶する。処理部は、ソフトウェアをテストモードで実行することを示すテスト指定情報に応じて、テストプログラムを呼び出す。処理部は、呼び出されたテストプログラムを用いて、ソフトウェアに含まれる関数が使用する変数を示すアドレスを特定し、アドレスが示す変数の値を書き換える。【選択図】図３

Description

本発明はテスト処理プログラム、テスト処理方法および情報処理装置に関する。

ソフトウェア開発においては、作成されたソフトウェアが仕様通りに正しく動作することを確認するソフトウェアテストが行われる。ソフトウェアテストは、ソフトウェアの内部状態を特定の状態に設定し、その内部状態のもとでソフトウェアの挙動を確認する手順を含むことがある。例えば、ソフトウェアテストは、ソフトウェアの内部状態を異常状態に設定し、異常からのリカバリが適切に行われることを確認する手順を含むことがある。

なお、テスト対象プログラムに含まれる複数のモジュールをデバッガにロードし、ロードされた状態のまま、スタブプログラムを動的に結合して各モジュールの単体テストを行うことで、テスト工数を削減するモジュール検証システムが提案されている。

特開２００８－１３５００８号公報

ソフトウェアによっては、通常の外部操作のみでは特定の内部状態を意図的に作り出すことが難しいことがある。例えば、ソフトウェアに入力する入力データを変更するだけでは、特定の異常状態を再現することが難しいことがある。その場合、ソフトウェアテストは、ソフトウェアの中にテストプログラムを埋め込み、内部のテストプログラムによって特定の内部状態を強制的に作り出す手順を含むことがある。

しかし、テスト毎にソフトウェアを一時的に修正することは、ソフトウェアテストの手順やソフトウェアの品質管理を煩雑にするおそれがある。そこで、１つの側面では、本発明は、ソフトウェアテストを簡便化することを目的とする。

１つの態様では、以下の処理をコンピュータに実行させるテスト処理プログラムが提供される。ソフトウェアをテストモードで実行することを示すテスト指定情報に応じて、ソフトウェアとは別個のテストプログラムを呼び出す。呼び出されたテストプログラムを用いて、ソフトウェアに含まれる関数が使用する変数を示すアドレスを特定し、アドレスが示す変数の値を書き換える。

また、１つの態様では、コンピュータが実行するテスト処理方法が提供される。また、１つの態様では、記憶部と処理部とを有する情報処理装置が提供される。

１つの側面では、ソフトウェアテストが簡便化される。

第１の実施の形態の情報処理装置を説明するための図である。 情報処理装置のハードウェア例を示すブロック図である。 ソフトウェア製品の構造例を示す図である。 製品モジュールとテストモジュールの第１の例を示す図である。 製品モジュールとテストモジュールの第２の例を示す図である。 ローカル変数のアドレスの算出例を示す図である。 製品モジュールとテストモジュールの第３の例を示す図である。 製品モジュールとテストモジュールの第４の例を示す図である。 製品モジュールとテストモジュールの構造例を示す図である。 情報処理装置の機能例を示すブロック図である。 コンパイラスレッドの手順例を示すフローチャートである。 アドレス解決の手順例を示すフローチャートである。

以下、本実施の形態を図面を参照して説明する。
［第１の実施の形態］
第１の実施の形態を説明する。

図１は、第１の実施の形態の情報処理装置を説明するための図である。
第１の実施の形態の情報処理装置１０は、ソフトウェアテストを支援する。情報処理装置１０は、クライアント装置でもよいしサーバ装置でもよい。情報処理装置１０が、コンピュータ、テスト処理装置またはソフトウェア開発装置と呼ばれてもよい。

情報処理装置１０は、記憶部１１および処理部１２を有する。記憶部１１は、ＲＡＭ（Random Access Memory）などの揮発性半導体メモリでもよいし、ＨＤＤ（Hard Disk Drive）やフラッシュメモリなどの不揮発性ストレージでもよい。処理部１２は、例えば、ＣＰＵ（Central Processing Unit）、ＧＰＵ（Graphics Processing Unit）、ＤＳＰ（Digital Signal Processor）などのプロセッサである。ただし、処理部１２が、ＡＳＩＣ（Application Specific Integrated Circuit）やＦＰＧＡ（Field Programmable Gate Array）などの特定用途の電子回路を含んでもよい。プロセッサは、例えば、ＲＡＭなどのメモリに記憶されたプログラムを実行する。プロセッサの集合が、マルチプロセッサまたは単に「プロセッサ」と呼ばれてもよい。

記憶部１１は、ソフトウェア１３およびテストプログラム１６を記憶する。ソフトウェア１３は、テスト対象のソフトウェア製品またはソフトウェア製品の一部分である製品モジュールである。ソフトウェア１３は、１以上のプログラムファイルを含む。ソフトウェア１３は、ユーザプログラムの実行に用いられるプログラム実行環境などのミドルウェアであってもよい。プログラム実行環境は、高級言語プログラムまたは中間言語プログラムを機械語プログラムに変換するＪＩＴ（Just In Time）コンパイラを含むことがある。

ソフトウェア１３は、関数１４を含む。関数１４は、呼び出しに応答して特定の情報処理を実行するプログラム単位である。関数１４が、メソッド、プロシジャまたはサブルーチンと呼ばれてもよい。関数１４は、情報処理において変数１５を使用する。変数１５の値は、ソフトウェア１３の内部状態を表してもよい。

変数１５は、関数１４のローカル変数であってもよい。関数１４のローカル変数は、関数１４および関数１４から呼び出される他の関数から参照可能であり、それ以外の関数１４の外部からは参照不可である。ローカル変数の値は、メモリの中のスタック領域に格納されてもよい。スタック領域の中で各ローカル変数の値が格納される相対位置は、例えば、関数１４をコンパイルするコンパイラによって決定される。複数の関数が階層的に呼び出される場合、各関数がもつローカル変数の値がスタック領域に積み上げられる。

テストプログラム１６は、ソフトウェア１３とは別個のテスト用モジュールである。テストプログラム１６は、呼び出しに応答してソフトウェア１３の内部状態を特定の状態に設定する処理を規定する。特定の状態は、外部からソフトウェア１３への通常の入力操作のみでは再現することが難しい状態であってもよい。また、特定の状態は、メモリアクセス違反、内部矛盾検出、応答なしなどの異常状態であってもよい。テストプログラム１６は、テスト番号の指定に応じて異なる内部状態を作り出す処理を規定してもよい。

また、テストプログラム１６は、変数１５を示すアドレスを特定するための情報を保持してもよい。変数１５を示すアドレスは、例えば、メモリ上で変数１５の値が格納される位置を示すメモリアドレスである。テストプログラム１６が保持する情報は、スタック領域における基準位置からのアドレス差分を示すオフセットであってもよく、変数名とオフセットとを対応付けたテーブル情報であってもよい。

上記のように変数１５の位置は、関数１４をコンパイルするコンパイラによって決定されることがある。そこで、テストプログラム１６が保持する情報は、コンパイル済みの関数１４の命令を解析することでテスト開始前に生成されてもよく、コンパイラからメモリ割り当ての情報を抽出することでテスト開始前に生成されてもよい。

処理部１２は、テストプログラム１６を用いてソフトウェア１３をテストする。処理部１２は、ソフトウェア１３をテストモードで実行することを示すテスト指定情報１７を受け付ける。テスト指定情報１７は、開発者から入力されてもよい。また、テスト指定情報１７は、ソフトウェア１３を起動するためのコマンドに含まれるオプションであってもよい。また、テスト指定情報１７は、テスト種別を示すテスト番号を含んでもよい。

処理部１２は、テスト指定情報１７に応じて、テストプログラム１６を呼び出す。テスト指定情報１７を受け付けた場合にテストプログラム１６を呼び出す処理は、ソフトウェア１３に規定されていてもよく、関数１４に規定されていてもよい。

このとき、処理部１２は、テストプログラム１６からデジタル署名を抽出し、デジタル署名の検証に失敗した場合にはテストプログラム１６の呼び出しを拒否してもよい。デジタル署名の検証では、例えば、処理部１２は、デジタル署名を特定の暗号鍵で復号し、テストプログラム１６の他の部分のハッシュ値を算出し、復号結果とハッシュ値が一致するか判定する。一致した場合は検証成功であり、一致しない場合は検証失敗である。これにより、テスト実行者によって作成されていない不正プログラムの呼び出しが拒否される。

処理部１２は、呼び出されたテストプログラム１６を用いて、変数１５を示すアドレスを特定し、特定されたアドレスが示す変数１５の値を書き換える。例えば、処理部１２は、テストプログラム１６に含まれる命令に従い、変数１５の値を、テスト指定情報１７に含まれるテスト番号に対応する特定の異常値に変更する。これにより、処理部１２は、ソフトウェア１３の内部状態を強制的に特定の状態に設定する。

例えば、処理部１２は、変数１５の値を書き換えた後に関数１４の実行を続ける。処理部１２は、ソフトウェア１３の処理結果を示すログを保存する。これにより、特定の内部状態のもとでのソフトウェア１３の挙動を確認するソフトウェアテストが実現される。例えば、確率の低い異常状態が発生した際のソフトウェア１３の挙動が確認される。

以上説明したように、第１の実施の形態の情報処理装置１０は、ソフトウェア１３のテストを実行する。このため、仕様に適合しない動作が検出され、ソフトウェア１３の不具合が発見される。よって、デバッグを通じてソフトウェア１３の品質が向上する。

また、情報処理装置１０は、ソフトウェア１３の外部のテストプログラム１６を用いて、ソフトウェアテストを実行する。このため、開発者はソフトウェア１３の中にテストプログラムを埋め込まなくてよく、テストのためにソフトウェア１３を一時的に修正しなくてよい。よって、テスト作業を通じてソフトウェア１３に不具合が発生するリスクが低減され、ソフトウェア１３の品質管理の負担が低減される。また、ソフトウェア１３の中にテストプログラムが残ることによるセキュリティリスクが低減される。

また、情報処理装置１０は、テストプログラム１６を呼び出すことで、変数１５のアドレスを特定して変数１５の値を外部から書き換えることを可能にする。これにより、情報処理装置１０は、ソフトウェア１３の外部から、ソフトウェア１３に特定の内部状態を設定する。よって、情報処理装置１０は、ソフトウェア１３に対する通常の入力操作のみでは再現することが難しい内部状態（例えば、メモリアクセス違反などの特定の異常状態）を意図的に作り出すことができ、ソフトウェアテストを簡便化できる。

［第２の実施の形態］
次に、第２の実施の形態を説明する。
第２の実施の形態の情報処理装置１００は、ソフトウェアテストを支援する。情報処理装置１００は、第１の実施の形態の情報処理装置１０に対応する。情報処理装置１００は、クライアント装置でもよいしサーバ装置でもよい。

図２は、情報処理装置のハードウェア例を示すブロック図である。
情報処理装置１００は、バスに接続されたＣＰＵ１０１、ＲＡＭ１０２、ＨＤＤ１０３、ＧＰＵ１０４、入力インタフェース１０５、媒体リーダ１０６および通信インタフェース１０７を有する。ＣＰＵ１０１は、第１の実施の形態の処理部１２に対応する。ＲＡＭ１０２またはＨＤＤ１０３は、第１の実施の形態の記憶部１１に対応する。

ＣＰＵ１０１は、プログラムの命令を実行するプロセッサである。ＣＰＵ１０１は、ＨＤＤ１０３に記憶されたプログラムおよびデータの少なくとも一部をＲＡＭ１０２にロードし、プログラムを実行する。情報処理装置１００は、複数のプロセッサを有してもよい。プロセッサの集合が、マルチプロセッサまたは単に「プロセッサ」と呼ばれてもよい。

ＲＡＭ１０２は、ＣＰＵ１０１で実行されるプログラムおよびＣＰＵ１０１で演算に使用されるデータを一時的に記憶する揮発性半導体メモリである。情報処理装置１００は、ＲＡＭ以外の種類の揮発性メモリを有してもよい。

ＨＤＤ１０３は、ＯＳ（Operating System）、ミドルウェア、アプリケーションソフトウェアなどのソフトウェアのプログラム、および、データを記憶する不揮発性ストレージである。情報処理装置１００は、フラッシュメモリやＳＳＤ（Solid State Drive）などの他の種類の不揮発性ストレージを有してもよい。

ＧＰＵ１０４は、ＣＰＵ１０１と連携して画像を生成し、情報処理装置１００に接続された表示装置１１１に画像を出力する。表示装置１１１は、例えば、ＣＲＴ（Cathode Ray Tube）ディスプレイ、液晶ディスプレイ、有機ＥＬ（Electro Luminescence）ディスプレイまたはプロジェクタである。なお、情報処理装置１００に、プリンタなどの他の種類の出力デバイスが接続されてもよい。

入力インタフェース１０５は、情報処理装置１００に接続された入力デバイス１１２から入力信号を受け付ける。入力デバイス１１２は、例えば、マウス、タッチパネルまたはキーボードである。情報処理装置１００に複数の入力デバイスが接続されてもよい。

媒体リーダ１０６は、記録媒体１１３に記録されたプログラムおよびデータを読み取る読み取り装置である。記録媒体１１３は、例えば、磁気ディスク、光ディスクまたは半導体メモリである。磁気ディスクには、フレキシブルディスク（ＦＤ：Flexible Disk）およびＨＤＤが含まれる。光ディスクには、ＣＤ（Compact Disc）およびＤＶＤ（Digital Versatile Disc）が含まれる。媒体リーダ１０６は、記録媒体１１３から読み取られたプログラムおよびデータを、ＲＡＭ１０２やＨＤＤ１０３などの他の記録媒体にコピーする。読み取られたプログラムは、ＣＰＵ１０１によって実行されることがある。

記録媒体１１３は、可搬型記録媒体であってもよい。記録媒体１１３は、プログラムおよびデータの配布に用いられることがある。また、記録媒体１１３およびＨＤＤ１０３が、コンピュータ読み取り可能な記録媒体と呼ばれてもよい。

通信インタフェース１０７は、ネットワーク１１４に接続され、ネットワーク１１４を介して他の情報処理装置と通信する。通信インタフェース１０７は、スイッチやルータなどの有線通信装置に接続される有線通信インタフェースでもよいし、基地局やアクセスポイントなどの無線通信装置に接続される無線通信インタフェースでもよい。

図３は、ソフトウェア製品の構造例を示す図である。
ソフトウェア製品の開発者は、ユーザプログラムが情報処理装置１００で動作するようにプログラム実行環境１２０を開発する。プログラム実行環境１２０は、有償または無償で第三者に提供されるソフトウェア製品である。情報処理装置１００は、品質向上のためにプログラム実行環境１２０のテストを行う。プログラム実行環境１２０は、ユーザプログラム１２３とコンピュータハードウェアとの間に介在してユーザプログラム１２３の実行を制御するミドルウェアである。プログラム実行環境１２０が、バーチャルマシンまたはフレームワークと呼ばれることがある。

ユーザプログラム１２３は、高級言語と機械語との間の抽象度をもつ中間言語を用いて記述される。ユーザプログラム１２３は、高級言語で記述されたソースコードをコンパイルすることで生成される。ユーザプログラム１２３が中間コードまたはバイトコードと呼ばれることがある。プログラム実行環境１２０は、ユーザプログラム１２３の中間言語命令を機械語命令に変換する。プログラム実行環境１２０は、機械語命令セットが異なる様々なプロセッサの上でユーザプログラム１２３を実行することを可能にする。

プログラム実行環境１２０は、インタープリタ１２１およびＪＩＴコンパイラ１２２を含む。プログラム実行環境１２０は、ユーザプログラム１２３を指定したコマンドを受け付ける。すると、インタープリタ１２１は、ユーザプログラム１２３に含まれる中間言語命令を１つずつ解釈して、中間言語命令に対応する機械語命令に変換し、プロセッサに機械語命令を実行させる。このとき、インタープリタ１２１は、各メソッドの呼び出し頻度を監視する。メソッドは、呼び出し可能なひとまとまりのプログラム単位である。メソッドが関数、プロシジャまたはサブルーチンと呼ばれることがある。

インタープリタ１２１は、メソッド毎に呼び出し回数をカウントし、呼び出し回数が閾値（例えば、３回）に達したメソッドのコンパイルをＪＩＴコンパイラ１２２に要求する。呼び出し頻度の高いメソッドについては、中間言語命令を１つずつ解釈するよりも、事前に全体を機械語命令に変換した方が高速化されるためである。インタープリタ１２１の処理とＪＩＴコンパイラ１２２の処理は、同一のプロセッサコアによって時分割に実行されてもよいし、異なるプロセッサコアによって並列に実行されてもよい。ＪＩＴコンパイラ１２２の処理が、コンパイラスレッドと呼ばれることがある。

ＪＩＴコンパイラ１２２は、インタープリタ１２１から指定されたメソッドのバイトコード（中間言語命令群）をネイティブコード（機械語命令群）に変換する。このとき、ＪＩＴコンパイラ１２２は、実行速度が上がるようにネイティブコードを最適化し得る。ＪＩＴコンパイラ１２２は、生成されたネイティブコードを保存する。コンパイル済みのメソッドが呼び出された場合、プログラム実行環境１２０は、インタープリタ１２１によるバイトコードの解釈に代えて、ネイティブコードをプロセッサに実行させる。

ただし、ＪＩＴコンパイラ１２２は、異常状態の発生によってバイトコードのコンパイルに失敗することがある。異常状態は、ＪＩＴコンパイラ１２２のプログラム上の不具合（いわゆるバグ）に起因して発生することがある。異常状態には、不適切なメモリ領域にアクセスするメモリアクセス違反、コンパイル中に生成される幾つかのデータが互いに整合していない内部矛盾検出、無限ループまたはイベント待ちによってコンパイルが進行不能になる応答なし状態などが含まれる。コンパイルに失敗すると、ＪＩＴコンパイラ１２２は、メソッドに失敗フラグを付与し、以降の当該メソッドのコンパイルを抑止する。

また、コンパイルに失敗すると、ＪＩＴコンパイラ１２２は、プログラム実行環境１２０を正常状態に復旧するリカバリ処理を実行する。リカバリ処理は、メモリ上のデータをコンパイル前の状態に復元するなど、ＪＩＴコンパイラ１２２のエラーがプログラム実行環境１２０の他の機能に影響を与えないようにする事後処理である。

ＪＩＴコンパイラ１２２は、ソフトウェア製品に包含される製品モジュールの一例である。第２の実施の形態では情報処理装置１００は、プログラム実行環境１２０のテストとして特に、ＪＩＴコンパイラ１２２のリカバリ処理のテストを行う。コンパイラスレッドのリカバリ処理のテストでは、情報処理装置１００は、ＪＩＴコンパイラ１２２の内部状態を意図的に特定の異常状態に設定して、ＪＩＴコンパイラ１２２を実行する。

ただし、テストしたい異常状態の中には、ＪＩＴコンパイラ１２２の外部からの通常の入力操作のみでは再現することが難しい異常状態も存在する。そこで、１つの方法として、開発者は、ＪＩＴコンパイラ１２２のソースコードを一時的に修正して、異常状態を強制的に発生させるテストコードをソースコード中に埋め込むことが考えられる。テストコードは、例えば、特定の変数の値を異常値に書き換える。

しかし、上記の方法では、開発者はテスト後にテストコードを除去して、テストコード以外の機能がテスト時と同一であるようにＪＩＴコンパイラ１２２を完成させることになる。そのため、ＪＩＴコンパイラ１２２の品質管理の負担が増大する。また、ＪＩＴコンパイラ１２２にテストコードが残っていると、不具合の原因になるおそれがあると共に、セキュリティリスクを増大させるおそれがある。また、テストケースを変更するために、開発者はソースコードの再コンパイルなどＪＩＴコンパイラ１２２の再ビルドを行うことになり、テスト自体の作業負担が増大する。

他の方法として、開発者は、デバッガと呼ばれる開発支援ツールを利用して、特定のタイミングでレジスタやメモリの内容を書き換えながら、ＪＩＴコンパイラ１２２の命令をプロセッサに実行させる方法も考えられる。しかし、開発者は低レベルの命令やデータ構造を意識してデバッガを操作することになり、テスト作業の負担が大きくテスト工数が増大するおそれがある。また、開発者がテスト技術を習得するための学習コストが高い。

そこで、第２の実施の形態の情報処理装置１００は、ＪＩＴコンパイラ１２２の外部に用意されたテストモジュール１２４を用いて、ＪＩＴコンパイラ１２２の内部状態を変更する。テストモジュール１２４は、プログラム実行環境１２０に組み込まれておらず、テスト時にＪＩＴコンパイラ１２２から呼び出される動的リンクライブラリである。

プログラム実行環境１２０がテストモードでの起動を示すオプションを含むコマンドを受け付けた場合に、ＪＩＴコンパイラ１２２がテストモジュール１２４を呼び出す。このオプションは、プログラム実行環境１２０の提供先の第三者には開示されない非公開オプションである。オプションは、テスト種別を示すテスト番号を含む。ＪＩＴコンパイラ１２２は、呼び出しの際にテスト番号をテストモジュール１２４に通知する。テストモジュール１２４は、指定されたテスト番号に応じて、ＪＩＴコンパイラ１２２に含まれる変数の値を書き換えて、特定の異常状態を強制的に作り出す。

ただし、テストモジュール１２４を単純にＪＩＴコンパイラ１２２から分離するだけでは、スコープの関係上、テストモジュール１２４から直接参照することができるＪＩＴコンパイラ１２２の変数および関数が限定されてしまう。

１つの方法として、テストモジュール１２４が使用する変数および関数のアドレスを、関数呼び出しの引数としてＪＩＴコンパイラ１２２からテストモジュール１２４に渡す方法が考えられる。しかし、この方法ではテスト内容に応じて引数のデータ構造が変化してしまい、ＪＩＴコンパイラ１２２およびテストモジュール１２４の修正作業が多くなるおそれがある。また、他の１つの方法として、ＪＩＴコンパイラ１２２に含まれる変数および関数のスコープを、外部モジュールから参照可能に設定する方法も考えられる。しかし、この方法ではセキュリティリスクが増大するおそれがある。

そこで、第２の実施の形態ではソフトウェアテストを容易にするため、製品モジュールおよびテストモジュールが、以下に説明するプログラム構造をもつように作成される。なお、テストモジュール１２４の外部に設定ファイルを用意することで、テストモジュール１２４の挙動の詳細を簡便的に指定できるようにしてもよい。

図４は、製品モジュールとテストモジュールの第１の例を示す図である。
製品モジュール１４１は、関数ｆｕｎ＿ａを含む。関数ｆｕｎ＿ａは、整数型のローカル変数である変数ｖａｒ１をもつ。関数ｆｕｎ＿ａは、メモリ上の変数ｖａｒ１のアドレスを引数として渡して、テストモジュール１５１の関数ｔｅｓｔを呼び出す。その後、関数ｆｕｎ＿ａは、変数ｖａｒ１の値に応じた処理を実行する。

テストモジュール１５１は、整数型変数のポインタを引数として受け取る関数ｔｅｓｔを含む。関数ｔｅｓｔは、受け取ったポインタが指し示す変数ｖａｒ１の値を特定の値に書き換える。このような製品モジュール１４１およびテストモジュール１５１は、引数のデータ構造がテストモジュール１５１のテスト内容に依存しているため結合度が高い。そこで、製品モジュールとテストモジュールのプログラム構造が以下のように変更される。

図５は、製品モジュールとテストモジュールの第２の例を示す図である。
製品モジュール１４２は、関数ｆｕｎ＿ａを含む。関数ｆｕｎ＿ａは、整数型のローカル変数である変数ｖａｒ１をもつ。関数ｆｕｎ＿ａは、テストモジュール１５２の関数ｔｅｓｔを呼び出す。テストモジュール１５２の関数ｔｅｓｔは、引数をもたない。その後、関数ｆｕｎ＿ａは、変数ｖａｒ１の値に応じた処理を実行する。

テストモジュール１５２は、関数ｔｅｓｔおよび関数ｇｅｔ＿ｖａｒ＿ａｄｄｒ（関数１５３）を含む。関数１５３は、関数名ｆｎａｍｅおよび変数名ｖｎａｍｅを引数として受け取り、引数によって特定される変数のアドレスを応答するユーティリティ関数である。関数１５３がアドレス解決関数と呼ばれることがある。関数ｔｅｓｔは、製品モジュール１４２がもつ変数のうち値を書き換えたいローカル変数について、ローカル変数が属する関数の名称とローカル変数の名称とを指定して関数１５３を呼び出す。関数ｔｅｓｔは、関数１５３から受け取ったポインタが指し示す変数の値を特定の値に書き換える。

関数１５３は、以下に説明するスタックオフセットテーブル１７５を用いて、指定されたローカル変数のアドレスを算出する。関数１５３によってアドレスが解決されるローカル変数は、呼び出し元関数をテストモジュール１５２から呼び出し方向の逆順に辿った場合に到達する何れかの関数がもつローカル変数である。スタックオフセットテーブル１７５は、製品モジュール１４２のテストを行う開発者によって事前に作成される。

図６は、ローカル変数のアドレスの算出例を示す図である。
メモリはスタック領域１７６を含む。テストモジュール１５２の関数ｔｅｓｔが呼び出されたとき、スタック領域１７６には、関数ｔｅｓｔに到達するまでに実行された１以上の関数の情報が階層的に積み上げられている。ここでは一例として、関数ｔｅｓｔの呼び出し元が関数ｆｕｎ＿ａであり、関数ｆｕｎ＿ａの呼び出し元が関数ｆｕｎ＿ｂである。

関数ｆｕｎ＿ａが変数ｖａｒ１，ｖａｒ２をもつ場合、スタック領域１７６の中の関数ｆｕｎ＿ａに対応する区間には、変数ｖａｒ１，ｖａｒ２の値が格納される。同様に、関数ｆｕｎ＿ｂが変数ｖａｒ１１をもつ場合、スタック領域１７６の中の関数ｆｕｎ＿ｂに対応する区間には、変数ｖａｒ１１の値が格納される。関数ｆｕｎ＿ａの区間の先頭は、関数ｆｕｎ＿ａのフレームポインタが指し示している。関数ｆｕｎ＿ｂの区間の先頭は、関数ｆｕｎ＿ｂのフレームポインタが指し示している。

スタック領域１７６へのローカル変数の値の格納方法は、製品モジュール１４２をコンパイルするコンパイラによって静的に決定される。そのため、製品モジュール１４２を何度実行しても、フレームポインタからローカル変数の先頭までのメモリアドレスの差分（オフセット）は不変である。例えば、関数ｆｕｎ＿ａの変数ｖａｒ１の位置は、関数ｆｕｎ＿ａのフレームポインタから４バイト後ろである。関数ｆｕｎ＿ａの変数ｖａｒ２の位置は、関数ｆｕｎ＿ａのフレームポインタから８バイト後ろである。関数ｆｕｎ＿ｂの変数ｖａｒ１１の位置は、関数ｆｕｎ＿ｂのフレームポインタの位置である。

そこで、スタックオフセットテーブル１７５は、関数名と変数名とオフセットとを対応付ける。スタックオフセットテーブル１７５は、製品モジュール１４２に対応付けられている。１つの製品モジュールにつき１つのスタックオフセットテーブルが作成される。関数１５３は、引数として受け取った関数名および変数名に対応するオフセットをスタックオフセットテーブル１７５から検索する。関数１５３は、関数名に対応するフレームポインタにオフセットを加算して、変数のアドレスを算出する。関数名に対応するフレームポインタは、スタック領域１７６を逆方向に辿ることで検出できる。

スタックオフセットテーブル１７５は、製品モジュール１４２を解析することで作成される。例えば、情報処理装置１００は、コンパイル済みの製品モジュール１４２をアセンブリコードに変換する。または、開発者は、製品モジュール１４２をコンパイルするコンパイラがアセンブリコードも出力するよう設定する。情報処理装置１００は、ローカル変数の値をスタック領域１７６に格納する命令を、アセンブリコードの中から検出する。開発者は、検出された命令に基づいて各ローカル変数のオフセットを特定する。なお、スタックオフセットテーブル１７５は、関数１５３の中に組み込まれていてもよいし、関数１５３の外部の設定ファイルとして保存されてもよい。

図７は、製品モジュールとテストモジュールの第３の例を示す図である。
製品モジュール１４３は、関数ｆｕｎ＿ａおよび関数ｆｕｎ＿ｃ（関数１４４）を含む。関数１４４は、外部モジュールからの関数名による参照が制限される非グローバル関数である。関数１４４は、例えば、Ｃ＋＋言語のスタティック関数に相当する。スタティック関数は、外部モジュールと同一の関数名を使用することが許容される代わりに、スコープが同一モジュール内に限定される非グローバル関数である。

関数ｆｕｎ＿ａは、テストモジュール１５４の関数ｔｅｓｔを呼び出す。テストモジュール１５４は、関数ｔｅｓｔを含む。関数ｔｅｓｔは、製品モジュール１４３の内部状態を変更するにあたり、関数１４４を呼び出す。しかし、関数ｔｅｓｔが製品モジュール１４３の外部に存在するため、関数ｔｅｓｔからは関数１４４の関数名が認識されず、関数名による通常の関数呼び出しは失敗する。そこで、関数１４４のアドレス解決のため、製品モジュールとテストモジュールのプログラム構造が以下のように変更される。

図８は、製品モジュールとテストモジュールの第４の例を示す図である。
製品モジュール１４５は、関数ｆｕｎ＿ａ、関数ｆｕｎ＿ｃ（関数１４４）および関数ｇｅｔ＿ｉｎｔｅｒｎａｌ＿ｆｕｎ＿ａｄｄｒ（関数１４６）を含む。関数１４６は、関数名ｆｎａｍｅを引数として受け取り、引数によって特定される関数のアドレスを応答するユーティリティ関数である。関数１４６は、外部モジュールからでも関数名で呼び出し可能なグローバル関数である。関数１４６がアドレス解決関数と呼ばれることがある。

関数１４６は、関数１４４と同一のモジュールに属する。このため、関数１４６は、関数１４４の関数名を引数として受け取ると、プログラムがもつ通常のアドレス解決のメカニズムに基づいて、関数名から関数１４４のアドレスを検索できる。関数１４６が応答するアドレスは、関数１４４がロードされたメモリ領域の先頭を指し示すメモリアドレスである。関数ｆｕｎ＿ａは、テストモジュール１５５の関数ｔｅｓｔを呼び出す。

テストモジュール１５５は、関数ｔｅｓｔおよび関数ｇｅｔ＿ｆｕｎ＿ａｄｄｒ（関数１５６）を含む。関数１５６は、関数名ｆｎａｍｅを引数として受け取り、引数によって特定される関数のアドレスを応答するユーティリティ関数である。関数１５６がアドレス解決関数と呼ばれることがある。関数１５６は、関数ｔｅｓｔと製品モジュール１４５の関数１４６との間で、関数のアドレス解決を仲介する。関数１５６は、引数として受け取った関数名を用いて関数１４６を呼び出し、関数１４６から関数のアドレスを示すポインタを受け取り、受け取ったポインタを関数ｔｅｓｔに渡す。

関数ｔｅｓｔは、製品モジュール１４５がもつ関数のうち利用したい非グローバル関数について、関数名を指定して関数１５６を呼び出す。関数ｔｅｓｔは、関数１５６から受け取ったポインタが指し示す関数を、関数名に代えてアドレスを用いて呼び出す。

以上の通り、製品モジュール１４５の関数ｆｕｎ＿ａは、テストモジュール１５５の関数ｔｅｓｔを呼び出す。関数ｔｅｓｔは、関数１４４のアドレスをテストモジュール１５５の関数１５６に問い合わせる。関数１５６は、関数１４４のアドレスを製品モジュール１４５の関数１４６に問い合わせる。関数１４６はアドレスを関数１５６に通知し、関数１５６はアドレスを関数ｔｅｓｔに通知する。関数ｔｅｓｔは、関数１４４を呼び出す。

なお、前述のローカル変数のアドレス解決では、テストモジュール１５２がスタックオフセットテーブル１７５をもつ。この点、製品モジュール１４２が、スタックオフセットテーブル１７５を参照するアドレス解決関数をもち、テストモジュール１５２が、製品モジュール１４２にローカル変数のアドレスを問い合わせるようにすることも可能である。

図９は、製品モジュールとテストモジュールの構造例を示す図である。
製品モジュール１６０は、テスト対象コード１６１、署名検証コード１６２、テスト起動コード１６３、関数アドレス解決コード１６４および検証鍵１６５を含む。テストモジュール１７０は、テスト実行コード１７１、デジタル署名１７２、変数アドレス解決コード１７３、関数アドレス解決コード１７４およびスタックオフセットテーブル１７５を含む。ただし、スタックオフセットテーブル１７５は、テストモジュール１７０と分離されていてもよく、変数アドレス解決コード１７３に埋め込まれていてもよい。

テスト対象コード１６１は、テスト対象となる製品モジュール１６０の本来のプログラムである。テスト対象コード１６１は、ローカル変数をもつ関数を含むことがある。また、テスト対象コード１６１は、関数１４４のような非グローバル関数を含むことがある。

署名検証コード１６２は、テストモジュール１７０に含まれるデジタル署名１７２を、製品モジュール１６０に含まれる検証鍵１６５を用いて検証するプログラムである。デジタル署名１７２を検証することで、攻撃者によって作成された不正なテストモジュールを製品モジュール１６０が呼び出してしまうセキュリティリスクを低減できる。例えば、署名検証コード１６２は、テストモジュール１７０のうちデジタル署名１７２以外の部分のダイジェストをハッシュ関数を用いて算出し、デジタル署名１７２を検証鍵１６５で復号し、ダイジェストと復号結果とが一致するか判定する。ダイジェストと復号結果とが一致する場合は検証成功であり、一致しない場合は検証失敗である。

テスト起動コード１６３は、テストモジュール１７０に含まれるテスト実行コード１７１を呼び出すプログラムである。テスト起動コード１６３は、テスト番号オプションを含むコマンドに基づいてソフトウェア製品が起動された場合、テスト番号を引数として渡してテスト実行コード１７１を呼び出す。ただし、テスト起動コード１６３は、テストモジュール１７０が見つからない場合や、署名検証コード１６２による検証が失敗した場合、テスト実行コード１７１の呼び出しをスキップする。

関数アドレス解決コード１６４は、テストモジュール１７０からの要求に応じて、非グローバル関数のアドレスを応答するプログラムである。関数アドレス解決コード１６４は、前述の関数１４６に相当する。関数アドレス解決コード１６４は、関数名を引数として受け取り、テスト対象コード１６１の中から指定された関数名をもつ非グローバル関数を検索し、非グローバル関数のメモリ上のアドレスを応答する。

検証鍵１６５は、デジタル署名１７２の検証に使用される暗号鍵である。通常、検証鍵１６５は、デジタル署名１７２に使用された秘密鍵とペアになる公開鍵である。公開鍵と秘密鍵のペアは、製品モジュール１６０の開発者によって保持されている。

テスト実行コード１７１は、製品モジュール１６０の内部状態を、指定されたテスト番号に対応する異常状態に強制的に変更するプログラムである。テスト実行コード１７１は、前述の関数ｔｅｓｔに相当する。テスト実行コード１７１は、テスト対象コード１６１で定義された変数の値をメモリ上で異常値に書き換える。このとき、テスト実行コード１７１は、ローカル変数のアドレスを取得するために変数アドレス解決コード１７３を呼び出すことがある。また、テスト実行コード１７１は、非グローバル関数のアドレスを取得するために関数アドレス解決コード１７４を呼び出すことがある。

デジタル署名１７２は、テストモジュール１７０の作成者の正当性を証明する暗号文である。例えば、デジタル署名１７２は、テストモジュール１７０の他の部分のダイジェストを、製品モジュール１６０の開発者がもつ秘密鍵で暗号化することで生成される。ペアとなる検証鍵で復号した場合のみ、デジタル署名１７２の検証が成功する。

変数アドレス解決コード１７３は、テスト実行コード１７１からの要求に応じて、ローカル変数のメモリ上のアドレスを応答するプログラムである。変数アドレス解決コード１７３は、前述の関数１５３に相当する。変数アドレス解決コード１７３は、関数名および変数名を引数として受け取り、スタックオフセットテーブル１７５から関数名および変数名に対応するオフセットを検索する。変数アドレス解決コード１７３は、スタック領域１７６から、関数名に対応するフレームポインタを特定し、フレームポインタにオフセットを加算してローカル変数のアドレスを算出する。

関数アドレス解決コード１７４は、テスト実行コード１７１からの要求に応じて、非グローバル関数のメモリ上のアドレスを応答するプログラムである。関数アドレス解決コード１７４は、前述の関数１５６に相当する。関数アドレス解決コード１７４は、関数名を引数として受け取り、関数アドレス解決コード１６４を呼び出し、関数アドレス解決コード１６４から取得したアドレスをテスト実行コード１７１に渡す。

次に、情報処理装置１００の機能および処理手順を説明する。
図１０は、情報処理装置の機能例を示すブロック図である。
情報処理装置１００は、インタープリタ１２１、ＪＩＴコンパイラ１２２、検証鍵記憶部１３１、オフセットテーブル記憶部１３２、テスト起動部１３３、署名検証部１３４、テスト実行部１３５、変数アドレス解決部１３６および関数アドレス解決部１３７を有する。検証鍵記憶部１３１およびオフセットテーブル記憶部１３２は、ＲＡＭ１０２またはＨＤＤ１０３を用いて実装される。検証鍵記憶部１３１は、検証鍵１６５を記憶する。オフセットテーブル記憶部１３２は、スタックオフセットテーブル１７５を記憶する。

テスト起動部１３３は、テスト起動コード１６３に従って動作する。署名検証部１３４は、署名検証コード１６２に従って動作する。テスト実行部１３５は、テスト実行コード１７１に従って動作する。変数アドレス解決部１３６は、変数アドレス解決コード１７３に従って動作する。関数アドレス解決部１３７は、関数アドレス解決コード１６４および関数アドレス解決コード１７４に従って動作する。

テスト起動部１３３は、ＪＩＴコンパイラ１２２によるコンパイラスレッドが起動したとき、コマンドにテスト番号オプションが含まれるか、および、テストモジュール１７０が特定のディレクトリに存在するか判定する。この条件を満たす場合、テスト起動部１３３は、署名検証部１３４にデジタル署名１７２の検証を依頼する。デジタル署名１７２の検証が成功した場合、テスト起動部１３３は、テスト実行部１３５を呼び出す。一方、コマンドにテスト番号オプションが含まれない場合、テストモジュール１７０が存在しない場合、または、デジタル署名１７２の検証が失敗した場合、テスト起動部１３３は、テスト実行部１３５を呼び出さない。この場合、コンパイラスレッドが通常通り実行される。

署名検証部１３４は、テスト起動部１３３からの要求に応じて、テストモジュール１７０からデジタル署名１７２を抽出し、検証鍵記憶部１３１に記憶された検証鍵１６５を用いてデジタル署名１７２を検証する。署名検証部１３４は、デジタル署名１７２の検証の成功または失敗をテスト起動部１３３に報告する。

テスト実行部１３５は、ＪＩＴコンパイラ１２２の中で定義される変数の値を、指定されたテスト番号に対応する異常値に書き換えることで、特定の異常状態を強制的に作り出す。そして、テスト実行部１３５は、異常状態のもとでＪＩＴコンパイラ１２２にコンパイラスレッドを実行させる。これにより、ＪＩＴコンパイラ１２２は、発生した異常状態に対応したリカバリ処理を実行する。異常状態を作り出す過程で、テスト実行部１３５は、変数アドレス解決部１３６にローカル変数のアドレスを問い合わせることがあり、関数アドレス解決部１３７に非グローバル関数のアドレスを問い合わせることがある。

変数アドレス解決部１３６は、テスト実行部１３５から関数名と変数名を受け取る。すると、変数アドレス解決部１３６は、オフセットテーブル記憶部１３２に記憶されたスタックオフセットテーブル１７５から、関数名と変数名のペアに対応するオフセットを検索する。変数アドレス解決部１３６は、関数名に対応するフレームポインタにオフセットを加算して、ローカル変数のアドレスを算出する。

関数アドレス解決部１３７は、テスト実行部１３５から関数名を受け取る。すると、関数アドレス解決部１３７は、製品モジュール側とテストモジュール側との間の通信を通じて、指定された関数名に対応する非グローバル関数のアドレスを解決する。

図１１は、コンパイラスレッドの手順例を示すフローチャートである。
（Ｓ１０）ＪＩＴコンパイラ１２２は、インタープリタ１２１からコンパイルの依頼を受け付ける。すると、ＪＩＴコンパイラ１２２は、コンパイル対象のメソッドのクラス名およびメソッド名を特定し、メソッドのバイトコードを抽出する。

（Ｓ１１）テスト起動部１３３は、プログラム実行環境１２０を起動するためのコマンドに、テスト番号オプションが含まれていたか判断する。コマンドにテスト番号オプションが含まれていた場合、ステップＳ１２に処理が進む。コマンドにテスト番号オプションが含まれていなかった場合、ステップＳ１９に処理が進む。

（Ｓ１２）テスト起動部１３３は、ファイルシステムからテストモジュールを検索し、テストモジュールが存在するか判断する。テストモジュールが存在する場合、ステップＳ１３に処理が進む。テストモジュールが存在しない場合、ステップＳ１９に処理が進む。

（Ｓ１３）署名検証部１３４は、テストモジュールからデジタル署名を検索し、テストモジュールにデジタル署名が含まれるか判断する。テストモジュールにデジタル署名が含まれる場合、ステップＳ１４に処理が進む。テストモジュールにデジタル署名が含まれない場合、ステップＳ１９に処理が進む。

（Ｓ１４）署名検証部１３４は、テストモジュールからデジタル署名を抽出する。署名検証部１３４は、検証鍵を読み出し、デジタル署名を検証鍵で検証する。
（Ｓ１５）署名検証部１３４は、デジタル署名の検証が成功したか判断する。デジタル署名の検証が成功した場合、ステップＳ１６に処理が進む。デジタル署名の検証が失敗した場合、ステップＳ１９に処理が進む。

（Ｓ１６）テスト起動部１３３は、テストモジュールをメモリにロードし、テストモジュールに含まれるテスト関数のアドレスを解決する。テスト関数のアドレス解決では、テスト関数の関数名とメモリ上のアドレスとの対応関係が保持される。

（Ｓ１７）テスト起動部１３３は、コマンドのテスト番号オプションで指定されたテスト番号を引数として渡して、テストモジュールのテスト関数を呼び出す。
（Ｓ１８）テスト実行部１３５は、テスト起動部１３３から受け取ったテスト番号に対応する処理を実行する。このとき、テスト実行部１３５は、ＪＩＴコンパイラ１２２で定義された変数の値を特定の異常値に書き換えることで、ＪＩＴコンパイラ１２２の中に特定の異常状態を発生させる。異常状態の発生によってリカバリ処理が開始されるため、テスト実行部１３５は、ＪＩＴコンパイラ１２２によるバイトコードのコンパイルをスキップしてもよい。異常状態の例として、メモリアクセス違反、内部矛盾検出、応答なし状態などが挙げられる。そして、ステップＳ２０に処理が進む。

（Ｓ１９）ＪＩＴコンパイラ１２２は、インタープリタ１２１から指定されたメソッドのバイトコードをネイティブコードにコンパイルする。
（Ｓ２０）ＪＩＴコンパイラ１２２は、バイトコードのコンパイルにおいて異常状態が発生したか判断する。異常状態は、ステップＳ１９のコンパイル処理の中で実際に発生することもあるし、ステップＳ１８によって擬似的に発生することもある。異常状態が発生した場合、ステップＳ２１に処理が進む。それ以外の場合、インタープリタ１２１からの要求に対するコンパイラスレッドの処理が終了する。なお、コンパイラスレッド自体は、ユーザプログラム１２３が停止するまで起動したままとなる。

（Ｓ２１）ＪＩＴコンパイラ１２２は、バイトコードのコンパイルを停止してリカバリ処理に移行する。ＪＩＴコンパイラ１２２は、プログラム実行環境１２０の他の機能に影響を与えないようにメモリ状態を復旧するリカバリ処理を実行する。ＪＩＴコンパイラ１２２は、上記の一連の処理の結果を出力する。

例えば、ＪＩＴコンパイラ１２２は、コマンドにテスト番号オプションが含まれていたもののテストモジュールを呼び出さなかった場合、エラーメッセージを出力する。また、ＪＩＴコンパイラ１２２は、リカバリ処理を実行した場合、リカバリ処理の原因となった異常状態の情報およびリカバリ処理の結果を出力する。ＪＩＴコンパイラ１２２は、処理結果をログファイルに記録してもよいし、表示装置１１１に表示してもよい。また、ＪＩＴコンパイラ１２２は、処理結果を他の情報処理装置に送信してもよい。

図１２は、アドレス解決の手順例を示すフローチャートである。
（Ｓ３０）テスト実行部１３５は、テスト関数において、変数アドレス解決ユーティリティの呼び出しが規定されているか判断する。変数アドレス解決ユーティリティの呼び出しが規定されている場合、ステップＳ３１に処理が進む。変数アドレス解決ユーティリティの呼び出しが規定されていない場合、ステップＳ３５に処理が進む。

（Ｓ３１）変数アドレス解決部１３６は、テスト関数が参照したいローカル変数について、関数名および変数名をテスト実行部１３５から取得する。
（Ｓ３２）変数アドレス解決部１３６は、スタック領域をテスト関数の区間から遡って、指定された関数名に対応するフレームポインタを特定する。

（Ｓ３３）変数アドレス解決部１３６は、スタックオフセットテーブル１７５から、指定された関数名と変数名のペアに対応するオフセットを検索する。
（Ｓ３４）変数アドレス解決部１３６は、ステップＳ３２で特定されたフレームポインタにステップＳ３３のオフセットを加算して、ローカル変数のアドレスを算出する。変数アドレス解決部１３６は、算出されたアドレスをテスト関数に渡す。

（Ｓ３５）テスト実行部１３５は、テスト関数において、関数アドレス解決ユーティリティの呼び出しが規定されているか判断する。関数アドレス解決ユーティリティの呼び出しが規定されている場合、ステップＳ３６に処理が進む。関数アドレス解決ユーティリティの呼び出しが規定されていない場合、アドレス解決が終了する。

（Ｓ３６）関数アドレス解決部１３７は、テスト関数が呼び出したい非グローバル関数について、関数名をテスト実行部１３５から取得する。
（Ｓ３７）関数アドレス解決部１３７は、関数名を指定して、グローバル関数である製品モジュール側の関数アドレス解決ユーティリティを呼び出す。

（Ｓ３８）関数アドレス解決部１３７は、製品モジュール側の処理として、指定された関数名をもつ非グローバル関数のアドレスを検索する。関数アドレス解決部１３７は、関数のアドレスをテストモジュール側に渡し、テスト関数に転送する。

以上説明したように、第２の実施の形態の情報処理装置１００は、プログラム実行環境１２０に含まれるＪＩＴコンパイラ１２２のリカバリ処理のテストを行う。これにより、リカバリ処理の不具合が発見され、デバッグを通じてＪＩＴコンパイラ１２２の品質が向上する。また、情報処理装置１００は、テストモジュールを利用して、ＪＩＴコンパイラ１２２に含まれる変数の値を異常値に書き換えて、擬似的に異常状態を作り出す。これにより、情報処理装置１００は、通常の入力操作のみでは再現が難しい異常状態を作り出すことができ、様々な異常状態に対するリカバリ処理を効率的にテストすることができる。

また、異常状態を設定するテストモジュールは、プログラム実行環境１２０から分離されており、テスト番号オプションが指定された場合にＪＩＴコンパイラ１２２から呼び出される動的リンクライブラリとして実装される。これにより、開発者はプログラム実行環境１２０にテストコードを埋め込まなくてよく、プログラム実行環境１２０の品質管理の負担が軽減される。また、テスト内容を変更しても開発者はプログラム実行環境１２０を再ビルドしなくてよく、テスト作業が効率化される。

また、デバッガを利用してＪＩＴコンパイラ１２２の動作を検証する場合と比べて、開発者はプログラムの命令のステップ実行やメモリ書き換えなどの低レベルの操作を行わなくてよく、開発者がテスト技術を習得するための学習コストが低下する。また、ＪＩＴコンパイラ１２２からテストモジュールにテスト番号を通知することで、同一のテストモジュールが様々な異常状態を作り出すことができる。また、テストモジュールにデジタル署名を付加することで、ＪＩＴコンパイラ１２２が不正な外部モジュールを呼び出してしまうリスクが低減され、セキュリティが向上する。

また、テストモジュールには、コンパイラが決定したスタック領域のデータ構造に基づいて事前に作成されるスタックオフセットテーブルと、オフセットからローカル変数のアドレスを算出するユーティリティ関数とが含まれる。このユーティリティ関数を利用することで、外部モジュールであるテストモジュールは、ＪＩＴコンパイラ１２２に含まれる関数がもつローカル変数の値にアクセスすることができる。また、このユーティリティ関数を利用することで、テスト関数を実装する開発者の負担が軽減される。

また、ＪＩＴコンパイラ１２２には、関数名から関数のアドレスを検索して応答するグローバル関数が含まれ、テストモジュールには、このグローバル関数に関数のアドレスを問い合わせるユーティリティ関数が含まれる。このユーティリティ関数を利用することで、外部モジュールであるテストモジュールは、ＪＩＴコンパイラ１２２に含まれる非グローバル関数を呼び出すことができる。また、このユーティリティ関数を利用することで、テスト関数を実装する開発者の負担が軽減される。

１０ 情報処理装置
１１ 記憶部
１２ 処理部
１３ ソフトウェア
１４ 関数
１５ 変数
１６ テストプログラム
１７ テスト指示情報

Claims (8)

1. ソフトウェアをテストモードで実行することを示すテスト指定情報に応じて、前記ソフトウェアとは別個のテストプログラムを呼び出し、
   呼び出された前記テストプログラムを用いて、前記ソフトウェアに含まれる関数が使用する変数を示すアドレスを特定し、前記アドレスが示す前記変数の値を書き換える、
   処理をコンピュータに実行させるテスト処理プログラム。
2. 前記変数は、前記関数のローカル変数であり、前記テストプログラムは、変数名とスタック領域内の基準位置からのオフセットとを対応付けたオフセット情報を保持し、
   前記テストプログラムは、前記オフセット情報から前記変数に対応するオフセットを取得し、前記取得されたオフセットを用いて前記アドレスを算出する処理を規定する、
   請求項１記載のテスト処理プログラム。
3. 前記変数の値は、前記ソフトウェアの異常な内部状態を示す異常値に書き換えられる、
   請求項１記載のテスト処理プログラム。
4. 前記テスト指定情報は、テストケースを識別するテスト番号を含み、
   前記変数の値は、前記テスト番号に応じて異なる値に書き換えられる、
   請求項１記載のテスト処理プログラム。
5. 前記ソフトウェアは、関数名による参照が制限されるローカル関数と、前記ローカル関数の位置を示す他のアドレスを出力するアドレス解決関数とを更に含み、
   呼び出された前記テストプログラムを用いて、前記アドレス解決関数から前記他のアドレスを取得し、前記他のアドレスに基づいて前記ローカル関数を呼び出す処理を前記コンピュータに更に実行させる、
   請求項１記載のテスト処理プログラム。
6. 前記テストプログラムは、デジタル署名を含み、
   特定の暗号鍵を用いて前記デジタル署名を検証し、検証が失敗した場合は前記テストプログラムの呼び出しを拒否する処理を前記コンピュータに更に実行させる、
   請求項１記載のテスト処理プログラム。
7. ソフトウェアをテストモードで実行することを示すテスト指定情報に応じて、前記ソフトウェアとは別個のテストプログラムを呼び出し、
   呼び出された前記テストプログラムを用いて、前記ソフトウェアに含まれる関数が使用する変数を示すアドレスを特定し、前記アドレスが示す前記変数の値を書き換える、
   処理をコンピュータが実行するテスト処理方法。
8. ソフトウェアと前記ソフトウェアとは別個のテストプログラムとを記憶する記憶部と、
   前記ソフトウェアをテストモードで実行することを示すテスト指定情報に応じて、前記テストプログラムを呼び出し、呼び出された前記テストプログラムを用いて、前記ソフトウェアに含まれる関数が使用する変数を示すアドレスを特定し、前記アドレスが示す前記変数の値を書き換える処理部と、
   を有する情報処理装置。

Images