JP7474132B2 - プログラム検証データ生成支援装置、及びプログラム検証データ生成支援方法 - Google Patents

Description

本発明は、プログラム検証データ生成支援装置、及びプログラム検証データ生成支援方法に関する。

開発済みのプログラムを他の環境で実行させるために、そのプログラム言語を他のプログラム言語に変更する（移植する）ことが多く行われている。この場合、プログラムの移植が正確に行われたかを検証することが非常に重要である。

この点、移植前のプログラムに対する検証データ（プログラムの入力データ及び出力データ（確認データ）のパターン）を生成し、この検証データを利用して、移植前のプログラムの実行結果と移植後のプログラムの実行結果とが同じであるかを検証する方法がある。このような検証データには、通常、所定のコード網羅率が要求される。

そこで、例えば、特許文献１には、グラフ生成部が、ソースコードを記憶するソースコード記憶部からソースコードを取得し、取得したソースコードを構文解析して、データの処理に関するノードであるデータ処理ノードと、処理の分岐に関するノードである分岐処理ノードとを含むグラフ構造を生成するグラフ生成ステップと、データ生成部が、グラフ構造に基づいて、プログラムを実行する実行経路を抽出し、抽出した実行経路をプログラムに実行させるための入力データを生成するデータ生成ステップと、実行制御部が、プログラムにより正常に動作することが確認されている第１の実行環境と、プログラムにより正常に動作することが確認されていない第２の実行環境とのそれぞれの実行環境において、データ生成ステップにて生成した入力データによりプログラムを実行させる実行制御ステップとを含む検証方法が記載されている。

特開２０１６－１８３９０号公報

しかしながら、プログラムのソースコードが長くなり処理のステップ数が多くなると、検証データの生成時間が長くなるという問題がある。特に、ソースコードに多くの条件分岐処理が記述されている場合は、処理の分岐が繰り返されていることが多く、特許文献１のように処理の経路を逐次追っていくと、網羅すべき処理のステップ数が膨大となり、検証データの作成に多くの時間を要するという問題があった。

本発明はこのような背景に鑑みてなされたものであり、その目的は、プログラムの検証データを、そのプログラムの構造が複雑となっている場合でも効率良く生成することが可能なプログラム検証データ生成支援装置、及びプログラム検証データ生成支援方法を提供することにある。

上記課題を解決するための本発明の一つは、プロセッサ及びメモリを備え、プログラムの各処理間の関係を、各処理で使用されている変数間の依存関係に基づき算出する処理間依存関係算出処理と、前記プログラムの各処理のうち条件分岐処理を含む処理の集合を抽出する検証可能処理集合抽出処理と、前記抽出した処理の集合のうち、前記プログラムに対する所定の網羅率を超え、かつ、各変数に対する処理の負荷が所定の基準以下である処理の集合を選択する網羅基準到達可能実行経路選択処理と、前記選択した処理の集合における条件分岐処理の条件判断に使用される変数のデータの組み合わせである入力データを、前記変数間の依存関係に基づき生成する入力データ生成処理と、前記抽出した条件分岐処理に前記入力データを入力した場合に当該条件分岐処理の実行により設定され又は編集される変数である確認変数を選択する確認変数名選択処理と、前記生成した入力データと、前記選択した確認変数の、前記プログラムの実行に基づく算出値である出力データとを対応づけたデータである検証データを生成する確認変数値生成処理と、を実行する、プログラム検証データ生成支援装置、とする。

また、上記課題を解決するための本発明の他の一つは、プロセッサ及びメモリを備える情報処理装置が、プログラムの各処理間の関係を、各処理で使用されている変数間の依存関係に基づき算出する処理間依存関係算出処理と、前記プログラムの各処理のうち条件分岐処理を含む処理の集合を抽出する検証可能処理集合抽出処理と、前記抽出した処理の集合のうち、前記プログラムに対する所定の網羅率を超え、かつ、各変数に対する処理の負荷が所定の基準以下である処理の集合を選択する網羅基準到達可能実行経路選択処理と、前記選択した処理の集合における条件分岐処理の条件判断に使用される変数のデータの組み合わせである入力データを、前記変数間の依存関係に基づき生成する入力データ生成処理と、前記抽出した条件分岐処理に前記入力データを入力した場合に当該条件分岐処理の実行により設定され又は編集される変数である確認変数を選択する確認変数名選択処理と、前記生成した入力データと、前記選択した確認変数の、前記プログラムの実行に基づく算出値である出力データとを対応づけたデータである検証データを生成する確認変数値生成処理と、を実行する、プログラム検証データ生成支援方法、とする。

本発明によれば、プログラムの検証データを、そのプログラムの構造が複雑となっている場合でも効率良く生成することができる。

上記した以外の課題、構成及び効果は、以下の実施形態の説明により明らかにされる。

本実施形態のプログラム検証データ生成支援システムの構成の一例を説明する図である。 検証データ表の一例を示す図である。 変数名メモリ番地表の一例を示す図である。 網羅基準表の一例を示す図である。 本実施形態で想定するソースコードを示す図である。 プログラム検証データ生成支援装置、及びデータサーバが備えるハードウェアの一例を示す図である。 検証データ表生成処理の一例を説明する図である。 処理間依存関係グラフ生成処理の一例を説明するフロー図である。 ソースコードの構成の一例を示す図である。 処理番号が設定されたソースコードの一例を示す図である。 分岐番号が設定されたソースコードの一例を示す図である。 処理－変数間依存関係ＤＢの一例を示す図である。 処理間依存関係ＤＢの一例を示す図である。 処理間依存関係グラフの一例を示す図である。 検証可能処理集合抽出処理の一例を説明するフロー図である。 分岐関連命令表の一例を示す図である。 分岐検証実行経路ＤＢの一例を示す図である。 網羅基準到達可能実行経路選択処理の一例を説明するフロー図である。 網羅率表の一例を示す図である。 処理－工数管理表の一例を示す図である。 検証データ導出工数算出式の一例を示す図である。 工数表の一例を示す図である。 網羅基準到達可能実行経路ＤＢの一例を示す図である。 実行経路分割処理の一例を説明するフロー図である。 実行経路分割候補ＤＢの一例を示す図である。 結合工数の算出式の一例を示す図である。 実行経路分割候補工数見積もり表の一例を示す図である。 分割後実行経路ＤＢの一例を示す図である。 入力データ生成処理の一例を説明するフロー図である。 入力ルール表の一例を示す図である。 入力データ表の一例を示す図である。 入力データ結合処理の一例を説明するフロー図である。 結合後入力ルール－確認変数名ＤＢの一例を示す図である。 入力ルール候補表の一例を示す図である。 確認変数名選択処理の一例を説明するフロー図である。 入力ルール－検証データ基準確認変数名ＤＢの一例を示す図である。 選択後確認変数表の一例を示す図である。 確認変数値生成処理の一例を説明するフロー図である。

図１は、本実施形態のプログラム検証データ生成支援システム１の構成の一例を説明する図である。

