サブシステムと参照モデルに対するテスト
検証のためにターゲットを絞ったテスト ケースを生成する
Simulink® Design Verifier™ を使用すると、大規模な Simulink モデル内の個々のサブシステムや参照モデル用にテスト ケースを生成することができます。このターゲットを絞ったテスト アプローチにより特定のコンポーネントの動作を分離し、検証することができます。
サブシステムと参照モデルに焦点を絞ることで、以下のことができます。
開発サイクルの早い段階で、モデル レベルの検証を実行する。
システム統合前に、分離されたサブシステムの問題を検出し解決する。
サブシステム向けに生成されたテスト入力は、統合時に達成されるカバレッジに集約できます。
トピック
- コンポーネント検証とは
コンポーネント検証の 2 つの方法の概要。
- サブシステムのテスト ケースの生成
個々のサブシステムを解析します。
- Generate Test Cases for a Reusable Library Subsystem
Analyze a reusable library subsystem.
- サブシステムおよび Model ブロック内の未達カバレッジの達成
未達カバレッジの達成を試みる前に、サブシステムを Model ブロックに変換する方法を説明します。
- テスト生成アドバイザーによる解析可能コンポーネントの特定
テスト生成アドバイザーを使用してモデルとコンポーネントの解析を進めます。
- サブシステム解析時の既存のカバレッジ データの使用
この例では、Simulink® Design Verifier™ において、連続時間閉ループ シミュレーション内の 1 つのサブシステムを解析のターゲットとし、そのサブシステムの未達カバレッジに対してテスト ケースを生成する方法を説明します。
- Stateflow Atomic サブチャートの解析
Simulink Design Verifier を使用して Atomic サブチャートを解析します。
- Observer Reference ブロックを使用したテスト ケースの生成
Observer Reference ブロックを使用してテスト ケースを生成する。
