テストを使用した要件の検証
MATLAB および Simulink のテストに要件をリンクし、テストを実行して要件を検証します。要件の検証ステータスを追跡し、検証できない要件や検証する必要がない要件を正当化します。外部の結果を使用して要件を検証します。
クラス
メソッド
トピック
- モデルおよびコードの検証と妥当性確認
要件を定義し、モデルとコードをテストし、設計エラーの有無をチェックし、標準に準拠しているかどうかを確認し、テスト カバレッジを測定する。
- ステップ 1: 要件に対するモデルのテストと結果のレポート
- ステップ 2: 標準への準拠と設計エラーに関するモデルの解析
- ステップ 3: 機能テストの実行とテスト カバレッジの解析
- ステップ 4: コードの解析とソフトウェアインザループ テストの実行
- Review Requirements Verification Status
Use the requirements verification status to check test and analysis results linked to your requirements.
- View Unified Verification Results in Model Testing Dashboard and in Requirements Editor
Use the Model Testing Dashboard to visualize the requirements verification status of requirements in your projects. (R2024a 以降)
- Verify Requirements with MATLAB Tests
Verify requirements by running linked MATLAB tests. (R2022a 以降)
- テスト ケースの要件へのリンク
Simulink Test™ のテスト ケースを要件と関連付ける。
- Requirements Table ブロックからのテストの生成とエクスポート
Requirements Table ブロックを含むモデルでテストの生成と実行を自動化する。
- 要件の正当化
要件に正当化を指定する。
- 外部ソースからの結果を検証ステータスに含める
外部ソースからリンクし、要件の検証ステータスに結果を表示する。
注目の例
要件に基づくテストを使用した MATLAB アルゴリズムの検証
MATLAB ユニット テストを使用して MATLAB アルゴリズムを検証する。
モデル プロパティの解析による要件の検証
制御システムのプロパティとしてモデル化された要件を検証します。
Requirements Table ブロックでのプロパティの証明
Requirements Table ブロックと Simulink Design Verifier™ を使用してモデルのプロパティを証明する。
要件に基づくテストに対する仕様モデルの使用
要件に対して設計モデルを検証する体系的なアプローチに従います。
Verify Safety Requirements Linked to Test Steps Using Functional Requirements
Verify safety requirements that are linked to test assessment blocks using functional requirements.
要件に基づくテストの問題を修正
モデル テスト ダッシュボードを使用して、モデル テストの品質に関する問題を修正する。
テスト スクリプトへのリンク
要件を 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 という名前のテスト ケースが含まれます。
