未達カバレッジに対処
カバレッジ結果をフィルター処理し、ギャップに対処する
テストする設計のさまざまな面にカバレッジ結果を絞り込むには、フィルターを使用して要素を除外するか、実行する予定のない達成されない結果を正当化します。残りのカバレッジ ギャップは、不十分なテスト、不足している要件、または正しくない実装を示している可能性があります。これらのカバレッジ ギャップに対処するためには、追加のテストを作成するか、既存のテストを拡張するか、要件を調整するか、モデルを編集します。
クラス
slcoverage.BlockSelector | Select blocks for coverage filter |
slcoverage.CodeSelector | Select custom C or C++ code for coverage filter |
slcoverage.Filter | カバレッジ フィルター セット |
slcoverage.FilterRule | Create coverage filter rule |
slcoverage.MetricSelector | Select metric criterion for coverage filter |
slcoverage.Selector | すべてのタイプのセレクターの取得 |
slcoverage.SFcnSelector | Select S-function criterion for filtering rule |
モデル設定
トピック
カバレッジ結果の除外または正当化
- カバレッジのフィルター
カバレッジのフィルターを使用して、モデル カバレッジのスコープを絞り込む。 - カバレッジ フィルターの規則とファイル
モデルに対して設定されたカバレッジ フィルターの規則の管理。 - カバレッジ フィルターの規則の作成、編集、表示
カバレッジの記録からモデル オブジェクトをフィルターするワークフロー。 - カバレッジの結果エクスプローラーでの適用済みのフィルターの表示
カバレッジの結果エクスプローラーの [適用済みのフィルター] セクションを使用して、Simulink® モデルのフィルターの規則を管理します。 - カバレッジ対象からフィルターで除外されるモデル オブジェクト
カバレッジの記録対象からフィルターにより除外できるモデル オブジェクトの種類。 - Filter Code Coverage Outcomes
Types of code coverage outcomes you can filter from coverage recording.
テストおよび要件のギャップに対処
- カバレッジ テスト ギャップを解決する方法
カバレッジ テスト ギャップを解決するために実行するアクションを決定する。 - 機能テストの実行とテスト カバレッジの解析
機能の依存関係の解析、モデル コンポーネントの単独でのテスト、テスト ケースのスイートの作成、モデルとコードのテストによるカバレッジの達成を行います。 - 要件に基づいたテストからのカバレッジ結果の評価
要件に基づいたテストが対応する設計を実行する範囲の評価。