ソースコードから処理の流れをグラフ形式で表示した制御フローグラフを生成する制御フローグラフ生成部を具備する解析部と、前記制御フローグラフ、及びソフトウェア構造にかかる第1カバレッジ基準に基づき、前記ソースコード内の実行パスを含む制御パスセットを生成する制御パスセット生成部と、を備え、前記制御パスセットは、前記第1カバレッジ基準を満たす前記実行パスから構成される、テスト支援システム。前記制御パスセットは、前記第1カバレッジ基準を満たす最小数の前記実行パスから構成されることを特徴とする請求項1に記載のテスト支援システム。前記制御パスセット生成部は、前記制御パスセットの候補が複数ある場合に、複数の前記制御パスセットを生成することを特徴とする請求項2に記載のテスト支援システム。前記第1カバレッジ基準は、実行命令数を前記ソースコードに含まれる全ての命令数で除算して求める命令網羅率に関する基準であり、前記制御パスセット生成部は、前記ソースコードに含まれる全ての前記実行パスを抽出するとともに、前記ソースコードに含まれる全ての命令数をカウントし、前記命令網羅率を満たすまでの間、前記命令網羅率が相対的に高くなる順序で前記制御パスセットに含める前記実行パスを選択することを特徴とする請求項1乃至請求項3のいずれかに記載のテスト支援システム。前記第1カバレッジ基準は、実行分岐数を前記ソースコードに含まれる全ての分岐数で除算して求める分岐網羅率に関する基準であり、前記制御パスセット生成部は、前記ソースコードに含まれる全ての前記実行パスを抽出するとともに、前記ソースコードに含まれる全ての分岐数をカウントし、前記分岐網羅率を満たすまでの間、前記分岐網羅率が相対的に高くなる順序で前記制御パスセットに含める前記実行パスを選択することを特徴とする請求項1乃至請求項3のいずれかに記載のテスト支援システム。前記制御パスセット生成部は、前記第1カバレッジ基準及びソフトウェア構造にかかる第2カバレッジ基準に基づき、前記制御パスセットを生成し、前記制御パスセットは、前記第1カバレッジ基準及び前記第2カバレッジ基準の双方を満たす前記実行パスから構成されることを特徴とする請求項1乃至請求項5のいずれかに記載のテスト支援システム。前記解析部は、前記ソースコードに含まれる分岐処理から真理値表を生成する真理値表生成部を備え、前記テスト支援システムは、前記制御パスセットに関する情報を前記ソースコード、前記制御フローグラフ、前記真理値表の少なくとも1つに反映した表示画面を生成するテストケース作成方法指示部、を更に備えることを特徴とする請求項1乃至請求項6のいずれかに記載のテスト支援システム。前記テストケース作成方法指示部は、前記制御フローグラフに前記制御パスセットに含まれる全ての前記実行パスを重畳的に記載して、前記表示画面を生成することを特徴とする請求項7に記載のテスト支援システム。ソースコードから処理の流れをグラフ形式で表示した制御フローグラフを生成し、前記制御フローグラフに基づき、ソフトウェア構造にかかる第1カバレッジ基準を満たす前記ソースコード内の実行パスを含む制御パスセットを生成する、テスト支援方法。コンピュータに、ソースコードから処理の流れをグラフ形式で表示した制御フローグラフを生成する処理と、前記制御フローグラフに基づき、ソフトウェア構造にかかる第1カバレッジ基準を満たす前記ソースコード内の実行パスを含む制御パスセットを生成する処理と、を実行させるためのプログラム。一般にソフトウェア構造カバレッジ分析において、作成したテストがソフトウェア構造をどれだけ網羅しているかを確認することは手間のかかる作業である。また、分析結果に応じてテストを修正する作業にも手間がかかる。特にソフトウェア構造カバレッジ分析における基準として変更条件判定カバレッジMCDC、ModifiedConditionDecisionCoverageを採用した場合、判定内の複数の条件のうちのひとつの条件だけが変更された場合に判定結果が反転するような条件の組み合わせを求めることは、困難である。すなわち、変更条件判定カバレッジを採用した場合、作成したテストがソフトウェア構造をどれだけ網羅しているかを確認することは非常に困難である。さらに、変更条件判定カバレッジMCDCを満たすように、テストのテストケースを修正、追加、削除等を行って調節することは非常に困難である。上述の方法では、テストが変更条件判定カバレッジにおける網羅率を求めることはできる。しかし上述の方法では、網羅率が低かった場合にどのようなテストケースが不足しているか、どのテストケースをどのように変更すればよいか、最小限のテストケース数にするにはどのように変更すればよいか、を認識できないためである。非特許文献1には、テストが変更条件判定カバレッジを満たしているか否かを判定する方法が記載されている。しかし、テストが変更条件判定カバレッジを満たしていない場合のテストの修正方法についての教示、示唆が無い。すなわち、リファレンスプログラムを持たない環境下において、ソフトウェア構造カバレッジ分析を満たすテストを生成する工数が非常に大きいという問題があった。本発明は、上記の事情を鑑みてなされたものであり、ソフトウェア構造カバレッジ分析の要件を満たすテストを容易に生成することができるテスト支援システム、テスト支援方法、及びプログラムを提供することを主たる目的とする。本発明にかかるテスト支援システムの一態様は、ソースコードから処理の流れをグラフ形式で表示した制御フローグラフを生成する制御フローグラフ生成部を具備する解析部と、前記制御フローグラフ、及びソフトウェア構造にかかる第1カバレッジ基準に基づき、前記ソースコード内の実行パスを含む制御パスセットを生成する制御パスセット生成部と、を備え、前記制御パスセットは、前記第1カバレッジ基準を満たす前記実行パスから構成される、ものである。本発明にかかるテスト支援方法の一態様は、ソースコードから処理の流れをグラフ形式で表示した制御フローグラフを生成し、前記制御フローグラフに基づき、ソフトウェア構造にかかる第1カバレッジ基準を満たす前記ソースコード内の実行パスを含む制御パスセットを生成する、ものである。本発明にかかるプログラムの一態様は、コンピュータに、ソースコードから処理の流れをグラフ形式で表示した制御フローグラフを生成する処理と、前記制御フローグラフに基づき、ソフトウェア構造にかかる第1カバレッジ基準を満たす前記ソースコード内の実行パスを含む制御パスセットを生成する処理と、を実行させるためのものである。本発明によれば、ソフトウェア構造カバレッジ分析の要件を満たすテストを容易に生成することができるテスト支援システム、テスト支援方法、及びプログラムを提供することができる。<実施の形態1>以下、図面を参照して本発明の実施の形態について説明する。図1は、本実施の形態にかかるテスト支援装置の構成を示すブロック図である。テスト支援システム1は、ソースコード情報入力部11と、制御フローグラフ生成部12と、真理値表生成部13と、カバレッジ基準入力部14と、制御パスセット生成部15と、テストケース作成方法指示部16と、を備える。テスト支援システム1は、一般に、汎用的なコンピュータ上でプログラム制御により動作する。なお、テスト支援システム1に含まれる各処理部は、ネットワーク等により接続された複数のコンピュータ上に分散されて配置されても良い。テスト設計者は、テストの対象となるソースコードをシステムに指定する。ソースコード情報入力部11は、テスト設計者から指定されたソースコードをファイルシステム等から読み込む。図2は、ソースコード情報入力部11が読み込むソースコードの一例を示す図である。以下、図2に示すソースコードを用いて適宜説明する。ソースコード情報入力部11は、読み込んだソースコードを制御フローグラフ生成部12及びテストケース作成方法指示部16に供給する。制御フローグラフ生成部12は、供給されたソースコードから制御フローグラフを生成する処理部である。図3は、制御フローグラフ生成部12が図2に示すソースコードから生成した制御フローグラフを示す図である。図示するように、当該ソースコードは、2つの分岐と、7つの処理命令と、から構成される。なお、図3では、分岐をwxのように複数の条件文から構成されるように記載したが必ずしもこれに限られず、図4に示すように条件文毎に処理が分岐するように記載をしても良い。制御フローグラフ生成部12は、生成した制御フローグラフを真理値表生成部13、制御パスセット生成部15、及びテストケース作成方法指示部16に供給する。真理値表生成部13は、供給された制御フローグラフから各分岐の真理値表を生成する処理部である。真理値表生成部13は、制御フローグラフに含まれる分岐文を抽出し、抽出した分岐文に含まれる条件文を抽出し、抽出した情報から真理値表を生成する。図5は、真理値表生成部13が生成した図2に示すソースコードに関する真理値表を示す図である。図示するように、真理値表には、各条件の真1または偽0の条件、及び各分岐文の真1または偽0が記載される。真理値表生成部13は、生成した真理値表を制御パスセット生成部15及びテストケース作成方法指示部16に供給する。カバレッジ基準入力部14は、ユーザから指定されるソフトウェア構造カバレッジのカバレッジ基準が入力される処理部である。カバレッジ基準入力部14は、入力されたカバレッジ基準を制御パスセット生成部15に供給する。ここで、カバレッジ基準とは、ソフトウェア構造をどのような観点から定義するかに応じて自由に定めれば良い。例えば、ソースコード行のみをソフトウェアの構造と捉えた場合、全ソースコード行に対する実行行数の割合をカバレッジ基準として指定しても良い。また、分岐命令を除くステップの実行割合や、全分岐数に対する実行分岐数をカバレッジ基準として指定しても良い。カバレッジ基準の一例として、全命令ステップ分岐処理を除くステップの100を実行すること命令網羅、条件分岐の100を実行すること分岐網羅等が挙げられる。制御パスセット生成部15は、供給された制御フローグラフ、真理値表、及びカバレッジ基準から制御パスセットを生成する処理部である。制御パスセットとは、カバレッジ基準を満たし得る制御パスの集合である。制御パス実行パスとも記載するとは、プログラムの実行経路を示す。制御パスセット生成部15は、制御フローグラフから全ての制御パスを抽出する。図3の制御フローグラフは、以下の4つの制御パスを含んでいる。パス1:1wx==123yz==1467パス2:1wx==123yz==0567パス3:1wx==03yz==1467パス4:1wx==03yz==0567ここで、上記パスの表記において、1~7の表記は、処理名を表す。以下、カバレッジ基準として全命令ステップ分岐処理を除くステップの100を実行することが指定された場合の制御パスセット生成部15の動作について説明する。制御パスセット生成部15は、前述のように、制御フローグラフから全ての制御パスを抽出する。制御パスセット生成部15は、制御フローグラフ図3から全命令ステップをカウントし、全命令が7命令から構成されていると判定する。制御パスセット生成部15は、例えば以下のパス1を選択すると6つの命令を実行できると判定する。パスの選択は、例えばより命令網羅の対象となっていない命令を多く実行するパスを優先して選択すればよい。パス1:1wx==123yz==1467制御パスセット生成部15は、上記のパス1の実行により約866/7の命令が実行されると判定する。制御パスセット生成部15は、上記のパス1のみではカバレッジ基準を満たさないと判定し、以下のパス2を選択する。この際、例えば制御パスセット生成部15は、パス1に含まれない処理5を含むパスを選択する。このように、命令網羅の対象となっていない命令がより多く含まれるパス他のパスの選択時と比べて相対的に網羅率が高くなるパスを優先して選択する。パス2:1wx==123yz==0567制御パスセット生成部15は、上記のパス1及びパス2の実行により1007/7の命令が実行されると判定する。制御パスセット生成部15は、パス1及びパス2の実行によりカバレッジ基準を満たすと判定し、制御パスセットを上述パス1、パス2から構成する。なお、制御パスセット生成部15は、最小数の制御パスからなる制御パスセットの候補を複数算出しても良い。例えば、制御パスセット生成部15は、制御パスセットをパス1、パス2またはパス1、パス4のいずれかとしてもよい。制御パスセット生成部15は、制御パスセットをテストケース作成方法指示部16に供給する。テストケース作成方法指示部16には、ソースコード、制御フローグラフ、真理値表、及び制御パスセットが供給される。テストケース作成方法指示部16は、ソースコード、制御フローグラフ、真理値表の少なくとも1つに対して、制御パスセットの情報を重畳した表示画面を生成する。はじめに、制御フローグラフに対して制御パスセットの情報を重畳した表示画面について説明する。テストケース作成方法指示部16は、入力された制御パスセットの各制御パスを制御フローグラム上に重畳した表示画面を表示部等に出力する。図6は、図3に示す制御フローグラフに制御パスセットパス1、パス2を重畳した表示画面を示す図である。図示するように、制御フローグラフ上に各制御パスが認識できるように重畳されている。続いて、真理値表に対して制御パスセットの情報を重畳した表示画面について説明する。図7は、図5に示す真理値表に対して制御パスセットパス1、パス2の情報を反映した表示画面を示す図である。テストケース作成方法指示部16は、入力された制御パスセットの各制御パスから、テスト時に実行されるべき判定処理を算出する。上述の例では、パス1及びパス2が実行される。パス1には、wx==1及びyz==1が含まれる。パス2には、wx==1及びyz==0が含まれる。テストケース作成方法指示部16は、この判定処理上述の例では、wx==1、yz==1、yz==0を全て抽出する。そして、テストケース作成方法指示部16は、真理値表から、抽出した判定文に対応する項目行を識別できるように印をつける。図7では、wx==1の判定文から、テストケース作成方法指示部16は、行番号1を必ず実行されるべき判定処理とする印○をつける。同様に、yz==1の判定文から、テストケース作成方法指示部16は、行番号5を必ず実行されるべき判定処理とする印○をつける。図7では、wx==0の判定文から、テストケース作成方法指示部16は、行番号2~4のいずれかが実行されるべき判定処理とする印△1をつける。次に、ソースコードに対して制御パスセットの情報を重畳した表示画面を説明する。テストケース作成方法指示部16は、入力された制御パスセットの各制御パスと、ソースコードと、を関連付けて重畳表示する。図8は、ソースコードに制御パスパス1、パス2を重畳した表示画面を示す図である。図示するように、パス1及びパス2がソースコードと関連付けられて表示される。さらに、他のカバレッジ基準を用いて、テスト支援システム1の動作について説明する。以下では、カバレッジ基準として、分岐の全てが実行されたこと分岐網羅が与えられた場合について説明する。テスト対象となるソースコードは、図2に示すものである。また、ソースコード情報入力部11、制御フローグラフ生成部12、真理値表生成部13、及びカバレッジ基準入力部14の動作は、前述の説明のとおりである。制御パスセット生成部15は、制御フローグラフ図3から全ての判定処理wx及びyzを抽出する。制御パスセット生成部15は、例えば、一番多くの判定処理を実行する以下のパス1を選択する。パス1:1wx==123yz==1467制御パスセット生成部15は、続いてパス1と判定処理の出力が異なるパス4を抽出する。パス4:1wx==03yz==0567制御パスセット生成部15は、全ての分岐処理の真偽1、0が実行されているか否かを判定する。そして上述の例では、制御パスセット生成部15は、パス1及びパス4の実行により分岐の全てが実行されたと判定する。そして、制御パスセット生成部15は、制御パスセットをパス1及びパス4から構成する。このように、制御パスセット生成部15は、分岐網羅率が相対的に高くなる順序で制御パスを選択していく。テストケース作成方法指示部16は、ソースコード、制御フローグラフ、真理値表の少なくとも1つに対して、制御パスセットパス1、パス4の情報を重畳した表示画面を生成する。図9は、図3に示す制御フローグラフに制御パスセットパス1、パス4を重畳した表示画面を示す図である。図10は、図5に示す真理値表に対して制御パスセットパス1、パス4の情報を反映した表示画面を示す図である。図11は、ソースコードに制御パスパス1、パス4を重畳した表示画面を示す図である。続いて、本実施の形態にかかるテスト支援システム1を使用したソフトウェアテスト作成業務の概要について説明する。図12は、ソフトウェアテスト作成業務の概要を示すフローチャートである。はじめに、プログラマ等がテストの実行対象となるソースコードを作成するS11。続いて、テスト設計者が、上述のテスト支援システム1を用いた処理を実行するS12。この処理の詳細を図13を参照して説明する。はじめに、テスト設計者は、ソースコードをソースコード情報入力部11に対して入力するS21。さらに、テスト設計者は、カバレッジ基準をカバレッジ基準入力部14に対して入力するS22。制御フローグラフ生成部12は、入力されたソースコードから制御フローグラフを生成するS23。真理値表生成部13は、生成された制御フローグラフから真理値表を生成するS24。制御パスセット生成部15は、制御フローグラフ、真理値表、及びカバレッジ基準から制御パスセットを生成するS25。テストケース作成方法指示部16は、ソースコード、制御フローグラフ、真理値表の少なくとも1つに対して、制御パスセットの情報を重畳した表示画面を生成するS26。図12の説明に戻る。テスト設計者は、テストケース作成方法指示部16により生成された表示画面を参照することにより、ソフトウェア構造分析を満たすテストを作成するために必要な制御パスを把握することができる。テスト設計者は、ソフトウェア構造分析の要件を満たすテストを作成するS13。テスト設計者は、ソフトウェア要件カバレッジ分析を行うS14。ソフトウェア要件カバレッジ分析の結果、テスト設計者はソフトウェア要件カバレッジの要件を満たすか否かを判定するS15。要件を満たさない場合S15:No、テスト設計者は、不足するテスト項目を追加するS16。要件を満たす場合S15:Yes、テスト設計者は、テスト項目の作成を終了するS17。続いて、本実施の形態にかかるテスト支援システムの効果について説明する。はじめに、比較対象として一般的なテスト作成手順の問題点について詳述する。図15に示される一般的なテスト作成手順では、ソフトウェア構造カバレッジ分析を実行する必要があった。そのため、作成したテストセットが所定のソフトウェア構造のカバレッジ基準を満たすか否かの判定は、テストセットのテストケースを全て実行し、カバレッジ測定を実行するまで把握できなかった。また、カバレッジ測定によりソフトウェア構造カバレッジの網羅率を測定することはできたが、カバレッジ網羅率が十分ではない場合にどのようなテストを追加すればよいかを把握することができなかった。さらに、テストセットのテストケースが冗長である場合必要以上にテストケースが含まれている場合を検出することが困難であった。一方、上述のテスト支援システムは、ソフトウェア構造カバレッジに関するカバレッジ基準と、ソースコードの解析結果である制御フローグラフ等と、から制御パスセットを生成する。制御パスセットは、カバレッジ基準を満たし得るプログラムの実行経路を示す制御パス実行パスとも記載するの集合から構成される。そのため、テスト設計者は、制御パスセットを参照して効率的に必要最小限のテストセットを生成することができる。さらに、制御パスセット生成部15は、上述のようにカバレッジ基準を満たし、かつ最小数の制御パスから制御パスセットを構成する。これにより、テスト設計者は、冗長なテストセットを作成することがなくなる。さらに、制御パスセット生成部15は、複数の制御パスセットの候補がある場合には、複数の制御パスセットを生成してもよい。これにより、テスト設計者は、複数の制御パスセットの中から一番テスト作成に利用しやすい制御パスセットを選択してテスト作成をすることができる。テストケース作成方法指示部16は、制御パスセットの情報を制御フローグラフ等に反映した表示画面を生成する。テスト設計者は、この表示画面を参照することにより、必要となるテストケースが実行する各処理を容易に認識することが可能になる。なお、本発明の本質部分を図14を参照して改めて説明する。テスト支援システム1は、解析部20と、制御パスセット生成部15と、を備える。解析部20は、制御パスセットの生成に必要となるソースコードの情報を解析する処理部であり、図1では制御フローグラフ生成部12、真理値表生成部13に対応する。制御パスセット生成部15は、カバレッジ基準と、解析部20による解析結果例えば制御フローグラフ等から、制御パスセットを抽出する。制御パスセットは、カバレッジ基準を満たし得るプログラムの実行経路を示す制御パスの集合から構成される。そのため、テスト設計者は、制御パスセットを参照して効率的に必要最小限のテストセットを生成することができる。なお、本発明は上記実施の形態に限られたものではなく、趣旨を逸脱しない範囲で適宜変更することが可能である。上記の構成において、複数のカバレッジ基準を入力としても良い。以下、図2、図3を参照して説明する。例えば、全命令ステップ分岐処理を除くステップの100を実行すること、条件分岐の100を実行することという2つのカバレッジ基準を満たすことが指定されても良い。制御パスセット生成部15は、全命令ステップ分岐処理を除くステップの100を実行することに対応する制御パスセットとしてパス1、パス2またはパス1、パス4を選択する。制御パスセット生成部15は、条件分岐の100を実行することに対応する制御パスセットとしてパス1、パス4を選択する。制御パスセット生成部15は、両条件を満たす制御パスセットとしてパス1、パス4を最終的に選択する。他の処理部の処理は、上述と同様である。上述のソースコード情報入力部11、制御フローグラフ生成部12、真理値表生成部13、カバレッジ基準入力部14、制御パスセット生成部15、及びテストケース作成方法指示部16の各処理は、任意のコンピュータ内で動作するプログラムとして実現することが可能である。プログラムは、様々なタイプの非一時的なコンピュータ可読媒体nontransitorycomputerreadablemediumを用いて格納され、コンピュータに供給することができる。非一時的なコンピュータ可読媒体は、様々なタイプの実体のある記録媒体tangiblestoragemediumを含む。非一時的なコンピュータ可読媒体の例は、磁気記録媒体例えばフレキシブルディスク、磁気テープ、ハードディスクドライブ、光磁気記録媒体例えば光磁気ディスク、CD-ROMReadOnlyMemory、CD-R、CD-R/W、半導体メモリ例えば、マスクROM、PROMProgrammableROM、EPROMErasablePROM、フラッシュROM、RAMrandomaccessmemoryを含む。また、プログラムは、様々なタイプの一時的なコンピュータ可読媒体transitorycomputerreadablemediumによってコンピュータに供給されてもよい。一時的なコンピュータ可読媒体の例は、電気信号、光信号、及び電磁波を含む。一時的なコンピュータ可読媒体は、電線及び光ファイバ等の有線通信路、又は無線通信路を介して、プログラムをコンピュータに供給できる。上記実施形態の一部又は全部は、以下の付記のようにも記載されうるが、以下には限られない。付記1ソースコードから処理の流れをグラフ形式で表示した制御フローグラフを生成する制御フローグラフ生成部を具備する解析部と、前記制御フローグラフ、及びソフトウェア構造にかかる第1カバレッジ基準に基づき、前記ソースコード内の実行パスを含む制御パスセットを生成する制御パスセット生成部と、を備え、前記制御パスセットは、前記第1カバレッジ基準を満たす前記実行パスから構成される、テスト支援システム。付記2前記制御パスセットは、前記第1カバレッジ基準を満たす最小数の前記実行パスから構成されることを特徴とする付記1に記載のテスト支援システム。付記3前記制御パスセット生成部は、前記制御パスセットの候補が複数ある場合に、複数の前記制御パスセットを生成することを特徴とする付記2に記載のテスト支援システム。付記4前記第1カバレッジ基準は、実行命令数を前記ソースコードに含まれる全ての命令数で除算して求める命令網羅率に関する基準であり、前記制御パスセット生成部は、前記ソースコードに含まれる全ての前記実行パスを抽出するとともに、前記ソースコードに含まれる全ての命令数をカウントし、前記命令網羅率を満たすまでの間、前記命令網羅率が相対的に高くなる順序で前記制御パスセットに含める前記実行パスを選択することを特徴とする付記1乃至付記3のいずれかに記載のテスト支援システム。付記5前記第1カバレッジ基準は、実行分岐数を前記ソースコードに含まれる全ての分岐数で除算して求める分岐網羅率に関する基準であり、前記制御パスセット生成部は、前記ソースコードに含まれる全ての前記実行パスを抽出するとともに、前記ソースコードに含まれる全ての分岐数をカウントし、前記分岐網羅率を満たすまでの間、前記分岐網羅率が相対的に高くなる順序で前記制御パスセットに含める前記実行パスを選択することを特徴とする付記1乃至付記3のいずれかに記載のテスト支援システム。付記6前記制御パスセット生成部は、前記第1カバレッジ基準及びソフトウェア構造にかかる第2カバレッジ基準に基づき、前記制御パスセットを生成し、前記制御パスセットは、前記第1カバレッジ基準及び前記第2カバレッジ基準の双方を満たす前記実行パスから構成されることを特徴とする付記1乃至付記5のいずれかに記載のテスト支援システム。付記7前記解析部は、前記ソースコードに含まれる分岐処理から真理値表を生成する真理値表生成部を備え、前記テスト支援システムは、前記制御パスセットに関する情報を前記ソースコード、前記制御フローグラフ、前記真理値表の少なくとも1つに反映した表示画面を生成するテストケース作成方法指示部、を更に備えることを特徴とする付記1乃至付記6のいずれかに記載のテスト支援システム。付記8前記テストケース作成方法指示部は、前記制御フローグラフに前記制御パスセットに含まれる全ての前記実行パスを重畳的に記載して、前記表示画面を生成することを特徴とする付記7に記載のテスト支援システム。付記9ソースコードから処理の流れをグラフ形式で表示した制御フローグラフを生成し、前記制御フローグラフに基づき、ソフトウェア構造にかかる第1カバレッジ基準を満たす前記ソースコード内の実行パスを含む制御パスセットを生成する、テスト支援方法。付記10前記制御パスセットは、前記第1カバレッジ基準を満たす最小数の前記実行パスから構成されることを特徴とする付記9に記載のテスト支援方法。付記11前記制御パスセットの候補が複数ある場合に、複数の前記制御パスセットを生成することを特徴とする付記10に記載のテスト支援方法。付記12前記第1カバレッジ基準は、実行命令数を前記ソースコードに含まれる全ての命令数で除算して求める命令網羅率に関する基準であり、前記ソースコードに含まれる全ての前記実行パスを抽出するとともに、前記ソースコードに含まれる全ての命令数をカウントし、前記命令網羅率を満たすまでの間、前記命令網羅率が相対的に高くなる順序で前記制御パスセットに含める前記実行パスを選択することを特徴とする付記9乃至付記11のいずれかに記載のテスト支援方法。付記13前記第1カバレッジ基準は、実行分岐数を前記ソースコードに含まれる全ての分岐数で除算して求める分岐網羅率に関する基準であり、前記ソースコードに含まれる全ての前記実行パスを抽出するとともに、前記ソースコードに含まれる全ての分岐数をカウントし、前記分岐網羅率を満たすまでの間、前記分岐網羅率が相対的に高くなる順序で前記制御パスセットに含める前記実行パスを選択することを特徴とする付記9乃至付記11のいずれかに記載のテスト支援方法。付記14前記第1カバレッジ基準及びソフトウェア構造にかかる第2カバレッジ基準に基づき、前記制御パスセットを生成し、前記制御パスセットは、前記第1カバレッジ基準及び前記第2カバレッジ基準の双方を満たす前記実行パスから構成されることを特徴とする付記9乃至付記13のいずれかに記載のテスト支援方法。付記15前記ソースコードに含まれる分岐処理から真理値表を生成し、前記制御パスセットに関する情報を前記ソースコード、前記制御フローグラフ、前記真理値表の少なくとも1つに反映した表示画面を生成する付記9乃至付記14のいずれかに記載のテスト支援方法。付記16コンピュータに、ソースコードから処理の流れをグラフ形式で表示した制御フローグラフを生成する処理と、前記制御フローグラフに基づき、ソフトウェア構造にかかる第1カバレッジ基準を満たす前記ソースコード内の実行パスを含む制御パスセットを生成する処理と、を実行させるためのプログラム。