【手続補正書】
【提出日】平成16年3月19日(2004.3.19)
【手続補正１】
【補正対象書類名】明細書
【補正対象項目名】発明の名称
【補正方法】変更
【補正の内容】
【発明の名称】機能テスト支援システム、機能テスト支援方法およびコンピュータ読み取り可能な記憶媒体
【手続補正２】
【補正対象書類名】明細書
【補正対象項目名】特許請求の範囲
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
集積回路の機能をハードウェア記述言語により１つまたはそれ以上の要素動作の集合として記述した機能記述の機能テストを支援する機能テスト支援システムであって、
前記機能記述を検証するための機能シミュレーションのテストベクトルとそのテストベクトルによりテストされるテスト項目との対応関係を記憶するテスト情報記憶手段と、
前記機能シミュレーションの実行に伴なって生成される、前記テスト項目の起動条件が満たされたことを示す少なくともテスト項目名を含むメッセージを記憶するメッセージ記憶手段と、
前記テスト情報記憶手段および前記メッセージ記憶手段に記憶された情報から前記テストベクトル毎に各テスト項目のテスト有無を判定し、その判定結果をレポート出力するレポート出力手段と
を具備することを特徴とする機能テスト支援システム。
【請求項２】
集積回路の機能をハードウェア記述言語により１つまたはそれ以上の要素動作の集合として記述した機能記述の機能テストを支援する機能テスト支援システムであって、
前記機能記述を検証するための機能シミュレーションのテストベクトルとそのテストベクトルによりテストされるテスト項目との対応関係を記憶するテスト情報記憶手段と、
前記機能シミュレーションの実行に伴なって生成される、前記テスト項目の起動条件が満たされたことを示す少なくともテスト項目名を含むメッセージを記憶するメッセージ記憶手段と、
前記テスト情報記憶手段および前記メッセージ記憶手段に記憶された情報から前記テストベクトル毎に各テスト項目のテスト有無を判定し、その判定結果に基づいて処理を行う処理手段と
を具備することを特徴とする機能テスト支援システム。
【請求項３】
集積回路の機能をハードウェア記述言語により１つまたはそれ以上の要素動作の集合として記述した機能記述の機能テストを支援する機能テスト支援システムであって、
前記機能記述を検証するための機能シミュレーションの実行に伴なって生成される、予め設定されたテスト項目の起動条件が満たされたことを示す少なくともテスト項目名とテストベクトル名とを含むメッセージを記憶するメッセージ記憶手段と、
前記メッセージ記憶手段に記憶された情報から前記テストベクトル毎に各テスト項目のテスト有無を判定し、その判定結果をレポート出力するレポート出力手段と
を具備することを特徴とする機能テスト支援システム。
【請求項４】
集積回路の機能をハードウェア記述言語により１つまたはそれ以上の要素動作の集合として記述した機能記述の機能テストを支援する機能テスト支援方法であって、
予め設定されたテスト項目の起動条件が満たされたときに、少なくともそのテスト項目名を含むメッセージを出力するステートメントを含んでなる機能記述の機能シミュレーションを実行するステップと、
前記ステートメントの実行により出力されたメッセージと、前記機能シミュレーションのテストベクトルとそのテストベクトルによりテストされるテスト項目との対応関係を示すテスト情報とから各テストベクトル毎に各テスト項目のテスト有無を判定し、その判定結果をレポート出力するステップと
を有することを特徴とする機能テスト支援方法。
【請求項５】
集積回路の機能をハードウェア記述言語により１つまたはそれ以上の要素動作の集合として記述した機能記述の機能テストを支援する機能テスト支援方法であって、
予め設定されたテスト項目の起動条件が満たされたときに、少なくともそのテスト項目名を含むメッセージを出力するステートメントを含んでなる機能記述の機能シミュレーションを実行するステップと、
前記ステートメントの実行により出力されたメッセージと、前記機能シミュレーションのテストベクトルとそのテストベクトルによりテストされるテスト項目との対応関係を示すテスト情報とから各テストベクトル毎に各テスト項目のテスト有無を判定し、その判定結果に基づいて処理を行うステップと
を有することを特徴とする機能テスト支援方法。
【請求項６】
集積回路の機能をハードウェア記述言語により１つまたはそれ以上の要素動作の集合として記述した機能記述の機能テストを支援する機能テスト支援方法であって、
予め設定されたテスト項目の起動条件が満たされたときに、少なくともテスト項目名とテストベクトル名と含むメッセージを出力するステートメントを含んでなる機能記述の機能シミュレーションを実行するステップと、
前記ステートメントの実行により出力されたメッセージから各テストベクトル毎に各テスト項目のテスト有無を判定し、その判定結果をレポート出力するステップと
を有することを特徴とする機能テスト支援方法。
【請求項７】
集積回路の機能をハードウェア記述言語により１つまたはそれ以上の要素動作の集合として記述した機能記述の機能テストを支援すべくコンピュータを動作させるためのプログラムであって、
予め設定されたテスト項目の起動条件が満たされたときに、少なくともそのテスト項目名を含むメッセージを出力するステートメントを含んでなる機能記述の機能シミュレーションを実行し、
前記ステートメントの実行により出力されたメッセージと、前記機能シミュレーションのテストベクトルとそのテストベクトルによりテストされるテスト項目との対応関係を示すテスト情報とから各テストベクトル毎に各テスト項目のテスト有無を判定し、その判定結果をレポート出力するようにコンピュータを動作させるプログラムを記憶したコンピュータ読み取り可能な記憶媒体。
【請求項８】
集積回路の機能をハードウェア記述言語により１つまたはそれ以上の要素動作の集合として記述した機能記述の機能テストを支援すべくコンピュータを動作させるためのプログラムであって、
予め設定されたテスト項目の起動条件が満たされたときに、少なくともそのテスト項目名を含むメッセージを出力するステートメントを含んでなる機能記述の機能シミュレーションを実行し、
前記ステートメントの実行により出力されたメッセージと、前記機能シミュレーションのテストベクトルとそのテストベクトルによりテストされるテスト項目との対応関係を示すテスト情報とから各テストベクトル毎に各テスト項目のテスト有無を判定し、その判定結果に基づいて処理を行うようにコンピュータを動作させるプログラムを記憶したコンピュータ読み取り可能な記憶媒体。
【請求項９】
集積回路の機能をハードウェア記述言語により１つまたはそれ以上の要素動作の集合として記述した機能記述の機能テストを支援すべくコンピュータを動作させるためのプログラムであって、
予め設定されたテスト項目の起動条件が満たされたときに、少なくともテスト項目名とテストベクトル名と含むメッセージを出力するステートメントを含んでなる機能記述の機能シミュレーションを実行し、
前記ステートメントの実行により出力されたメッセージから各テストベクトル毎に各テスト項目のテスト有無を判定し、その判定結果をレポート出力するようにコンピュータを動作させるプログラムを記憶したコンピュータ読み取り可能な記憶媒体。
【請求項１０】
集積回路の機能を１つまたはその以上の要素動作の集合として記述したシミュレーション実行可能なハードウエア記述モデルであって、
前記要素動作の起動条件が満たされたときに、その旨を示す情報を出力する記述を含んでなるハードウエア記述モデルを記憶したコンピュータ読み取り可能な記憶媒体。
【手続補正３】
【補正対象書類名】明細書
【補正対象項目名】０００１
【補正方法】変更
【補正の内容】
【０００１】
【発明の属する技術分野】
この発明は、コンピュータを用いてハードウエアの設計を支援するＣＡＤシステムに適用される機能テスト支援システム、機能テスト支援方法およびコンピュータ読み取り可能な記憶媒体に関する。


