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