プログラム検証データ生成支援システム１は、プログラム検証データ生成支援装置１０、及び、ユーザが作成したソースコード２３を記憶したデータサーバ２０を含んで構成されている。ソースコード２３は、ある言語（例えば、ＣＯＢＯＬ）で記述されたプログラムである。プログラム検証データ生成支援装置１０、及びデータサーバ２０の間は、ＬＡＮ（Local Area Network）、ＷＡＮ（Wide Area Network）、インターネット、専用線等
の有線又は無線のネットワークによって通信可能に接続される。

ユーザは、ソースコード２３を他の言語（例えば、Ｊａｖａ（登録商標））で記述した他のプログラムに変換（移植）している。プログラム検証データ生成支援装置１０は、移植の正しさ（プログラムの同一性）を検証するための、ソースコード２３の入力データ（入力変数の値）及び確認データ（入力変数の値に対する出力値）の組み合わせを記述した検証用データのリストである検証データ表３０を生成する。

（検証データ表）
図２は、検証データ表３０の一例を示す図である。検証データ表３０は、検証データのＩＤである検証番号３１、検証用入力データ３２、及び検証用確認データ３３の各情報を有する１以上のレコードで構成される。

検証用入力データ３２は、ソースコード２３に入力されるデータであり、具体的には、各変数の値が設定される。検証用確認データ３３は、ソースコード２３に検証用入力データ３２が入力されソースコード２３が実行された場合に出力されるデータである。検証用確認データ３３は、具体的には、各変数の値である。

なお、本実施形態では、各変数のうち検証用入力データ３２又は検証用確認データ３３として必要ない変数には、「＊」が設定される。

次に、図１に示すように、データサーバ２０は、検証データ生成対照表２１、変数名メ
モリ番地表２５０、ソースコード２３、網羅基準表２７０、処理－工数管理表２９０、及び分割基準表２５の各データを記憶している。

検証データ生成対照表２１は、ソースコード２３のうち、検証データ表３０を生成する対象となる部分を指定したデータである。

変数名メモリ番地表２５０は、ソースコード２３が使用している各変数とその変数の記憶領域とを対応づけて記憶したデータベースである。

網羅基準表２７０は、ソースコード２３の各処理のうち検証された割合（テスト実行された割合）である網羅率に関する基準（以下、網羅基準という）を記憶したデータベースである。

処理－工数管理表２９０は、ソースコード２３の処理及び変数の統計情報を記憶したデータベースである。処理－工数管理表２９０の詳細は後述する。また、分割基準表２５の詳細も後述する。

ここで、変数名メモリ番地表２５０及び網羅基準表２７０の詳細を説明する。

（変数名メモリ番地表）
図３は、変数名メモリ番地表２５０の一例を示す図である。変数名メモリ番地表２５０は、編集変数又は参照変数の変数名２５１、及びその変数に使用されるメモリ番地２５２の各情報を有する１以上のレコードを備えるデータベースである。

なお、本実施形態で、編集変数とは、処理によってその値が設定又は編集される変数であり、参照変数とは、処理によってその値が参照される変数である。

（網羅基準表）
図４は、網羅基準表２７０の一例を示す図である。網羅基準表２７０は、識別子や名称が設定される網羅基準２７１、及びその網羅基準が満たすべき網羅率２７２の各情報を有する１以上のレコードを備えるデータベースである。

次に、図１に示すように、プログラム検証データ生成支援装置１０は、処理間依存関係グラフ生成部１０１、検証可能処理集合抽出部１０２、網羅基準到達可能実行経路選択部１０３、実行経路分割部１０４、入力データ生成部１０５、入力データ結合部１０６、確認変数名選択部１０７、及び確認変数値生成部１０８の各機能部を備える。

処理間依存関係グラフ生成部１０１は、ソースコード２３を構成する各処理間の関係を、各処理で使用されている変数間の依存関係に基づき算出する。この依存関係の情報は、処理間依存関係ＤＢ１１０に登録される。

検証可能処理集合抽出部１０２は、処理間依存関係ＤＢ１１０に基づき、ソースコード２３のうち検証対象となる、条件分岐処理を含む処理の集合（以下、実行経路という）を抽出する。この実行経路の情報は、分岐検証実行経路ＤＢ１３０に登録される。

具体的には、検証可能処理集合抽出部１０２は、処理間依存関係ＤＢ１１０に基づき、条件分岐処理の分岐条件に係る変数の値に依存している処理群（条件分岐処理の条件式の変数に依存している処理）を条件分岐処理の分岐先のそれぞれについて特定し、特定した処理群のそれぞれを、実行経路として特定する。

これにより、ソースコード２３に条件分岐処理が多数存在し条件分岐を網羅するための各実行経路が長くなり得る場合でも、条件分岐先の処理を、変数に関して互いに依存する実行経路ごとに分割し、互いに独立したより短い実行経路とすることができる。

網羅基準到達可能実行経路選択部１０３は、検証可能処理集合抽出部１０２における実行経路として、ソースコード２３に対する所定の網羅率を超える実行経路（網羅基準到達可能実行経路という）を選択する。網羅基準到達可能実行経路は、網羅基準到達可能実行経路ＤＢ１５０に登録される。

実行経路分割部１０４は、網羅基準到達可能実行経路を複数の実行経路（以下、分割後実行経路という）に分割する。分割後実行経路の情報は、分割後実行経路ＤＢ１７０に登録される。なお、本実施形態では、実行経路分割部１０４は、複数の分割方法によって実行経路を分割する。

入力データ生成部１０５は、各分割後実行経路について、条件分岐処理の条件判断に使用される変数のデータの組み合わせである入力データを、各変数間の依存関係に基づき生成する生成する。入力データの情報は、入力ルール－確認変数名ＤＢ１９０に登録される。

本実施形態では、入力データは、条件分岐処理の条件判断（変数に関する判断）の組み合わせのパターンである入力ルールによって特定される。

入力データ結合部１０６は、各分割後実行経路の各入力データのうち、分割後実行経路間で共有して使用されている入力データを特定し、特定した入力データを統合することにより新たな入力データ（以下、結合後入力データという）を生成する。結合後入力データの情報は、結合後入力ルール－確認変数名ＤＢ２１０に登録される。なお、本実施形態では、入力データ結合部１０６は、上記の複数の分割方法のうち、入力データの統合に必要な工数が最小となる分割方法による、結合後入力データを生成する。

確認変数名選択部１０７は、入力データ生成部１０５が抽出した条件分岐処理に入力データを入力した場合にその条件分岐処理の実行により設定され又は編集される変数である確認変数を選択する。選択された確認変数の情報は、確認変数表２３０に登録される。

なお、以下では、条件分岐処理の実行に基づきその値が設定され又は編集される変数を、編集変数という。

確認変数値生成部１０８は、入力データ結合部１０６が生成した入力データ（結合後入力データ）と、確認変数名選択部１０７が選択した確認変数の実行値（ソースコード２３の実行によって得られる値）である確認データとを対応づけた検証データ表３０を生成する。

ユーザは、この検証データ表３０の内容と、ソースコード２３から移植したプログラムの実行結果とを比較することで、ソースコード２３の移植が正しく行われたか否かを検証することができる。

