複数のパラメータと、そのパラメータに入れられる1つ以上の変数値をもち、該パラメータに入れられる変数値の組み合わせに応じて、異なる性能指標を示すシステムのテストケースを、コンピュータの処理により生成する方法であって、テスト済のテストケースを含むテストケースの集合を、前記コンピュータが読み出し可能に、記憶手段に保持するステップと、下記のステップ乃至を含むループを、前記パラメータと前記変数値の組み合わせが全てのパラメータに対して揃うまで実行するステップと、前記パラメータと前記変数値の組み合わせを、変数値が格納されたパラメータを次第に増やすように生成するステップ前記発生された範囲の前記パラメータと前記変数値の組み合わせに部分的に一致するパラメータと変数値の組み合わせをもつテストケースを前記テスト済のテストケースを含むテストケースの集合において見出して集合変数に格納するステップ前記集合変数が空集合になったことに応答して、ループの一回前の前記の集合変数に含まれるテストケースを候補集合に追加するステップ、前記パラメータと前記変数値の組み合わせが全てのパラメータに対して揃ったことに応答して、該揃った前記パラメータと前記変数値の組み合わせにより生成したテストケースを前記候補集合に追加するステップと、前記パラメータと前記変数値の異なる複数の組み合わせに対して前記候補集合に前記テストケースが蓄積された段階で、前記システムの性能指標値であるスコアの高さに従い、前記候補集合から前記テストケースを選んで出力するステップであって、前記テスト済のテストケースを含むテストケースの集合に属する前記テストケースの前記スコアは割り増しして計算される、ステップとを有する、テストケース生成方法。前記パラメータと前記変数値の異なる複数の組み合わせは、ペアワイズ法で生成される、請求項1に記載の方法。前記テストケースの前記スコアは、前記テストケースに基づき生成されるペアのうち、まだ今まで出現していないペアの数によって決定される、請求項2に記載の方法。前記スコアの割り増しは、前記スコアに、1以上の数を掛けることよって行われる、請求項1に記載の方法。複数のパラメータと、そのパラメータに入れられる1つ以上の変数値をもち、該パラメータに入れられる変数値の組み合わせに応じて、異なる性能指標を示すシステムのテストケースを、コンピュータの処理により生成するプログラムであって、前記コンピュータに、テスト済のテストケースを含むテストケースの集合を、前記コンピュータが読み出し可能に、記憶手段に保持するステップと、下記のステップ乃至を含むループを、前記パラメータと前記変数値の組み合わせが全てのパラメータに対して揃うまで実行するステップと、前記パラメータと前記変数値の組み合わせを、変数値が格納されたパラメータを次第に増やすように生成するステップ前記発生された範囲の前記パラメータと前記変数値の組み合わせに部分的に一致するパラメータと変数値の組み合わせをもつテストケースを前記テスト済のテストケースを含むテストケースの集合において見出して集合変数に格納するステップ前記集合変数が空集合になったことに応答して、ループの一回前の前記の集合変数に含まれるテストケースを候補集合に追加するステップ、前記パラメータと前記変数値の組み合わせが全てのパラメータに対して揃ったことに応答して、該揃った前記パラメータと前記変数値の組み合わせにより生成したテストケースを前記候補集合に追加するステップと、前記パラメータと前記変数値の異なる複数の組み合わせに対して前記候補集合に前記テストケースが蓄積された段階で、前記システムの性能指標値であるスコアの高さに従い、前記候補集合から前記テストケースを選んで出力するステップであって、前記テスト済のテストケースを含むテストケースの集合に属する前記テストケースの前記スコアは割り増しして計算される、ステップを実行させる、テストケース生成プログラム。前記パラメータと前記変数値の異なる複数の組み合わせは、ペアワイズ法で生成される、請求項5に記載のプログラム。前記テストケースの前記スコアは、前記テストケースに基づき生成されるペアのうち、まだ今まで出現していないペアの数によって決定される、請求項6に記載のプログラム。前記スコアの割り増しは、前記スコアに、1以上の数を掛けることよって行われる、請求項5に記載のプログラム。複数のパラメータと、そのパラメータに入れられる1つ以上の変数値をもち、該パラメータに入れられる変数値の組み合わせに応じて、異なる性能指標を示すシステムのテストケースを、コンピュータの処理により生成するシステムであって、テスト済のテストケースを含むテストケースの集合を、前記コンピュータが読み出し可能に、記憶手段に保持する手段と、下記のステップ乃至を含むループを、前記パラメータと前記変数値の組み合わせが全てのパラメータに対して揃うまで実行する手段と、前記パラメータと前記変数値の組み合わせを、変数値が格納されたパラメータを次第に増やすように生成するステップ前記発生された範囲の前記パラメータと前記変数値の組み合わせに部分的に一致するパラメータと変数値の組み合わせをもつテストケースを前記テスト済のテストケースを含むテストケースの集合において見出して集合変数に格納するステップ前記集合変数が空集合になったことに応答して、ループの一回前の前記の集合変数に含まれるテストケースを候補集合に追加するステップ、前記パラメータと前記変数値の組み合わせが全てのパラメータに対して揃ったことに応答して、該揃った前記パラメータと前記変数値の組み合わせにより生成したテストケースを前記候補集合に追加する手段と、前記パラメータと前記変数値の異なる複数の組み合わせに対して前記候補集合に前記テストケースが蓄積された段階で、前記システムの性能指標値であるスコアの高さに従い、前記候補集合から前記テストケースを選んで出力するステップであって、前記テスト済のテストケースを含むテストケースの集合に属する前記テストケースの前記スコアは割り増しして計算される、手段を有する、テストケース生成システム。前記パラメータと前記変数値の異なる複数の組み合わせは、ペアワイズ法で生成される、請求項9に記載のシステム。前記テストケースの前記スコアは、前記テストケースに基づき生成されるペアのうち、まだ今まで出現していないペアの数によって決定される、請求項10に記載のシステム。前記スコアの割り増しは、前記スコアに、1以上の数を掛けることよって行われる、請求項9に記載のシステム。複数のパラメータと、そのパラメータに入れられる1つ以上の変数値をもち、該パラメータに入れられる変数値の組み合わせに応じて、異なる性能指標を示すシステムのテストケースを、コンピュータの処理により生成する方法であって、テスト済のテストケースを含むテストケースの集合を、前記コンピュータが読み出し可能に、記憶手段に保持するステップと、前記パラメータと前記変数値を組み合わせを生成するステップと、前記パラメータと前記変数値を組み合わせをもつテストケースを前記テスト済のテストケースを含むテストケースの集合において見出して集合変数に格納するステップと、前記パラメータと前記変数値の組み合わせにより生成したテストケースを前記候補集合に追加するステップと、前記パラメータと前記変数値の異なる複数の組み合わせに対して前記候補集合に前記テストケースが蓄積された段階で、前記システムの性能指標値であるスコアの高さに従い、前記候補集合から前記テストケースを選んで出力するステップであって、前記テスト済のテストケースを含むテストケースの集合に属する前記テストケースの前記スコアは割り増しして計算される、ステップとを有する、テストケース生成方法。前記パラメータと前記変数値の異なる複数の組み合わせは、ペアワイズ法で生成される、請求項13に記載の方法。前記テストケースの前記スコアは、前記テストケースに基づき生成されるペアのうち、まだ今まで出現していないペアの数によって決定される、請求項14に記載の方法。前記スコアの割り増しは、前記スコアに、1以上の数を掛けることよって行われる、請求項13記載の方法。複数のパラメータと、そのパラメータに入れられる1つ以上の変数値をもち、該パラメータに入れられる変数値の組み合わせに応じて、異なる性能指標を示すシステムのテストケースを、コンピュータの処理により生成するプログラムであって、前記コンピュータに、テスト済のテストケースを含むテストケースの集合を、前記コンピュータが読み出し可能に、記憶手段に保持するステップと、前記パラメータと前記変数値を組み合わせを生成するステップと、前記パラメータと前記変数値を組み合わせをもつテストケースを前記テスト済のテストケースを含むテストケースの集合において見出して集合変数に格納するステップと、前記パラメータと前記変数値の組み合わせにより生成したテストケースを前記候補集合に追加するステップと、前記パラメータと前記変数値の異なる複数の組み合わせに対して前記候補集合に前記テストケースが蓄積された段階で、前記システムの性能指標値であるスコアの高さに従い、前記候補集合から前記テストケースを選んで出力するステップであって、前記テスト済のテストケースを含むテストケースの集合に属する前記テストケースの前記スコアは割り増しして計算される、ステップを実行させる、テストケース生成プログラム。前記パラメータと前記変数値の異なる複数の組み合わせは、ペアワイズ法で生成される、請求項17に記載のプログラム。前記テストケースの前記スコアは、前記テストケースに基づき生成されるペアのうち、まだ今まで出現していないペアの数によって決定される、請求項18に記載のプログラム。前記スコアの割り増しは、前記スコアに、1以上の数を掛けることよって行われる、請求項17記載のプログラム。従って、本発明の目的は、入力として与えられた既存のテストケースの集合と一致するものを多く含み、且つ、例えばペアワイズのような目的の性質をみたす、なるべく小さいサイズの集合を、高速に生成する技法を提供することにある。出力テストケースの集合が目的の性質を満たすようになるまで、順次テストケースを生成して出力テストケースの集合に追加していく手法は既に知られている。そこで本発明に従うシステムは、従来手法によって生成されるテストケースに加えて、既存の入力テストケースの集合に含まれるテストケースを候補として利用することにより、既存の入力テストケースの集合と一致するものをなるべく多く含み、かつサイズの小さな出力テストケースの集合を生成する。本発明は、入力テストケースの集合から利用する候補は、以下のようにして決定する。1.いくつかのパラメータに対して、テストケース候補が持っているべき値を決定する。2.入力テストケースの集合に含まれるテストケースのうち、上記で決定した値を持っているものを候補とする。従来手法によって生成されたひとつ又は複数のテストケース候補と、入力テストケースの集合から選択されたひとつまたは複数のテストケース候補のうち、最もスコアが高いものを出力テストケースの集合に追加する。この処理を、出力テストケースの集合が目的の性質を満たすまで繰り返す。ここで、テストケースのスコアとは例えば、ペアワイズ法を想定すると、テストケースに含まれるパラメータと変数の組み合わせからなるペアのうち、まだ出現していないペアの数である。これを従来手法におけるスコアと呼ぶことにする。本発明に従うシステムによれば、スコアは、以下のように計算される。-従来手法によって生成されたテストケース候補に対しては、従来手法におけるスコアを利用する。-入力テストケースの集合から選択されたテストケース候補に対しては、従来手法におけるスコアに1以上の定数をかけたものを利用する。このとき、定数を大きくすればするほど、既存の入力テストケースの集合と一致するテストケースをより多く含むようになるが、出力テストケースの集合のサイズがより大きくなる可能性があるので、定数の値は妥当に選ぶ必要がある。この発明によれば、既存の入力テストケースの集合のデータを含めることによって、既存の入力テストケースの集合となるべく整合性を保ちつつ、可能な限り小さいサイズのテストケースの集合を高速に生成することが可能となる。以下、図面に基づき、この発明の実施例を説明する。特に断わらない限り、同一の参照番号は、図面を通して、同一の対象を指すものとする。尚、以下で説明するのは、本発明の一実施形態であり、この発明を、この実施例で説明する内容に限定する意図はないことを理解されたい。図1を参照すると、本発明の一実施例に係るシステム構成及び処理を実現するためのコンピュータハードウェアのブロック図が示されている。図1において、システムパス102には、CPU104と、主記憶RAM106と、ハードディスクドライブHDD108と、キーボード110と、マウス112と、ディスプレイ114が接続されている。CPU104は、好適には、32ビットまたは64ビットのアーキテクチャに基づくものであり、例えば、インテル社のPentium商標4、Core2Duo、Xeon、AMD社のAthlon商標などを使用することができる。主記憶106は、好適には、4GB以上の容量をもつものである。ハードディスクドライブ108は、大量のデータを格納できるように、例えば、500GB以上の容量をもつものであることが望ましい。ハードディスクドライブ108には、個々に図示しないが、オペレーティングシステムが、予め格納されている。オペレーティングシステムは、Linux、マイクロソフト社のWindowsXP、Windows7、アップルコンピュータのMacOS商標などの、CPU104に適合する任意のものでよい。ハードディスクドライブ108はさらに、既存のテスト結果の集合、テストのため組み合わせるパラメータの集合、及び本発明の処理のための処理ルーチンなどが格納されている。これらのパラメータや処理ルーチンの詳細は、図5を参照して後で説明する。キーボード110及びマウス112は、オペレーティングシステムまたは、ハードディスクドライブ108から主記憶106にロードされ、ディスプレイ114に表示されたプログラム図示しないを起動したり、文字を打ち込んだりするために使用される。ディスプレイ114は、好適には液晶ディスプレイであり、例えば、XGA1024×768の解像度、またはUXGA1600×1200の解像度などの任意の解像度のものを使用することができる。ディスプレイ114は、図示しないが、本発明の処理を開始するための操作ウインドウや、テスト結果等を表示するために使用される。そこで、本発明の処理について説明する前に、本発明の処理の理解を助けるために、従来より、ペアワイズのテストケースを自動的に生成するための方法として知られているGreedyなアルゴリズムについて図2乃至図4のフローチャートを参照して説明する。その後、本発明の処理が、このGreedyなアルゴリズムの改良として説明される。図2は、従来のGreedyなペアワイズテストアルゴリズムのメインの処理のフローチャートである。図2のステップ202では、outという集合変数に、空集合がセットされる。ステップ204では、outが、テストパラメータのペアワイズのすべてのペアを網羅したかどうかが判断される。そうでないなら、ステップ206に進んで、そこで、Candidatesという集合変数に、空集合がセットされる。次のステップ208では、Candidatesの要素の数がNより小さいかどうかが判断され、そうでないなら、ステップ210で候補が1つ生成され、Candidatesに追加される。ステップ210の処理は、図3のフローチャートを参照して、後でより詳細に説明する。ステップ208とステップ210のループの繰り返しで、Candidatesの要素の数がNに達すると、処理はステップ208からステップ212に進み、そこで、Candidatesのうちスコアが最も高いものが選ばれる。ここでスコアとは、テストケースのスコアであり、例えば、そのテストケースによってカバーされるペアのうち、新しくカバーされるペアの数、すなわち、今までのテストケースでカバーされていないペアの数である。ステップ212の処理は、図4のフローチャートを参照して、後でより詳細に説明する。ステップ214では、ステップ212で選ばれた候補がoutに追加される。そうして処理はステップ204に戻る。ステップ204からステップ214を回るうちに、outには候補が蓄積される。ステップ204ですべてのペアが網羅されたと判断されると、処理は終了する。こうしてoutに蓄積された候補が利用される。次に、図3のフローチャートを参照して、ステップ210の、候補を生成してCandidatesに追加する処理を説明する。図3において、ステップ302では、paramsという集合変数に、空集合がセットされる。次のステップ304では、パラメータの数が、全パラメータ数よりも小さいかどうか判断される。もしそうなら、ステップ306に進み、ヒューリステックと乱数を利用して、パラメータとその値が1つ決定される。次のステップ308では、決定したパラメータとその値がparamsに追加され、ステップ304の判断に戻る。ステップ304からステップ308までが回って、ステップ304での判断が否定的になると、パラメータがすべて埋まったことになるので、ステップ310に進んでそこで、設定したパラメータ、すなわちparamsの組み合わせでテストケースが生成され、ステップ312で、生成したテストケースがCandidatesに追加されて、処理は戻る。次に、図4のフローチャートを参照して、ステップ212の、Candidatesに含まれるテストケースのうちスコアが最も高いものを選ぶ処理について説明する。ステップ402では、scoreという変数に、十分に大きい絶対値の負の値として∞がセットされる。次のステップ404からステップ412までは、Candidatesに含まれるテストケースである要素cすべてに亘って順次行われる処理である。ステップ406では、cのスコアがscoreより大きいかどうかの判断が行われる。ここでスコアとは、そのテストケースに基づき生成されるペアによって新規にカバーされるペアの数である。そうして、cのスコアがscoreより大きいなら、ステップ408で、cのスコアがscoreにセットされる。ステップ410では、cがretに格納される。もし、cのスコアがscoreより大きくないなら、ステップ408とステップ410は、単にスキップされる。こうして、Candidatesの要素cすべてに亘って、ステップ404からステップ412までが完了すると、retを返して、図4のフローチャートの処理は終わる。以上の説明を前提として、本発明の説明を行う。先ず、図5の機能構成のブロック図を参照して、本発明を実行するための処理ルーチン等について説明する。これらの処理ルーチンはC、C、Javaなどの既存のプログラム言語で予め作成されて、実行可能な形式でハードディスクドライブ108に保存され、オペレーティングシステムの動作で主記憶106にロードされて実行される。図5において、メインルーチン502は、本発明の全体の動作を統合するためのプログラムであり、図示しないが、ディスプレイ114に操作ウインドウを表示したり、ユーザの操作を受け付けて処理を開始したりする機能を有する。入力ルーチン504は、ハードディスクドライブ108に保存されている、テストのパラメータ/候補値を含むファイル506や、既存の入力テストケースの集合を含むファイル508から、メインルーチン502からの指示に従い、適宜データを読み取る機能を有する。ここで、テストのパラメータ/候補値とは、例えば、以下のようなものである。実際のケースは、もっと多くのパラメータを含むが、便宜上、簡単なケースで説明する。OSWindowsXP2003ServerAIXLinuxBrowserFireFoxIEOperaLevelL1L2L3L4Restrictiontruefalseまた、既存の入力テストケースの集合の要素、すなわちテストケースとは、例えば、次のように、各パラメータに、候補値としての変数値を1つずつ埋めたものである。テストケース1OSWindowsXPBrowserIELevelL1Restrictiontrueテストケース2OSAIXBrowserFireFoxLevelL1Restrictionfalseテストケース3OSLinuxBrowserIELevelL3Restrictionfalse候補追加ルーチン510は、従来技術として説明した図3のフローチャートに対応する処理を実行するが、その一部が、本発明に従い変更されている。候補追加ルーチン510については、図7のフローチャートを参照して、後で説明する。候補選択ルーチン512は、従来技術として説明した図4のフローチャートに対応する処理を実行するが、Candidatesの要素cのスコアを取得する処理が、本発明に従い変更されている。スコア取得ルーチン514は、候補選択ルーチン512によって呼び出される、スコアを取得する処理を実行するものであり、図8のフローチャートを参照して、後で説明する。出力ルーチン516は、結果として得られたテストケースの集合を、好適にはファイルとして、ハードディスクドライブ108に書き込む。次に、メインルーチン502の処理を、図6のフローチャートを参照して説明する。図6のフローチャートの処理は、従来技術の図2のフローチャートの処理の一部を変更したものであり、改めて図6のフローチャートに基づき説明する。なお、図6において、太線で囲まれているステップ610とステップ612は、特に従来技術の図2のフローチャートとの差異を示すものである。図6において、メインルーチン502は、ステップ602で、outという集合変数に、空集合をセットする。ステップ604では、メインルーチン502は、outが、テストパラメータのペアワイズのすべてのペアを網羅したかどうかを判断する。ここでの判定は例えば、予めすべてのペアからなる集合変数をコンピュータシステム的に用意しておいて、ステップ614で選ばれたテストケースによって生成されるペアに該当する要素を、その集合から除去していくことにより達成される。このような処理によれば、ステップ604の判断は、その集合が空集合になったことに基づき、ペアワイズのすべてのペアを網羅したと判断するように行われる。そうでないなら、メインルーチン502は、ステップ606に進んで、そこで、Candidatesという集合変数に、空集合をセットする。次のステップ608では、メインルーチン502は、Candidatesの要素の数がNより小さいかどうかを判断し、そうでないなら、ステップ610で候補を1つ生成し、Candidatesに追加する。ステップ610の処理は、候補追加ルーチン510を呼び出すことによって実行される。候補追加ルーチン510は、図7のフローチャートを参照して、後でより詳細に説明する。ステップ610は、図2のステップ210に対応するが、ステップ212に対するステップ612の違いは、既存のテストケースの集合508に含まれているテストケースが考慮され、条件に応じて取り込まれることである。ステップ608とステップ610のループの繰り返しで、Candidatesの要素の数がNに達すると、処理はステップ608からステップ612に進み、そこで、Candidatesのうちスコアが最も高いものが選ばれる。ここでスコアとは、そのテストケースに基づき生成されるペアによって新規にカバーされるペアの数である。ステップ612の処理は、候補選択ルーチン512を呼び出すことによって行われる。候補選択ルーチン512の処理内容は、図4のフローチャートで説明したのと実質的に同じであるが、図4のフローチャートのステップ406における、Candidatesの要素であるテストケースcのスコアを取得する処理が異なっている。既に述べたように、テストケースのスコアとは、本発明では、スコアを取得する処理は、図8のフローチャートに示される、スコア取得ルーチン514により実行される。すなわち、図8において、スコア取得ルーチン514は、ステップ802で、その値を、テストケースに基づき生成されるペアによって新規にカバーされるペアの数として取得し、変数scoreに格納する。そして、スコア取得ルーチン514は、次のステップ804で、テストケースが、既存のテストケースの集合508から取得されたものかどうかを判断し、もしそうなら、scoreに、a≧1である定数aを掛けて、scoreの値を増加させる。テストケースが、既存のテストケースの集合508から取得されたものでないなら、scoreの値はそのままである。このように、テストケースが既存のテストケースの集合508から取得されたものである場合にscoreの値を増加させることは、図4のフローチャートで示される、最大スコアのテストケースを選ぶ処理で、テストケースが既存のテストケースの集合508から取得されたテストケースを勝ち残りやすくする。ステップ614では、メインルーチン502は、ステップ612で選ばれた候補をoutに追加する。メインルーチン502はさらに、outに追加したテストケースから生成されるペアを、ステップ604での判断に使用される集合変数から取り去る。そうして処理はステップ604に戻る。尚ここで、outに追加したテストケースが次のようなものであったとする。OSAIXBrowserFireFoxLevelL1Restrictionfalseすると、これに基づき集合変数から要素を取り去るために使用されるペアは、以下の6通りである。OSAIXBrowserFireFoxOSAIXLevelL1OSAIXRestrictionfalseBrowserFireFoxLevelL1BrowserFireFoxRestrictionfalseLevelL1Restrictionfalseステップ604からステップ614を回るうちに、outには候補が蓄積される。ステップ604でまだ選ばれていないペアがもうないと、ステップ604での判断が否定的になって、処理は終了する。こうして、最終的にoutに蓄積された候補が利用される。次に、図7のフローチャートを参照して、図6のステップ610に対応する、候補追加ルーチン510の処理について説明する。候補追加ルーチン510は、図7のステップ702で、paramsという集合変数を空集合にセットし、ステップ704で、Sという集合変数を空集合にセットする。ステップ706では、候補追加ルーチン510は、パラメータの数WindowsXPBrowserIELevelL1Restrictiontrueこれから組み合わせによって得られるペアは、下記の6とおりである。OSWindowsXPBrowserIEOSWindowsXPLevelL1OSWindowsXPRestrictiontrueBrowserIELevelL1BrowserIERestrictiontrueLevelL1Restrictiontrueすると、こうして得られたペアは、既に現れてたものと、まだ現れていないものに分かれる。このとき、まだ現れていないペアの個数をもって、スコアと呼ぶことにする。ペアが既に現れたかどうかの判定は、例えば、ステップ604に関連して言及した、ペアの集合を使って行うことができる。すなわち、あるペアがこの集合にまだ含まれていれば、そのペアはまだ現れておらず、一方、あるペアがこの集合に見つからなければ、そのペアは既に現れて、この集合から取り去れたということを意味する。こうして、ステップ718でSSとセットした後、ステップ706の判断に戻って、候補追加ルーチン510が、パラメータの数が、全パラメータの数に達したと判断すると、候補追加ルーチン510は、ステップ720で、paramsに従いテストケースを生成し、ステップ722で、生成したテストケースをCandidatesに追加し、図6のフローチャートのステップ612に戻る。図7のフローチャートに示す候補追加ルーチン510の処理を要約すると、ステップ716で、所定の条件を満たす、既存のテストケースの集合からテストケースがCandidatesに追加され、また、ステップ722で、paramsのパラメータと値に従い生成されたテストケースがCandidatesに追加され、すなわち、ステップ612に戻ったときは、Candidatesは、既存のテストケースの集合から追加されたテストケースと、paramsのパラメータと値に従い生成されたテストケースの両方を含むことになる。そのCandidatesの集合要素としてのテストケースは、ステップ612で、スコアの高さで選別されるが、その際、図8のフローチャートから見て取れるように、既存のテストケースの集合から追加されたテストケースの方がスコアが高くなるように操作されるので、そのような操作がない場合よりも、既存のテストケースの集合から追加されたテストケースが優先的に、出力ルーチン516によって出力されることになる。以上、テストケースのパラメータの組み合わせを与える方法として、上記実施例では、ペアワイズ方法を用いるようにしたが、本発明はこれには限定されず、従来から知られている任意の組み合わせテスト技法を使用することができる。例えば、パラメータと変数のペアではなく、パラメータと変数の三つ組みを用いてもよい。さらに本発明は、コンピュータの特定のハードウェア、ソフトウェアに限定されず、また、スタンドアロンやネットワーク環境のどちらであるかにもかかわらず、任意のプラットフォーム上で実施可能であることをこの分野の当業者なら理解するであろう。