要件に基づくテスト

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

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

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 requirements verification status to visualize the results linked to your requirements which are used in Projects.
要件エディターでのテストケースの変更の追跡
要件エディターで要件にリンクされたテストケースの変更を追跡する。
要件の正当化
要件に正当化を指定する。
外部ソースからの結果を検証ステータスに含める
外部ソースからの結果をリンクして、要件の検証ステータスに反映します。
テストスクリプトへのリンク
要件を MATLAB スクリプトにリンクする。
要件ファイルへのリンク
要件をテスト結果ファイルにリンクする。

注目の例

要件に基づくテストを使用した MATLAB アルゴリズムの検証

MATLAB ユニットテストを使用して MATLAB アルゴリズムを検証する。

ライブスクリプトを開く

テストとしてカスタムに作成された MATLAB スクリプトからの結果の統合

この例では、要件を MATLAB® スクリプトにリンクします。要件エディターの検証ステータスにテスト結果が反映されます。この例では、テストスクリプトへのリンクで説明した手順を実行します。この例では、counter_req.slreqx という名前の要件セットファイル、および Counter.m の Counter クラスのテストを実行する runmytests.m という MATLAB スクリプトを使用します。テストスクリプトには、結果を TAP 形式で results.tap という名前のファイルに書き込むカスタムメソッドが含まれています。

ライブスクリプトを開く

外部の結果ファイルからの結果の統合

この例では、要件を Excel® 形式の結果ファイルにリンクします。"要件エディター" の検証ステータスにテスト結果が反映されます。この例では、要件ファイルへのリンクで説明した手順を実行します。この例では、counter_req という名前の要件セットファイルと results.xlsx という名前のテスト結果ファイルを使用します。このファイルには、counterSetsValue という名前のテストケースが含まれます。

ライブスクリプトを開く

モデルプロパティの解析による要件の検証

制御システムのプロパティとしてモデル化された要件を検証します。

モデルを開く

要件に基づくテストの問題を修正

モデルテストダッシュボードを使用して、モデルテストの品質に関する問題を修正する。

ライブスクリプトを開く

テストとしてカスタムに作成された MUnit スクリプトからの結果の統合

この例では、テストスクリプトにリンクすることで、MATLAB® xml ユニットテストからの結果を統合します。"要件エディター" の検証ステータスにテスト結果が反映されます。この例では、counter_req という名前の要件セットファイルと myMUnitResults.xml という名前の XML ユニットテストファイルを使用します。このファイルには、testCounterStartsAtZero という名前のテストケースが含まれます。

ライブスクリプトを開く