カバレッジテストギャップを解決する方法

モデルカバレッジレポートを生成した後に、Simulink^® Coverage™ を使用して、モデルのカバレッジテストギャップを解決できます。

Flow chart shows a proposed workflow for model coverage testing. Perform coverage analysis on your model. Evaluate the results. If results are acceptable, proceed to creating and archiving the coverage report. If results are not acceptable, determine the cause of the incomplete coverage, fix the issues, and perform coverage analysis again.

カバレッジの記録と評価

カバレッジ記録を有効にしてモデルをシミュレートしたら、カバレッジデータを評価して、テストのギャップを見つけます。カバレッジレポートとモデルの強調表示は、設計のどの部分がテストケースで十分に実行されたかを理解する上で役立ちます。

詳細については、以下を参照してください。

カバレッジテストギャップの解決

カバレッジテストでモデルが十分に実行されない場合は、いくつかの手順でカバレッジを拡大できます。

モデルを編集する — 必要な設計の一部ではない、意図しない機能がモデルに含まれている場合があります。意図しない機能を削除します。
要件を編集する — 設計のすべての部分を実行するために必要なテストが要件で詳細に説明されていない場合があります。Requirements Toolbox™ を使用すると、Simulink 環境内から要件を作成および編集できます。詳細については、要件に対するモデルのテストと結果のレポートを参照してください。
追加のテストを作成する — 既存のテストでは、意図したとおりのシミュレーション入力が要件に従って完全に実行されない場合があります。Simulink Coverage を使用すると、これらの入力をモデル化する追加のテストを作成できます。詳細については、モデルカバレッジタスクの自動化とテストケースの生成 (Simulink Design Verifier)を参照してください。
既存のテストを拡張する — 既存のテストでは、設計のすべての部分が完全に実行されない場合があります。Simulink Design Verifier™ のライセンスをお持ちの場合は、追加のテストを自動的に生成して、設計のテストされていない部分を実行できる場合があります。詳細については、テストケース生成を使用したテストカバレッジの段階的な拡大を参照してください。
結果を正当化する — 障害時にのみ有効になるサブシステムなど、モデルの一部がシミュレーション時に設計に従って実行されない場合があります。このような場合にフルカバレッジを達成するために、未達カバレッジを正当化できます。詳細については、カバレッジフィルターの規則の作成、編集、表示を参照してください。

結果のレポートとアーカイブ

カバレッジテストでモデルが十分に実行された場合は、レポートされた結果をアーカイブできます。詳細については、以下を参照してください。