Main Content

Simulink Coverage を使用したモデルの解析

ヒント

Simulink Test のライセンスがある場合は、テスト マネージャーで直接カバレッジを収集して集計できます。詳細については、Simulink Test のテスト マネージャーを使用したモデル カバレッジの解析を参照してください。

Simulink® Coverage™ を使用して、シミュレーション時にモデルのどの部分が実行されるかを詳しく理解して、モデルのバグやテストのギャップを見つけます。通常、ワークフローは次のようになります。

Flowchart that lists the workflow steps

カバレッジの有効化とメトリクスの選択

最初に、カバレッジを有効化して、モデルに適用するのに最適なカバレッジ メトリクスを選択する必要があります。メトリクスの選択の詳細については、カバレッジの有効化とメトリクスの選択を参照してください。特定のブロックの詳細については、カバレッジの対象となるモデル オブジェクトを参照してください。

カバレッジの解析と結果の表示

カバレッジを有効にしてモデルをシミュレートすると、Simulink Coverage では、シミュレーション中に実行されたモデル要素についてレポートされ、強調表示されます。Simulink でモデルのカラーリングを使用して、[カバレッジの詳細] ペインでカバレッジ結果を参照します。カバレッジの結果エクスプローラーを使用して、個々のテストとカバレッジの集計を参照し、どのテストでどのモデル要素が実行されているか確認することもできます。累積カバレッジとも呼ばれるカバレッジの集計では、複数のテストを実行できます。各テストはモデルの特定の部分を対象とし、各シミュレーションのカバレッジを 1 つのレポートに結合できます。

未達カバレッジの解決

モデル カバレッジの結果を表示した後、モデルが 100% のカバレッジに達していないことを見つける場合があります。モデル カバレッジを大きくするには、次のようにします。

Flowchart that lists options for resolving missing coverage.

  • モデルを編集する — 必要な設計の一部ではない、意図しない機能がモデルに含まれている場合があります。意図しない機能を削除します。

  • 要件を編集する — 正しくない要件または不足している要件がある場合があります。Requirements Toolbox™ を使用すると、Simulink で要件を作成および編集できます。要件を追加する場合は、その要件のテスト ケースを追加する必要があります。詳細については、要件に対するモデルのテストと結果のレポートを参照してください。

  • テストを編集する — 既存のテストでは、意図したとおりのシミュレーション入力が完全に実行されない場合があります。Simulink Coverage を使用すると、これらの入力をモデル化する追加のテストを作成できます。詳細については、モデル カバレッジ タスクの自動化テスト ケースの生成 (Simulink Design Verifier)を参照してください。Simulink Design Verifier™ のライセンスをお持ちの場合は、追加のテストを自動的に生成して、設計のテストされていない部分を実行できる場合があります。詳細については、テスト ケース生成を使用したテスト カバレッジの段階的な拡大を参照してください。

  • 未達カバレッジの結果をフィルター処理する — 障害時にのみアクティブになるサブシステムなど、モデルの一部がシミュレーション時に設計に従って実行されない場合があります。このような場合にフル カバレッジを達成するために、実行する意図のないモデル要素の結果をフィルター処理できます。詳細については、カバレッジ フィルターの規則の作成、編集、表示を参照してください。

レポートの作成とアーカイブ

カバレッジを収集して、達成されない結果を解決した後に、HTML レポートを作成して結果をアーカイブできます。カバレッジの結果エクスプローラーで、カバレッジの集計結果または個々のテスト ケースからレポートを作成できます。

スタンドアロンのカバレッジ レポートを作成すると、既定では、カバレッジ テーブルに、不完全なカバレッジを含むモデル要素の場合にのみ達成された結果と達成されていない結果が一覧表示されます。これは、既定ではカバレッジ テーブルを示す [カバレッジの詳細] ペインに表示されるレポートとは異なります。[コンフィギュレーション パラメーター] ウィンドウまたはカバレッジの結果エクスプローラーでレポートの設定を変更できます。詳細については、カバレッジ結果へのアクセス、管理および集計を参照してください。

このチュートリアルを開始するには、次を参照してください。

関連するトピック