なお、本実施形態で想定するソースコード２３を図５に示す。このソースコード２３は、ＣＯＢＯＬで記述されている。

また、図６は、プログラム検証データ生成支援装置１０、及びデータサーバ２０が備えるハードウェアの一例を示す図である。プログラム検証データ生成支援装置１０、及びデ
ータサーバ２０は、ＣＰＵ、ＧＰＵ等の処理装置１１（プロセッサ）と、プログラム及びデータ等が展開される、ＲＡＭ（Random Access Memory）又はＲＯＭ（Read Only Memory）等の主記憶装置１２と、ＨＤＤ（Hard Disk Drive）、ＳＳＤ（Solid State Drive）、又はフラッシュメモリ等を含む補助記憶装置１３と、キーボード又はタッチパネル等の入力装置１４と、モニタ又はディスプレイ等の出力装置１５と、他の情報処理装置と通信する、ネットワークインタフェースカード等の通信装置１６とを備える。

以上に説明したプログラム検証データ生成支援装置１０、及びデータサーバ２０の各機能は、処理装置１１が、主記憶装置１２又は補助記憶装置１３に記憶されている、各機能を実現する各プログラムを読み出して実行することにより実現される。なお、各プログラムは、外部記憶媒体にあらかじめ記録されていてもよいし、所定の通信ネットワークを介して、必要なときに導入されてもよい。

次に、プログラム検証データ生成支援装置１０が行う処理について説明する。

＜処理＞
図７は、検証データ表３０を生成する処理である検証データ表生成処理ｓ１の一例を説明する図である。検証データ表生成処理ｓ１は、例えば、プログラム検証データ生成支援装置１０が、ユーザからソースコード２３の指定入力を受け付け、ソースコード２３をデータサーバ２０から受信したことを契機に開始される。

まず、処理間依存関係グラフ生成部１０１は、ソースコード２３の各処理間の関係を算出する処理間依存関係グラフ生成処理ｓ１００を実行する。

また、検証可能処理集合抽出部１０２は、条件分岐処理を含む実行経路をソースコード２３から抽出する検証可能処理集合抽出処理ｓ２００を実行する。

そして、網羅基準到達可能実行経路選択部１０３は、検証可能処理集合抽出部１０２が抽出した実行経路のうち網羅基準到達可能実行経路を選択する網羅基準到達可能実行経路選択処理ｓ３００を実行する。

次に、実行経路分割部１０４は、網羅基準到達可能実行経路を複数の分割後実行経路に分割する実行経路分割処理ｓ４００を実行する。

また、入力データ生成部１０５は、各分割後実行経路における各条件分岐処理の条件判断に使用される入力データを生成する入力データ生成処理ｓ５００を実行する。

そして、入力データ結合部１０６は、各分割後実行経路の各入力データから結合後入力データを生成する入力データ結合処理ｓ６００を実行する。

確認変数名選択部１０７は、ソースコード２３から確認変数を選択する確認変数名選択処理ｓ７００を実行する。

確認変数値生成部１０８は、入力データ結合部１０６が生成した結合後入力データをソースコード２３に入力することにより、確認変数名選択部１０７が選択した確認変数の値（確認データ）を取得することで検証データ表３０を生成する確認変数値生成処理ｓ８００を実行する。

以下、これらの処理の詳細を説明する。

＜処理間依存関係グラフ生成処理＞
図８は、処理間依存関係グラフ生成処理ｓ１００の一例を説明するフロー図である。

まず、処理間依存関係グラフ生成部１０１は、ソースコード２３のうち、データを定義した部分（データ定義コード）及び処理又は命令を記述した部分（解析対象コード）をそれぞれ特定する（ｓ１０１）。例えば、処理間依存関係グラフ生成部１０１は、ユーザから、データ定義コード及び解析対象コードの選択の入力を受け付け、又は、検証データ生成対照表２１で指定されている部分を特定する。

そして、処理間依存関係グラフ生成部１０１は、解析対象コードに記述されている各処理から、網羅基準等が示す処理（以下、検証対象処理という）を特定し、特定した各検証対象処理に対して番号（以下、処理番号という）を設定する（ｓ１０２）。なお、本実施形態では、ユーザが予め一つの網羅基準を選択しているものとする。

また、処理間依存関係グラフ生成部１０１は、検証対象処理における各条件分岐処理に番号（分岐番号）を設定する（ｓ１０３）。

ここで、ｓ１０１～ｓ１０３の処理をソースコード２３の具体例を用いて説明する。

図９は、ソースコード２３の構成の一例を示す図である。ソースコード２３は、変数等のデータを定義したデータ定義コード２３ａと、各処理を記述した解析対象コード２３ｂとを備える。

図１０は、処理番号が設定されたソースコード２３の一例を示す図である。ソースコード２３の解析対象コード２３ｂには、各検証対象処理に対応づけられた処理番号２３ｃがそれぞれ設定されている。

図１１は、分岐番号が設定されたソースコード２３の一例を示す図である。ソースコード２３の解析対象コード２３ｂには、各検証対象処理に対応づけられた条件分岐処理の分岐番号２３ｄがそれぞれ設定されている。

次に、図８に示すように、処理間依存関係グラフ生成部１０１は、各検証対象処理が使用する変数のうち、編集変数の名称及び参照変数の名称を全て取得し、取得した情報を処理－変数間依存関係ＤＢ３１０に登録する（ｓ１０４）。

例えば、処理間依存関係グラフ生成部１０１は、解析対象コード２３ｂの各処理の構文及びデータ定義コード２３ａに登録されている変数の名称を対比及び解析することで、解析対象コード２３ｂに記述されている全ての編集変数の名称及び参照変数の名称を抽出する。

また、処理間依存関係グラフ生成部１０１は、ｓ１０４で取得した編集変数及び参照変数のそれぞれのメモリ番地（変数が格納されているメモリ上の位置）を変数名メモリ番地表２５０から取得し、取得した情報を処理－変数間依存関係ＤＢ３１０に登録する（ｓ１０５）。

具体的には、処理間依存関係グラフ生成部１０１は、各編集変数及び各参照変数のメモリ番地を、変数名メモリ番地表２５０の各レコードのメモリ番地２５２から取得する。

（処理－変数間依存関係ＤＢ）
図１２は、処理－変数間依存関係ＤＢ３１０の一例を示す図である。処理－変数間依存
関係ＤＢ３１０は、検証対象処理ごとに割り当てられた処理番号３１１、編集変数の変数名３１２、編集変数のメモリ番号３１３、参照変数の変数名３１４、及び参照変数のメモリ番号３１５の各情報を有する、１以上のレコードを備えるデータベースである。

次に、図８に示すように、処理間依存関係グラフ生成部１０１は、各検証対象処理について、検証対象処理に依存している条件分岐処理を特定する。すなわち、処理間依存関係グラフ生成部１０１は、各検証対象処理について、その検証対象処理を包含している分岐処理に係る条件分岐処理を、依存先条件分岐処理として全て特定し、特定した依存先条件分岐処理の処理番号を、処理間依存関係ＤＢ１１０に登録する（ｓ１０６）。

