最新のリリースでは、このページがまだ翻訳されていません。 このページの最新版は英語でご覧になれます。

要件に基づくテスト

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

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

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

  • Simulink Design Verifier™ Verification ブロック

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

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

クラス

slreq.JustificationWork with slreq.Justification objects

トピック

要件の実装の状態メトリクス データの確認

要件の実装メトリクスを使用して、モデルにどの程度の範囲で要件が実装されているかをチェックする。

要件による検証の状態の要約

要件にリンクされたテスト結果と解析結果を確認する。

要件からテスト ケースへのリンク

テスト ケースを要件と関連付ける。

要件の正当化

要件に正当化を指定する。