【手続補正書】
【提出日】平成20年5月8日(2008.5.8)
【手続補正１】
【補正対象書類名】明細書
【補正対象項目名】特許請求の範囲
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】  テスト検証プロセス中にテスト環境でテスト中のデバイス（ＤＵＴ）の機能カバレージを決定するための方法であって、カバレージメトリックが複数のカバレージ項目から構築されており、
テスト検証プロセス中に少なくとも１つの機能カバレージ項目を含むカバレージグループを検討のために獲得し、
１セットの入力値をテスト検証プロセスに提供し、
前記セットの入力テスト値でテスト検証プロセスを実行して各カバレージ項目の値を獲得し、
各カバレージ項目から得た前記値に従って前記カバレージグループで得たカバレージを検討し、そして
前記セットの入力テスト値を自動的に変更すること
を含む方法。
【請求項２】  前記カバレージグループが手動で提供される記述から得られることを特徴とする請求項１に記載の方法。
【請求項３】  前記カバレージグループがＤＵＴから得られることを特徴とする請求項１に記載の方法。
【請求項４】  前記カバレージグループがテスト環境により定義されるテストから得られることを特徴とする請求項１に記載の方法。
【請求項５】  各カバレージ項目がＤＵＴおよびテスト環境の少なくとも１つの値保持要素および前記値を標本化するための標本化条件を定義する式であり、前記標本化条件が標本化された値を形成するよう満たされる場合、テスト検証プロセスが前記値を標本化することによって実行され、かつカバレージが前記標本化された値に従って測定されることを特徴とする請求項１に記載の方法。
【請求項６】  テスト検証プロセス中にテスト環境でテスト中のデバイス（ＤＵＴ）の機能カバレージを決定するためのシステムであって、カバレージメトリックが複数のカバレージ項目から構築され、各カバレージ項目が変数を有しており、変数の値がテスト検証プロセスのテスト毎に決定され、
（ａ）少なくとも１つの変数の値を制約するための少なくとも１つの制約条件を受け取り、かつＤＵＴに従ってテストを生成するためのテストジェネレータと、
（ｂ）テストを実行し、かつ実行時にデータを収集するための実行時システムと、
（ｃ）前記テストジェネレータからテストを受け取り、かつ実行時に収集された前記データを受け取るためのマキシマイザであって、テスト、および実行時に収集された前記データに従って追加テストを生成するマキシマイザ、
を備えたシステム。
【請求項７】  （ｄ）ＤＵＴに関する情報を受け取り、かつ前記情報を解析する解析モジュールであって、前記解析された情報が前記追加テストを生成するために前記マキシマイザに渡される解析モジュール、
をさらに含む請求項６に記載のシステム。
【請求項８】  前記解析モジュールがテスト環境に関する情報を受け取り、前記追加テストを生成するために前記マキシマイザに前記情報を渡すために前記情報を解析することを特徴とする請求項７に記載のシステム。
【請求項９】  テスト環境に関する前記情報が前のテストから手動で決定された情報を含むことを特徴とする請求項８に記載のシステム。
【請求項１０】  テスト検証プロセス中にテスト環境でテスト中のデバイス（ＤＵＴ）の機能カバレージを決定するための方法であって、機能カバレージがカバレージメトリックに従って決定され、カバレージメトリックが複数のカバレージ項目から構築されており、各カバレージ項目が標本化されるための変数を有し、方法が
１セットの入力値をテスト検証プロセスに提供して生成テストを形成し、
前記生成テストの前記セットの入力テスト値でテスト検証プロセスを実行して標本化条件に従って各カバレージ項目の変数の値を獲得し、
各カバレージ項目から得た前記値に従ってカバレージメトリックで得たカバレージを検討し、そして
前記セットの入力テスト値を自動的に変更して新しい生成テストを形成すること
を含む方法。
【請求項１１】  少なくとも１つのカバレージ項目が機能カバレージ項目であって、前記機能カバレージ項目の変数が変数の前記値を標本化するために標本化条件に従って標本化されることを特徴とする請求項１０に記載の方法。
【請求項１２】  前記新しい生成テストが少なくとも１つのカバレージ目標に従って形成され、前記少なくとも１つのカバレージ目標がＤＵＴおよびテスト環境の少なくとも１つの解析に従って自動的に決定されることを特徴とする請求項１１に記載の方法。
【請求項１３】  前記解析はＤＵＴ構造から前記少なくとも１つのカバレージ目標を抽出するためにＤＵＴに実行されることを特徴とする請求項１２に記載の方法。
【請求項１４】  前記少なくとも１つのカバレージ目標がテスト環境から手動で定義されることを特徴とする請求項１２に記載の方法。
【請求項１５】  複数のカバレージ目標がテスト環境から手動で定義され、追加カバレージ目標が前記手動で定義されたカバレージ目標の少なくとも２つの組合せから自動的に決定されることを特徴とする請求項１４に記載の方法。
【請求項１６】  前記少なくとも１つのカバレージ目標が少なくとも１つのカバレージ項目の各変数の型の自動解析に従って定義されることを特徴とする請求項１２に記載の方法。
【請求項１７】  前記自動解析が少なくとも１つのカバレージ項目の各変数の可能な値の少なくとも１つの境界を決定し、前記少なくとも１つのカバレージ目標が前記少なくとも１つの境界に従って決定されることを特徴とする請求項１６に記載の方法。
【請求項１８】  前記自動解析が、少なくとも１つの変数の値を決定するためにテスト環境を解析し、前記値に従って前記少なくとも１つのカバレージ目標を定義することによって実行されることを特徴とする請求項１６に記載の方法。
【請求項１９】  前記値が前記少なくとも１つの変数の可能な値の境界を定義することを特徴とする請求項１８に記載の方法。
【請求項２０】  前記可能な値が前記少なくとも１つの変数の値の範囲内に含まれ、前記境界が前記範囲を分割することを特徴とする請求項１９に記載の方法。
【請求項２１】  複数のカバレージ目標が前記自動解析に従って定義され、追加カバレージ目標が前記自動的に定義されたカバレージ目標の少なくとも２つの組合せから自動的に決定されることを特徴とする請求項１６に記載の方法。
【請求項２２】  少なくとも１つのカバレージ目標がテスト環境から手動で定義され、追加カバレージ目標が自動的に定義されたカバレージ目標と前記手動で定義されたカバレージ目標の組合せから自動的に決定されることを特徴とする請求項１６に記載の方法。
【請求項２３】  前記組合せが前記自動的に定義されたカバレージ目標と前記手動で定義されたカバレージ目標のカルテシアン積から決定され、前記自動で定義されたカバレージ目標がＮ個の可能な値を持ち、前記手動で定義されたカバレージ目標がＭ個の可能な値を持つ場合、前記組合せはＭ×Ｎ個の値の行列であることを特徴とする請求項２２に記載の方法。
【請求項２４】  前記新しい生成テストが少なくとも１つの変数の値を制約するための少なくとも１つの制約条件を含むことを特徴とする請求項１２に記載の方法。
【請求項２５】  前記少なくとも１つの制約条件が前の生成テストから手動で決定された制約条件から引き出されることを特徴とする請求項２４に記載の方法。
【請求項２６】  少なくとも１つの追加制約条件が前記少なくとも１つのカバレージ目標に従って作成されることを特徴とする請求項２４に記載の方法。
【請求項２７】  少なくとも１つの制約条件が前の生成テストおよび特定のカバレージ目標から手動で決定された制約条件の組合せに従って作成されることを特徴とする請求項２４に記載の方法。
【請求項２８】  前記少なくとも１つの制約条件の前記新しい生成テストの生成への効果が生成確率に影響を及ぼすためのランダムポリシーに従って少なくとも部分的に決定されることを特徴とする請求項２４に記載の方法。