特許ウォッチ

公開番号2025114344
公報種別公開特許公報(A)
公開日2025-08-05
出願番号2024008986
出願日2024-01-24
発明の名称プログラム検証支援システム
出願人株式会社日立製作所
代理人弁理士法人一色国際特許事務所
主分類G06F 11/36 20060101AFI20250729BHJP(計算;計数)
要約【課題】ループ部を含むプログラムに対してそのテストを効率良く行う。
【解決手段】所定の処理を繰り返すループ部を有する第1プログラム100と、第1プログラム100における変数の初期値及び第1プログラム100の実行終了後の変数の値とを記憶し、第1プログラム100に変数の初期値を入力することにより、ループ部の実行開始直前の変数の値からの、ループ部の実行終了直後における変数の値の変更部分を特定し、特定した変数の値の変更部分をスタブデータとして生成し、第1プログラム100に対応する第2プログラム200におけるループ部をスタブデータが示す変更部分で置換して第2プログラム200を実行し、第2プログラム200の実行結果と、第1プログラム100の実行終了後の変数の値との比較結果を示すデータを出力する、プログラム検証支援システム1。
【選択図】図1
特許請求の範囲【請求項１】
所定の処理を繰り返すループ部を有する第１プログラムと、前記第１プログラムにおける変数の初期値及び前記第１プログラムの実行終了後の前記変数の値とを記憶する記憶装置、及び、
前記第１プログラムに前記変数の初期値を入力することにより、前記ループ部の実行開始直前の変数の値からの、前記ループ部の実行終了直後における変数の値の変更部分を特定し、特定した変数の値の変更部分をスタブデータとして生成するループ部置換スタブ生成処理と、
前記第１プログラムに対応する第２プログラムにおけるループ部を前記スタブデータが示す変更部分で置換して前記第２プログラムを実行し、前記第２プログラムの実行結果と、前記第１プログラムの実行終了後の変数の値との比較結果を示すデータを出力する置換テスト実行処理とを実行する制御装置
を備える、プログラム検証支援システム。
続きを表示（約 1,600 文字）【請求項２】
前記制御装置は、
前記ループ部置換スタブ生成処理において、前記第１プログラムのループ部の処理負荷が所定の条件を満たすか否かを判定し、前記ループ部の処理負荷が前記所定の条件を満たすと判定した場合に、前記スタブデータを生成する、
請求項１に記載のプログラム検証支援システム。
【請求項３】
前記制御装置は、
前記ループ部置換スタブ生成処理において、前記第１プログラムのループ部で実行される処理の合計ステップ数が所定数以上であるか否かを判定し、前記第１プログラムのループ部で実行される処理の合計ステップ数が前記所定数以上であると判定した場合に、前記スタブデータを生成する、
請求項２に記載のプログラム検証支援システム。
【請求項４】
前記制御装置は、
前記ループ部置換スタブ生成処理において、前記第１プログラムのループ部で実行される処理の合計ステップ数が不定又は不明であるか否かを判定し、前記第１プログラムのループ部で実行される処理の合計ステップ数が不定又は不明であると判定した場合に、前記スタブデータを生成するか否かの指定を受け付け、前記スタブデータを生成する指定を受け付けた場合に前記スタブデータを生成する、
請求項２に記載のプログラム検証支援システム。
【請求項５】
前記制御装置は、
前記ループ部置換スタブ生成処理において、前記第１プログラムのループ部で実行される処理の合計ステップ数が不定又は不明であるか否かを判定し、前記第１プログラムのループ部で実行される処理の合計ステップ数が不定若しくは不明であると判定した場合にのみ、又は、前記第１プログラムのループ部で実行される処理の合計ステップ数が不定でも不明でもないと判定した場合にのみ、前記スタブデータを生成する、
請求項２に記載のプログラム検証支援システム。
【請求項６】
前記制御装置は、
前記第１プログラムの各命令を解析することにより、第１の処理を繰り返す第１のループ部と、第２の処理を繰り返す、前記第１の処理内の第２のループ部とを特定して各処理を解析する構文解析処理を実行し、
前記ループ部置換スタブ生成処理において、前記第１プログラムの第２のループ部の処理負荷が所定の条件を満たすか否かを、前記第２のループ部の各処理の解析結果に基づき判定し、前記第２のループ部の処理負荷が前記所定の条件を満たすと判定した場合に、前記第２のループ部に係るスタブデータを生成し、
前記ループ部置換スタブ生成処理において、前記第１プログラムの第１のループ部の処理負荷が所定の条件を満たすか否かを、前記第２のループ部及び前記第１のループ部の各処理の解析結果に基づき判定し、前記第１のループ部の処理負荷が前記所定の条件を満たすと判定した場合に、前記第１のループ部に係るスタブデータを生成する、
請求項１に記載のプログラム検証支援システム。
【請求項７】
前記制御装置は、
前記ループ部置換スタブ生成処理において、前記第１プログラムに前記変数の初期値を入力することにより、前記ループ部の実行開始直前及び実行終了直後における変数の値を特定し、特定した変数の値を変数値セットデータとして生成し、
前記第２プログラムにおけるループ部の実行直前に前記変数値セットデータの実行開始直前における変数の値を設定して前記ループ部を実行することにより、前記ループ部の実行終了直後の変数の値を取得し、取得した変数の値と、前記変数値セットデータの実行開始直後における変数の値との比較結果を示すデータを出力するループ部テスト実行処理を実行する、
請求項１に記載のプログラム検証支援システム。

