Embedded Coder で生成されたコードのテストケースの生成

この例では次を使用します。

Embedded Coder^® を使用して、ソフトウェアインザループ (SIL) モードに設定されているモデルからコードを生成する場合、Simulink^® Coverage™ を使用して、生成コードのカバレッジメトリクスを記録できます。ただし、100% のモデルカバレッジを達成できるテストでも、生成コードでは 100% のカバレッジが得られない場合があります。出力コードとモデルの間に次のようないくつかの違いがあると、コードカバレッジとモデルカバレッジを比較した場合にギャップが生じる可能性があります。

追加のカスタムコードファイル
共有ユーティリティファイル
次のようなコード変換
- 式の畳み込み
- 式の簡略化または展開
- ルックアップテーブルによる新しい判定点

Simulink Design Verifier™ を使用すると、生成コードのカバレッジを拡大するテストケースを生成できます。生成コードのテストケースは、Simulink Design Verifier API を使用してブロック線図から生成するか、Simulink Test™ テストマネージャーから生成します。テストケースを生成する前に、少なくとも 1 回、カバレッジ結果を記録しなければなりません。

Simulink モデルツールストリップから生成されたコードのテストケースの生成

モデルの SIL コードカバレッジを有効 (Simulink Coverage)にし、モデルをシミュレートしてコードカバレッジデータを記録した後、Simulink Design Verifier を使用して、生成コードの追加のテストケースを生成します。

[Design Verifier] タブの [モード] セクションで、[テスト生成] を選択します。
- 最上位モデルとして生成されたコード用のテストを生成するには、[ターゲット] 、 [最上位モデルとして生成されたコード] を選択し、[テストの生成] をクリックします。
- モデル参照として生成されたコード用のテストを生成するには、[ターゲット] 、 [モデル参照として生成されたコード] を選択し、[テストの生成] をクリックします。
Simulink Design Verifier のテスト生成は、選択したテスト生成モードに従って進行します。

最上位モデルとして生成されたコードとモデル参照として生成されたコードの違いの詳細については、以下を参照してください。

Configure and Run SIL Simulation (Embedded Coder)
SIL および PIL のコードインターフェイス (Embedded Coder)
SIL アプローチまたは PIL アプローチの選択 (Embedded Coder)

Simulink Design Verifier API を使用して生成されたコードのテストケースの生成

生成コードのテストケースをプログラムによって生成する方法の例については、コードカバレッジテストの生成を参照してください。

Simulink Test テストマネージャーから生成されたコードのテストケースの生成

Simulink Test テストマネージャーを使用して、SIL モードに設定されているモデルのコードカバレッジを記録すると、生成コードのカバレッジをテストマネージャーから直接、段階的に拡大できます。詳細については、テストケース生成を使用したテストカバレッジの段階的な拡大を参照してください。