また、処理間依存関係グラフ生成部１０１は、各検証対象処理について、検証対象処理内の変数に依存している処理を特定する。すなわち、処理間依存関係グラフ生成部１０１は、各検証対象処理について、その検証対象処理が使用している各参照変数のメモリ番号と同じメモリ番号の編集変数を使用している検証対象処理（すなわち、変数の使用に関して依存している処理。以下、依存先処理という）を全て特定し、特定した検証対象処理の処理番号を、処理間依存関係ＤＢ１１０に登録する（ｓ１０７）。以上で処理間依存関係グラフ生成処理ｓ１００は終了する。

（処理間依存関係ＤＢ）
ここで、図１３は、処理間依存関係ＤＢ１１０の一例を示す図である。処理間依存関係ＤＢ１１０は、検証対象処理の処理番号１１１、検証対象処理に対する依存先条件分岐処理の処理番号の一覧１１２、及び、依存先処理の処理番号の一覧１１３の各情報を有する１以上のレコードで構成される。

（処理間依存関係グラフ）
次に、図１４は、処理間依存関係グラフ３３０の一例を示す図である。処理間依存関係グラフ３３０は、処理間依存関係ＤＢ１１０に基づき生成される検証対象処理間の関係図である。処理間依存関係グラフ３３０には、各検証対象処理の処理番号３３１、及び、各条件分岐処理の分岐番号３３２が表示される。

処理間依存関係グラフ生成処理ｓ１００により、条件分岐処理の各分岐先の処理群がその各処理間の変数の依存関係に基づき紐付けられ生成されている。これにより、例えば、「IF NOT エラーコード = "INVALID"」なる分岐先処理３３５が、２つの処理群３３７の
それぞれに含まれている。

なお、処理間依存関係グラフ生成部１０１は、ユーザから所定の入力を受け付けることにより、この処理間依存関係グラフ３３０を表示する。

＜検証可能処理集合抽出処理＞
図１５は、検証可能処理集合抽出処理ｓ２００の一例を説明するフロー図である。

まず、検証可能処理集合抽出部１０２は、検証対象処理における条件分岐処理（以下、検証対象分岐処理という）を取得する（ｓ２０１）。例えば、検証可能処理集合抽出部１０２は、網羅基準表２７０の網羅基準２７１が指定している分岐処理を特定する。

検証可能処理集合抽出部１０２は、ｓ２０１で取得した各検証対象分岐処理について、その検証対象分岐処理の依存先処理を全て特定し、特定した依存先処理を分岐関連命令表３５０に記録する（ｓ２０２）。

具体的には、検証可能処理集合抽出部１０２は、処理間依存関係ＤＢ１１０を参照し、
検証対象分岐処理に係るレコードの依存先処理番号一覧１１３の内容を取得する。

検証可能処理集合抽出部１０２は、ｓ２０２で生成した分岐関連命令表３５０の各検証対象分岐処理のレコードを、依存先処理の数に関して昇順で並び替える（ｓ２０３）
（分岐関連命令表）
ここで、図１６は、分岐関連命令表３５０の一例を示す図である。分岐関連命令表３５０は、検証対象分岐処理の処理番号である分岐管理番号３５１、及び、その検証対象分岐処理の依存先処理の処理番号の一覧３５２の各情報を有する１以上のレコードで構成されるデータベースである。

次に、図１５に示すように、検証可能処理集合抽出部１０２は、ｓ２０３で生成した分岐関連命令表３５０に登録されている各検証対象分岐処理のうち、ある検証対象分岐処理の依存先処理が他の検証対象分岐処理の依存先処理を包含している関係にある（依存先処理に関して部分集合の関係にある）、検証対象分岐処理の組（処理群）をまとめる（集約する）ことで、互いに変数に関して依存関係にある検証対象分岐処理の処理群（実行経路）のデータベース（分岐検証実行経路ＤＢ１３０）を生成する。

具体的には、検証可能処理集合抽出部１０２は、分岐関連命令表３５０の各レコードの、依存先処理の処理番号の一覧３５２を参照することで、一方のレコードの依存先処理の処理番号一覧３５２の内容が他方のレコードの依存先処理の処理番号の一覧３５２の内容を包含する（部分集合の関係にある）関係にあるレコードの組を特定する。

（分岐検証実行経路ＤＢ）
図１７は、分岐検証実行経路ＤＢ１３０の一例を示す図である。分岐検証実行経路ＤＢ１３０は、検証対象分岐処理の処理群である実行経路の実行経路ＩＤ１３１、及び、その実行経路を構成する検証対象分岐処理の処理番号（分岐管理番号）の一覧である分岐管理番号一覧１３２の各情報を有する１以上のレコードで構成される。

（網羅基準到達可能実行経路選択処理）
次に、図１８は、網羅基準到達可能実行経路選択処理ｓ３００の一例を説明するフロー図である。

網羅基準到達可能実行経路選択部１０３は、検証可能処理集合抽出処理ｓ２００で生成した分岐検証実行経路ＤＢ１３０の各実行経路の網羅率を算出する（ｓ３０１）。

例えば、網羅基準到達可能実行経路選択部１０３は、網羅基準が定める網羅率算出式に、分岐検証実行経路ＤＢ１３０の各実行経路の分岐管理番号一覧１３２の各値を代入することで、各実行経路の網羅率を算出する。網羅基準到達可能実行経路選択部１０３は、算出した網羅率を、網羅率表３９０に登録する。

（網羅率表）
図１９は、網羅率表３９０の一例を示す図である。網羅率表３９０は、実行経路ＩＤ３９１、網羅基準３９２、及び網羅率３９３の各情報を有する１以上のレコードで構成される。

さらに、図１８に示すように、網羅基準到達可能実行経路選択部１０３は、各実行経路について、実行経路の処理負荷の情報である処理－工数管理表４１０を生成しつつ各実行経路の検証データ導出工数を算出する（ｓ３０２）。

例えば、網羅基準到達可能実行経路選択部１０３は、分岐検証実行経路ＤＢ１３０及び
ソースコード２３を参照することで、各実行経路における各処理の内容を解析し、各処理における編集命令（編集変数を編集する処理）の数及び型、編集変数及び参照変数の数、並びに条件分岐処理の数等をそれぞれ特定することで、処理－工数管理表４１０を生成する。そして、網羅基準到達可能実行経路選択部１０３は、生成したこれらの情報を検証データ導出工数算出式に代入することにより、各実行経路の検証データ導出工数を算出し、算出した検証データ導出工数を工数表４３０に登録する。

ここで、処理－工数管理表４１０、検証データ導出工数算出式、及び工数表４３０について説明する。

（処理－工数管理表）
図２０は、処理－工数管理表４１０の一例を示す図である。処理－工数管理表４１０は、実行経路ＩＤ４１１、編集命令数４１２、型が一致しない編集命令の数４１３、参照変数又は編集変数の数４１４、複数回参照又は編集される参照変数及び編集変数の数４１５、条件分岐処理の数４１６、分岐網羅必要条件分岐処理の数４１７、及び、反復処理数４１８の各情報を有する１以上のレコードで構成される。

