テスト ケース生成のワークフロー
モデルのテスト ケースを生成するには、次のワークフローを使用します。
タスク | 説明 | 例 |
---|---|---|
1 | Simulink® Design Verifier™ での使用におけるモデルの互換性を検証します。 | |
2 | オプションで、テスト生成アドバイザーを使用して、テストを生成するためのモデル コンポーネント (Atomic サブシステムおよびモデル ブロック) を選択できます。テストを生成する前に、この結果を使用してモデルをよりよく理解することができます。これは、大規模なモデルや複雑なモデル、テスト生成の互換性が確実に把握できていないモデルで特に便利です。 | |
3 | モデル内に Stateflow® オブジェクトがある場合、[コンフィギュレーション パラメーター] ダイアログ ボックスの [診断] 、 [Stateflow] ペインで、[到達不能の実行パス] を | |
4 | オプションで、テスト オブジェクティブおよびテスト条件を指定するブロックまたは MATLAB® 関数を含むモデルをインストルメント化します。 | |
5 | Simulink Design Verifier によるモデルのテスト ケース生成の方法を制御するオプションを指定します。 | |
6 | Simulink Design Verifier 解析を実行します。 | |
7 | 解析結果をレビューします。 |