【手続補正４】
【補正対象書類名】明細書
【補正対象項目名】０００４
【補正方法】変更
【補正の内容】
【０００４】
この発明は、このような事情に鑑みてなされたものであり、シミュレーションによって設計者が設定したテスト項目がテストされたかどうかを機械的かつ確実に確認することを可能とし、また、機能記述の変更によって意味がなくなったテスト項目や修正を必要とするテスト項目を容易に検出することも可能とし、さらに、機能記述が再利用された場合においても、テストされたテスト項目を明確にすることを可能とする機能テスト支援システム、機能テスト支援方法およびコンピュータ読み取り可能な記憶媒体を提供することを目的とする。


【手続補正５】
【補正対象書類名】明細書
【補正対象項目名】０００７
【補正方法】変更
【補正の内容】
【０００７】
また、この発明は、集積回路の機能をハードウェア記述言語により１つまたはそれ以上の要素動作の集合として記述した機能記述の機能テストを支援すべく、機能記述を検証するための機能シミュレーションのテストベクトルとそのテストベクトルによりテストされるテスト項目との対応関係を記憶するとともに、機能シミュレーションの実行に伴なって生成される、前記テスト項目の起動条件が満たされたことを示す少なくともテスト項目名を含むメッセージを記憶し、この記憶した情報からテストベクトル毎に各テスト項目のテスト有無を判定して、その判定結果に基づいて処理を行うようにしたものである。
【手続補正６】
【補正対象書類名】明細書
【補正対象項目名】０００８
【補正方法】変更
【補正の内容】
【０００８】
この発明においては、テスト有無の判定結果に基づき、例えばレポート出力などの所定の処理を行うことにより、テスト項目がテストされているかどうかの確認を機械的かつ確実に行なうことを可能とする。
【手続補正７】
【補正対象書類名】明細書
【補正対象項目名】０００９
【補正方法】削除
【補正の内容】
【手続補正８】
【補正対象書類名】明細書
【補正対象項目名】００１０
【補正方法】削除
【補正の内容】
【手続補正９】
【補正対象書類名】明細書
【補正対象項目名】００１３
【補正方法】削除
【補正の内容】
【手続補正１０】
【補正対象書類名】明細書
【補正対象項目名】００１４
【補正方法】削除
【補正の内容】
【手続補正１１】
【補正対象書類名】明細書
【補正対象項目名】００１５
【補正方法】削除
【補正の内容】
【手続補正１２】
【補正対象書類名】明細書
【補正対象項目名】００１６
【補正方法】削除
【補正の内容】
【手続補正１３】
【補正対象書類名】明細書
【補正対象項目名】００１７
【補正方法】削除
【補正の内容】
【手続補正１４】
【補正対象書類名】明細書
【補正対象項目名】００１８
【補正方法】削除
【補正の内容】
【手続補正１５】
【補正対象書類名】明細書
【補正対象項目名】００１９
【補正方法】削除
【補正の内容】
【手続補正１６】
【補正対象書類名】明細書
【補正対象項目名】００２０
【補正方法】削除
【補正の内容】