要件検証の状態の確認

要件ブラウザーと要件エディターで、要件の検証の状態を確認できます。検証の状態は、Simulink^® Test™ を使用したシミュレーションテスト、または Simulink Design Verifier™ を使用したプロパティ証明の結果を反映します。要件からシミュレーション評価または証明オブジェクティブへの Verify タイプのリンクを使用します。詳細については、リンクタイプを参照してください。

機能要件の検証

要件タイプは、要件の役割を指定します。Functional タイプのサブタイプであるカスタムタイプをもつ要件と同様に、機能要件は実装対象であり、検証の状態サマリーの対象になります。他の要件タイプは検証の状態の対象となりません。詳細については、要件タイプおよびsl_customization ファイルを使用したカスタム要件とリンクタイプの定義を参照してください。

機能要件は、Verify タイプのリンクをもつ特定の検証項目にリンクすることで検証できます。

MATLAB^® テスト: 要件の検証の状態は、要件エディターで、または slreq.ReqSet.runTests を使用して実行された MATLAB ユニットテストの結果を反映します。詳細については、MATLAB テストによる要件の検証およびユニットテストを記述する方法を参照してください。

メモ
テストブラウザーおよび MATLAB Test マネージャー (MATLAB Test)からのテスト結果は、要件エディターの検証の状態に影響しません。
シミュレーションテスト: 要件の検証の状態には、次のリンク可能な Simulink Test 項目をテストマネージャーで実行した後の結果が反映されます。
- テストファイル
- テストスイート
- テストケース
- 反復
- 評価
Simulink Test 項目で要件を検証する方法については、要件に対するモデルのテストと結果のレポートを参照してください。
Simulink テストマネージャーから、または sltest.testmanager.run (Simulink Test) を使用してテストを実行します。テストケースの作成と実行に関する簡単なチュートリアルについては、Create and Run a Baseline Test Case (Simulink Test)の最初の部分に従ってください。
verify (Simulink Test) ステートメントまたはModel Verification Blocks (Simulink Test)による実行時評価は、テストマネージャーのテストケースを通してこれらの評価を監視することによって取得します。
verify (Simulink Test) ステートメントを含む Test Sequence ブロック内のステップを要件にリンクすると、次の場合に、対応する verify ステートメントの検証の状態を可視化できます。
- テストハーネス: Test Sequence ブロックを含むテストハーネスをシミュレートし、シミュレーション結果を Simulink Data Inspector (SDI) で開きます。
- テストマネージャー: Simulink Test でテストを実行し、verify ステートメントを含むステップで Test Sequence ブロックを実行します。
あるいは、要件メニューの [テストの実行] オプションまたは関数 runTests を使用して、指定された要件のバッチテストを実行します。
ステップに verify ステートメントが含まれていない場合に、ステップのリンクタイプを [検証元] に手動で設定すると、検証の状態は unexecuted のままになります。Assert ステートメントは、要件エディターで [検証元] としてマークされません。詳細については、Assess Model Simulation Using verify Statements (Simulink Test) を参照してください。
プロパティ証明: 検証の状態は、次を使用してモデル化されたプロパティの解析結果を反映します。
- Simulink Design Verifier の Proof Objective ブロック
- Model Verification ブロック
ブロックを要件にリンクしてから、プロパティを解析します。詳細については、モデルプロパティの解析による要件の検証を参照してください。

要件は、Confirm タイプのリンクをもつ外部の結果ソースにリンクすることでも検証できます。詳細については、外部ソースからの結果を検証の状態に含めるを参照してください。

リンク検証解析の実行

Requirements Toolbox™ は、ユーザーが実行するまで、リンク検証解析を実行しません。要件エディターまたは要件パースペクティブで解析を実行できます。

要件エディターまたは要件パースペクティブのバナーは、結果が保留中である場合に示されます。解析を実行するには、バナーの [今すぐ分析] をクリックします。あるいは、要件エディターの [更新] をクリックするか、要件パースペクティブの更新ボタンをクリックします。

slreq.clear を使用するまで、リンク検証解析はバックグラウンドで継続的に実行されます。

あるいは、updateVerificationStatus と getVerificationStatus を使用すると、要件エディターまたは要件パースペクティブで解析を実行せずに、MATLAB コマンドラインで検証の状態を確認できます。slreq.ReqSet.runTests を使用して、要件セット内の要件にリンクされたテストを実行し、コマンドラインで検証の状態を取得することもできます。