このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
要件に基づくテスト
次のような、要件アーティファクトとテスト アーティファクトの間の検証リンク タイプを設定します。
Simulink® Test™ のテスト ファイル、テスト スイート、およびテスト ケース
Simulink Design Verifier™ Verification ブロック
Simulink Model Verification ライブラリ ブロック
実装ステータスのメトリクスを使用して、要件が実装されていて、整合性のギャップが解決されているかどうかを確認します。検証ステータスのメトリクスを使用して、これらに関連付けられているテストを実行することで要件が検証されているかどうかを確認します。要件エディターにおいて、要件セットの実装ステータスおよび検証ステータスを確認します。テストの実行後、結果の概要を表示してテストの失敗を解決します。正当化を作成し、実装ステータスと検証ステータスのメトリクスの計算から要件を除外します。
クラス
slreq.ReqSet | 要件セットでの作業 |
slreq.Justification | 要件の正当化 |
slreq.verification.services.TAP | 外部結果ソースの操作 (R2020a 以降) |
slreq.verification.services.JUnit | 外部結果ソースの操作 (R2020a 以降) |
メソッド
getImplementationStatus | Query requirement set implementation status summary |
getVerificationStatus | Query requirement set verification status summary |
runTests | Run test cases linked to requirement set |
updateImplementationStatus | 要件セットの実装ステータスの概要を更新 |
updateVerificationStatus | 要件セットの検証ステータスの概要の更新 |
トピック
- モデルおよびコードの検証と妥当性確認
製品の検証、妥当性確認、テストを使用して、要件を定義し、モデルとコードをテストし、設計エラーの有無をチェックし、標準に準拠しているかどうかを確認し、テスト カバレッジを測定する。
- ステップ 1: 要件に対するモデルのテストと結果のレポート
- ステップ 2: 標準への準拠と設計エラーに関するモデルの解析
- ステップ 3: 機能テストの実行とテスト カバレッジの解析
- ステップ 4: コードの解析とソフトウェアインザループのテスト
- 要件検証ステータスの確認
要件の検証ステータスを使用して、要件にリンクされたテスト結果と解析結果を確認する。
- 要件の実装ステータスの確認
要件の実装ステータスを使用して、モデルにどの程度の範囲で要件が実装されているかをチェックする。
- テスト ケースの要件へのリンク
Simulink Test のテスト ケースを要件と関連付ける。
- Verify Requirements with MATLAB Tests
Verify requirements by running linked MATLAB® tests.
- View Unified Verification Results in Metrics Dashboard and in Requirements Editor
Use the Metrics Dashboard to visualize the requirements verification status of requirements in your projects.
- 要件エディターでのテスト ケースの変更の追跡
要件エディターで要件にリンクされたテスト ケースの変更を追跡する。
- 要件の正当化
要件に正当化を指定する。
- 外部ソースからの結果を検証ステータスに含める
外部ソースからの結果をリンクして、要件の検証ステータスに反映します。
- テスト スクリプトへのリンク
要件を MATLAB スクリプトにリンクする。
- 要件ファイルへのリンク
要件をテスト結果ファイルにリンクする。