テスト モデルの等価性
モデルと生成コード、または異なる Simulink® リリースで実行されるモデルとの動作の等価性をテストする
back-to-back テスト、つまり等価性テストは、ノーマル シミュレーションの結果を、2 つのリリース間、またはソフトウェアインザループ (SIL)、プロセッサインザループ (PIL)、またはハードウェアインザループ (HIL) のシミュレーションから生成されたコードの結果と比較します。back-to-back テストは、拡張 MCDC を使用する Simulink Test™ で生成できます。
トピック
生成コードの back-to-back (B2B) 等価性テスト
- コードの解析とソフトウェアインザループのテスト
コード エラーの検出、コード メトリクスの生成、コードとモデルの等価性のテスト、要件に対するコードのテストを行う。 - 拡張 MCDC を使用した back-to-back テストの作成
拡張 MCDC を使用して等価性テストを作成し実行する。
リリース間のモデル動作の数値的等価性の検証
- 拡張 MCDC を使用した back-to-back テストの作成と実行
テスト マネージャーで、拡張 MCDC を使用して back-to-back テストを作成する。