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

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

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