このように、処理－工数管理表４１０は、各実行経路における各処理又は変数に関する処理の負荷の大きさの情報をまとめたデータベースである。

（検証データ導出工数算出式）
図２１は、検証データ導出工数算出式の一例を示す図である。検証データ導出工数算出式は、例えば、処理－工数管理表４１０に設定されている各情報と、所定の係数とを用いて算出される。

（工数表）
図２２は、工数表４３０の一例を示す図である。工数表４３０は、実行経路ＩＤ４３１、及びその工数４３２（検証データ導出工数）の各情報を有する１以上のレコードで構成される。

次に、図１８に示すように、網羅基準到達可能実行経路選択部１０３は、工数表４３０の各レコードを、工数４３２の降順で並び替える（ｓ３０３）
網羅基準到達可能実行経路選択部１０３は、並び替えた工数表４３０の実行経路の各レコードを順番に確認して、網羅基準を満たす実行経路を特定する（ｓ３０４～ｓ３０８）。

具体的には、網羅基準到達可能実行経路選択部１０３は、現在確認中の、工数表４３０の実行経路のレコードが最後の実行経路のレコードであるか否かを判定する（ｓ３０４）。

そのレコードが最後の実行経路のレコードである場合は（ｓ３０４：Ｙｅｓ）、後述のｓ３０８の処理が行われ、そのレコードが最後の実行経路のレコードでない場合は（ｓ３０４：Ｎｏ）、次のｓ３０５の処理が行われる。

すなわち、網羅基準到達可能実行経路選択部１０３は、現在の次の実行経路を選択し、その実行経路を除外した場合の他の各実行経路の網羅率をｓ３０１と同じ要領で算出する（ｓ３０５）。

網羅基準到達可能実行経路選択部１０３は、ｓ３０５で算出した網羅率が、網羅基準が要求する基準に達しているか否か（網羅基準が規定する所定の網羅率の閾値を超えている
か否か）を判定する（ｓ３０６）。

網羅率が網羅基準の要求基準に達している場合は（ｓ３０６：Ｙｅｓ）、網羅基準到達可能実行経路選択部１０３は、ｓ３０５で選択した実行経路を削除する旨を記憶してｓ３０４の処理が繰り返され、網羅率が網羅基準の要求基準に達していない場合は（ｓ３０６：Ｎｏ）、網羅基準到達可能実行経路選択部１０３は、ｓ３０５で選択した実行経路を削除しない旨を記憶する（ｓ３０７）。その後は、ｓ３０４の処理が繰り返される。

ｓ３０８において網羅基準到達可能実行経路選択部１０３は、削除する旨を記憶した実行経路以外の各実行経路を、網羅基準到達可能実行経路ＤＢ１５０に記録する。以上で網羅基準到達可能実行経路選択処理ｓ３００は終了する。

（網羅基準到達可能実行経路ＤＢ）
図２３は、網羅基準到達可能実行経路ＤＢ１５０の一例を示す図である。網羅基準到達可能実行経路ＤＢ１５０は、網羅基準（網羅率）を満たした実行経路の番号（実行経路番号１５１）のリストを記憶している。

＜実行経路分割処理＞
次に、図２４は、実行経路分割処理ｓ４００の一例を説明するフロー図である。

まず、実行経路分割部１０４は、網羅基準到達可能実行経路選択処理ｓ３００で決定した実行経路のうち、所定数を超える処理を有する実行経路を抽出する（ｓ４０１）。

本実施形態では、実行経路分割部１０４は、実行経路の分割を不要とする処理の最大値（最大処理数）を記憶した分割基準表（不図示）に基づいて、実行経路を抽出する。

実行経路分割部１０４は、ｓ４０１で抽出した各実行経路（分割対象実行経路候補）について、分割後の実行経路の処理数が最大処理数を超えないような複数の分割方式にて、分割対象実行経路を複数の実行経路に分割する試行を行う（ｓ４０２）。実行経路分割部１０４は、分割した各実行経路（分割後実行経路候補）の情報を実行経路分割候補ＤＢ４５０に登録する。

なお、これらの分割方式は、例えば、所定の処理数ごとに分割する方式、分岐処理の構成を基準に分割する方式等がある。

実行経路分割部１０４は、ｓ４０２で登録した各分割後実行経路候補について、その中で使用されている参照変数及び編集変数を全て抽出し、抽出した参照変数及び編集変数の合計数（設定変数数）を実行経路分割候補ＤＢ４５０に登録する（ｓ４０３）。

（実行経路分割候補ＤＢ）
図２５は、実行経路分割候補ＤＢ４５０の一例を示す図である（分割基準表が最大処理数として１５を設定している場合）。実行経路分割候補ＤＢ４５０は、分割方法のＩＤである分割候補ＩＤ４５１、その分割方法による分割前の実行経路のＩＤである元実行経路ＩＤ４５２、その分割方法による分割後の分割後実行経路候補のＩＤである分割ＩＤ４５３、分割後実行経路候補における各処理の処理番号の一覧である処理番号一覧４５４、分割後実行経路候補における各処理で使用されている参照変数の一覧４５５、分割後実行経路候補における各処理で使用されている編集変数の一覧４５６、及び、分割後実行経路候補における設定変数数４５７の各情報を有する１以上のレコードで構成される。

次に、図２４に示すように、実行経路分割部１０４は、ｓ４０３の結果に基づき、分割
後実行経路の間で共有して使用されている参照変数及び編集変数（それぞれ、共有参照変数、共有編集変数という）を特定し、特定した共有変数の数を計数する（ｓ４０４）。

また、実行経路分割部１０４は、ｓ４０３で算出した設定変数数、及びｓ４０４で算出した共有変数の数に基づき、分割対象実行経路候補における変数の処理の負荷（変数間の依存関係強さ）の大きさを表すパラメータ値である結合工数を、各分割対象実行経路候補について算出する（ｓ４０５）。

ここで、実行経路分割処理ｓ４００で使用される式及びデータベースについて説明する。

（結合工数の算出式）
図２６は、結合工数の算出式の一例を示す図である。結合工数は、設定変数数、共有参照変数の数、共有編集変数の数、及び、これらに対して適用される、値の異なる所定の係数によって算出される。

（実行経路分割候補工数見積もり表）
図２７は、結合工数を算出するために生成される実行経路分割候補工数見積もり表４７０の一例を示す図である。実行経路分割候補工数見積もり表４７０は、分割方法のＩＤである分割候補ＩＤ４７１、その分割方法による分割における設定変数数４７２、その分割方法による分割後の分割後実行経路候補間の共有参照変数の一覧４７３、分割後実行経路候補間の共有参照変数の数４７４、分割後実行経路候補間の共有編集変数の一覧４７５、分割後実行経路候補間の共有編集変数の数４７６、及び、その分割方法による結合工数４７７の各情報を有する１以上のレコードで構成される。

