プログラムの一部である単体プログラムの動作を試験する単体プログラム動作試験装置であって、前記単体プログラムを解析することで、前記単体プログラムの実行により値が変更される変数を抽出し、その変数のリストである抽出変数リストを生成する変数抽出手段と、前記変数抽出手段によって生成された前記抽出変数リストを記憶する抽出変数リスト記憶手段と、前記単体プログラムに含まれる変数と、その変数の前記単体プログラム実行後における値としての出力値と、のリストである実行後変数リストを記憶する実行後変数リスト記憶手段と、前記単体プログラムに含まれる変数のうち、前記出力値が確認される変数と、その変数の期待される出力値と、のリストである出力値確認変数リストを記憶する出力値確認変数リスト記憶手段と、前記実行後変数リストと、前記出力値確認変数リストと、を相互に照合し、前記実行後変数リストと前記出力値確認変数リストの何れにも含まれている変数であって、前記出力値が一致したもののリストである確認済み変数リストを生成する第1照合手段と、前記第1照合手段によって生成された前記確認済み変数リストを記憶する確認済み変数リスト記憶手段と、前記確認済み変数リストと、前記抽出変数リストと、を相互に照合する第2照合手段と、を備えた、単体プログラム動作試験装置。請求項1に記載の単体プログラム動作試験装置であって、前記第2照合手段は、前記抽出変数リストには含まれていたが、前記確認済み変数リストには含まれていなかった変数としての確認漏れ変数を検出する、単体プログラム動作試験装置。請求項2に記載の単体プログラム動作試験装置であって、前記第2照合手段によって検出された前記確認漏れ変数を使用者に通知する通知手段を更に備えた、単体プログラム動作試験装置。プログラムの一部である単体プログラムの動作を試験する単体プログラム動作試験方法であって、前記単体プログラムを解析することで、前記単体プログラムの実行により値が変更される変数を抽出し、その変数のリストである抽出変数リストを生成し、前記単体プログラムに含まれる変数と、その変数の前記単体プログラム実行後における値としての出力値と、のリストである実行後変数リストと、前記単体プログラムに含まれる変数のうち、前記出力値が確認される変数と、その変数の期待される出力値と、のリストである出力値確認変数リストと、を相互に照合し、前記実行後変数リストと前記出力値確認変数リストの何れにも含まれている変数であって、前記出力値が一致したもののリストである確認済み変数リストを生成し、前記確認済み変数リストと、前記抽出変数リストと、を相互に照合する、単体プログラム動作試験方法。プログラムの一部である単体プログラムの動作を試験する単体プログラム動作試験プログラムであって、コンピュータを、前記単体プログラムを解析することで、前記単体プログラムの実行により値が変更される変数を抽出し、その変数のリストである抽出変数リストを生成する変数抽出手段と、前記変数抽出手段によって生成された前記抽出変数リストを記憶する抽出変数リスト記憶手段と、前記単体プログラムに含まれる変数と、その変数の前記単体プログラム実行後における値としての出力値と、のリストである実行後変数リストを記憶する実行後変数リスト記憶手段と、前記単体プログラムに含まれる変数のうち、前記出力値が確認される変数と、その変数の期待される出力値と、のリストである出力値確認変数リストを記憶する出力値確認変数リスト記憶手段と、前記実行後変数リストと、前記出力値確認変数リストと、を相互に照合し、前記実行後変数リストと前記出力値確認変数リストの何れにも含まれている変数であって、前記出力値が一致したもののリストである確認済み変数リストを生成する第1照合手段と、前記第1照合手段によって生成された前記確認済み変数リストを記憶する確認済み変数リスト記憶手段と、前記確認済み変数リストと、前記抽出変数リストと、を相互に照合する第2照合手段と、として動作させる単体プログラム動作試験プログラム。特許文献1には、単体実行プログラムのテストにおいて、変数の確認漏れが発生する可能性があるという問題がある。その理由としては、単体実行プログラムを実行させるとともに、端末装置から使用者が入力した状態変数の内容を端末装置に表示した結果を目視するため、表示された状態変数に対して使用者の見落としや見間違いが発生したか否かの判定が出来ないためである。本願発明の目的は、単体プログラムの動作試験において確認すべき変数が足りているか否かを判断する技術を提供することにある。本願発明の第1の観点によれば、プログラムの一部である単体プログラムの動作を試験する単体プログラム動作試験装置は、前記単体プログラムを解析することで、前記単体プログラムの実行により値が変更される変数を抽出し、その変数のリストである抽出変数リストを生成する変数抽出手段と、前記変数抽出手段によって生成された前記抽出変数リストを記憶する抽出変数リスト記憶手段と、前記単体プログラムに含まれる変数と、その変数の前記単体プログラム実行後における値としての出力値と、のリストである実行後変数リストを記憶する実行後変数リスト記憶手段と、前記単体プログラムに含まれる変数のうち、前記出力値が確認される変数と、その変数の期待される出力値と、のリストである出力値確認変数リストを記憶する出力値確認変数リスト記憶手段と、前記実行後変数リストと、前記出力値確認変数リストと、を相互に照合し、前記実行後変数リストと前記出力値確認変数リストの何れにも含まれている変数であって、前記出力値が一致したもののリストである確認済み変数リストを生成する第1照合手段と、前記第1照合手段によって生成された前記確認済み変数リストを記憶する確認済み変数リスト記憶手段と、前記確認済み変数リストと、前記抽出変数リストと、を相互に照合する第2照合手段と、を備える。本願発明の第2の観点によれば、プログラムの一部である単体プログラムの動作を試験する単体プログラム動作試験は、前記単体プログラムを解析することで、前記単体プログラムの実行により値が変更される変数を抽出し、その変数のリストである抽出変数リストを生成し、前記単体プログラムに含まれる変数と、その変数の前記単体プログラム実行後における値としての出力値と、のリストである実行後変数リストと、前記単体プログラムに含まれる変数のうち、前記出力値が確認される変数と、その変数の期待される出力値と、のリストである出力値確認変数リストと、を相互に照合し、前記実行後変数リストと前記出力値確認変数リストの何れにも含まれている変数であって、前記出力値が一致したもののリストである確認済み変数リストを生成し、前記確認済み変数リストと、前記抽出変数リストと、を相互に照合する、方法によって行われる。本願発明の第3の観点によれば、プログラムの一部である単体プログラムの動作を試験する単体プログラム動作試験プログラムは、コンピュータを、前記単体プログラムを解析することで、前記単体プログラムの実行により値が変更される変数を抽出し、その変数のリストである抽出変数リストを生成する変数抽出手段と、前記変数抽出手段によって生成された前記抽出変数リストを記憶する抽出変数リスト記憶手段と、前記単体プログラムに含まれる変数と、その変数の前記単体プログラム実行後における値としての出力値と、のリストである実行後変数リストを記憶する実行後変数リスト記憶手段と、前記単体プログラムに含まれる変数のうち、前記出力値が確認される変数と、その変数の期待される出力値と、のリストである出力値確認変数リストを記憶する出力値確認変数リスト記憶手段と、前記実行後変数リストと、前記出力値確認変数リストと、を相互に照合し、前記実行後変数リストと前記出力値確認変数リストの何れにも含まれている変数であって、前記出力値が一致したもののリストである確認済み変数リストを生成する第1照合手段と、前記第1照合手段によって生成された前記確認済み変数リストを記憶する確認済み変数リスト記憶手段と、前記確認済み変数リストと、前記抽出変数リストと、を相互に照合する第2照合手段と、として動作させる。本願発明によれば、前記出力値確認変数リストにリストアップすべき変数が足りているか否かを判断することが可能となる。以下、図1~7を参照しつつ、本願発明の実施形態を説明する。図1に示すように、ソフトウェアテスト装置100単体プログラム動作試験装置は、コンパイル部101と、プログラム実行部102単体プログラム実行手段と、デバッグサポート部103と、変数情報出力部104変数抽出手段と、確認漏れ検出部105第2照合手段と、結果情報取得部106第1照合手段と、出力部107出力手段、通知手段と、入力部108入力手段を備えている。ソフトウェアテスト装置100は、更に、原始プログラム記憶部109原始プログラム記憶手段と、実行形式プログラム記憶部110実行形式プログラム記憶手段と、汎用記憶部116出力値確認変数リスト記憶手段と、確認変数リスト記憶部113抽出変数リスト記憶手段と、取得変数リスト記憶部114確認済み変数リスト記憶手段と、実行後変数リスト記憶部115実行後変数リスト記憶手段と、を備えている。汎用記憶部116は、入力部108を介して使用者により入力された設定情報111やテスト期待値112出力値確認変数リストを記憶する。詳しくは、汎用記憶部116は、単体プログラムに含まれる変数のうち、出力値が確認される変数と、その変数の期待される出力値と、のリストであるテスト期待値112出力値確認変数リストを記憶する。コンパイル部101は、単体テストの対象となる原始プログラムを原始プログラム記憶部109から取得し、実行形式プログラムを生成して、実行形式プログラム記憶部110に出力する。プログラム実行部102は、実行形式プログラム記憶部110から実行形式プログラムを取得する。プログラム実行部102は、汎用記憶部116から単体テスト用の設定情報111初期値を取得する。プログラム実行部102は、単体テスト実行後の変数情報としての実行後変数リストをデバッグサポート部103と実行後変数リスト記憶部115に出力する。実行後変数リスト記憶部115は、実行後変数リストを記憶する。詳しくは、実行後変数リスト記憶部115は、単体プログラムに含まれる変数と、その変数の単体プログラム実行後における値としての出力値と、のリストである実行後変数リストを記憶する。デバッグサポート部103は、プログラム実行部102から取得した単体テスト実行後の変数情報と、汎用記憶部116から取得したテスト期待値112を比較し、単体実行プログラムの実行結果以降、テスト結果と称すを判定し、判定結果を出力部107に出力する。変数情報出力部104は、原始プログラム記憶部109から原始プログラムを取得する。変数情報出力部104は、単体プログラム原始プログラムを解析することで、単体プログラムの実行により値が変更される変数を抽出し、その変数のリストである確認変数リスト抽出変数リストを生成し、確認変数リスト記憶部113に出力する。確認変数リスト記憶部113は、変数情報出力部104によって生成された確認変数リストを記憶する。結果情報取得部106は、汎用記憶部116からテスト期待値112を取得する。結果情報取得部106は、実行後変数リスト記憶部115から実行後変数リストを取得する。結果情報取得部106は、実行後変数リストと、テスト期待値112と、を相互に照合し、実行後変数リストとテスト期待値112の何れにも含まれている変数であって、出力値が一致したもののリストである取得変数リスト確認済み変数リストを生成し、取得変数リスト記憶部114に出力する。取得変数リスト記憶部114は、結果情報取得部106によって生成された取得変数リストを記憶する。確認漏れ検出部105は、確認変数リスト記憶部113から確認変数リストを取得する。確認漏れ検出部105は、取得変数リスト記憶部114から取得変数リストを取得する。確認漏れ検出部105は、確認変数リストと取得変数リストを相互に照合する。そして、確認漏れ検出部105は、確認変数リストには含まれていたが、取得変数リストには含まれていなかった変数としての確認漏れ変数を検出する。また、確認漏れ検出部105は、確認漏れ変数を出力部107に出力することで使用者に、確認漏れ変数の存在を通知する。このようなソフトウェアテスト装置100は、図示しないCPUCentralProcessingUnit、RAMRandomAccessMemory、ROMReadOnlyMemoryを有している。ROMには、ソフトウェアテストプログラム単体プログラム動作試験プログラムが予め記憶されている。ソフトウェアテストプログラムは、CPUに読み込まれ、CPU上で実行されることにより、CPU等のハードウェアを、図1のブロック図で示すように、コンパイル部101等として機能させるようになっている。図2~4は、変数リストと情報リストおよび変数の確認漏れメッセージの構造である。図2の変数リスト201は、変数情報出力部104で生成する確認変数リストと結果情報取得部106で生成する取得変数リストにおいて使用される。変数リスト201は、原始プログラムに記載された変数名と該変数名の型情報を1つのリスト行として、複数の前記リスト行で構成される。図3の情報リスト202は、単体テストの設定情報111および単体テスト結果のテスト期待値112において使用され、原始プログラムに記載された変数名と該変数名の型情報と変数値を1つのリスト行として、複数の前記リスト行で構成される。図4の確認漏れメッセージ203は、確認漏れ検出部105より出力部107へ出力される変数の確認漏れメッセージのフォーマットとして使用され、原始プログラムに記載された変数名と該変数名の型情報と変数の確認漏れの可能性を通知するメッセージを1つの行として、複数の前記行で構成される。作動図5は、ソフトウェアテスト装置100を制御するフローチャートであり、図5を用いて図1の動作を説明する。なお、プログラム実行部102の出力には単体テストのプログラム本体である関数の戻り値が含まれる場合もあるが、本実施形態の動作は、前記戻り値の有無に影響を受けないため、プログラム実行部102の出力に前記戻り値が含まれないことを前提に説明する。外部から読み込まれた原始プログラムは、原始プログラム記憶部109に記憶されるS301。原始プログラム記憶部109の原始プログラムは、適宜、コンパイル部101や変数情報出力部104に出力される。次に、変数情報出力部104は、単体テストの対象となる原始プログラムの構文を式に分解し、分解した式の中に変数の代入が存在するかを解析する。分解した式に変数への代入がある場合、代入される変数の変数名と型情報を1つのリスト行として確認変数リストを生成しS302、確認変数リスト記憶部113に出力する。コンパイル部101は、原始プログラム記憶部109から原始プログラムを読み込んで、実行形式プログラムを生成しS303、実行形式プログラム記憶部110に出力する。プログラム実行部102は、実行形式プログラム記憶部110から実行形式プログラムを読み込んだ上で、汎用記憶部116から設定情報111を読み込みS304、設定情報111に格納されている変数の設定値変数値を、実行形式プログラムの変数の初期値として設定して単体テストを実行するS305。プログラム実行部102は、単体テストの実行の完了後に、単体テスト実行後の変数情報実行後変数リストをデバッグサポート部103と実行後変数リスト記憶部115に出力する。デバッグサポート部103は、汎用記憶部116からテスト期待値112を読み込むS306。デバッグサポート部103は、プログラム実行部102から取得した単体テスト実行後の変数情報と、汎用記憶部116から取得したテスト期待値112を照合し、照合した結果をテスト結果として出力部107へ出力するS307。結果情報取得部106は、実行後変数リスト記憶部115から取得した実行後変数リストと、汎用記憶部116から取得したテスト期待値112の変数名及び型情報を照合し、変数名と型情報が共に一致したものを取得変数リストとして取得変数リスト記憶部114に出力するS308。最後に、確認漏れ検出部105は、取得変数リスト記憶部114から取得した取得変数リストの中に、確認変数リスト記憶部113から取得した確認変数リストの全ての変数が存在しているかの照合を行い、存在しない変数があった場合には変数の確認漏れメッセージを出力部107に出力し、使用者にその旨を通知するS309。図6は、結果情報取得部106の制御をより詳細に記したフローチャートである。結果情報取得部106は、汎用記憶部116からテスト期待値112を読み込むS501。次に、結果情報取得部106は、実行後変数リスト記憶部115から単体テスト実行後の変数情報実行後変数リストを読み込むS502。次に、結果情報取得部106は、テスト期待値112から変数の変数名及び型情報を一組抽出するS503。次に、結果情報取得部106は、抽出した変数名及び型情報の両方が一致する変数が単体テスト実行後の変数情報実行後変数リストに存在するかを照合しS504、存在すればS504YES、変数名と型情報を取得変数リストへ出力するS505。結果情報取得部106は、テスト期待値112に未抽出の変数が残っていなければS506:NO、処理を終了し、残っていればS506YES、ステップS503に戻り、テスト期待値112から新たな変数名及び型情報を一組抽出し、以後、ステップS504~ステップS506を繰り返す。図7は、確認漏れ検出部105の制御をより詳細に記したフローチャートである。確認漏れ検出部105は、確認変数リスト記憶部113から確認変数リストを読み込むS601。次に、確認漏れ検出部105は、取得変数リスト記憶部114から取得変数リストを読み込むS602。次に、確認漏れ検出部105は、確認変数リストから変数の変数名及び型情報を一組抽出するS603。次に、確認漏れ検出部105は、抽出した変数名及び型情報の両方が一致する変数が取得変数リストに存在するかを照合しS604、存在しなければS604NO、デバッグサポート部103にてテスト結果を判定する際に、変数名と型情報を照合した変数の確認が漏れていることを使用者へ通知する変数の確認漏れメッセージを出力部107へ出力するS605。確認漏れ検出部105は、確認変数リストに未抽出の変数が残っていなければS606:NO、処理を終了し、残っていればS606:YES、ステップS603に戻り、確認変数リストから新たな変数名及び型情報を一組抽出し、以後、ステップS604~ステップS606を繰り返す。以上説明したように、ソフトウェアテスト装置100は、テスト結果判定時に値が確認された変数を検出する結果情報取得部106と、テスト結果判定時に値の確認がされていない変数を検出する確認漏れ検出部105を有している。ソフトウェアテスト装置100は、テストプログラムで代入が行われている変数のリスト確認変数リストと、単体テスト実行後の変数情報実行後変数リストとテスト期待値112出力値確認変数リストの両方に記されている変数のリスト取得変数リストと、を作成する。ソフトウェアテスト装置100は、代入が行われている変数のリスト確認変数リストと、単体テスト実行後の変数情報とテスト期待値の両方に記されている変数のリスト取得変数リストとの差異からテスト結果判定時の変数の確認漏れを検出し、変数の確認漏れが検出された際に変数の確認漏れメッセージを出力するようにしている。上記構成のソフトウェアテスト装置100の効果としては、テスト結果の確認の際にテスト期待値が確認されない変数を検出できる効果がある。その理由としては、前記構成にすることで、確認漏れ検出部105で単体テストのプログラムで使用されている全ての変数の情報とテスト結果の確認の際に期待値が確認された変数の情報との差異を検出できるためである。単体テストのプログラムで使用されている全ての変数の情報は、変数情報出力部104で確認変数リストとしてプログラムのソースコードから抽出出来ており、テスト結果の確認の際にテスト期待値が確認された変数の情報は、結果情報取得部106で取得変数リストとしてテスト期待値の中から単体テスト実行後の変数情報に存在する変数を抽出出来ているので、前記差異の検出が可能となり、テスト結果の確認の際にテスト期待値が確認されない変数を検出可能となっている。以上に、本願発明の好適な実施形態を説明したが、上記実施形態は、要するに、以下の特長を有している。ソフトウェアテスト装置100単体プログラム動作試験装置は、プログラムの一部である単体プログラム原始プログラムの動作を試験するものである。ソフトウェアテスト装置100は、変数情報出力部104抽出変数リスト記憶手段と、確認変数リスト記憶部113抽出変数リスト記憶手段と、実行後変数リスト記憶部115実行後変数リスト記憶手段と、汎用記憶部116出力値確認変数リスト記憶手段と、結果情報取得部106第1照合手段と、取得変数リスト記憶部114確認済み変数リスト記憶手段と、確認漏れ検出部105第2照合手段と、を備える。変数情報出力部104は、単体プログラムを解析することで、単体プログラムの実行により値が変更される変数を抽出し、その変数のリストである抽出変数リストを生成する。確認変数リスト記憶部113は、変数情報出力部104によって生成された抽出変数リストを記憶する。実行後変数リスト記憶部115は、単体プログラムに含まれる変数と、その変数の単体プログラム実行後における値としての出力値と、のリストである実行後変数リストを記憶する。汎用記憶部116は、単体プログラムに含まれる変数のうち、出力値が確認される変数と、その変数の期待される出力値と、のリストであるテスト期待値112出力値確認変数リストを記憶する。結果情報取得部106は、実行後変数リストと、テスト期待値112と、を相互に照合し、実行後変数リストとテスト期待値112の何れにも含まれている変数であって、出力値が一致したもののリストである取得変数リスト確認済み変数リストを生成する。取得変数リスト記憶部114は、結果情報取得部106によって生成された取得変数リストを記憶する。確認漏れ検出部105は、取得変数リストと、確認変数リストと、を相互に照合する。以上の構成によれば、確認漏れ検出部105の照合結果により、テスト期待値112にリストアップすべき変数が足りているか否かを判断することが可能となる。また、確認漏れ検出部105は、確認変数リストには含まれていたが、取得変数リストには含まれていなかった変数としての確認漏れ変数を検出し、検出した確認漏れ変数を出力部107通知手段を介して使用者に通知している。