特開2024-130691プログラム検証支援システム、及びプログラム検証支援方法
(19)【発行国】日本国特許庁(JP)
(12)【公報種別】公開特許公報(A)
(11)【公開番号】P2024130691
(43)【公開日】2024-09-30
(54)【発明の名称】プログラム検証支援システム、及びプログラム検証支援方法
(51)【国際特許分類】
G06F 11/36 20060101AFI20240920BHJP
G06F 8/30 20180101ALI20240920BHJP
【ＦＩ】
G06F11/36 196
G06F8/30
G06F11/36 188
【審査請求】未請求
【請求項の数】10
【出願形態】ＯＬ
(21)【出願番号】P 2023040552
(22)【出願日】2023-03-15
(71)【出願人】
【識別番号】000005108
【氏名又は名称】株式会社日立製作所
(74)【代理人】
【識別番号】110000176
【氏名又は名称】弁理士法人一色国際特許事務所
(72)【発明者】
【氏名】山本 一道
(72)【発明者】
【氏名】鹿糠 秀行
(72)【発明者】
【氏名】曾我 遼
(72)【発明者】
【氏名】松本 潤
(72)【発明者】
【氏名】稲垣 光雄
(72)【発明者】
【氏名】菅生 浩央
【テーマコード（参考）】
5B042
5B376
【Ｆターム（参考）】
5B042HH13
5B042HH49
5B376BC64
(57)【要約】
【課題】プログラムの検証に必要な限度でかつ効率良くスタブを生成する。
【解決手段】１又は複数の呼出命令を含む呼出部と、呼出命令により呼び出される被呼出部とを含むソースコードの呼出部から、条件分岐命令、条件分岐命令の条件節変数、及び条件分岐命令より前に存在する呼出命令をそれぞれ特定し、特定した条件節変数に所定の値を設定する命令又は、特定した呼出命令を除いた場合に上記特定した条件節変数の値を決定づける変数に、所定の値を設定する命令である非変数設定命令を、上記特定した呼出命令より前の命令から検索し、非変数設定命令を検索できた場合に、上記特定した条件節変数と、上記特定した呼出命令により呼び出される被呼出部とを対応付けたデータを生成するスタブ生成処理とを実行するプログラム検証支援システム１。
【選択図】図５
【解決手段】１又は複数の呼出命令を含む呼出部と、呼出命令により呼び出される被呼出部とを含むソースコードの呼出部から、条件分岐命令、条件分岐命令の条件節変数、及び条件分岐命令より前に存在する呼出命令をそれぞれ特定し、特定した条件節変数に所定の値を設定する命令又は、特定した呼出命令を除いた場合に上記特定した条件節変数の値を決定づける変数に、所定の値を設定する命令である非変数設定命令を、上記特定した呼出命令より前の命令から検索し、非変数設定命令を検索できた場合に、上記特定した条件節変数と、上記特定した呼出命令により呼び出される被呼出部とを対応付けたデータを生成するスタブ生成処理とを実行するプログラム検証支援システム１。
【選択図】図５
【特許請求の範囲】
【請求項1】
１又は複数の呼出命令を含む呼出部と、前記呼出命令により呼び出される被呼出部とを含むソースコードを記憶する記憶装置、及び、
前記ソースコードの呼出部から、条件分岐命令、前記条件分岐命令における条件を構成する変数である条件節変数、及び前記条件分岐命令より前に存在する呼出命令をそれぞれ特定する命令文抽出処理と、
前記特定した条件節変数に所定の値を設定する命令又は、前記特定した呼出命令を除いた場合に前記特定した条件節変数の値を決定づける変数に、所定の値を設定する命令である非変数設定命令を、前記特定した呼出命令より前の命令から検索する設定命令検索処理と、
前記非変数設定命令を検索できた場合に、前記特定した条件節変数と、前記特定した呼出命令により呼び出される被呼出部とを対応付けたデータを生成するスタブ生成処理とを実行する制御装置を備える、
プログラム検証支援システム。
前記ソースコードの呼出部から、条件分岐命令、前記条件分岐命令における条件を構成する変数である条件節変数、及び前記条件分岐命令より前に存在する呼出命令をそれぞれ特定する命令文抽出処理と、
前記特定した条件節変数に所定の値を設定する命令又は、前記特定した呼出命令を除いた場合に前記特定した条件節変数の値を決定づける変数に、所定の値を設定する命令である非変数設定命令を、前記特定した呼出命令より前の命令から検索する設定命令検索処理と、
前記非変数設定命令を検索できた場合に、前記特定した条件節変数と、前記特定した呼出命令により呼び出される被呼出部とを対応付けたデータを生成するスタブ生成処理とを実行する制御装置を備える、
プログラム検証支援システム。
【請求項2】
前記制御装置は、
前記設定命令検索処理において、定数値を前記特定した条件節変数に設定する命令又は、前記呼出命令を除いた場合に前記特定した条件節変数の値を決定づける変数に定数値を設定する命令である非変数設定命令を、前記特定した呼出命令より前の命令から検索する、
請求項１に記載のプログラム検証支援システム。
前記設定命令検索処理において、定数値を前記特定した条件節変数に設定する命令又は、前記呼出命令を除いた場合に前記特定した条件節変数の値を決定づける変数に定数値を設定する命令である非変数設定命令を、前記特定した呼出命令より前の命令から検索する、
請求項１に記載のプログラム検証支援システム。
【請求項3】
前記制御装置は、
前記設定命令検索処理において、前記ソースコードの呼出部に対する初期入力変数の値に依存しない変数の値を前記特定した条件節変数に設定する命令又は、前記呼出命令を除いた場合に前記特定した条件節変数の値を決定づける変数に、前記ソースコードの呼出部に対する初期入力変数の値に依存しない変数の値を設定する命令である非変数設定命令を、前記特定した呼出命令より前の命令から検索する、
請求項１に記載のプログラム検証支援システム。
前記設定命令検索処理において、前記ソースコードの呼出部に対する初期入力変数の値に依存しない変数の値を前記特定した条件節変数に設定する命令又は、前記呼出命令を除いた場合に前記特定した条件節変数の値を決定づける変数に、前記ソースコードの呼出部に対する初期入力変数の値に依存しない変数の値を設定する命令である非変数設定命令を、前記特定した呼出命令より前の命令から検索する、
請求項１に記載のプログラム検証支援システム。
【請求項4】
前記記憶装置は、前記ソースコードの全ての変数を設定又は変更可能な被呼出部を呼び出す第１呼出命令と、引数として指定された変数のみを設定又変更可能な被呼出部を呼び出す第２呼出命令とを前記呼出部に含むソースコードを記憶し、
前記制御装置は、
前記命令文抽出処理において前記ソースコードの呼出部から前記第１呼出命令を特定した場合には、前記設定命令検索処理において、前記特定した条件節変数の各変数に所定の値を設定する命令又は、前記第１呼出命令を除いた場合に前記条件節変数の各変数の値を決定づける変数に所定の値を設定する命令を非変数設定命令として、前記特定した呼出命令より前の命令から検索し、
前記命令文抽出処理において前記ソースコードの呼出部から前記第２呼出命令を特定した場合には、前記設定命令検索処理において、前記特定した条件節変数のうち前記特定した第２呼出命令に係る前記変数に所定の値を設定する命令又は、前記第２呼出命令を除いた場合に前記条件節変数のうち前記特定した第２呼出命令に係る前記変数の値を決定づける変数に所定の値を設定する命令を非変数設定命令として、前記特定した呼出命令より前の命令から検索する、
請求項１に記載のプログラム検証支援システム。
前記制御装置は、
前記命令文抽出処理において前記ソースコードの呼出部から前記第１呼出命令を特定した場合には、前記設定命令検索処理において、前記特定した条件節変数の各変数に所定の値を設定する命令又は、前記第１呼出命令を除いた場合に前記条件節変数の各変数の値を決定づける変数に所定の値を設定する命令を非変数設定命令として、前記特定した呼出命令より前の命令から検索し、
前記命令文抽出処理において前記ソースコードの呼出部から前記第２呼出命令を特定した場合には、前記設定命令検索処理において、前記特定した条件節変数のうち前記特定した第２呼出命令に係る前記変数に所定の値を設定する命令又は、前記第２呼出命令を除いた場合に前記条件節変数のうち前記特定した第２呼出命令に係る前記変数の値を決定づける変数に所定の値を設定する命令を非変数設定命令として、前記特定した呼出命令より前の命令から検索する、
請求項１に記載のプログラム検証支援システム。
【請求項5】
前記制御装置は、
前記命令文抽出処理において、
前記ソースコードの呼出部において、各前記第１呼出命令を開始位置に設定した第１領域と、前記第１領域の各第２呼出命令をそれぞれ開始位置に設定した第２領域とを設定し、設定した第２領域ごとに、当該第２領域の各条件分岐命令の条件節変数のうち前記第１領域に係る第１呼出命令又は当該第２領域の第２呼出命令より前の各第２呼出命令の実行により値が変更される可能性がある変数であるダーティー変数を特定し、
前記ソースコードの呼出部の選択された第２領域から、条件分岐命令、前記条件分岐命令における条件を構成する条件節変数、及び前記条件分岐命令より前に存在する呼出命令をそれぞれ特定し、
前記設定命令検索処理において、前記特定した条件節変数が前記ダーティー変数である場合に、前記特定した条件節変数に所定の値を設定する命令又は、前記特定した呼出命令を除いた場合に前記条件節変数の値を決定づける変数に所定の値を設定する命令である非変数設定命令を、前記特定した呼出命令より前の命令から検索する、
請求項４に記載のプログラム検証支援システム。
前記命令文抽出処理において、
前記ソースコードの呼出部において、各前記第１呼出命令を開始位置に設定した第１領域と、前記第１領域の各第２呼出命令をそれぞれ開始位置に設定した第２領域とを設定し、設定した第２領域ごとに、当該第２領域の各条件分岐命令の条件節変数のうち前記第１領域に係る第１呼出命令又は当該第２領域の第２呼出命令より前の各第２呼出命令の実行により値が変更される可能性がある変数であるダーティー変数を特定し、
前記ソースコードの呼出部の選択された第２領域から、条件分岐命令、前記条件分岐命令における条件を構成する条件節変数、及び前記条件分岐命令より前に存在する呼出命令をそれぞれ特定し、
前記設定命令検索処理において、前記特定した条件節変数が前記ダーティー変数である場合に、前記特定した条件節変数に所定の値を設定する命令又は、前記特定した呼出命令を除いた場合に前記条件節変数の値を決定づける変数に所定の値を設定する命令である非変数設定命令を、前記特定した呼出命令より前の命令から検索する、
請求項４に記載のプログラム検証支援システム。
【請求項6】
情報処理装置が、
１又は複数の呼出命令を含む呼出部と、前記呼出命令により呼び出される被呼出部とを含むソースコードを記憶し、
前記ソースコードの呼出部から、条件分岐命令、前記条件分岐命令における条件を構成する変数である条件節変数、及び前記条件分岐命令より前に存在する呼出命令をそれぞれ特定する命令文抽出処理と、
前記特定した条件節変数に所定の値を設定する命令又は、前記特定した呼出命令を除いた場合に前記特定した条件節変数の値を決定づける変数に、所定の値を設定する命令である非変数設定命令を、前記特定した呼出命令より前の命令から検索する設定命令検索処理と、
前記非変数設定命令を検索できた場合に、前記特定した条件節変数と、前記特定した呼出命令により呼び出される被呼出部とを対応付けたデータを生成するスタブ生成処理とを実行する、
プログラム検証支援方法。
１又は複数の呼出命令を含む呼出部と、前記呼出命令により呼び出される被呼出部とを含むソースコードを記憶し、
前記ソースコードの呼出部から、条件分岐命令、前記条件分岐命令における条件を構成する変数である条件節変数、及び前記条件分岐命令より前に存在する呼出命令をそれぞれ特定する命令文抽出処理と、
前記特定した条件節変数に所定の値を設定する命令又は、前記特定した呼出命令を除いた場合に前記特定した条件節変数の値を決定づける変数に、所定の値を設定する命令である非変数設定命令を、前記特定した呼出命令より前の命令から検索する設定命令検索処理と、
前記非変数設定命令を検索できた場合に、前記特定した条件節変数と、前記特定した呼出命令により呼び出される被呼出部とを対応付けたデータを生成するスタブ生成処理とを実行する、
プログラム検証支援方法。
【請求項7】
前記情報処理装置が、
前記設定命令検索処理において、定数値を前記特定した条件節変数に設定する命令又は、前記呼出命令を除いた場合に前記特定した条件節変数の値を決定づける変数に定数値を設定する命令である非変数設定命令を、前記特定した呼出命令より前の命令から検索する、
請求項６に記載のプログラム検証支援方法。
前記設定命令検索処理において、定数値を前記特定した条件節変数に設定する命令又は、前記呼出命令を除いた場合に前記特定した条件節変数の値を決定づける変数に定数値を設定する命令である非変数設定命令を、前記特定した呼出命令より前の命令から検索する、
請求項６に記載のプログラム検証支援方法。
【請求項8】
前記情報処理装置が、
前記設定命令検索処理において、前記ソースコードの呼出部に対する初期入力変数の値に依存しない変数の値を前記特定した条件節変数に設定する命令又は、前記呼出命令を除いた場合に前記特定した条件節変数の値を決定づける変数に、前記ソースコードの呼出部に対する初期入力変数の値に依存しない変数の値を設定する命令である非変数設定命令を、前記特定した呼出命令より前の命令から検索する、
請求項６に記載のプログラム検証支援方法。
前記設定命令検索処理において、前記ソースコードの呼出部に対する初期入力変数の値に依存しない変数の値を前記特定した条件節変数に設定する命令又は、前記呼出命令を除いた場合に前記特定した条件節変数の値を決定づける変数に、前記ソースコードの呼出部に対する初期入力変数の値に依存しない変数の値を設定する命令である非変数設定命令を、前記特定した呼出命令より前の命令から検索する、
請求項６に記載のプログラム検証支援方法。
【請求項9】
前記情報処理装置が、
前記ソースコードの全ての変数を設定又は変更可能な被呼出部を呼び出す第１呼出命令と、引数として指定された変数のみを設定又変更可能な被呼出部を呼び出す第２呼出命令とを前記呼出部に含むソースコードを記憶し、
前記命令文抽出処理において前記ソースコードの呼出部から前記第１呼出命令を特定した場合には、前記設定命令検索処理において、前記特定した条件節変数の各変数に所定の
値を設定する命令又は、前記第１呼出命令を除いた場合に前記条件節変数の各変数の値を決定づける変数に所定の値を設定する命令を非変数設定命令として、前記特定した呼出命令より前の命令から検索し、
前記命令文抽出処理において前記ソースコードの呼出部から前記第２呼出命令を特定した場合には、前記設定命令検索処理において、前記特定した条件節変数のうち前記特定した第２呼出命令に係る前記変数に所定の値を設定する命令又は、前記第２呼出命令を除いた場合に前記条件節変数のうち前記特定した第２呼出命令に係る前記変数の値を決定づける変数に所定の値を設定する命令を非変数設定命令として、前記特定した呼出命令より前の命令から検索する、
請求項６に記載のプログラム検証支援方法。
前記ソースコードの全ての変数を設定又は変更可能な被呼出部を呼び出す第１呼出命令と、引数として指定された変数のみを設定又変更可能な被呼出部を呼び出す第２呼出命令とを前記呼出部に含むソースコードを記憶し、
前記命令文抽出処理において前記ソースコードの呼出部から前記第１呼出命令を特定した場合には、前記設定命令検索処理において、前記特定した条件節変数の各変数に所定の
値を設定する命令又は、前記第１呼出命令を除いた場合に前記条件節変数の各変数の値を決定づける変数に所定の値を設定する命令を非変数設定命令として、前記特定した呼出命令より前の命令から検索し、
前記命令文抽出処理において前記ソースコードの呼出部から前記第２呼出命令を特定した場合には、前記設定命令検索処理において、前記特定した条件節変数のうち前記特定した第２呼出命令に係る前記変数に所定の値を設定する命令又は、前記第２呼出命令を除いた場合に前記条件節変数のうち前記特定した第２呼出命令に係る前記変数の値を決定づける変数に所定の値を設定する命令を非変数設定命令として、前記特定した呼出命令より前の命令から検索する、
請求項６に記載のプログラム検証支援方法。
【請求項10】
前記情報処理装置が、
前記命令文抽出処理において、
前記ソースコードの呼出部において、各前記第１呼出命令を開始位置に設定した第１領域と、前記第１領域の各第２呼出命令をそれぞれ開始位置に設定した第２領域とを設定し、設定した第２領域ごとに、当該第２領域の各条件分岐命令の条件節変数のうち前記第１領域に係る第１呼出命令又は当該第２領域の第２呼出命令より前の各第２呼出命令の実行により値が変更される可能性がある変数であるダーティー変数を特定し、
前記ソースコードの呼出部の選択された第２領域から、条件分岐命令、前記条件分岐命令における条件を構成する条件節変数、及び前記条件分岐命令より前に存在する呼出命令をそれぞれ特定し、
前記設定命令検索処理において、前記特定した条件節変数が前記ダーティー変数である場合に、前記特定した条件節変数に所定の値を設定する命令又は、前記特定した呼出命令を除いた場合に前記条件節変数の値を決定づける変数に所定の値を設定する命令である非変数設定命令を、前記特定した呼出命令より前の命令から検索する、
請求項９に記載のプログラム検証支援方法。
前記命令文抽出処理において、
前記ソースコードの呼出部において、各前記第１呼出命令を開始位置に設定した第１領域と、前記第１領域の各第２呼出命令をそれぞれ開始位置に設定した第２領域とを設定し、設定した第２領域ごとに、当該第２領域の各条件分岐命令の条件節変数のうち前記第１領域に係る第１呼出命令又は当該第２領域の第２呼出命令より前の各第２呼出命令の実行により値が変更される可能性がある変数であるダーティー変数を特定し、
前記ソースコードの呼出部の選択された第２領域から、条件分岐命令、前記条件分岐命令における条件を構成する条件節変数、及び前記条件分岐命令より前に存在する呼出命令をそれぞれ特定し、
前記設定命令検索処理において、前記特定した条件節変数が前記ダーティー変数である場合に、前記特定した条件節変数に所定の値を設定する命令又は、前記特定した呼出命令を除いた場合に前記条件節変数の値を決定づける変数に所定の値を設定する命令である非変数設定命令を、前記特定した呼出命令より前の命令から検索する、
請求項９に記載のプログラム検証支援方法。
【発明の詳細な説明】
【技術分野】
【0001】
本発明は、プログラム検証支援システム、及びプログラム検証支援方法に関する。
【背景技術】
【0002】
時代の変化や実行環境の変化などにより、ある言語で記述されたプログラムのソースコードを他の言語に変更する（変換する）必要がある場合がある。そして変換後は、変換後のプログラムが変換前のプログラムと同様に動作するかをテストする必要がある（現新一致の確認）。
【0003】
このようなテストの手法としては、プログラム内の各条件分岐命令の条件分岐先の命令を全て実行する（Ｃ０網羅）方法がある。この場合、プログラムの初期値を設定したテストデータを作成すると共に、プログラムの関数（メインルーチン内の呼出命令等）によって呼び出される呼び出し先のサブルーチンに対応したスタブ（サブルーチンの戻り値のデータ）を作成する。
【0004】
ここで、特許文献１には、呼出先サブルーチンのコードを解析し、呼出先サブルーチンの戻り値となる全変数を特定することで、呼出先サブルーチンごとに値を設定すべき変数を抽出した呼出関数毎設定変数表を作成するスタブ化プログラムが開示されている。
【先行技術文献】
【特許文献】
【0005】
【特許文献1】特開２０１６－１１５１２４号公報
【発明の概要】
【発明が解決しようとする課題】
【0006】
しかし、特許文献１では、Ｃ０網羅する上で解析する必要のないサブルーチンを解析するため、生成コストが高くなってしまう。また、サブルーチンの戻り値の一部は条件分岐先に無関係でＣ０網羅には不要である。さらに、特許文献１は、メインルーチンに設定されている変数の値を書き換えるサブルーチンがある場合に対応できておらず、書き換えられた値に対して行われる条件分岐を検証することができない場合がある。
【0007】
本発明は、このような事情に鑑みてなされたものであり、その目的は、プログラムの検証に必要な限度でかつ効率良くスタブを生成することが可能なプログラム検証支援システム、及びプログラム検証支援方法を提供することにある。
【課題を解決するための手段】
【0008】
上記課題を解決するための本発明の一つは、１又は複数の呼出命令を含む呼出部と、前記呼出命令により呼び出される被呼出部とを含むソースコードを記憶する記憶装置、及び、前記ソースコードの呼出部から、条件分岐命令、前記条件分岐命令における条件を構成する変数である条件節変数、及び前記条件分岐命令より前に存在する呼出命令をそれぞれ特定する命令文抽出処理と、前記特定した条件節変数に所定の値を設定する命令又は、前記特定した呼出命令を除いた場合に前記特定した条件節変数の値を決定づける変数に、所定の値を設定する命令である非変数設定命令を、前記特定した呼出命令より前の命令から検索する設定命令検索処理と、前記非変数設定命令を検索できた場合に、前記特定した条件節変数と、前記特定した呼出命令により呼び出される被呼出部とを対応付けたデータを生成するスタブ生成処理とを実行する制御装置を備える、プログラム検証支援システムである。
【発明の効果】
【0009】
本発明によれば、プログラムの検証に必要な限度でかつ効率良くスタブを生成することができる。
上記した以外の構成及び効果等は、以下の実施形態の説明により明らかにされる。
上記した以外の構成及び効果等は、以下の実施形態の説明により明らかにされる。
【図面の簡単な説明】
【0010】
【図1】本実施形態に係るプログラム検証支援システムの構成の一例を示す図である。
【図2】本実施形態を説明するための第１プログラムのソースコードの一例を示す図である。
【図3】言語変換支援装置が備える主な機能の一例を説明する図である。
【図4】プログラム検証支援システムにおける各情報処理装置が備えるハードウェア構成の一例を示す図である。
【図5】スタブ作成処理の一例を説明するフロー図である。
【図6】命令文抽出処理の詳細を説明するフロー図である。
【図7】代入命令文表の一例を示す図である。
【図8】呼出命令文表の一例を示す図である。
【図9】分岐命令表の一例を示す図である。
【図10】領域区分表の一例を示す図である。
【図11】条件節内変数毎チェーン表の一例を示す図である。
【図12】スタブ項目表の一例を示す図である。
【図13】条件節内変数毎依存関係解析処理の詳細を説明するフロー図である。
【図14】呼出命令毎影響分岐命令表の一例を示す図である。
【図15】条件節内変数毎トレース処理の一例を説明する図である。
【図16】サブルーチン毎設定変数抽出処理の詳細を説明するフロー図である。
【図17】単純呼出命令（PERFORM）のみが含まれる第１プログラムのメインルーチン及びこれにより作成されるスタブ項目表の一例を示す図である。
【図18】引数指定呼出命令（CALL）のみが含まれる第１プログラムのメインルーチンと、作成される呼出命令毎影響分岐命令表及びスタブ項目表との例を示す図である。
【図19】単純呼出命令（PERFORM）間に挟まれた引数指定呼出命令（CALL）が存在する第１プログラムのメインルーチンと作成される呼出命令毎影響分岐命令表及びスタブ項目表との例を示す図である。
【図20】単純呼出命令（PERFORM）間に挟まれた引数指定呼出命令（CALL）が存在する第１プログラムのメインルーチンと作成される呼出命令毎影響分岐命令表及びスタブ項目表との例を示す図である。
【図21】単純呼出命令（PERFORM）の前に引数指定呼出命令（CALL）がある第１プログラムのメインルーチン及び作成される呼出命令毎影響分岐命令表の一例を示す図である。
【図22】複数の引数指定呼出命令（CALL）の呼び出し先が共通する第１プログラムのメインルーチンと作成される条件節内変数毎チェーン表及びスタブ項目表との例を示す図である。
【発明を実施するための形態】
【0011】
図面を参照して、本発明の実施形態について詳細に説明する。
図１は、本実施形態に係るプログラム検証支援システム１の構成の一例を示す図である。プログラム検証支援システム１は、第１の言語で記述されたプログラム（第１プログラム１００）を記憶するユーザ端末１０と、第１プログラム１００を、第２の言語で記述されたプログラム（第２プログラム２００）に変換すると共にテストケースデータ３００を生成する言語変換装置２０と、第１プログラム１００に基づきスタブ項目表４００を生成
する言語変換支援装置４０と、テストケースデータ３００及びスタブ項目表４００に基づき、第２プログラム２００に対するテストの内容を定義したテストコード５００を生成するテストコード生成装置３０と、第２プログラム２００及びテストコード５００に基づき、言語変換装置２０が実行した第１プログラム１００から第２プログラム２００への変換が正しく行われた否かを検証する検証装置５０とを含んで構成される。
図１は、本実施形態に係るプログラム検証支援システム１の構成の一例を示す図である。プログラム検証支援システム１は、第１の言語で記述されたプログラム（第１プログラム１００）を記憶するユーザ端末１０と、第１プログラム１００を、第２の言語で記述されたプログラム（第２プログラム２００）に変換すると共にテストケースデータ３００を生成する言語変換装置２０と、第１プログラム１００に基づきスタブ項目表４００を生成
する言語変換支援装置４０と、テストケースデータ３００及びスタブ項目表４００に基づき、第２プログラム２００に対するテストの内容を定義したテストコード５００を生成するテストコード生成装置３０と、第２プログラム２００及びテストコード５００に基づき、言語変換装置２０が実行した第１プログラム１００から第２プログラム２００への変換が正しく行われた否かを検証する検証装置５０とを含んで構成される。
【0012】
ユーザ端末１０、言語変換装置２０、言語変換支援装置４０、テストコード生成装置３０、及び検証装置５０の間は、例えば、インターネット、ＬＡＮ（Local Area Network）、ＷＡＮ（Wide Area Network）、又は専用線等の有線又は無線の通信ネットワークによ
り接続されてもよいし、直接通信線で接続されてもよい。
り接続されてもよいし、直接通信線で接続されてもよい。
【0013】
第１の言語及び第２の言語は、例えば、ＣＯＢＯＬ、Ｊａｖａ（登録商標）、又はＣ＋＋等、少なくとも代入命令、条件分岐命令、及び呼出命令をサポートする言語であれば特に限定されない。本実施形態では、第１の言語はＣＯＢＯＬであり、第２の言語はＪａｖａ（登録商標）であるもとする。
【0014】
（ソースコード）
図２は、本実施形態を説明するための第１プログラム１００のソースコードの一例を示す図である。第１プログラムのソースコードは、プログラムの実行時に最初に実行されるメインルーチン１１０（呼出部）と、メインルーチン１１０から第１呼出命令１１１及び第２呼出命令１１２によってそれぞれ呼び出され実行される被呼出部である第１サブルーチン１３０及び第２サブルーチン１４０とを含む。
図２は、本実施形態を説明するための第１プログラム１００のソースコードの一例を示す図である。第１プログラムのソースコードは、プログラムの実行時に最初に実行されるメインルーチン１１０（呼出部）と、メインルーチン１１０から第１呼出命令１１１及び第２呼出命令１１２によってそれぞれ呼び出され実行される被呼出部である第１サブルーチン１３０及び第２サブルーチン１４０とを含む。
【0015】
メインルーチン１１０は、定数値（ソース定数値１１４）を被代入変数１１５に代入（設定）する第１代入命令文１１６、変数（ソース変数１１７）の値を被代入変数１１８に代入（設定）する第２代入命令文１１９、及び、条件分岐命令１２０を含む。
【0016】
第１呼出命令１１１（以下、単純呼出命令又はPERFORMともいう）は、第１サブルーチ
ン１３０に引き渡す引数を有しない。したがって、第１サブルーチン１３０では、ソースコードにおける全ての変数が設定又は変更され得る。その結果、第１呼出命令１１１の後、少なくとも次の第１呼出命令が出現するまでの範囲の各命令における全ての変数は、第１呼出命令１１１の実行によりその値が変更される可能性がある（以下、このような変数をダーティー変数という。また、ダーティー変数でない変数を非ダーティー変数という。）。
ン１３０に引き渡す引数を有しない。したがって、第１サブルーチン１３０では、ソースコードにおける全ての変数が設定又は変更され得る。その結果、第１呼出命令１１１の後、少なくとも次の第１呼出命令が出現するまでの範囲の各命令における全ての変数は、第１呼出命令１１１の実行によりその値が変更される可能性がある（以下、このような変数をダーティー変数という。また、ダーティー変数でない変数を非ダーティー変数という。）。
【0017】
一方、第２呼出命令１１２（以下、引数指定呼出命令又はCALLともいう）は、第２サブルーチン１４０に引き渡す１又は複数の引数１２１を有する。したがって、第２サブルーチンでは、引き渡された引数１２１のみが参照又は変更される。その結果、第２呼出命令１１２の後、同じ変数を引数とする次の第２呼出命令（又は次の第１呼出命令）が出現するまでの範囲の各命令における変数のうち第２呼出命令１１２の引数１２１に係る変数のみが、第２呼出命令１１２の実行によりその値が設定又は変更される可能性がある（ダーティー変数）。
【0018】
条件分岐命令１２０は、条件節１２２と、条件節１２２が示す条件を満たす場合及び満たさない場合にそれぞれ実行される各実行節１２４とを含む。ここで、条件節１２２は、条件を構成する変数（条件節変数１２５）の値が関係演算子１２６及び判定対象パラメータ１２７（変数又は定数）が示す条件を満たしているか否か（真又は偽）を判定する部分である。また、実行節１２４は、１つのみ存在する場合もある（条件節１２２が示す条件を満たす場合（又は満たさない場合）に実行される実行部のみが存在する）。
【0019】
第２プログラム２００のソースコードも、言語及び詳細な文法等は異なるものの、第１プログラム１００のソースコードと同様にメインルーチン、サブルーチン、及び各種類の命令を含んで構成される。
【0020】
第２プログラム２００に対して、メインルーチンにおける条件分岐命令内の全ての命令を実行（Ｃ０網羅）するテストを実施する際には、メインルーチンに対応したテストケースデータ３００の他、サブルーチンに対応したスタブ項目表４００を作成することが有用である。
【0021】
具体的には、言語変換装置２０が出力するテストケースデータ３００は、第２プログラム２００への初期入力データのパターンを定義したデータである。すなわち、テストケースデータ３００は、第２プログラム２００のメインルーチンの初期値のパターンを定義したデータである。
【0022】
一方、スタブ項目表４００は、変数に関するサブルーチンの処理結果（又は戻り値）をその変数のリストと共に記憶したデータである。すなわち、スタブ項目表４００は、第２プログラム２００のサブルーチンの実行結果のパターンを定義したデータである。
【0023】
従来、このようなスタブを生成する際には、サブルーチンを解析する必要があったり、不要なスタブを生成してしまうことがあった。そこで、本実施形態の言語変換支援装置４０は、サブルーチンの処理内容を参照することなく、メインルーチンのみを解析することのみで、第２プログラム２００のＣ０網羅に必要な限度でのデータのみを有するスタブ（スタブ項目表４００）を作成することができる。
【0024】
図３は、言語変換支援装置４０が備える主な機能の一例を説明する図である。言語変換支援装置４０は、命令文抽出部４１、設定命令検索部４２、及びスタブ生成部４３を備える。
【0025】
命令文抽出部４１は、ソースコードの呼出部（メインルーチン）から、呼出命令に後続する条件分岐命令と、その条件分岐命令における条件を構成する変数である条件節変数とを特定する。
【0026】
設定命令検索部４２は、所定の値（以下、本明細書ではリテラルという）を、命令文抽出部４１で特定した条件節変数又はその条件節変数を決定づける変数に設定する代入命令である非変数設定命令を、命令文抽出部４１が特定した呼出命令より前の命令から検索する。
【0027】
具体的には、設定命令検索部４２は、定数値をリテラルとし、非変数設定命令を上記特定した呼出命令より前の命令から検索する。
【0028】
また、設定命令検索部４２は、ソースコードに対する初期入力変数（メインルーチンに対する入力変数）に依存しない変数の値をリテラルとし、非変数設定命令を上記呼出命令より前の命令から検索する。
【0029】
スタブ生成部４３は、非変数設定命令を検索できた場合に、命令文抽出部４１で特定した条件節変数と上記呼出命令に対応する被呼出部とを対応付けたデータ（スタブ項目表４００）を生成する。
【0030】
次に、図４は、プログラム検証支援システム１における各情報処理装置（言語変換装置２０、言語変換支援装置４０、テストコード生成装置３０、及び検証装置５０）が備える
ハードウェア構成の一例を示す図である。各情報処理装置は、ＣＰＵ（Central Processing Unit）等の制御装置９１と、ＲＡＭ（Random Access Memory）、又はＲＯＭ（Read Only Memory）等の主記憶装置９２と、ＨＤＤ（Hard Disk Drive）、又はＳＳＤ（Solid State Drive）等の補助記憶装置９３と、キーボード、マウス、又はタッチパネル等の入力
装置９４と、ディスプレイ又はタッチパネル等の出力装置９５と、ＮＩＣ（Network Interface Card）、無線通信モジュール、USB（Universal Serial Interface）モジュール、
又はシリアル通信モジュール等で構成される通信装置９６とを備える。
ハードウェア構成の一例を示す図である。各情報処理装置は、ＣＰＵ（Central Processing Unit）等の制御装置９１と、ＲＡＭ（Random Access Memory）、又はＲＯＭ（Read Only Memory）等の主記憶装置９２と、ＨＤＤ（Hard Disk Drive）、又はＳＳＤ（Solid State Drive）等の補助記憶装置９３と、キーボード、マウス、又はタッチパネル等の入力
装置９４と、ディスプレイ又はタッチパネル等の出力装置９５と、ＮＩＣ（Network Interface Card）、無線通信モジュール、USB（Universal Serial Interface）モジュール、
又はシリアル通信モジュール等で構成される通信装置９６とを備える。
【0031】
以上に説明した、プログラム検証支援システム１における各情報処理装置の機能部の機能は、制御装置９１が、主記憶装置９２又は補助記憶装置９３からプログラムを読み出すことにより実現される。また各プログラムは、例えば、可搬性の又は固定された記録媒体に記録して配布することができる。なお、これらのプログラムは、その全部または一部が、例えば、クラウドシステムによって提供される仮想サーバのように、仮想化技術やプロセス空間分離技術等を用いて提供される仮想的な情報処理資源を用いて実現されるものであってもよい。また、これらのプログラムの全部または一部は、例えば、クラウドシステムがＡＰＩ (Application Programming Interface)等を介して提供するサービスによって実現してもよい。
次に、プログラム検証支援システム１で行われる処理について説明する。
次に、プログラム検証支援システム１で行われる処理について説明する。
【0032】
＜スタブ作成処理＞
図５は、言語変換支援装置４０によるスタブの作成処理（スタブ作成処理）の一例を説明する図である。スタブ作成処理は、例えば、言語変換支援装置４０が、ユーザ端末１０から、第１プログラム１００を受信したことを契機に開始される。
図５は、言語変換支援装置４０によるスタブの作成処理（スタブ作成処理）の一例を説明する図である。スタブ作成処理は、例えば、言語変換支援装置４０が、ユーザ端末１０から、第１プログラム１００を受信したことを契機に開始される。
【0033】
まず、命令文抽出部４１は、第１プログラム１００のメインルーチンを取得し、取得したメインルーチンから命令文（代入命令文、呼出命令文、分岐命令文）を抽出すると共にメインルーチンを各領域に区切る命令文抽出処理ｓ１１を実行する。
【0034】
図６は、命令文抽出処理ｓ１１の詳細を説明するフロー図である。
まず、命令文抽出部４１は、代入命令文に関する情報を集約した代入命令文表６００、呼出命令文に関する情報を集約した呼出命令文表７００、及び分岐命令文に関する情報を集約した分岐命令文表８００の各テーブルを生成する（ｓ１１１）。
まず、命令文抽出部４１は、代入命令文に関する情報を集約した代入命令文表６００、呼出命令文に関する情報を集約した呼出命令文表７００、及び分岐命令文に関する情報を集約した分岐命令文表８００の各テーブルを生成する（ｓ１１１）。
【0035】
そして、命令文抽出部４１は、ｓ１１１で生成した各テーブルに基づき、領域区分表１３００を生成する（ｓ１１２－ｓ１１３）。
【0036】
領域区分表１３００は、ソースコードの呼出部（メインルーチン）において、各第１呼出命令を開始位置とした各領域（以下、大領域という）と、各大領域において、各第２呼出命令を開始位置とした各領域（以下、小領域という）とを設定したテーブルである。
【0037】
具体的には、命令文抽出部４１は、単純呼出命令（PERFORM）に基づき大領域を設定す
る（ｓ１１２）。具体的には、命令文抽出部４１は、呼出命令文表７００の各レコードのうち種別７０３が単純呼出命令（PERFORM）のレコードの行番号リスト７０２の最初の行
を全て抽出する。そして、命令文抽出部４１は、各単純呼出命令について、呼出部における、当該単純呼出命令が存在する行からその次の単純呼出命令が存在する行の直前の行までの各行に対して大領域の名称（例えば、０、１、２、３、・・・）を設定する。
る（ｓ１１２）。具体的には、命令文抽出部４１は、呼出命令文表７００の各レコードのうち種別７０３が単純呼出命令（PERFORM）のレコードの行番号リスト７０２の最初の行
を全て抽出する。そして、命令文抽出部４１は、各単純呼出命令について、呼出部における、当該単純呼出命令が存在する行からその次の単純呼出命令が存在する行の直前の行までの各行に対して大領域の名称（例えば、０、１、２、３、・・・）を設定する。
【0038】
命令文抽出部４１は、ｓ１１２で設定した各大領域において、引数指定呼出命令（CALL）に基づき小領域を設定する（ｓ１１３）。具体的には、まず、命令文抽出部４１は、ｓ１３１１で特定した各大領域の行番号の範囲を特定する。そして、命令文抽出部４１は、
特定した行番号の範囲において、呼出命令文表７００の各レコードのうち種別７０３が引数指定呼出命令（CALL）のレコードの行番号リスト７０２の最初の行を全て抽出する。そして、命令文抽出部４１は、各引数指定呼出命令について、呼出部における、当該引数指定呼出命令が存在する行からその次の引数指定呼出命令が存在する行の直前の行までの各行に対して小領域の名称（例えば、０、１、２、３、・・・）を設定する。
特定した行番号の範囲において、呼出命令文表７００の各レコードのうち種別７０３が引数指定呼出命令（CALL）のレコードの行番号リスト７０２の最初の行を全て抽出する。そして、命令文抽出部４１は、各引数指定呼出命令について、呼出部における、当該引数指定呼出命令が存在する行からその次の引数指定呼出命令が存在する行の直前の行までの各行に対して小領域の名称（例えば、０、１、２、３、・・・）を設定する。
【0039】
（代入命令文表）
図７は、代入命令文表６００の一例を示す図である。同図に示すように、代入命令文表６００は、命令文の通し番号が設定されるレコード番号６０１、代入命令文が記述されているソースプログラムの行番号のリストが設定される行番号リスト６０２、代入させる変数（ソース変数）が設定されるＳ変数６０３、代入させる定数値（ソース定数値）が設定される固定値６０４、及び、ソース変数の値又はソース定数値が代入される被代入変数のリストが設定されるＤ変数リスト６０５の各データ項目を有する。なお、代入命令文表６００の各レコードは、ソースプログラムの行番号の昇順に（すなわちソースプログラムの冒頭行から末尾行に向かって）ソートされる。
図７は、代入命令文表６００の一例を示す図である。同図に示すように、代入命令文表６００は、命令文の通し番号が設定されるレコード番号６０１、代入命令文が記述されているソースプログラムの行番号のリストが設定される行番号リスト６０２、代入させる変数（ソース変数）が設定されるＳ変数６０３、代入させる定数値（ソース定数値）が設定される固定値６０４、及び、ソース変数の値又はソース定数値が代入される被代入変数のリストが設定されるＤ変数リスト６０５の各データ項目を有する。なお、代入命令文表６００の各レコードは、ソースプログラムの行番号の昇順に（すなわちソースプログラムの冒頭行から末尾行に向かって）ソートされる。
【0040】
固定値６０４が示す定数値又は、Ｓ変数６０３が示す変数のうちテストケースデータ３００で設定されていない変数がそれぞれリテラルとなりうる。本実施形態では、説明の便宜上、リテラルが定数値のみである場合を説明する。
【0041】
（呼出命令文表）
図８は、呼出命令文表７００の一例を示す図である。同図に示すように、呼出命令文表７００は、呼出命令文の番号が設定されるレコード番号７０１、呼出命令文が記述されているソースプログラムの行番号のリストが設定される行番号リスト７０２、呼出命令文の種類が設定される種別７０３、並びに、呼出命令文による呼び出し先である被呼出部（サブルーチン）の情報（被呼出部の名称及び引数等）のリストが設定される呼出先引数リスト７０４の各データ項目を有する。なお、呼出命令文表７００の各レコードは、ソースプログラムの行番号の昇順に（すなわちソースプログラムの冒頭行から末尾行に向かって）ソートされる。
図８は、呼出命令文表７００の一例を示す図である。同図に示すように、呼出命令文表７００は、呼出命令文の番号が設定されるレコード番号７０１、呼出命令文が記述されているソースプログラムの行番号のリストが設定される行番号リスト７０２、呼出命令文の種類が設定される種別７０３、並びに、呼出命令文による呼び出し先である被呼出部（サブルーチン）の情報（被呼出部の名称及び引数等）のリストが設定される呼出先引数リスト７０４の各データ項目を有する。なお、呼出命令文表７００の各レコードは、ソースプログラムの行番号の昇順に（すなわちソースプログラムの冒頭行から末尾行に向かって）ソートされる。
【0042】
（分岐命令文表）
図９は、分岐命令文表８００の一例を示す図である。同図に示すように、分岐命令文表８００は、分岐命令文の番号が設定されるレコード番号８０１、分岐命令文が記述されているソースプログラムの行番号のリストが設定される行番号リスト８０２、分岐命令文の種類が設定される種別８０３並びに、分岐命令文における条件節における条件節変数及び条件に応じて実行される各実行節のソースプログラム上の行番号のリストが設定される条件節変数実行節行番号リスト８０４の各データ項目を有する。なお、分岐命令文表８００の各レコードは、ソースプログラムの行番号の昇順に（すなわちソースプログラムの冒頭行から末尾行に向かって）ソートされる。
図９は、分岐命令文表８００の一例を示す図である。同図に示すように、分岐命令文表８００は、分岐命令文の番号が設定されるレコード番号８０１、分岐命令文が記述されているソースプログラムの行番号のリストが設定される行番号リスト８０２、分岐命令文の種類が設定される種別８０３並びに、分岐命令文における条件節における条件節変数及び条件に応じて実行される各実行節のソースプログラム上の行番号のリストが設定される条件節変数実行節行番号リスト８０４の各データ項目を有する。なお、分岐命令文表８００の各レコードは、ソースプログラムの行番号の昇順に（すなわちソースプログラムの冒頭行から末尾行に向かって）ソートされる。
【0043】
（領域区分表）
図１０は、領域区分表１３００の一例を示す図である。領域区分表１３００は、ソースコードの呼出部（メインルーチン）の行番号が設定される行番号１３０１、その行番号の行における命令文が設定される命令文１３０２、その行番号の行に対応づけられた大領域の名称が設定されるPERFORM領域分け１３０３、その行番号の行に対応づけられた小領域
の名称が設定されるCALL領域分け１３０４、及び、大領域及び小領域を組み合わせてなる区分領域の名称が設定される領域名１３０５の各データ項目を有する。
図１０は、領域区分表１３００の一例を示す図である。領域区分表１３００は、ソースコードの呼出部（メインルーチン）の行番号が設定される行番号１３０１、その行番号の行における命令文が設定される命令文１３０２、その行番号の行に対応づけられた大領域の名称が設定されるPERFORM領域分け１３０３、その行番号の行に対応づけられた小領域
の名称が設定されるCALL領域分け１３０４、及び、大領域及び小領域を組み合わせてなる区分領域の名称が設定される領域名１３０５の各データ項目を有する。
【0044】
次に、図５に示すように、設定命令検索部４２は、命令文抽出処理ｓ１１で生成した各表に基づき条件節内変数毎チェーン表９００を生成する条件節内変数毎依存関係解析処理
ｓ１３を実行する。
ｓ１３を実行する。
【0045】
条件節内変数毎チェーン表９００は、メインルーチン（呼出部）のある分岐命令文を先頭として、その前に存在する呼出命令をまたぎつつ、メインルーチンの先頭に向かって、上記呼出命令を除いた場合に上記分岐命令文の条件節変数の値を決定づけている（条件節変数の値を連動させている）変数を、リテラルを変数に代入する非変数設定命令）が出現するまでトレースした場合の、そのトレース内容の情報である。条件節内変数毎チェーン表９００は、各分岐命令文の条件節変数ごとに生成される。
【0046】
（条件節内変数毎チェーン表）
図１１は、条件節内変数毎チェーン表９００の一例を示す図である。
図１１は、条件節内変数毎チェーン表９００の一例を示す図である。
【0047】
条件節内変数毎チェーン表９００は、レコード番号９０１、トレースされた各命令文の開始行番号が設定される開始行番号９０２、その命令文の種別（例えば、条件分岐命令（条件節）、代入命令、第１呼出命令、第２呼出命令）が設定される種別９０３、及び、その命令文の処理対象（例えば、ソース定数値、ソース変数、被代入変数、条件節変数、被非呼出部）のリストが設定される属性リスト９０４の各データ項目を有する。
【0048】
条件節内変数毎チェーン表９００は、種別９０３が条件分岐命令（条件節）であるレコードを先頭として、ソースコードのメインルーチンの行番号の逆順に各レコードが存在する。条件節内変数毎チェーン表９００の最終レコードは、非変数設定命令に係るレコード（種別９０３に代入命令が設定され、属性リスト９０４にリテラル（ソース定数値等）が設定されているレコード）、又は、メインルーチンの先頭行に係るレコード（メインルーチンの先頭までトレースしても、非変数設定命令が検索されなかった場合）である。
【0049】
次に、図５に示すように、スタブ生成部４３は、設定命令検索部４２で生成した、各条件節変数についての条件節内変数毎チェーン表９００を参照し、非変数設定命令を検索できた場合に、その条件節変数の名称と、対応する呼出命令が示す被呼出部（サブルーチン）の名称とを対応付けたデータであるスタブ項目表４００（スタブ項目表）を生成するサブルーチン毎設定変数抽出処理ｓ１５を実行する。
【0050】
（スタブ項目表）
図１２は、スタブ項目表４００の一例を示す図である。スタブ項目表４００は、レコード番号４０１、非変数設定命令に対応する条件節変数の名称のリストが設定される変数リスト４０３、対応する被呼出部（サブルーチン）の名称が設定されるスタブ名４０２、及び、条件節変数に係る条件分岐命令の行番号が設定される行番号リスト４０４の各データ項目を有する。なお、非変数設定命令が発見できなかった場合は、変数リスト４０３には、空のデータが設定される。
図１２は、スタブ項目表４００の一例を示す図である。スタブ項目表４００は、レコード番号４０１、非変数設定命令に対応する条件節変数の名称のリストが設定される変数リスト４０３、対応する被呼出部（サブルーチン）の名称が設定されるスタブ名４０２、及び、条件節変数に係る条件分岐命令の行番号が設定される行番号リスト４０４の各データ項目を有する。なお、非変数設定命令が発見できなかった場合は、変数リスト４０３には、空のデータが設定される。
【0051】
その後、テストコード生成装置３０は、スタブ項目表４００及びテストケースデータ３００に基づき、テストコード５００を作成する。例えば、スタブ項目表４００に関して、テストコード生成装置３０は、スタブ項目表４００の各被呼出部について、条件節変数の名称と１又は複数の値（例えば、対応する条件分岐命令においていずれの実行部を実行するかを決定づけるような閾値）とを対応付けたデータを作成する。テストコード生成装置３０は、作成したデータとテストケースデータとを統合し、テストコード５００を作成する。
以下、条件節内変数毎依存関係解析処理ｓ１３の詳細を説明する。
以下、条件節内変数毎依存関係解析処理ｓ１３の詳細を説明する。
【0052】
＜条件節内変数毎依存関係解析処理＞
図１３は、条件節内変数毎依存関係解析処理ｓ１３の詳細を説明する図である。設定命
令検索部４２は、メインルーチン（呼出部）を参照することで命令文抽出処理ｓ１１で生成した、分岐命令文表８００、呼出命令文表７００、及び領域区分表１３００に基づき呼出命令毎影響分岐命令表１４００を生成する呼出命令毎影響分岐命令抽出処理ｓ１３１を実行する。なお、呼出命令毎影響分岐命令表１４００は、領域区分表１３００における各大領域の各小領域について、その小領域に存在する各変数が、当該小領域に属する大領域の第１呼出命令の実行に関してダーティー変数であるか否かを記憶したテーブルである。
図１３は、条件節内変数毎依存関係解析処理ｓ１３の詳細を説明する図である。設定命
令検索部４２は、メインルーチン（呼出部）を参照することで命令文抽出処理ｓ１１で生成した、分岐命令文表８００、呼出命令文表７００、及び領域区分表１３００に基づき呼出命令毎影響分岐命令表１４００を生成する呼出命令毎影響分岐命令抽出処理ｓ１３１を実行する。なお、呼出命令毎影響分岐命令表１４００は、領域区分表１３００における各大領域の各小領域について、その小領域に存在する各変数が、当該小領域に属する大領域の第１呼出命令の実行に関してダーティー変数であるか否かを記憶したテーブルである。
【0053】
具体的には、設定命令検索部４２は、領域区分表１３００を参照し、ある大領域の最初の小領域（すなわち、単純呼出命令（PERFORM）の行番号から最初の引数指定呼出命令（CALL）の直前の行番号までの領域）を特定し、特定した小領域に対して、全変数がダーテ
ィー変数であることを示す情報を対応づけて記憶する。
ィー変数であることを示す情報を対応づけて記憶する。
【0054】
以下、設定命令検索部４２は、領域区分表１３００を参照し、上記大領域におけるｉ（ｉ＝２、３、・・・）番目の小領域（すなわち、ｉ番目の引数指定呼出命令（CALL）の行番号からｉ＋１番目の引数指定呼出命令（CALL）の直前の行番号までの領域）を特定し、特定した小領域に関して、ｉ番目の小領域に係る引数指定呼出命令（CALL）の引数（変数）を特定する。そして、設定命令検索部４２は、特定した引数に係る引数指定呼出命令（CALL）の被呼出部が上記大領域に係る単純呼出命令（PERFORM）の被呼出部と異なる場合
には、上記引数はｉ番目の小領域における非ダーティー変数であるとし、その他の変数はダーティー変数であるとする。なお、設定命令検索部４２は、ｉ－１番目の小領域で非ダーティー変数とした引数（変数）については、ｉ番目の小領域においてもその変数は非ダーティー変数と記憶する。
には、上記引数はｉ番目の小領域における非ダーティー変数であるとし、その他の変数はダーティー変数であるとする。なお、設定命令検索部４２は、ｉ－１番目の小領域で非ダーティー変数とした引数（変数）については、ｉ番目の小領域においてもその変数は非ダーティー変数と記憶する。
【0055】
すなわち、PERFORM文の後では、その大領域に現れる全ての変数がダーティー変数であ
り、次のPERFORM文（次の大領域）で、改めて全ての変数がダーティー変数になる。一方
、CALL文の後は、その引数として指定されている全ての変数がダーティー変数である。すなわち、CALL文はPERFORM文の後に存在するので、PERFORM文でダーティ変数になった変数のうちCALL文の引数に係る変数を、CALL文が上書きする可能性がある。したがって、CALL文に係る引数がダーティー変数となる。以後、CALL文が登場するたびにダーティー変数が異なる。
り、次のPERFORM文（次の大領域）で、改めて全ての変数がダーティー変数になる。一方
、CALL文の後は、その引数として指定されている全ての変数がダーティー変数である。すなわち、CALL文はPERFORM文の後に存在するので、PERFORM文でダーティ変数になった変数のうちCALL文の引数に係る変数を、CALL文が上書きする可能性がある。したがって、CALL文に係る引数がダーティー変数となる。以後、CALL文が登場するたびにダーティー変数が異なる。
【0056】
（呼出命令毎影響分岐命令表）
図１４は、呼出命令毎影響分岐命令表１４００の一例を示す図である。呼出命令毎影響分岐命令表１４００は、各小領域１４０１の命令文に設定されている各命令文が処理する変数１４０２について、その変数が各小領域においてダーティー変数であるかを示すダーティー変数情報１４０３を記憶している。同図の例では、ダーティー変数情報１４０３には、対象の変数がダーティー変数である場合には「〇」、対象の変数が非ダーティー変数である場合には「×」が設定される。
図１４は、呼出命令毎影響分岐命令表１４００の一例を示す図である。呼出命令毎影響分岐命令表１４００は、各小領域１４０１の命令文に設定されている各命令文が処理する変数１４０２について、その変数が各小領域においてダーティー変数であるかを示すダーティー変数情報１４０３を記憶している。同図の例では、ダーティー変数情報１４０３には、対象の変数がダーティー変数である場合には「〇」、対象の変数が非ダーティー変数である場合には「×」が設定される。
【0057】
次に、図１３に示すように、設定命令検索部４２は、命令文抽出処理ｓ１１で生成した代入命令文表６００と、呼出命令毎影響分岐命令抽出処理ｓ１３１で生成した呼出命令毎影響分岐命令表１４００とに基づき条件節内変数毎チェーン表９００を生成する条件節内変数毎トレース処理ｓ１３３を実行する。
【0058】
＜条件節内変数毎トレース処理＞
図１５は、条件節内変数毎トレース処理ｓ１３３の一例を説明する図である。
まず、設定命令検索部４２は、分岐命令文表８００を参照し、メインルーチンにおける分岐命令文を特定し、特定した分岐命令文に関する条件節内変数毎チェーン表９００のレコード１５０１を作成する（ｓ１３３１）。
図１５は、条件節内変数毎トレース処理ｓ１３３の一例を説明する図である。
まず、設定命令検索部４２は、分岐命令文表８００を参照し、メインルーチンにおける分岐命令文を特定し、特定した分岐命令文に関する条件節内変数毎チェーン表９００のレコード１５０１を作成する（ｓ１３３１）。
【0059】
具体的には、設定命令検索部４２は、特定した分岐命令文の条件節の、ソースコードにおける最初の行番号（分岐命令文表８００の行番号リスト８０２）を条件節内変数毎チェーン表９００の開始行番号９０２に設定し、種別９０３に「条件節」（分岐命令文表８００の種別８０３）を設定し、属性リスト９０４に条件節変数（分岐命令文表８００の条件節変数実行節行番号リスト８０４の条件節変数）を設定する。
【0060】
次に、設定命令検索部４２は、代入命令文表６００を参照し、上記で特定した条件節変数と依存関係のある変数を、当該条件節変数に係る命令より前の各命令を遡って検索し、検索した各変数及び当該変数に係る命令に関する条件節内変数毎チェーン表９００のレコード１５０２、１５０３を作成する（ｓ１３３３）。
【0061】
具体的には、設定命令検索部４２は、上記で生成した条件節内変数毎チェーン表９００のレコードの属性リストの変数を取得する。そして、設定命令検索部４２は、代入命令文表６００を最後のレコードから最初のレコードに向かって（すなわちソースコードの行番号を逆に遡って）参照する。そして、設定命令検索部４２は、上記取得した変数がＤ変数リストに設定されているレコード１５０５を発見し、発見したレコード１５０５の当該Ｄ変数リストの内容（被代入変数）、及び、当該レコード１５０５のＳ変数（代入変数）の内容を、条件節内変数毎チェーン表９００に新たに生成したレコード１５０２の属性リストに設定し、「代入」を種別に設定し、開始行番号に、上記発見したレコード１５０４の行番号リストの最小の行番号を設定する。
【0062】
さらに、設定命令検索部４２は、代入命令文表６００の上記参照を引き続き行い、上記新たに生成した条件節内変数毎チェーン表９００のレコード１５０２の属性リストの被代入変数がＤ変数リストの代入変数に設定されているレコード１５０４を発見する。設定命令検索部４２は、発見したレコード１５０４の当該Ｄ変数リストの内容（被代入変数）、及び、当該レコード１５０４のＳ変数（代入変数）又は固定値（定数値）の内容を、条件節内変数毎チェーン表９００にさらに新たに生成したレコード１５０４の属性リストに設定し、「代入」を種別に設定し、開始行番号に、上記発見したレコード１５０４の行番号リストの最小の行番号を設定する。設定命令検索部４２は、上記さらに生成した条件節内変数毎チェーン表９００のレコード１５０４の属性リストに定数値（リテラル）を設定するまで、このような代入命令文表６００の参照を繰り返す。
【0063】
このようにして、設定命令検索部４２は、ある条件分岐命令文について、その前に存在する呼出命令文を除いた（無視した）場合における、当該条件分岐命令文の条件分岐先を判定する条件節変数の値（定数値）を特定する。
【0064】
次に、設定命令検索部４２は、呼出命令文表７００を参照し、以上のようにして生成した条件節内変数毎チェーン表９００に、呼び出し命令文に関するレコード１５０６、１５０７を挿入する（ｓ１３３５）。
【0065】
具体的には、設定命令検索部４２は、呼出命令文表７００から一つレコード１５０８を選択し、選択したレコード１５０８の行番号リストが示す最初の行番号を特定する。そして、設定命令検索部４２は、特定した行番号が、条件節内変数毎チェーン表９００の連続するレコード１５０２、１５０３の開始行番号が示す各行番号の間にある当該連続するレコード１５０２、１５０３を特定し、特定した連続するレコード１５０２、１５０３の間に新たなレコード１５０６を生成する。設定命令検索部４２は、生成した新たなレコード１５０６の開始行番号に、上記特定した行番号を設定し、種別に上記選択した呼出命令文表７００のレコード１５０８の種別の内容を設定し、属性リストに上記選択した呼出命令文表７００のレコード１５０８の呼出先引数リストの内容を設定する。設定命令検索部４２は、このような処理を、呼出命令文表７００の各レコードについて繰り返す。
【0066】
設定命令検索部４２は、以上の処理を、分岐命令文表８００における全ての分岐命令文について繰り返す。
【0067】
＜サブルーチン毎設定変数抽出処理＞
次に、図１６は、サブルーチン毎設定変数抽出処理ｓ１５の詳細を説明するフロー図である。
スタブ生成部４３は、ソースコードの先頭からたどって条件節変数を一つ選択し、これを処理対象変数とする（ｓ１５１）。具体的には、スタブ生成部４３は、呼出命令毎影響分岐命令表１４００を参照し、引数がダーティー変数（「〇」）となっている条件節変数が存在する小領域を一つ選択し、その引数に係る条件節変数を一つ選択する。
次に、図１６は、サブルーチン毎設定変数抽出処理ｓ１５の詳細を説明するフロー図である。
スタブ生成部４３は、ソースコードの先頭からたどって条件節変数を一つ選択し、これを処理対象変数とする（ｓ１５１）。具体的には、スタブ生成部４３は、呼出命令毎影響分岐命令表１４００を参照し、引数がダーティー変数（「〇」）となっている条件節変数が存在する小領域を一つ選択し、その引数に係る条件節変数を一つ選択する。
【0068】
そして、スタブ生成部４３は、処理対象変数に係る条件節内変数毎チェーン表９００を参照し、処理対象変数又はその処理対象変数の元となっている変数にリテラルを設定している非変数設定命令が存在するか否かを判定する（ｓ１５３）。
【0069】
具体的には、スタブ生成部４３は、条件節内変数毎チェーン表９００の最後のレコードの属性リスト９０４において、代入変数としてリテラル（定数値）が設定されているか否かを判定する。
【0070】
なお、スタブ生成部４３は、リテラル（定数値）が設定されている小領域とｓ１５１で選択した条件節変数に係る小領域との間に他の小領域が介在している場合は（同図の例では、「領域１－０」と「領域１－１」の間にCALL文から始まる小領域がさらに存在する場合）、呼出命令毎影響分岐命令表１４００を参照し、ｓ１５１で選択した条件節変数が上記介在している他の小領域において非ダーティー変数である（「×」）ことを確認してもよい。これにより、呼出命令（CALL文）が上記他の小領域において介在している場合でも、ｓ１５１で選択した条件節変数が上記リテラル（定数値）を決定づけている（直接連動している）ことを確認することができる。
【0071】
非変数設定命令が存在する場合は（ｓ１５３：ＹＥＳ）、スタブ生成部４３はｓ１５５を実行し、非変数設定命令が存在しない場合は（ｓ１５３：ＮＯ）、スタブ生成部４３はｓ１５９を実行する。
【0072】
ｓ１５９においてスタブ生成部４３は、スタブ項目表４００に、処理対象変数に関する空情報を追加する。例えば、スタブ生成部４３は、スタブ項目表４００に新たなレコードを生成し、生成したレコードのスタブ名４０２に空情報を設定し、変数リスト４０３に、処理対象変数（条件節変数）を設定する。その後はｓ１６１の処理が実行される。
【0073】
一方、Ｓ１５５においてスタブ生成部４３は、処理対象変数に対応する、処理対象変数に係る条件分岐命令に最も近い位置にあるサブルーチン（被呼出部）を特定する。具体的には、スタブ生成部４３は、条件節内変数毎チェーン表９００のうち、種別９０３に呼出命令が出現した最初のレコードの属性リスト９０４を取得する。
【0074】
そして、スタブ生成部４３は、スタブ項目表４００に、ｓ１５５で特定したサブルーチン（被呼出部）に関するスタブの情報を追加する（ｓ１５７）。例えば、スタブ生成部４３は、スタブ項目表４００に新たなレコードを生成し、生成したレコードのスタブ名４０２に、ｓ１５５で取得した属性リスト９０４の被呼出部の名称を設定し、変数リスト４０３に、処理対象変数（条件節変数）を設定する。その後はｓ１６１の処理が行われる。
【0075】
ｓ１６１においてスタブ生成部４３は、ｓ１５１で未だ選択していない条件節変数があ
るか否かを判定する。ｓ１５１で未だ選択していない条件節変数がある場合は（ｓ１６１：ＹＥＳ）、スタブ生成部４３は、未だ選択していない（さらに下の行番号にある）条件節変数を一つ選択してｓ１５１以降の処理を繰り返す。ｓ１５１で未だ選択していない条件節変数がない場合は（ｓ１６１：ＮＯ）、スタブ生成部４３は、サブルーチン毎設定変数抽出処理ｓ１５を終了する。
るか否かを判定する。ｓ１５１で未だ選択していない条件節変数がある場合は（ｓ１６１：ＹＥＳ）、スタブ生成部４３は、未だ選択していない（さらに下の行番号にある）条件節変数を一つ選択してｓ１５１以降の処理を繰り返す。ｓ１５１で未だ選択していない条件節変数がない場合は（ｓ１６１：ＮＯ）、スタブ生成部４３は、サブルーチン毎設定変数抽出処理ｓ１５を終了する。
【0076】
＜メインルーチンのパターンごとの処理の具体例＞
以上のように、本実施形態の言語変換支援装置４０は、呼出命令によって区分されたメインルーチンの領域ごとに、サブルーチン毎設定変数抽出処理ｓ１５を実行する。そこで、メインルーチンに存在する呼出命令のパターンごとに、スタブ作成処理の具体例を説明する。
以上のように、本実施形態の言語変換支援装置４０は、呼出命令によって区分されたメインルーチンの領域ごとに、サブルーチン毎設定変数抽出処理ｓ１５を実行する。そこで、メインルーチンに存在する呼出命令のパターンごとに、スタブ作成処理の具体例を説明する。
【0077】
（メインルーチンに単純呼出命令（PERFORM）のみが含まれる場合）
図１７は、単純呼出命令（PERFORM）のみが含まれる第１プログラムのメインルーチン
１７００及びこれにより作成されるスタブ項目表１７５０の一例を示す図である。
図１７は、単純呼出命令（PERFORM）のみが含まれる第１プログラムのメインルーチン
１７００及びこれにより作成されるスタブ項目表１７５０の一例を示す図である。
【0078】
言語変換支援装置４０は、F0を呼び出す000030行のPERFORM文１７０１から、F1を呼び
出す001000行のPERFORM文１７０２の直前までの第１領域１７０３と、PERFORM文１７０２からの第２領域１７０４とに関して以下の処理を行う。
出す001000行のPERFORM文１７０２の直前までの第１領域１７０３と、PERFORM文１７０２からの第２領域１７０４とに関して以下の処理を行う。
【0079】
ここで、PERFORM文１７０１、１７０２により呼び出されるサブルーチンでは、第１プ
ログラムにおける全変数を設定又は変更する可能性がある（全変数を大域変数として共有している）。したがって、PERFORM文１７０１、１７０２の実行によりそれ以降の全変数
がダーティー変数となる。
ログラムにおける全変数を設定又は変更する可能性がある（全変数を大域変数として共有している）。したがって、PERFORM文１７０１、１７０２の実行によりそれ以降の全変数
がダーティー変数となる。
【0080】
まず、言語変換支援装置４０は、第１領域１７０３において、全ての条件分岐命令の条件節に現れる条件節変数のリストを作成する（命令文抽出処理ｓ１１）。具体的には、000100行のIF文については変数{A}、000400行のIF文については変数{B}である。
【0081】
そこで、言語変換支援装置４０は、まず変数{A}について、000100行のIF文１７０５か
らメインルーチンの上方に向かって変数Aをトレースする（条件節内変数毎チェーン表９
００）。言語変換支援装置４０は、上記000030行のPERFORM文１７０１をまたぎ、000010
行において、Aに固定値（リテラル）を設定しているMOVE文１７０６（非変数設定命令）
を発見する。
らメインルーチンの上方に向かって変数Aをトレースする（条件節内変数毎チェーン表９
００）。言語変換支援装置４０は、上記000030行のPERFORM文１７０１をまたぎ、000010
行において、Aに固定値（リテラル）を設定しているMOVE文１７０６（非変数設定命令）
を発見する。
【0082】
ここで、000030行のPERFORM文１７０１で呼び出されるF0は、F0においてAを変更しない限り、000100行のIF文に係る全実行節が実行されない。したがって、言語変換支援装置４０は、F0に対応するスタブ項目として変数Aを設定する（スタブ項目表１７５０を作成す
る）。このスタブ項目表１７５０において、変数Aに係る条件節の条件分岐命令は、000100行のIF文である。
る）。このスタブ項目表１７５０において、変数Aに係る条件節の条件分岐命令は、000100行のIF文である。
【0083】
また、変数{B}について、言語変換支援装置４０は、000400行のIF文１７０７からメイ
ンルーチンの上方に向かって変数Bをトレースする（条件節内変数毎チェーン表９００）
。しかし、言語変換支援装置４０は、上記000030行のPERFORM文１７０１をまたぐことな
く、000300行において、Bに固定値を設定しているMOVE文１７０８を発見する。したがっ
て、言語変換支援装置４０は、このMOVE文１７０８をリテラルの非変数設定命令としては検出しない。なお、000400行のIF文１７０７はデッドコードを含む可能性があるので、言語変換支援装置４０は所定の警告を出力してもよい（スタブは作成されない）。
ンルーチンの上方に向かって変数Bをトレースする（条件節内変数毎チェーン表９００）
。しかし、言語変換支援装置４０は、上記000030行のPERFORM文１７０１をまたぐことな
く、000300行において、Bに固定値を設定しているMOVE文１７０８を発見する。したがっ
て、言語変換支援装置４０は、このMOVE文１７０８をリテラルの非変数設定命令としては検出しない。なお、000400行のIF文１７０７はデッドコードを含む可能性があるので、言語変換支援装置４０は所定の警告を出力してもよい（スタブは作成されない）。
【0084】
次に、言語変換支援装置４０は、第２領域１７０４において、条件分岐命令の条件節に
現れる条件節変数のリストを作成する（命令文抽出処理ｓ１１）。具体的には、001100行のIF文については変数{C}である。
現れる条件節変数のリストを作成する（命令文抽出処理ｓ１１）。具体的には、001100行のIF文については変数{C}である。
【0085】
そこで、言語変換支援装置４０は、001100行のIF文１７０９からメインルーチンの上方に向かって変数Cをトレースする（条件節内変数毎チェーン表９００）。しかし、言語変
換支援装置４０は、Cに固定値（リテラル）を設定しているMOVE文は発見できない。した
がって、スタブは作成されない（変数Cはテストケースにて設定されるべきである）。
換支援装置４０は、Cに固定値（リテラル）を設定しているMOVE文は発見できない。した
がって、スタブは作成されない（変数Cはテストケースにて設定されるべきである）。
【0086】
（メインルーチンに引数指定呼出命令（CALL）のみが含まれる場合）
図１８は、引数指定呼出命令（CALL）のみが含まれる第１プログラムのメインルーチン１８００と、これにより作成される呼出命令毎影響分岐命令表１８３０及びスタブ項目表１８５０との例を示す図である。
図１８は、引数指定呼出命令（CALL）のみが含まれる第１プログラムのメインルーチン１８００と、これにより作成される呼出命令毎影響分岐命令表１８３０及びスタブ項目表１８５０との例を示す図である。
【0087】
まず、言語変換支援装置４０は、メインルーチン１８００にCALL文を包含するPERFORM
が存在するものと仮定して呼出命令毎影響分岐命令表１８３０を作成する。
が存在するものと仮定して呼出命令毎影響分岐命令表１８３０を作成する。
【0088】
具体的には、まず、言語変換支援装置４０は、000100行のF0を呼び出すCALL文１８０１の直前までの第１小領域１８０２を設定する。また、言語変換支援装置４０は、000100行のF0を呼び出すCALL文１８０１から始まる第２小領域１８０３において、条件分岐命令の条件節における条件節変数の全リストを作成する（変数A,B）。また、言語変換支援装置
４０は、000300行のF1を呼び出すCALL文１８０４から始まる第３小領域１８０５において、条件分岐命令の条件節における条件節変数の全リストを作成する（変数A,B）。また、
言語変換支援装置４０は、000400行のF2を呼び出すCALL文１８０６から始まる第４小領域１８０７において、条件分岐命令の条件節における条件節変数の全リストを作成する（変数B,C）。
４０は、000300行のF1を呼び出すCALL文１８０４から始まる第３小領域１８０５において、条件分岐命令の条件節における条件節変数の全リストを作成する（変数A,B）。また、
言語変換支援装置４０は、000400行のF2を呼び出すCALL文１８０６から始まる第４小領域１８０７において、条件分岐命令の条件節における条件節変数の全リストを作成する（変数B,C）。
【0089】
そして、言語変換支援装置４０は、上記各変数のうちダーティー変数を特定した各小領域に関する呼出命令毎影響分岐命令表１４００を作成する。具体的には、言語変換支援装置４０は、第２小領域１８０３に関して変数B、第３小領域１８０５に関して変数A,B、第４小領域１８０７に関して変数B,Cをそれぞれダーティー変数とする。
【0090】
第２小領域１８０３の変数Bについて、言語変換支援装置４０は、変数Bに係る000200行のIF文１８０８からメインルーチン１８００の上方に向かって変数Bをトレースする（条
件節内変数毎チェーン表９００）。言語変換支援装置４０は、第２小領域１８０３の最初の000100行のBに係るCALL文１８０１をまたぎ、000050行において、Bに固定値（リテラル）を設定しているMOVE文１８０９（非変数設定命令）を発見する。
件節内変数毎チェーン表９００）。言語変換支援装置４０は、第２小領域１８０３の最初の000100行のBに係るCALL文１８０１をまたぎ、000050行において、Bに固定値（リテラル）を設定しているMOVE文１８０９（非変数設定命令）を発見する。
【0091】
ここで、000100行のCALL文１８０１で呼び出されるF0は、F0においてBを変更しない限
り、000200行のIF文１８０８に係る全実行節が実行されない。したがって、言語変換支援装置４０は、F0に対応するスタブ項目として変数Bを設定する（スタブ項目表１８５０を
作成する）。このスタブ項目表１８５０の変数Bに係る条件節の条件分岐命令は、000200
行のIF文である。
り、000200行のIF文１８０８に係る全実行節が実行されない。したがって、言語変換支援装置４０は、F0に対応するスタブ項目として変数Bを設定する（スタブ項目表１８５０を
作成する）。このスタブ項目表１８５０の変数Bに係る条件節の条件分岐命令は、000200
行のIF文である。
【0092】
次に、第３小領域１８０５の変数A,Bについて、まず言語変換支援装置４０は、変数Aに係る000350行のIF文１８１０からメインルーチン１８００の上方に向かって変数Aをトレ
ースする（条件節内変数毎チェーン表９００）。言語変換支援装置４０は、第３小領域１８０５の最初の000300行のCALL文１８０４をまたぎ、000010行において、Aに固定値（リ
テラル）を設定しているMOVE文１８１１（非変数設定命令）を発見する。
ースする（条件節内変数毎チェーン表９００）。言語変換支援装置４０は、第３小領域１８０５の最初の000300行のCALL文１８０４をまたぎ、000010行において、Aに固定値（リ
テラル）を設定しているMOVE文１８１１（非変数設定命令）を発見する。
【0093】
ここで、000300行のCALL文１８０４で呼び出されるF1は、F1においてAを変更しない限
り、000350行のIF文１８１０に係る全実行節が実行されない。したがって、言語変換支援装置４０は、F1に対応するスタブ項目として変数Aを設定する（スタブ項目表１８５０を
作成する）。このスタブ項目表１８５０の変数Aに係る条件節の条件分岐命令は、000350
行のIF文である。
り、000350行のIF文１８１０に係る全実行節が実行されない。したがって、言語変換支援装置４０は、F1に対応するスタブ項目として変数Aを設定する（スタブ項目表１８５０を
作成する）。このスタブ項目表１８５０の変数Aに係る条件節の条件分岐命令は、000350
行のIF文である。
【0094】
また、変数Bについて、言語変換支援装置４０は、変数Bに係る000350行のIF文１８１０からメインルーチン１８００の上方に向かって変数Bをトレースする（条件節内変数毎チ
ェーン表９００）。言語変換支援装置４０は、第２小領域１８０３（Bに係る000100行のCALL文１８０１）をまたぎ、第１小領域１８０２の000050行において、Bに固定値（リテラル）を設定しているMOVE文１８１１（非変数設定命令）を発見する。また、言語変換支援装置４０は、呼出命令毎影響分岐命令表１８３０により、第２小領域１８０３において変数Bは非ダーティー変数である（「×」）ことを確認する（なお、言語変換支援装置４０
は、呼出命令毎影響分岐命令表１８３０のダーティー変数情報を反転させた反転表１８４０を確認に用いてもよい（以下同様））。
ェーン表９００）。言語変換支援装置４０は、第２小領域１８０３（Bに係る000100行のCALL文１８０１）をまたぎ、第１小領域１８０２の000050行において、Bに固定値（リテラル）を設定しているMOVE文１８１１（非変数設定命令）を発見する。また、言語変換支援装置４０は、呼出命令毎影響分岐命令表１８３０により、第２小領域１８０３において変数Bは非ダーティー変数である（「×」）ことを確認する（なお、言語変換支援装置４０
は、呼出命令毎影響分岐命令表１８３０のダーティー変数情報を反転させた反転表１８４０を確認に用いてもよい（以下同様））。
【0095】
ここで、000100行のCALL文１８０１で呼び出されるF0は、F0においてBを変更しない限
り、000350行のIF文１８１０に係る全実行節が実行されない。したがって、言語変換支援装置４０は、F0に対応するスタブ項目として変数Bを設定する（スタブ項目表１８５０を
作成する）。このスタブ項目表１８５０の変数Bに係る条件節の条件分岐命令は、000350
行のIF文である。
り、000350行のIF文１８１０に係る全実行節が実行されない。したがって、言語変換支援装置４０は、F0に対応するスタブ項目として変数Bを設定する（スタブ項目表１８５０を
作成する）。このスタブ項目表１８５０の変数Bに係る条件節の条件分岐命令は、000350
行のIF文である。
【0096】
次に、第４小領域１８０７の変数B,Cについて、まず言語変換支援装置４０は、変数Bに係る000450行のIF文１８１２からメインルーチン１８００の上方に向かって変数Bをトレ
ースする（条件節内変数毎チェーン表９００）。言語変換支援装置４０は、第３領域１８０５（000350行のBに係るCALL文１８０４）及び第２領域１８０３（000100行のBに係るCALL文１８０１）をまたぎ、000050行において、Bに固定値（リテラル）を設定しているMOVE文１８０９（非変数設定命令）を発見する。また、言語変換支援装置４０は、呼出命令
毎影響分岐命令表１８３０により、第３小領域１８０５、第２小領域１８０３において変数Bは非ダーティー変数である（「×」）ことを確認する。
ースする（条件節内変数毎チェーン表９００）。言語変換支援装置４０は、第３領域１８０５（000350行のBに係るCALL文１８０４）及び第２領域１８０３（000100行のBに係るCALL文１８０１）をまたぎ、000050行において、Bに固定値（リテラル）を設定しているMOVE文１８０９（非変数設定命令）を発見する。また、言語変換支援装置４０は、呼出命令
毎影響分岐命令表１８３０により、第３小領域１８０５、第２小領域１８０３において変数Bは非ダーティー変数である（「×」）ことを確認する。
【0097】
なお、言語変換支援装置４０は、メインルーチン１８００において初出の変数XをBに設定しているMOVE文（非変数設定命令）を発見した場合には、その変数Xの値を条件節内変
数毎チェーン表９００に基づいてメインルーチンの冒頭に向かってトレースし、変数Xが
固定値以外の変数に設定されている場合はその変数Xをテストケースデータ３００に設定
するようにしてもよい（変数Xが固定値の場合はデッドコードの可能性があり、所定の警
告を出力してもよい）。このように、自動的にテストケースデータ３００を更新することで、第２プログラムの検証をより確実に行えるようにすることができる。
数毎チェーン表９００に基づいてメインルーチンの冒頭に向かってトレースし、変数Xが
固定値以外の変数に設定されている場合はその変数Xをテストケースデータ３００に設定
するようにしてもよい（変数Xが固定値の場合はデッドコードの可能性があり、所定の警
告を出力してもよい）。このように、自動的にテストケースデータ３００を更新することで、第２プログラムの検証をより確実に行えるようにすることができる。
【0098】
ここで、000450行のIF文１８１２に最も近い000400行のCALL文１８０６で呼び出されるF2は、F2においてBを変更しない限り、000450行のIF文１８１２に係る全実行節が実行さ
れない。したがって、言語変換支援装置４０は、F2に対応するスタブ項目として変数Bを
設定する（スタブ項目表１８５０を作成する）。このスタブ項目表１８５０の変数Bに係
る条件節の条件分岐命令は、000450行のIF文である。
れない。したがって、言語変換支援装置４０は、F2に対応するスタブ項目として変数Bを
設定する（スタブ項目表１８５０を作成する）。このスタブ項目表１８５０の変数Bに係
る条件節の条件分岐命令は、000450行のIF文である。
【0099】
次に、言語変換支援装置４０は、変数Cに係る000450行のIF文１８１２からメインルー
チン１８００の上方に向かって変数Cをトレースする（条件節内変数毎チェーン表９００
）。言語変換支援装置４０は、第３小領域１８０５（000300行のBに係るCALL文１８０４
）をまたぎ、000100行において、Cに固定値（リテラル）を設定しているMOVE文１８１３
（非変数設定命令）を発見する。また、言語変換支援装置４０は、呼出命令毎影響分岐命令表１４００により、第３小領域１８０５において変数Cは非ダーティー変数である（「
×」）ことを確認する。
チン１８００の上方に向かって変数Cをトレースする（条件節内変数毎チェーン表９００
）。言語変換支援装置４０は、第３小領域１８０５（000300行のBに係るCALL文１８０４
）をまたぎ、000100行において、Cに固定値（リテラル）を設定しているMOVE文１８１３
（非変数設定命令）を発見する。また、言語変換支援装置４０は、呼出命令毎影響分岐命令表１４００により、第３小領域１８０５において変数Cは非ダーティー変数である（「
×」）ことを確認する。
【0100】
ここで、000300行のCALL文１８０４で呼び出されるF1は、F1においてCを変更しない限
り、000450行のIF文１８１２に係る全実行節が実行されない。したがって、言語変換支援装置４０は、F1に対応するスタブ項目として変数Cを設定する（スタブ項目表１８５０を
作成する）。このスタブ項目表１８５０の変数Cに係る条件節の条件分岐命令は、000450
行のIF文である。
り、000450行のIF文１８１２に係る全実行節が実行されない。したがって、言語変換支援装置４０は、F1に対応するスタブ項目として変数Cを設定する（スタブ項目表１８５０を
作成する）。このスタブ項目表１８５０の変数Cに係る条件節の条件分岐命令は、000450
行のIF文である。
【0101】
（メインルーチンに、単純呼出命令（PERFORM）間に挟まれた引数指定呼出命令（CALL）
が存在する場合－その１）
が存在する場合－その１）
【0102】
図１９は、単純呼出命令（PERFORM）間に挟まれた引数指定呼出命令（CALL）が存在す
る第１プログラムのメインルーチン１９００とこれにより作成される呼出命令毎影響分岐命令表１９３０及びスタブ項目表１９５０との例を示す図である。
る第１プログラムのメインルーチン１９００とこれにより作成される呼出命令毎影響分岐命令表１９３０及びスタブ項目表１９５０との例を示す図である。
【0103】
言語変換支援装置４０は、F0を呼び出す000030行のPERFORM文１９０１からF3を呼び出
す001000行のPERFORM文１９０２の直前までの領域内の各小領域に関して以下の処理を行
う。すなわち、言語変換支援装置４０は、F0を呼び出す000030行のPERFORM文１９０１の
直前までの第０小領域１９０３と、F0を呼び出す000030行のPERFORM文１９０１から始ま
る第１小領域１９０４と、F1を呼び出す000310行のCALL文１９０５から始まる第２小領域１９０６と、F2を呼び出す000850行のCALL文１９０７から始まる第３小領域１９０８とを設定する。
す001000行のPERFORM文１９０２の直前までの領域内の各小領域に関して以下の処理を行
う。すなわち、言語変換支援装置４０は、F0を呼び出す000030行のPERFORM文１９０１の
直前までの第０小領域１９０３と、F0を呼び出す000030行のPERFORM文１９０１から始ま
る第１小領域１９０４と、F1を呼び出す000310行のCALL文１９０５から始まる第２小領域１９０６と、F2を呼び出す000850行のCALL文１９０７から始まる第３小領域１９０８とを設定する。
【0104】
そして、言語変換支援装置４０は、第１小領域１９０４において、条件分岐命令の条件節における条件節変数の全リストを作成する（変数B）。また、言語変換支援装置４０は
、第２小領域１９０６において、条件分岐命令の条件節における条件節変数の全リストを作成する（変数A,B）。また、言語変換支援装置４０は、第３小領域１９０８において、
条件分岐命令の条件節における条件節変数の全リストを作成する（変数C）。
、第２小領域１９０６において、条件分岐命令の条件節における条件節変数の全リストを作成する（変数A,B）。また、言語変換支援装置４０は、第３小領域１９０８において、
条件分岐命令の条件節における条件節変数の全リストを作成する（変数C）。
【0105】
そして、言語変換支援装置４０は、上記各変数のうちダーティー変数を特定した各小領域に関する呼出命令毎影響分岐命令表１９３０を作成する。具体的には、言語変換支援装置４０は、第１小領域１９０４に関して変数B、第２小領域１９０６に関して変数Bをそれぞれダーティー変数とする（第３区分領域に関してはダーティー変数は存在しない）。
【0106】
第１小領域の変数Bについて、言語変換支援装置４０は、変数Bに係る000100行のIF文１９０９からメインルーチン１９００の上方に向かって変数Bをトレースする（条件節内変
数毎チェーン表９００）。言語変換支援装置４０は、第１小領域１９０４の最初の000030行のBに係るPERFORM文１９０１をまたぎ、000020行において、Bに固定値（リテラル）を
設定しているMOVE文１９１０（非変数設定命令）を発見する。
数毎チェーン表９００）。言語変換支援装置４０は、第１小領域１９０４の最初の000030行のBに係るPERFORM文１９０１をまたぎ、000020行において、Bに固定値（リテラル）を
設定しているMOVE文１９１０（非変数設定命令）を発見する。
【0107】
ここで、000030行のPERFORM文１９０１で呼び出されるF0は、F0においてBを変更しない限り、000100行のIF文１９０９に係る全実行節が実行されない。したがって、言語変換支援装置４０は、F0に対応するスタブ項目として変数Bを設定する（スタブ項目表１９５０
を作成する）。このスタブ項目表１９５０の変数Bに係る条件節の条件分岐命令は、000100行のIF文である。
を作成する）。このスタブ項目表１９５０の変数Bに係る条件節の条件分岐命令は、000100行のIF文である。
【0108】
第２小領域１９０６の変数Bについて、言語変換支援装置４０は、変数Bに係る000600行のIF文１９１１からメインルーチン１９００の上方に向かって変数Bをトレースする（条
件節内変数毎チェーン表９００）。言語変換支援装置４０は、第１小領域１９０４の最初の000030行のBに係るPERFORM文１９０１をまたぎ、第１小領域１９０４の000020行におい
て、Bに固定値（リテラル）を設定しているMOVE文１９１０（非変数設定命令）を発見す
る。
件節内変数毎チェーン表９００）。言語変換支援装置４０は、第１小領域１９０４の最初の000030行のBに係るPERFORM文１９０１をまたぎ、第１小領域１９０４の000020行におい
て、Bに固定値（リテラル）を設定しているMOVE文１９１０（非変数設定命令）を発見す
る。
【0109】
ここで、000030行のPERFORM文１９０１で呼び出されるF0は、F0においてBを変更しない限り、000600行のIF文１９１１に係る全実行節が実行されない。したがって、言語変換支援装置４０は、F0に対応するスタブ項目として変数Bを設定する（スタブ項目表１９５０
を作成する）。このスタブ項目表１９５０の変数Bに係る条件節の条件分岐命令は、000600行のIF文である。
を作成する）。このスタブ項目表１９５０の変数Bに係る条件節の条件分岐命令は、000600行のIF文である。
【0110】
なお、第２小領域１９０６の条件分岐命令の実行節１９１２内の所定行に、変数XをBに代入する代入命令１９１３が存在する場合、言語変換支援装置４０は、変数Xをメインル
ーチンの上方にトレースし（条件節内変数毎チェーン表９００）、上記所定行において変数Xが初出であれば、変数Xをテストケースデータ３００に設定してもよい。一方、変数X
が第１小領域１９０４の000030行のPERFORM文１９０１より上で固定値に設定されている
場合、変数Xはリテラルであり、言語変換支援装置４０は、変数Xについてスタブ項目表を作成する（変数Xが000030行のPERFORM文１９０１より下で固定値に設定されている場合は、上記所定行はデッドコードの可能性があり、所定の警告を出力してもよい）。なお、上記所定行において、固定値をBに代入する代入命令１９１４が存在する場合、これはデッ
ドコードの可能性があり、所定の警告を出力してもよい。
ーチンの上方にトレースし（条件節内変数毎チェーン表９００）、上記所定行において変数Xが初出であれば、変数Xをテストケースデータ３００に設定してもよい。一方、変数X
が第１小領域１９０４の000030行のPERFORM文１９０１より上で固定値に設定されている
場合、変数Xはリテラルであり、言語変換支援装置４０は、変数Xについてスタブ項目表を作成する（変数Xが000030行のPERFORM文１９０１より下で固定値に設定されている場合は、上記所定行はデッドコードの可能性があり、所定の警告を出力してもよい）。なお、上記所定行において、固定値をBに代入する代入命令１９１４が存在する場合、これはデッ
ドコードの可能性があり、所定の警告を出力してもよい。
【0111】
（メインルーチンに、単純呼出命令（PERFORM）間に挟まれた引数指定呼出命令（CALL）
が存在する場合－その２）
が存在する場合－その２）
【0112】
図２０は、単純呼出命令（PERFORM）間に挟まれた引数指定呼出命令（CALL）が存在す
る第１プログラムのメインルーチン２０００とこれにより作成される呼出命令毎影響分岐命令表２０３０及びスタブ項目表２０５０との例を示す図である。
る第１プログラムのメインルーチン２０００とこれにより作成される呼出命令毎影響分岐命令表２０３０及びスタブ項目表２０５０との例を示す図である。
【0113】
言語変換支援装置４０は、F0を呼び出す000030行のPERFORM文２００１からF3を呼び出
す001000行のPERFORM文２００２の直前までの領域内の各小領域に関して以下の処理を行
う。すなわち、言語変換支援装置４０は、F0を呼び出す000030行のPERFORM文２００１の
直前までの第０小領域２００３と、F0を呼び出す000030行のPERFORM文２００１から始ま
る第１小領域２００４と、F1を呼び出す000310行のCALL文２００５から始まる第２小領域２００６と、F2を呼び出す000850行のCALL文２００７から始まる第３小領域２００８とを設定する。
す001000行のPERFORM文２００２の直前までの領域内の各小領域に関して以下の処理を行
う。すなわち、言語変換支援装置４０は、F0を呼び出す000030行のPERFORM文２００１の
直前までの第０小領域２００３と、F0を呼び出す000030行のPERFORM文２００１から始ま
る第１小領域２００４と、F1を呼び出す000310行のCALL文２００５から始まる第２小領域２００６と、F2を呼び出す000850行のCALL文２００７から始まる第３小領域２００８とを設定する。
【0114】
そして、言語変換支援装置４０は、第１小領域２００４において、条件分岐命令の条件節における条件節変数の全リストを作成する（変数B）。また、言語変換支援装置４０は
、第２小領域２００６において、条件分岐命令の条件節における条件節変数の全リストを作成する（変数A,B）。また、言語変換支援装置４０は、第３小領域２００８において、
条件分岐命令の条件節における条件節変数の全リストを作成する（変数C）。
、第２小領域２００６において、条件分岐命令の条件節における条件節変数の全リストを作成する（変数A,B）。また、言語変換支援装置４０は、第３小領域２００８において、
条件分岐命令の条件節における条件節変数の全リストを作成する（変数C）。
【0115】
そして、言語変換支援装置４０は、上記各変数のうちダーティー変数を特定した各小領域に関する呼出命令毎影響分岐命令表２０３０（及び反転表２０４０）を作成する。具体的には、言語変換支援装置４０は、第１小領域２００４に関して変数B、第２小領域２０
０６に関して変数A、第３小領域２００８に関して変数Cをそれぞれダーティー変数とする。
０６に関して変数A、第３小領域２００８に関して変数Cをそれぞれダーティー変数とする。
【0116】
次に、第１小領域２００４についての処理は省略する。
第２小領域２００６の変数Aについて、言語変換支援装置４０は、変数Aに係る000400行のIF文２００９からメインルーチン２０００の上方に向かって変数Aをトレースする（条
件節内変数毎チェーン表９００）。言語変換支援装置４０は、第２小領域２００６の最初の000310行のAに係るCALL文２００５をまたぎ、第１小領域２００４の000300行において
、Aに固定値（リテラル）を設定しているMOVE文２０１０（非変数設定命令）を発見する
（なお、呼出命令毎影響分岐命令表２０３０により変数Aが非ダーティー変数であること
を確認する）。
第２小領域２００６の変数Aについて、言語変換支援装置４０は、変数Aに係る000400行のIF文２００９からメインルーチン２０００の上方に向かって変数Aをトレースする（条
件節内変数毎チェーン表９００）。言語変換支援装置４０は、第２小領域２００６の最初の000310行のAに係るCALL文２００５をまたぎ、第１小領域２００４の000300行において
、Aに固定値（リテラル）を設定しているMOVE文２０１０（非変数設定命令）を発見する
（なお、呼出命令毎影響分岐命令表２０３０により変数Aが非ダーティー変数であること
を確認する）。
【0117】
ここで、000310行のCALL文２００５で呼び出されるF1は、F1においてAを変更しない限
り、000400行のIF文２００９に係る全実行節が実行されない。したがって、言語変換支援装置４０は、F1に対応するスタブ項目として変数Aを設定する（スタブ項目表２０５０を
作成する）。このスタブ項目表２０５０の変数Aに係る条件節の条件分岐命令は、000400
行のIF文である。
り、000400行のIF文２００９に係る全実行節が実行されない。したがって、言語変換支援装置４０は、F1に対応するスタブ項目として変数Aを設定する（スタブ項目表２０５０を
作成する）。このスタブ項目表２０５０の変数Aに係る条件節の条件分岐命令は、000400
行のIF文である。
【0118】
第３小領域２００８の変数Cについて、言語変換支援装置４０は、変数Cに係る000900行のIF文２０１１からメインルーチン２０００の上方に向かって変数Cをトレースする（条
件節内変数毎チェーン表９００）。言語変換支援装置４０は、第３小領域２００８の最初の000850行のCに係るCALL文２００７をまたぎ、第２小領域２００６の000800行において
、Cに固定値（リテラル）を設定しているMOVE文２０１２（非変数設定命令）を発見する
。
件節内変数毎チェーン表９００）。言語変換支援装置４０は、第３小領域２００８の最初の000850行のCに係るCALL文２００７をまたぎ、第２小領域２００６の000800行において
、Cに固定値（リテラル）を設定しているMOVE文２０１２（非変数設定命令）を発見する
。
【0119】
ここで、000850行のCALL文２００７で呼び出されるF2は、F2においてCを変更しない限
り、000900行のIF文２０１１に係る全実行節が実行されない。したがって、言語変換支援装置４０は、F2に対応するスタブ項目として変数Cを設定する（スタブ項目表２０５０を
作成する）。このスタブ項目表２０５０変数Cに係る条件節の条件分岐命令は、000900行
のIF文である。
り、000900行のIF文２０１１に係る全実行節が実行されない。したがって、言語変換支援装置４０は、F2に対応するスタブ項目として変数Cを設定する（スタブ項目表２０５０を
作成する）。このスタブ項目表２０５０変数Cに係る条件節の条件分岐命令は、000900行
のIF文である。
【0120】
なお、000800行のMOVE文２０１２がないとした場合、非変数設定命令としては第０小領域２００３の0000025行のMOVE文２０１２が発見される。すると、000030行のPERFORM文２００１及び000850行のCALL文２００７が、変数Cに係る000900行のIF文２０１１と0000025行のMOVE文２０１２とをまたぐ呼出命令として検出されるが、IF文のパスを網羅する上では直近の呼出命令がスタブデータとして好ましいので、000900行のIF文２０１１に最も近い000850行のCALL文２００７がスタブの対象となる。
【0121】
（メインルーチンにおいて単純呼出命令（PERFORM）の前に引数指定呼出命令（CALL）が
ある場合）
図２１は、単純呼出命令（PERFORM）の前に引数指定呼出命令（CALL）がある第１プロ
グラムのメインルーチン２１００及びこれにより作成される呼出命令毎影響分岐命令表２１３０の一例を示す図である。
ある場合）
図２１は、単純呼出命令（PERFORM）の前に引数指定呼出命令（CALL）がある第１プロ
グラムのメインルーチン２１００及びこれにより作成される呼出命令毎影響分岐命令表２１３０の一例を示す図である。
【0122】
まず、言語変換支援装置４０は、メインルーチン２０００にCALL文を包含するPERFORM
が存在するものと仮定して呼出命令毎影響分岐命令表２１３０を作成する。
が存在するものと仮定して呼出命令毎影響分岐命令表２１３０を作成する。
【0123】
具体的には、言語変換支援装置４０は、000100行のF0を呼び出すCALL文２１０１の直前までの第１小領域２１０２を設定する。また、言語変換支援装置４０は、000100行のF0を呼び出すCALL文２１０１から始まる第２小領域２１０３において、ダーティー変数（C）
を設定する。また、言語変換支援装置４０は、000300行のF1を呼び出すCALL文２１０４から始まる第３小領域２１０５において、ダーティー変数（A,C）を設定する。また、言語
変換支援装置４０は、000400行のF2を呼び出すCALL文２１０６から始まる第４小領域２１０７においては、ダーティー変数（A,B,C）を設定する。
を設定する。また、言語変換支援装置４０は、000300行のF1を呼び出すCALL文２１０４から始まる第３小領域２１０５において、ダーティー変数（A,C）を設定する。また、言語
変換支援装置４０は、000400行のF2を呼び出すCALL文２１０６から始まる第４小領域２１０７においては、ダーティー変数（A,B,C）を設定する。
【0124】
この場合、言語変換支援装置４０は、第２小領域２１０３における全ての条件分岐命令
の条件節の変数にCがあれば、F0に係るスタブ項目表を生成する。
の条件節の変数にCがあれば、F0に係るスタブ項目表を生成する。
【0125】
また、言語変換支援装置４０は、第３小領域２１０５における全ての条件分岐命令の条件節の変数にA,Cがあれば、F1に係るスタブ項目表を生成する。
【0126】
また、言語変換支援装置４０は、第４小領域２１０７における全ての条件分岐命令の条件節の変数にA,B,Cがあれば、F2に係るスタブ項目表を生成する。
【0127】
すなわち、言語変換支援装置４０は、メインルーチンに第２呼出命令（CALL）のみが含まれる場合（図１８）と同様の処理を行う。
【0128】
（複数の引数指定呼出命令（CALL）の呼び出し先が共通する場合）
図２２は、複数の引数指定呼出命令（CALL）の呼び出し先が共通する第１プログラムのメインルーチン２２００とこれにより作成される条件節内変数毎チェーン表２２３０、２２４０及びスタブ項目表２２５０との例を示す図である。
図２２は、複数の引数指定呼出命令（CALL）の呼び出し先が共通する第１プログラムのメインルーチン２２００とこれにより作成される条件節内変数毎チェーン表２２３０、２２４０及びスタブ項目表２２５０との例を示す図である。
【0129】
同図に示すように、言語変換支援装置４０は、メインルーチン２２００に基づき、異なる小領域の各引数指定呼出命令２２０１、２２０２（CALL）について、同じ引数（変数）Aに関する条件節内変数毎チェーン表２２３０、２２４０をそれぞれ作成し、変数Aに係るスタブ項目表２２５０をさらに作成する。
【0130】
そして、スタブ項目表２２５０に基づき変数の値をテストコード５００に設定する場合のその変数の値の範囲については、上記各引数指定呼出命令２２０１、２２０２に対応する条件分岐命令２２０３、２２０４に基づいて実行される実行節２２０５、２２０６、２２０７、２２０８を決定づけるような閾値を基準とした値を設定する。
【0131】
例えば、一方の引数指定呼出命令２２０１に対応する条件分岐命令２２０３の条件節が「ａ＞１０」であり、他方の引数指定呼出命令２２０２に対応する条件分岐命令２２０４の条件節が「ａ＜０」である場合は、０未満のいずれかの値２２０９と、１０を超えるいずれかの値２２１０とを、テストコード５００に設定するスタブの値とする。
【0132】
このように、言語変換支援装置４０は、引数指定呼出命令（CALL）の呼び出し先が共通する場合でも、スタブ項目表を作成することができる。
【0133】
以上説明したように、本実施形態のプログラム検証支援システム１は、ソースコードの呼出部（メインルーチン）から、条件分岐命令とその条件節変数、及びその条件分岐命令よりも前に存在する呼出命令をそれぞれ特定し、特定した条件節変数にリテラルを設定する代入命令又は、上記呼出命令を除いた場合に条件節変数の値を決定づける変数にリテラルを設定する代入命令である非変数設定命令を、呼出命令より前の命令から検索し、非変数設定命令を検索できた場合に、上記条件節変数と、上記呼出命令により呼び出される被呼出部（サブルーチン）とを対応付けたスタブ項目表４００を生成する。
【0134】
すなわち、本実施形態のプログラム検証支援システム１は、条件分岐命令の前に呼出命令が存在し、その呼出命令を跨いでさらにその前に、上記条件分岐命令の条件節変数に所定値を設定する代入命令又はその条件節変数を決定づける変数に所定値を設定する代入命令（非変数命令）を検索できた場合に（すなわち、ある変数に関して条件分岐命令と非変数設定命令が呼出命令を挟んでいる場合に）、その条件節変数と上記呼出命令により呼び出されるサブルーチンとを対応付けたスタブ項目表４００を生成する。
【0135】
このように、非変数設定命令の後に呼出命令があり、さらにその後に条件分岐命令があ
る場合には、呼出命令によって呼び出されるサブルーチンは、非変数設定命令に係る変数の値を書き換え、その結果、条件分岐命令に基づき実行される実行節を決定づけている可能性が高い。したがって、このようなサブルーチンについてのスタブを生成しておけば、サブルーチンの具体的内容を確認することなく、メインルーチンの検証に必要なスタブを生成することができる。
る場合には、呼出命令によって呼び出されるサブルーチンは、非変数設定命令に係る変数の値を書き換え、その結果、条件分岐命令に基づき実行される実行節を決定づけている可能性が高い。したがって、このようなサブルーチンについてのスタブを生成しておけば、サブルーチンの具体的内容を確認することなく、メインルーチンの検証に必要なスタブを生成することができる。
【0136】
以上のように、本実施形態のプログラム検証支援システム１によれば、プログラムの検証に必要な限度でかつ効率良くスタブを生成することができる。
【0137】
また、本実施形態のプログラム検証支援システム１は、非変数設定命令として、定数値（固定値）を条件節変数に設定する命令又は、呼出命令を除いた場合に条件節変数の値を決定づける変数に定数値（固定値）を設定する命令を検索する。
【0138】
このように、非変数設定命令が固定値を変数に設定する場合は、呼出命令によって呼び出されるサブルーチンは、後続の条件節変数の値を書き換え、条件分岐命令で実行される実行節を決定づけている可能性が極めて高い。これにより、プログラムの検証に必要な限度でかつ効率良くスタブを生成することができる。
【0139】
また、本実施形態のプログラム検証支援システム１は、非変数設定命令として、ソースコードのメインルーチンに対する初期入力変数の値に依存しない変数（例えば、テストケースデータ３００でメインルーチン対して初期値が設定されていない変数）の値を条件節変数に設定する命令又は、呼出命令を除いた場合に条件節変数の値を決定づける変数に上記初期入力変数の値に依存しない変数の値を設定する命令を検索する。
【0140】
テストケースデータ３００で初期値が設定されていない変数についても、上記固定値と同様に、呼出命令によって呼び出されるサブルーチンは、後続の条件節変数を書き換え、条件分岐命令で実行される実行節を決定づけている可能性が極めて高い。これにより、プログラムの検証に必要な限度でかつ効率良くスタブを生成することができる。
【0141】
また、本実施形態のプログラム検証支援システム１は、ソースコードの呼出部（メインルーチン）から単純呼出命令（PERFORM文）を特定した場合には、条件節変数の各変数に
所定の値を設定する命令又は、単純呼出命令を除いた場合に条件節変数の値を決定づける変数に所定の値を設定する命令を非変数設定命令として検索を行い、一方、ソースコードの呼出部（メインルーチン）から引数指定呼出命令（CALL文）を特定した場合には、条件節変数のうちCALL文に係る引数に所定の値を設定する命令又は、CALL文を除いた場合に条件節変数のうちCALL文に係る変数（引数）の値を決定づける変数に所定の値を設定する命令を非変数設定命令として検索を行う。
所定の値を設定する命令又は、単純呼出命令を除いた場合に条件節変数の値を決定づける変数に所定の値を設定する命令を非変数設定命令として検索を行い、一方、ソースコードの呼出部（メインルーチン）から引数指定呼出命令（CALL文）を特定した場合には、条件節変数のうちCALL文に係る引数に所定の値を設定する命令又は、CALL文を除いた場合に条件節変数のうちCALL文に係る変数（引数）の値を決定づける変数に所定の値を設定する命令を非変数設定命令として検索を行う。
【0142】
このように、プログラム検証支援システム１は、呼出命令がPERFORM文の場合は、条件
節変数の各変数に関して非変数設定命令の検索を行い、呼出命令がCALL文の場合は、条件節変数の変数（引数）に関して非変数設定命令の検索を行う。これにより、呼出命令の種類に応じて（具体的には、呼出命令により呼び出される被呼出部が書き換える可能性がある変数の種類に応じて）、非変数設定命令の検索を行うことになるので、プログラムの検証に必要な限度でかつ効率良くスタブを生成することができる。
節変数の各変数に関して非変数設定命令の検索を行い、呼出命令がCALL文の場合は、条件節変数の変数（引数）に関して非変数設定命令の検索を行う。これにより、呼出命令の種類に応じて（具体的には、呼出命令により呼び出される被呼出部が書き換える可能性がある変数の種類に応じて）、非変数設定命令の検索を行うことになるので、プログラムの検証に必要な限度でかつ効率良くスタブを生成することができる。
【0143】
また、本実施形態のプログラム検証支援システム１は、各単純呼出命令（PERFORM文）
を開始位置に設定した第１領域（大領域）と、各引数指定呼出命令（CALL文）を開始位置に設定した第２領域（小領域）とをそれぞれ設定し、小領域ごとに、各条件分岐命令の条件節変数のうち大領域に係るPERFORM文又は小領域のCALL文より前の各CALL文の実行によ
り値が変更される可能性があるダーティー変数を特定し、メインルーチンから特定した条
件分岐命令の条件節変数がダーティー変数である場合に、非変数設定命令を検索する。
を開始位置に設定した第１領域（大領域）と、各引数指定呼出命令（CALL文）を開始位置に設定した第２領域（小領域）とをそれぞれ設定し、小領域ごとに、各条件分岐命令の条件節変数のうち大領域に係るPERFORM文又は小領域のCALL文より前の各CALL文の実行によ
り値が変更される可能性があるダーティー変数を特定し、メインルーチンから特定した条
件分岐命令の条件節変数がダーティー変数である場合に、非変数設定命令を検索する。
【0144】
すなわち、PERFORM文によるサブルーチンの呼び出しがあった場合は、その後のメイン
ルーチンの全変数がサブルーチンによる影響を受ける（値が変更される）可能性がある。一方、CALL文による被呼出部の呼び出しがあった場合は、その後の各命令内のうちCALL文の引数のみがサブルーチンによる影響を受ける可能性がある。したがって、上記のようにPERFORM文とCALL文をそれぞれ開始位置とした大領域及び小領域を設定してこれらの領域
の単位でダーティー変数を特定することで、非変数設定命令を検索する必要があるダーティー変数を的確に抽出し、プログラムの検証に必要な限度でかつ効率良くスタブを生成することができる。
ルーチンの全変数がサブルーチンによる影響を受ける（値が変更される）可能性がある。一方、CALL文による被呼出部の呼び出しがあった場合は、その後の各命令内のうちCALL文の引数のみがサブルーチンによる影響を受ける可能性がある。したがって、上記のようにPERFORM文とCALL文をそれぞれ開始位置とした大領域及び小領域を設定してこれらの領域
の単位でダーティー変数を特定することで、非変数設定命令を検索する必要があるダーティー変数を的確に抽出し、プログラムの検証に必要な限度でかつ効率良くスタブを生成することができる。
【0145】
本発明は、上記実施形態に限定されるものではなく、その要旨を逸脱しない範囲内で、任意の構成要素を用いて実施可能である。以上説明した実施形態や変形例はあくまで一例であり、発明の特徴が損なわれない限り、本発明はこれらの内容に限定されるものではない。また、上記では種々の実施形態や変形例を説明したが、本発明はこれらの内容に限定されるものではない。本発明の技術的思想の範囲内で考えられるその他の態様も本発明の範囲内に含まれる。
【0146】
例えば、本実施形態の各装置が備えるハードウェアの一部は、他の装置に設けてもよい。
【0147】
また、各装置の各プログラムは他の装置に設けてもよいし、あるプログラムを複数のプログラムからなるものとしてもよいし、複数のプログラムを一つのプログラムに統合してもよい。
【符号の説明】
【0148】
１ プログラム検証支援システム、４０ 言語変換支援装置、４１ 命令文抽出部、４２
設定命令検索部、４３ スタブ生成部
設定命令検索部、４３ スタブ生成部
【図1】
【図2】
【図3】
【図4】
【図5】
【図6】
【図7】
【図8】
【図9】
【図10】
【図11】
【図12】
【図13】
【図14】
【図15】
【図16】
【図17】
【図18】
【図19】
【図20】
【図21】
【図22】