次に、図２４に示すように、実行経路分割部１０４は、ｓ４０５により算出した結合工数に基づき、結合工数が最小となる分割方法を特定し、その分割方法に関する分割対象実行経路候補（以下、分割対象実行経路という）の情報を分割後実行経路ＤＢ１７０に設定する（ｓ４０６）。以上で実行経路分割処理ｓ４００は終了する。

（分割後実行経路ＤＢ）
図２８は、分割後実行経路ＤＢ１７０の一例を示す図である。分割後実行経路ＤＢ１７０は、ｓ４０６で特定された分割対象実行経路の情報を実行経路分割候補ＤＢ４５０から抽出した情報であり、具体的には、分割対象実行経路から分割された各実行経路候補（以下、分割後実行経路という）のＩＤである分割後実行経路ＩＤ１７１、分割対象実行経路のＩＤである分割候補ＩＤ１７２、元実行経路ＩＤ１７３、及び、分割後実行経路における各処理の処理番号の一覧である処理番号一覧１７４の各情報を有する1以上のレコード
で構成される。

＜入力データ生成処理＞
次に、図２９は、入力データ生成処理ｓ５００の一例を説明するフロー図である。

まず、入力データ生成部１０５は、実行経路分割処理ｓ４００で分割した各実行経路（分割後実行経路）について、ソースコード２３を記号実行するためのコード（ルール抽出用コード）を生成する（ｓ５０１）。

具体的には、例えば、入力データ生成部１０５は、実行経路の各条件分岐処理の各分岐処理が実行されたか否かを管理する分岐管理命令をソースコード２３に付与した所定コードを生成する。

入力データ生成部１０５は、ｓ５０１で生成したルール抽出用コードを記号実行することで、各実行経路の条件分岐処理における条件分岐パターン（入力ルール）を全て抽出し、抽出した各入力ルールの内容を入力ルール表４９０に登録する（ｓ５０２）。

（入力ルール表）
図３０は、入力ルール表４９０の一例を示す図である。入力ルール表４９０は、入力ルールごとに割り当てられた番号である入力ルール番号４９１、実行経路の番号４９２、入力ルールの内容４９３、及び、入力ルールに係る分岐番号のリストである通過分岐番号４９４の各情報を有する1以上のレコードで構成される。

次に、図２９に示すように、入力データ生成部１０５は、ｓ５０２で抽出した各入力ルールについて、その入力ルールを満たす各変数及びその値の組み合わせを特定する（ｓ５０４）。入力データ生成部１０５は、例えば、ＳＭＴソルバーによって各変数及びその値を特定する。入力データ生成部１０５は、特定した変数及びその値を、入力データ表５１０に登録する。以上で入力データ生成処理ｓ５００は終了する。

（入力データ表）
図３１は、入力データ表５１０の一例を示す図である。入力データ表５１０は、入力データのＩＤ５１１、入力ルールの番号５１２、入力ルールを構成する変数名５１３、及びその変数の値５１４の各情報を有する１以上のレコードで構成される。

＜入力データ結合処理＞
次に、図３２は、入力データ結合処理ｓ６００の一例を説明するフロー図である。

入力データ結合部１０６は、入力データ生成処理ｓ５００で生成した分割後実行経路ＤＢ１７０及び入力ルール表４９０を参照することで、各分割後実行経路の入力ルールを特定し（ｓ６０１）、結合後入力ルール－確認変数名ＤＢ２１０に登録する。

また、入力データ結合部１０６は、各分割後実行経路に関して、ｓ６０１で特定した各入力ルールに対応する確認データの組み合わせである確認ルールをソースコード２３等から取得し（ｓ６０２）、取得した各確認ルールを結合後入力ルール－確認変数名ＤＢ２１０に登録する。

（結合後入力ルール－確認変数名ＤＢ）
図３３は、結合後入力ルール－確認変数名ＤＢ２１０の一例を示す図である。結合後入力ルール－確認変数名ＤＢ２１０は、分割後実行経路に適用される入力ルールの番号２１１、分割後実行経路のＩＤ２１２、入力ルールの内容２１３、分割後実行経路における参照変数の名称の一覧２１４、分割後実行経路における確認変数の名称の一覧２１５、及び、分割後実行経路における入力ルールに対応する確認ルールの内容２１６の各情報を有する１以上のレコードで構成される。

次に、図３２に示すように、入力データ結合部１０６は、各分割後実行経路から一つの分割後実行経路を選択する（ｓ６０３）。

入力データ結合部１０６は、選択した分割後実行経路（選択経路）の各参照変数を確認し、他の分割後実行経路と共有している参照変数があるか否かを判定する（ｓ６０４）。

他の分割後実行経路と共有している参照変数がない場合は（ｓ６０４：ＮＯ）、他の分割後実行経路を選択すべくｓ６０３の処理に戻り、他の分割後実行経路と共有している参照変数がある場合は（ｓ６０４：Ｙｅｓ）、入力データ結合部１０６は、それらの他の分
割後実行経路について、以下のｓ６０５の処理を実行する。

すなわち、入力データ結合部１０６は、選択経路の入力ルールと、上記他の各分割後実行経路の入力ルール及び確認ルールとを結合して新たな入力ルール（結合後入力ルール）を生成し（ｓ６０５）、生成した入力ルールを入力ルール候補表５３０に登録する。

具体的には、入力データ結合部１０６は、結合後入力ルール－確認変数名ＤＢ２１０の、選択経路に係る入力ルールの内容２１３と、他の分割後実行経路に係る入力ルールの内容２１３と、他の分割後実行経路に係る確認ルールの内容２１６とを「ＡＮＤ」によって結合し、結合したデータを入力ルール候補表５３０に登録する。

入力データ結合部１０６は、ｓ６０５で生成した各入力ルールの論理的整合性を判定し（ｓ６０６）、その判定結果を、入力ルール候補表５３０に登録する。以上で入力データ結合処理ｓ６００は終了する。

なお、ここでは、入力データ結合部１０６は、複数の分割後実行経路から選択した一つの分割後実行経路に関して入力データの結合を行うとしているが、入力データ結合部１０６は、分割後実行経路のそれぞれについて入力データの結合を行う（ｓ６０３～ｓ６０６のループ処理を行う）こととしてもよい。

（入力ルール候補表）
図３４は、入力ルール候補表５３０の一例を示す図である。入力ルール候補表５３０は、新たな入力ルールの番号である入力ルール候補番号５３１、分割後実行経路（選択経路）の入力ルールの番号である分割後入力ルール番号５３２、新たな入力ルールの内容５３３、及び、新たな入力ルールの論理的整合性の有無を示す情報である充足有無５３４の各情報を有する1以上のレコードで構成される。

入力データ結合部１０６は、論理的整合性がある入力ルールのみを、確認変数名選択処理ｓ７００で処理する。

＜確認変数名選択処理＞
次に、図３５は、確認変数名選択処理ｓ７００の一例を説明するフロー図である。

確認変数名選択部１０７は、入力データ結合処理ｓ６００で特定した各入力ルールと、その入力ルール内の条件分岐処理における編集変数とを対応づけ、確認変数として、確認変数表２３０に登録する（ｓ７０１）。

