コード カバレッジ解析に対するテスト

Simulink^® Design Verifier™ におけるコード カバレッジ解析では、Simulink モデルから生成されたコードのテストがどの程度まで実行されたかを評価します。この解析は、コードが期待どおりに動作し、品質標準を満たすことを確認するうえで欠かせません。コード カバレッジ解析は、テスト中に実行されていないコードの部分の特定に役立ちます。実行されていない部分があると、脆弱性につながる可能性やシナリオがテストされない可能性があります。

コード カバレッジ解析を実行すると、開発者は以下のことができます。

Simulink Design Verifier は、これらの解析をモデルベース デザイン ワークフローに統合し、モデルと生成コードの両方のテストと検証を容易にします。この統合により、モデルの動作と実装されたコードの間で整合性を維持でき、モデルからコードへの遷移でエラーが発生しないことを確認できます。