Main Content

このページの翻訳は最新ではありません。ここをクリックして、英語の最新版を参照してください。

要件に基づくテスト

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

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

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

  • Simulink Design Verifier™ Verification ブロック

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

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

クラス

slreq.ReqSet 要件セットでの作業
slreq.Justificationslreq.Justification オブジェクトの操作
slreq.verification.services.TAP 外部結果ソースの操作
slreq.verification.services.JUnit 外部結果ソースの操作

メソッド

getImplementationStatus Query requirement set implementation status summary
getVerificationStatus Query requirement set verification status summary
runTests Run test cases linked to requirement set
updateImplementationStatus要件セットの実装状態の概要を更新
updateVerificationStatus要件セットの検証状態の概要の更新

トピック