具体的には、確認変数名選択部１０７は、結合後入力ルール－確認変数名ＤＢ２１０及び入力ルール候補表５３０を参照することで、確認変数表２３０に登録する。

確認変数名選択部１０７は、処理－変数間依存関係ＤＢ３１０等を参照することにより、ｓ７０１で登録した各確認変数に依存する全ての検証対象処理を、検証命令として確認変数表２３０に登録する（ｓ７０２）。

（入力ルール－検証データ基準確認変数名ＤＢ）
図３６は、確認変数表２３０の一例を示す図である。確認変数表２３０は、確認変数の登録ごとに割り当てられた確認変数番号２３１、入力ルール番号２３２、入力ルールに対応する確認変数の名称２３３、及び、検証命令一覧２３４の各情報を有する１以上のレコードで構成される。

次に、図３５に示すように、確認変数名選択部１０７は、ｓ７０３で生成した確認変数表２３０のうち検証命令が重複している部分を除いた情報を、選択後確認変数表５７０に登録する（ｓ７０４）。

具体的には、確認変数名選択部１０７は、確認変数表２３０の各レコードの入力ルール番号２３２及び確認変数の名称２３３を選択後確認変数表５７０に登録しつつ、あるレコードの検証命令一覧２３４の内容が他のレコードの検証命令一覧２３４の内容と重複している場合は、それらのうち一方のレコードの入力ルール番号２３２及び確認変数の名称２３３は選択後確認変数表５７０に登録しない。

すなわち、確認変数名選択部１０７は、ある確認変数（編集変数）に対して複数の異なる入力データ（入力ルール）が対応している場合は、これらの入力ルールが重複するとして、入力データ（入力ルール）を一つに統合する。

（選択後確認変数表）
図３７は、選択後確認変数表５７０の一例を示す図である。選択後確認変数表５７０は、入力ルール番号５７１、及び確認変数の名称の一覧５７２の各情報を有する１以上のレコードで構成される。

＜確認変数値生成処理＞
図３８は、確認変数値生成処理ｓ８００の一例を説明するフロー図である。

確認変数値生成部１０８は、確認変数名選択処理ｓ７００で生成した各入力ルールに関して、入力ルールが規定する値を設定した変数（入力データ表５１０の情報）をソースコード２３に入力することにより、ソースコード２３に係るプログラムを実行する。確認変数値生成部１０８は、その実行結果における各変数の値のうち、選択後確認変数表５７０の各確認変数の値を抽出する。

確認変数値生成部１０８は、入力データ表５１０と、抽出した確認変数の値とを対応づけて、検証データ表３０を生成する。以上で確認変数値生成処理ｓ８００は終了する。

以上のように、本実施形態のプログラム検証データ生成支援装置１０は、ソースコード２３の各処理間の関係を、各処理の変数間の依存関係に基づき算出し（処理間依存関係ＤＢ１１０、分岐検証実行経路ＤＢ１３０等）、実行経路における条件分岐処理に係る入力データを上記変数間の依存関係に基づき生成し、実行経路に入力データを入力した場合に条件分岐処理により設定され又は編集される出力データ（確認データ）を生成し、入力データと確認データを対応づけた検証データ表３０を生成する。

このように、本実施形態のプログラム検証データ生成支援装置１０は、検証データ表３０を生成するために、ソースコード２３の各処理間の関係を各処理の変数の依存関係に基づいて特定することで入力データを生成し、これに基づく確認データを生成する。

したがって、例えば、ソースコード２３に条件分岐処理が多数含まれ、処理の経路が複雑化している場合であっても、処理に使用する変数間の依存関係に基づいて処理の経路の集合を論理的に効率良く特定し、検証データ表３０に生成に重要な入力データを効率良く生成することができる。

以上のように、本実施形態のプログラム検証データ生成支援装置１０によれば、プログラムの検証データを、そのプログラムの構造が複雑となっている場合でも効率良く生成することができる。

本発明は上記した実施例に限定されるものではなく、様々な変形例が含まれる。上記した実施例は本発明のより良い理解のために詳細に説明したのであり、必ずしも説明の全ての構成を備えるものに限定されものではない。

例えば、本実施形態では、ソースコード２３の言語がＣＯＢＯＬの場合を説明したが、条件分岐処理をサポートする言語であればその他の言語のプログラムに対しても本発明は適用できる。

また、本実施形態で説明したシステム構成は一例であり、プログラム検証データ生成支援装置１０及びデータサーバ２０の一部の機能を他の情報処理装置に設け、又は、プログラム検証データ生成支援装置１０及びデータサーバ２０の機能の一部を統合してもよい。

また、本実施形態では、予め用意されている複数の網羅基準から選択された一つの網羅基準によって検証データ表３０を生成することとしたが、複数の網羅基準のそれぞれによって検証データ表３０を生成してもよい。

また、本実施形態では、網羅基準到達可能実行経路選択処理ｓ３００において、検証データ導出工数を、編集命令、参照変数、編集変数、条件分岐処理等の数に基づいて算出するものとしたが、実行経路の処理に係る負荷の大きさを規定するものであれば、その他のパラメータに基づいて検証データ導出工数を算出してもよい。

また、本実施形態では、実行経路分割処理ｓ４００において、結合工数を、共有参照変数、共有編集変数、設定変数数等に基づいて算出するものとしたが、分割後実行経路間で共有される入力データの複雑性（入力データを結合する工数の多さ）を表す式であれば、その他のパラメータに基づいて結合工数を算出してもよい。

以上の本明細書の記載により、少なくとも次のことが明らかにされる。すなわち、本実施形態において、前記プログラム検証データ生成支援装置は、前記検証可能処理集合抽出処理における前記処理の集合として、前記プログラムに対する所定の網羅率を超える処理の集合を選択する網羅基準到達可能実行経路選択処理を実行する、としてもよい。

このように、網羅率が高い実行経路を選択することで、信頼性の高い検証データ表３０を生成することができる。

また、本実施形態において、前記プログラム検証データ生成支援装置は、前記網羅基準到達可能実行経路選択処理において、前記処理の集合として、前記所定の網羅率を超え、かつ、各変数に対する処理の負荷が所定の基準以下である前記処理の集合を選択する、としてもよい。

このように、各変数に対する処理の負荷が小さい実行経路を選択する（検証データ導出工数が多い実行経路を除外する）ことで、より高速に検証が可能な検証データ表３０を生成することができる。

また、本実施形態において、前記プログラム検証データ生成支援装置は、前記確認変数名選択処理において、複数の前記入力データのうち、前記確認変数と前記確認変数に係る処理とが互いに共通している入力データの組み合わせを特定し、特定した入力データの組み合わせのうち一つの入力データのみについての前記確認変数を選択し、前記確認変数値生成処理において、前記選択した確認変数に基づき、前記検証データを生成する、としてもよい。

このように、異なる入力データであっても共通して編集される確認変数がある場合は、それらのうち一つの入力データに対応する確認変数のみについて検証データ表３０を生成することで、確認変数のデータを減らし、検証データ表３０をより小さいサイズでかつ高速に生成することができる。

