要件に基づくテスト
要件に基づくモデルの検証,テスト結果の解釈とレポ,ト
次のような、要件ア、ティファクトとテストア、ティファクトの間の検証リンクタ、プを設定します。
金宝app®测试™のテストファ@ @ル,テストス@ @ト,およびテストケ@ @ス
金宝appSimulink设计验证器™验证ブロック
金宝appSimulink模型验证ラescブラリブロック
実装の状態メトリクスを使用して,要件が実装されていて,整合性のギャップが解決されているかどうかを確認します。検証の状態メトリクスを使用して,これらに関連付けられているテストを実行することで要件が検証されているかどうかを確認します。要件エディタ,において,要件セットの検証の実装および検証の状態を確認します。テストの実行後,結果の概要を表示してテストの失敗を解決します。正当化を作成し,実装と検証の状態のメトリクスの計算から要件を除外します。
クラス
slreq。ReqSet |
要件セットでの作業 |
slreq。的理由 |
slreq。的理由 オブジェクトの操作 |
slreq.verification.services.TAP |
使用外部结果来源 |
slreq.verification.services.JUnit |
使用外部结果来源 |
メソッド
getImplementationStatus |
查询需求集实现状态摘要 |
getVerificationStatus |
查询需求集验证状态摘要 |
runTests |
运行连接到需求集的测试用例 |
updateImplementationStatus |
要件セットの実装状態の概要を更新 |
updateVerificationStatus |
要件セットの検証状態の概要の更新 |
トピック
- 要件実装の状態の確認
要件の実装の状態を使用して,モデルにどの程度の範囲で要件が実装されているかをチェックする。
- 要件検証の状態の確認
要件の検証の状態を使用して,要件にリンクされたテスト結果と解析結果を確認する。
- 要件からテストケ,スへのリンク
テストケ,スを要件と関連付ける。
- 要件エディタ,でのテストケ,スの変更の追跡
要件エディタ,で要件にリンクされたテストケ,スの変更を追跡する。
- 要件の正当化
要件に正当化を指定する。
- 外部ソ,スからの結果を検証の状態に含める
外部ソ,スからの結果をリンクして,要件の検証の状態に反映します。
- テストスクリプトへのリンク
要件をmatlab®スクリプトにリンクする。
- 要件ファ@ @ルへのリンク
要件をテスト結果ファ@ @ルにリンクする。