機能要件のテスト
Simulink® モデルが要件を満たすかどうかを検証する
機能要件とは、Simulink モデルが目的の設計仕様に確実に適合するために満たす必要がある特定の条件および動作を指します。機能要件は、モデルがさまざまな条件下でどのように動作する必要があるかを定義します (指定された入力に対して期待される出力を含む)。
トピック
- モデル要件
Simulink Design Verifier™ ブロック ライブラリにはサブライブラリ Example Properties が含まれています。
- 機能テストの実行とテスト カバレッジの解析
機能の依存関係の解析、モデル コンポーネントの単独でのテスト、テスト ケースのスイートの作成、モデルとコードのテストによるカバレッジの達成を行います。
- Requirements Table ブロックを使用した仕様モデルの作成
仕様モデルについて、およびそれらを要件に基づく検証に使用する方法についての説明。 (R2022b 以降)
- Requirements Table ブロックからのテストの生成とエクスポート
Requirements Table ブロックを含むモデルでテストの生成と実行を自動化する。
- オブザーバーによる検証ロジックの分離
Observer ブロックを使用してモデル内の検証ロジックを分離する。
