コード カバレッジ解析に対するテスト
Simulink® Design Verifier™ におけるコード カバレッジ解析では、Simulink モデルから生成されたコードのテストがどの程度まで実行されたかを評価します。この解析により、コードが期待どおりに動作し、品質標準を満たすことがチェックされます。コード カバレッジ解析は、テスト中に実行されていないコードの部分の特定に役立ちます。実行されていない部分があると、脆弱性につながる可能性やシナリオがテストされない可能性があります。
コード カバレッジ解析を実行すると、以下のことができます。
コードのテストされていない部分を特定する。
テスト ケースを改善してカバレッジを高める。
特定のコード カバレッジ レベルを要求することが多い DO-178C などの業界標準への準拠をチェックする。
Simulink Design Verifier は、これらの解析をモデルベース デザイン ワークフローに統合し、モデルと生成コードの両方のテストと検証を容易にします。この統合により、モデルの動作と実装されたコードの間で整合性を維持でき、モデルからコードへの遷移でエラーが発生しないことを確認できます。
トピック
- コード カバレッジ テストの生成
この例では、Simulink® Design Verifier™ を使用してテスト ケースを生成し、完全なコード カバレッジを取得する方法を説明します。
- Embedded Coder で生成されたコードのテスト ケースの生成
生成コードのテスト ケースを生成する処理の概要を説明する。
- コード生成コンポーネントの検証
この例では
slvnvdemo_powerwindowモデルを使用して、あるコンポーネントを、モデルがそのコンポーネントを含むという状況下で検証する方法を示します。 - コードの解析とソフトウェアインザループ テストの実行
コード エラーの検出、コード メトリクスの生成、コードとモデルの等価性のテスト、要件に対するコードのテストを行う。
- S-Function と C/C++ コードに対する Simulink Design Verifier の制限事項と考慮事項
Simulink Design Verifier での S-Function と生成コードの制限事項と考慮事項をリストする。
