未達カバレッジの解決
テストする設計のさまざまな面にカバレッジ結果を絞り込むには、フィルターを使用して要素を除外するか、実行する予定のない達成されない結果を正当化します。残りのカバレッジ ギャップは、不十分なテスト、不足している要件、または正しくない実装を示している可能性があります。これらのカバレッジ ギャップに対処するためには、追加のテストを作成するか、既存のテストを拡張するか、要件を調整するか、モデルを編集します。
クラス
モデル設定
トピック
カバレッジ結果の除外または正当化
- カバレッジのフィルター
カバレッジのフィルターを使用して、モデル カバレッジのスコープを絞り込む。 - カバレッジ フィルターの規則とファイル
モデルに対して設定されたカバレッジ フィルターの規則の管理。 - カバレッジ フィルターの規則の作成、編集、表示
カバレッジの記録からモデル オブジェクトをフィルターするワークフロー。 - Filter Code Coverage Outcomes
Types of code coverage outcomes you can filter from coverage recording.
テストおよび要件のギャップに対処
- カバレッジ テスト ギャップを解決する方法
カバレッジ テスト ギャップを解決するために実行するアクションを決定する。 - 機能テストの実行とテスト カバレッジの解析
機能の依存関係の解析、モデル コンポーネントの単独でのテスト、テスト ケースのスイートの作成、モデルとコードのテストによるカバレッジの達成を行います。 - 要件に基づいたテストからのカバレッジ結果の評価
要件に基づいたテストが対応する設計を実行する範囲の評価。
注目の例
カバレッジ フィルターの作成と使用
この例では、カバレッジ フィルターを使用してカバレッジ解析からモデル要素を除外し、レポート内で未達カバレッジを正当化する方法を示します。
Identify and Resolve Missing Coverage Caused by Dead Logic
Use Simulink® Design Verifier™ to identify and resolve missing coverage associated with dead logic in the Simulink Coverage™ report.
Filter Model Coverage Outcomes Using Simulink Test Manager
Multiple ways of applying coverage filters to coverage results with Simulink Test™ Manager, and how to apply an existing coverage filter to future runs of a test suite. For an example of coverage filtering that does not use Simulink Test Manager, see カバレッジ フィルターの作成と使用.
スクリプトを使用したカバレッジの結果のフィルター
Simulink® Coverage™ カバレッジ フィルター API を使用してモデル カバレッジの結果をフィルターで除外する方法を説明する。
要件に基づくテストの問題を修正
モデル テスト ダッシュボードを使用して、モデル テストの品質に関する問題を修正する。
