要件検証の状態の確認

要件ブラウザーと要件エディターで、要件の検証の状態を確認できます。検証の状態は、MATLAB^® の特定のテストに加え、Simulink^® Test™ のテストと Simulink Design Verifier™ のプロパティ証明の結果を反映したものになります。

機能要件の検証

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

機能要件を検証するには、Verify タイプのリンクを使用して検証項目にリンクします。詳細については、リンクタイプを参照してください。要件の検証には、次の検証項目のみを使用できます。

MATLAB テスト: 要件の検証の状態には、要件エディターを使用するか関数 runTests を使用して実行された MATLAB テストの結果が反映されます。また、MATLAB Test がある場合は、MATLAB Test マネージャー (MATLAB Test)を使用してプロジェクト内の要件を検証できます。詳細については、Verify Requirements with MATLAB Testsを参照してください。

メモ
テストブラウザーからのテスト結果は、要件エディターの検証の状態に影響しません。
シミュレーションテスト: 要件の検証の状態には、次のリンク可能な Simulink Test 項目をテストマネージャーで実行した後の結果が反映されます。
- テストファイル
- テストスイート
- テストケース
- 反復
- 評価
Simulink Test 項目で要件を検証する方法については、要件に対するモデルのテストと結果のレポートを参照してください。
Simulink テストマネージャーから、または sltest.testmanager.run (Simulink Test) を使用してテストを実行します。テストケースの作成と実行に関する簡単なチュートリアルについては、ベースラインテストケースの作成と実行 (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 を使用して、要件セット内の要件にリンクされたテストを実行し、コマンドラインで検証の状態を取得することもできます。

検証の状態の表示

検証の状態は、要件ブラウザーと要件エディターの [検証済み] 列に要約されます。列を表示するには、次のようにします。

要件エディターで、 [列] 、 [検証の状態] を選択する。
モデルウィンドウの [要件ブラウザー] ペインで、要件を右クリックして [検証の状態] を選択する。

たとえば、[検証済み] 列には、1 つの失敗した結果と共に、この要件セットの検証リンクが部分的に表示されます。

The Requirements Editor shows the Implemented and Verified columns for a requirement set. The mouse points to the bar in the Verified column for one of the parent requirements. The tooltip shows that seven of the child requirements have a passed status, one has a justified status, one has a failed status, one has an unexecuted status, and eight have no links.