発明の詳細な説明【技術分野】
【０００１】
本発明は、プログラム検証支援システムに関する。
続きを表示（約 2,400 文字）【背景技術】
【０００２】
時代の変化や実行環境の変化などにより、ある言語で記述されたプログラムのソースコードを他の言語に変更する（変換する）必要がある場合がある。そして変換後は、変換後のプログラムが変換前のプログラムと同様に動作するかをテストする必要がある（現新一致の確認）。
【０００３】
このようなテストを行う際は、プログラムに入力するデータを定義したテストケースを作成することがある。このような例として、例えば特許文献１には、情報システムの開発工程におけるテスト仕様書を基にテストケースである生成テストケースを生成する仕様ベーステストケース生成部と、情報システムの開発工程におけるテストケースと生成テストケースとを比較して相違を出力するテストケース妥当性検証部とを備え、情報システムの開発工程におけるテストケースを基に自然文のテスト仕様書である生成テスト仕様書を生成する自然文生成部と、情報システムの開発工程におけるテスト仕様書と生成テスト仕様書とを比較して相違を出力するテスト仕様妥当性検証部とを備えるテストケース作成支援装置が開示されている。
【先行技術文献】
【特許文献】
【０００４】
特開２０２３－１２０８７９号公報
【発明の概要】
【発明が解決しようとする課題】
【０００５】
ところで、ソースコードにループ部（繰り返し処理）が含まれていると、そのループの繰り返し回数又は処理内容によっては、テストケースを用いたテスト実行時間が非常に長くなる場合がある。このような場合であってもテストケースを減らすことは難しいため、ループ部のテストをより効率良く（より短い時間で）行うニーズが存在する。
【０００６】
本発明は、このような事情に鑑みてなされたものであり、その目的は、ループ部を含むプログラムに対してそのテストを効率良く行うことが可能なプログラム検証支援システムを提供することにある。
【課題を解決するための手段】
【０００７】
上記課題を解決するための本発明の一つは、所定の処理を繰り返すループ部を有する第１プログラムと、前記第１プログラムにおける変数の初期値及び前記第１プログラムの実行終了後の前記変数の値とを記憶する記憶装置、及び、前記第１プログラムに前記変数の初期値を入力することにより、前記ループ部の実行開始直前の変数の値からの、前記ループ部の実行終了直後における変数の値の変更部分を特定し、特定した変数の値の変更部分をスタブデータとして生成するループ部置換スタブ生成処理と、前記第１プログラムに対応する第２プログラムにおけるループ部を前記スタブデータが示す変更部分で置換して前記第２プログラムを実行し、前記第２プログラムの実行結果と、前記第１プログラムの実行終了後の変数の値との比較結果を示すデータを出力する置換テスト実行処理とを実行する制御装置を備える、プログラム検証支援システムである。
【発明の効果】
【０００８】
本発明によれば、ループ部を含むプログラムに対してそのテストを効率良く行うことができる。
上記した以外の構成及び効果等は、以下の実施形態の説明により明らかにされる。
【図面の簡単な説明】
【０００９】
本実施形態に係るプログラム検証支援システムの構成の一例を示す図である。
第１プログラムのソースコードの一例である。
言語変換支援装置が備える主な機能部（プログラム）の一例を説明するブロック図である。
プログラム検証支援システムにおける各情報処理装置が備えるハードウェア構成の一例を示す図である。
プログラム検証支援処理の一例を示すフロー図である。
スタブ生成処理の一例を説明するフロー図である。
生成されるループ部位置情報の一例を示す図である。
ループ部スタブ化判定処理の詳細を説明するフロー図である。
ループ部置換スタブ生成処理の詳細を説明するフロー図である。
生成されるループ部突入前全変数値セットの一例を示す図である。
生成されるループ部突入後全変数値セットの一例を示す図である。
生成されるループ部置換スタブの一例を示す図である。
テスト実行処理の一例を説明するフロー図である。
ループ部テスト実行処理の詳細を説明するフロー図である。
テスト実行処理の他の一例を説明するフロー図である。
【発明を実施するための形態】
【００１０】
図面を参照して、本発明の実施形態について詳細に説明する。
図１は、本実施形態に係るプログラム検証支援システム１の構成の一例を示す図である。プログラム検証支援システム１は、第１の言語で記述されたプログラム（第１プログラム１００）を記憶するユーザ端末１０と、第１プログラム１００を、第２の言語で記述されたプログラム（第２プログラム２００）に変換すると共にテストケースデータ３００を生成する言語変換装置２０と、第１プログラム１００に基づきループ部置換スタブ４００を生成する言語変換支援装置４０と、テストケースデータ３００及びループ部置換スタブ４００等に基づき第２プログラム２００に対するテストの内容を定義したテストコード５００を生成するテストコード生成装置３０と、第２プログラム２００及びテストコード５００に基づき、言語変換装置２０が実行した第１プログラム１００から第２プログラム２００への変換が正しく行われた否かを検証する検証装置５０とを含んで構成される。
（【００１１】以降は省略されています）

関連特許