Main Content

このページの翻訳は最新ではありません。ここをクリックして、英語の最新版を参照してください。

未達カバレッジ データのテスト ケースの生成

モデルのシミュレーションを実行してカバレッジ データを記録したときにモデルで 100% のカバレッジが達成されない場合、Simulink® Design Verifier™ は未達カバレッジを達成するテスト ケースを検索することができます。この場合、シミュレーションの実行時に記録されたモデル カバレッジ データは無視され、モデルの未達カバレッジ部分についてのテスト生成解析が対象となります。

次の例では、テスト生成解析において、100% のカバレッジが達成されなかったモデルの部分に焦点を絞る方法を説明します。