また、本実施形態において、前記プログラム検証データ生成支援装置は、前記検証可能処理集合抽出処理において、前記変数間の依存関係に基づき、前記条件分岐処理の分岐条件に係る変数の値に依存している処理群を前記条件分岐処理の分岐先のそれぞれについて特定し、特定した処理群のそれぞれを、前記処理の集合として特定し、前記入力データ生成処理において、前記特定した処理の集合のそれぞれについて、前記条件分岐処理の条件判断に使用される入力データを生成する、としてもよい。

このように、条件分岐処理の条件判断に使用されている変数の値に関して互いに独立している各分岐先処理群ごとに、すなわち、入力データ（入力ルール）に関して独立に検証可能な各実行経路ごとに、入力データを生成することで、条件分岐処理に基づく各分岐先の処理数が多くなる場合であっても、それらの分岐先の処理を、互いに独立したより簡潔な実行経路に分割し構成することができる。

また、本実施形態において、前記プログラム検証データ生成支援装置は、前記検証可能処理集合抽出処理において抽出した前記処理の集合のうち、所定の処理数を超える処理の集合を特定し、前記特定した処理の集合を複数の処理に分割した場合に各処理で使用される変数の、前記各処理の間での共有使用関係を特定し、前記特定した共有使用関係が所定の要件を満たす場合に、前記特定した処理の集合を分割する実行経路分割処理を実行し、前記入力データ生成処理において、前記分割した処理の集合のそれぞれに対して、前記入力データを生成する、としてもよい。

このように、処理数が多い実行経路を複数に分割した場合の各実行経路で使用される変数と、その実行経路内の処理との間の依存関係が所定の要件を満たす場合に実際に分割を行い、分割したそれぞれの実行経路に対して入力データを生成することで、実行経路の変数処理の内容に応じて、分割効果が高い（例えば、検証データ表３０によるソースコード２３の検証が迅速に行えるような）実行経路の分割を確実に行うことができる。

また、本実施形態において、前記プログラム検証データ生成支援装置は、前記実行経路分割処理において、前記依存関係として、前記特定した処理の集合を異なる複数の分割方法で複数の処理に分割した場合の、各前記処理で共有して使用される変数の数をそれぞれの分割方法について特定し、前記特定した数に関するパラメータ値が最小となる分割方法を特定し、特定した分割方法により、前記特定した処理の集合を分割する、としてもよい。

このように、実行経路を異なる複数の分割方法で分割した場合の、分割後の各処理での共有変数の数をそれぞれ特定し、共有変数の数に関するパラメータ値が最小となる分割方法を用いて実行経路を分割することで、より処理負荷が少ない分割方法による実行経路の分割を行うことができる。これにより、ソースコード２３の検証が迅速に行えるような検証データ表３０を生成することができる。

１ プログラム検証データ生成支援システム、１０ プログラム検証データ生成支援装置、３０ 検証データ表、２３ ソースコード

Claims (6)

1. プロセッサ及びメモリを備え、
   プログラムの各処理間の関係を、各処理で使用されている変数間の依存関係に基づき算出する処理間依存関係算出処理と、
   前記プログラムの各処理のうち条件分岐処理を含む処理の集合を抽出する検証可能処理集合抽出処理と、
   前記抽出した処理の集合のうち、前記プログラムに対する所定の網羅率を超え、かつ、各変数に対する処理の負荷が所定の基準以下である処理の集合を選択する網羅基準到達可能実行経路選択処理と、
   前記選択した処理の集合における条件分岐処理の条件判断に使用される変数のデータの組み合わせである入力データを、前記変数間の依存関係に基づき生成する入力データ生成処理と、
   前記抽出した条件分岐処理に前記入力データを入力した場合に当該条件分岐処理の実行により設定され又は編集される変数である確認変数を選択する確認変数名選択処理と、
   前記生成した入力データと、前記選択した確認変数の、前記プログラムの実行に基づく算出値である出力データとを対応づけたデータである検証データを生成する確認変数値生成処理と、
   を実行する、プログラム検証データ生成支援装置。
2. 前記確認変数名選択処理において、複数の前記入力データのうち、前記確認変数と前記確認変数に係る処理とが互いに共通している入力データの組み合わせを特定し、特定した入力データの組み合わせのうち一つの入力データのみについての前記確認変数を選択し、
   前記確認変数値生成処理において、前記選択した確認変数に基づき、前記検証データを生成する、
   請求項１に記載のプログラム検証データ生成支援装置。
3. 前記検証可能処理集合抽出処理において、前記変数間の依存関係に基づき、前記条件分岐処理の分岐条件に係る変数の値に依存している処理群を前記条件分岐処理の分岐先のそれぞれについて特定し、特定した処理群のそれぞれを、前記処理の集合として特定し、
   前記入力データ生成処理において、前記特定した処理の集合のそれぞれについて、前記条件分岐処理の条件判断に使用される入力データを生成する、
   請求項１に記載のプログラム検証データ生成支援装置。
4. 前記網羅基準到達可能実行経路選択処理において選択した前記処理の集合のうち、所定の処理数を超える処理の集合を特定し、
   前記特定した処理の集合を複数の処理に分割した場合に各処理で使用される変数の、前記各処理の間での共有使用関係を特定し、
   前記特定した共有使用関係が所定の要件を満たす場合に、前記特定した処理の集合を分割する実行経路分割処理を実行し、
   前記入力データ生成処理において、前記分割した処理の集合のそれぞれに対して、前記入力データを生成する、
   請求項１に記載のプログラム検証データ生成支援装置。
5. 前記実行経路分割処理において、
   前記依存関係として、前記特定した処理の集合を異なる複数の分割方法で複数の処理に分割した場合の、各前記処理で共有して使用される変数の数をそれぞれの分割方法について特定し、
   前記特定した数に関するパラメータ値が最小となる分割方法を特定し、特定した分割方法により、前記特定した処理の集合を分割する、
   請求項４に記載のプログラム検証データ生成支援装置。
6. プロセッサ及びメモリを備える情報処理装置が、
   プログラムの各処理間の関係を、各処理で使用されている変数間の依存関係に基づき算出する処理間依存関係算出処理と、
   前記プログラムの各処理のうち条件分岐処理を含む処理の集合を抽出する検証可能処理集合抽出処理と、
   前記抽出した処理の集合のうち、前記プログラムに対する所定の網羅率を超え、かつ、各変数に対する処理の負荷が所定の基準以下である処理の集合を選択する網羅基準到達可能実行経路選択処理と、
   前記選択した処理の集合における条件分岐処理の条件判断に使用される変数のデータの組み合わせである入力データを、前記変数間の依存関係に基づき生成する入力データ生成処理と、
   前記抽出した条件分岐処理に前記入力データを入力した場合に当該条件分岐処理の実行により設定され又は編集される変数である確認変数を選択する確認変数名選択処理と、
   前記生成した入力データと、前記選択した確認変数の、前記プログラムの実行に基づく算出値である出力データとを対応づけたデータである検証データを生成する確認変数値生成処理と、
   を実行する、プログラム検証データ生成支援方法。

Images