テストモデルの等価性

モデルと生成コード、または異なる 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 テストを作成する。

注目の例

パラメーター値の生成

この例では、パラメーターコンフィギュレーションファイルを使用して Simulink® Design Verifier™ の解析用にパラメーターを調整する方法を説明します。モデルには、アクティブなコントローラーを有効にして、その出力をモデル出力として選択するパラメーター control_mode が含まれます。Simulink Design Verifier はこのパラメーターを 1 または 2 に制約される入力として処理し、各テストケースに適切な値を生成します。

スクリプトを開く