特許ウォッチ

公開番号2025108098
公報種別公開特許公報(A)
公開日2025-07-23
出願番号2024001777
出願日2024-01-10
発明の名称支援装置、支援方法、及び支援プログラム
出願人株式会社日立製作所
代理人弁理士法人一色国際特許事務所
主分類G06F 11/36 20060101AFI20250715BHJP(計算;計数)
要約【課題】プログラムにループ処理が含まれる場合に、そのプログラムの検証データを効率良く生成する。
【解決手段】支援装置は、プログラムに含まれる、所定の条件が満たされる限り所定の処理を繰り返すループ処理を、所定の条件が満たされる場合に所定の処理を実行する条件実行処理に置換し、当該条件実行処理において、所定の処理の後に、所定の条件が満たされないことを条件とする条件文を追加したループ簡略化プログラムを生成するループ簡略化処理と、ループ簡略化プログラムの命令を網羅する、プログラムに入力する入力データを出力する充足値導出処理と、を実行する。
【選択図】図1
特許請求の範囲【請求項１】
プロセッサ及びメモリを有し、
プログラムに含まれる、所定の条件が満たされる限り所定の処理を繰り返すループ処理を、前記所定の条件が満たされる場合に前記所定の処理を実行する条件実行処理に置換し、当該条件実行処理において、前記所定の処理の後に、前記所定の条件が満たされないことを条件とする条件文を追加したループ簡略化プログラムを生成するループ簡略化処理と、
前記ループ簡略化プログラムの命令を網羅する、前記プログラムに入力する入力データを出力する充足値導出処理と、
を実行する、支援装置。
続きを表示（約 1,300 文字）【請求項２】
前記ループ簡略化処理において、
前記所定の条件の参照変数を引数とする外部呼び出し命令を前記条件実行処理の前記所定の処理に含め、
前記充足値導出処理において、
前記ループ簡略化プログラムの命令を網羅するように前記参照変数の値を設定するための前記外部呼び出し命令のスタブを生成する、
請求項１に記載の支援装置。
【請求項３】
前記ループ簡略化処理において、
前記ループ処理における前記所定の処理において前記参照変数の値が変更されている場合、前記参照変数を引数とする前記外部呼び出し命令を前記所定の処理に含め、
前記ループ処理における前記所定の処理において前記参照変数の値が変更されていない場合であって、前記ループ処理における前記所定の処理に含まれる呼び出し命令の引数に前記参照変数が含まれていない場合、前記呼び出し命令の引数に前記参照変数を追加する、
請求項２に記載の支援装置。
【請求項４】
前記ループ簡略化処理において、
前記条件実行処理又は前記条件文を通過する毎に所定の変数の値を更新する処理を前記プログラムに追加し、
前記充足値導出処理において、
前記所定の変数の値に基づいて、前記ループ簡略化プログラムの命令を網羅する前記プログラムに入力する入力値の条件を特定し、当該条件を充足する入力データを出力する、
請求項１に記載の支援装置。
【請求項５】
前記充足値導出処理において、
前記ループ簡略化プログラムの各実行経路それぞれについて前記入力値の条件を記号実行により導出し、前記所定の変数の値に基づいて、導出した前記入力値の条件から前記ループ簡略化プログラムの命令を網羅する前記入力値の条件を特定し、当該条件を充足する入力データを出力する、
請求項４に記載の支援装置。
【請求項６】
情報処理装置が、
プログラムに含まれる、所定の条件が満たされる限り所定の処理を繰り返すループ処理を、前記所定の条件が満たされる場合に前記所定の処理を実行する条件実行処理に置換し、当該条件実行処理において、前記所定の処理の後に、前記所定の条件が満たされないことを条件とする条件文を追加したループ簡略化プログラムを生成するループ簡略化処理と、
前記ループ簡略化プログラムの命令を網羅する、前記プログラムに入力する入力データを出力する充足値導出処理と、を実行する
支援方法。
【請求項７】
情報処理装置に、
プログラムに含まれる、所定の条件が満たされる限り所定の処理を繰り返すループ処理を、前記所定の条件が満たされる場合に前記所定の処理を実行する条件実行処理に置換し、当該条件実行処理において、前記所定の処理の後に、前記所定の条件が満たされないことを条件とする条件文を追加したループ簡略化プログラムを生成するループ簡略化処理と、
前記ループ簡略化プログラムの命令を網羅する、前記プログラムに入力する入力データを出力する充足値導出処理と、を実行させる
支援プログラム。

発明の詳細な説明【技術分野】
【０００１】
本発明は、支援装置、支援方法、及び支援プログラムに関する。
続きを表示（約 1,400 文字）【背景技術】
【０００２】
開発済みのプログラムを他の環境で実行させるために、そのプログラム言語を他のプログラム言語に変更する（移植する）ことが多く行われている。この場合、プログラムの移植が正確に行われたかを検証することが非常に重要である。
【０００３】
この点、移植前のプログラムに対する検証データ（プログラムの入力データ及び出力データ（確認データ）のパターン）を生成し、この検証データを利用して、移植前のプログラムの実行結果と移植後のプログラムの実行結果とが同じであるかを検証する方法がある。
【０００４】
特許文献１には、記号実行を用いて、検証データを自動生成する技術が開示されている。
【先行技術文献】
【特許文献】
【０００５】
特開２０２２－００６４８３号公報
【発明の概要】
【発明が解決しようとする課題】
【０００６】
しかしながら、上述した技術では、プログラムにループ処理が存在したときに、記号実行処理のコストが高くなる、という課題がある。記号実行処理では、命令が実行されるごとに、命令が編集する変数の値を導出し、管理している。そのため、プログラムにループ処理が存在すると、変数の値を導出する処理コストが増え、更に、管理する変数の数が増えるため、必要なメモリ量が増える。
【０００７】
命令網羅の観点では、ループ処理を１度実行すればよい。そこで、ループ処理の実行回数を制限することも考えられるが、プログラムの実際の挙動を再現できなくなるため、次の（１）及び（２）の問題が発生する。（１）ループ文処理の停止条件を指定するための呼び出し先条件を生成できないため、ループ処理を停止させる検証データを確実に生成することができない。例えば、移植後のプログラムの検証時にループが停止しない（無限ルームに陥る）検証データが生成される可能性がある。（２）ループ処理内のカウンタ変数について、ループ処理実行後の値を生成できないため、ループ処理後の挙動を正確に再現できない。
【０００８】
本発明は、このような事情に鑑みてなされたものであり、その目的は、プログラムにループ処理が含まれる場合に、そのプログラムの検証データを効率良く生成することを支援可能な支援装置、支援方法、及び支援プログラムを提供することを目的とする。
【課題を解決するための手段】
【０００９】
上記課題を解決するための本発明の一つは、プロセッサ及びメモリを有し、プログラムに含まれる、所定の条件が満たされる限り所定の処理を繰り返すループ処理を、前記所定の条件が満たされる場合に前記所定の処理を実行する条件実行処理に置換し、当該条件実行処理において、前記所定の処理の後に、前記所定の条件が満たされないことを条件とする条件文を追加したループ簡略化プログラムを生成するループ簡略化処理と、前記ループ簡略化プログラムの命令を網羅する、前記プログラムに入力する入力データを出力する充足値導出処理と、を実行する、支援装置である。
【発明の効果】
【００１０】
本発明によれば、プログラムにループ処理が含まれる場合に、そのプログラムの検証データを効率良く生成することを支援可能である。
上記した以外の構成及び効果等は、以下の実施形態の説明により明らかにされる。
【図面の簡単な説明】
（【００１１】以降は省略されています）

関連特許