Main Content

要件に基づくテスト

要件に基づくモデルの検証、テスト結果の解釈とレポート

次のような、要件アーティファクトとテスト アーティファクトの間の検証リンク タイプを設定します。

  • Simulink® Test™ のテスト ファイル、テスト スイート、およびテスト ケース

  • Simulink Design Verifier™ Verification ブロック

  • Simulink Model Verification ライブラリ ブロック

実装の状態メトリクスを使用して、要件が実装されていて、整合性のギャップが解決されているかどうかを確認します。検証の状態メトリクスを使用して、これらに関連付けられているテストを実行することで要件が検証されているかどうかを確認します。要件エディターにおいて、要件セットの検証の実装および検証の状態を確認します。テストの実行後、結果の概要を表示してテストの失敗を解決します。正当化を作成し、実装と検証の状態のメトリクスの計算から要件を除外します。

クラス

slreq.JustificationWork with slreq.Justification objects
slreq.verification.services.TAP Work with external results sources
slreq.verification.services.JUnit Work with external results sources

トピック