要件に対するモデルのテストと結果のレポート

この例では次を使用します。

要件 – テストのトレーサビリティの概要

要件とテストケース間のトレーサビリティは、テスト結果を解釈し、要件が検証された範囲を確認するのに役立ちます。テストマネージャー内のテストケース、Test Sequence ブロック内の verify ステートメント、またはモデル内の Model Verification ブロックなど、検証に役立つ要素に要件をリンクさせることができます。テストの実行時、要件セットにパス/失敗の概要が表示されます。

この例では、クルーズコントロールモデルの一般的な要件に基づくテストワークフローを説明します。1 つの要件セット、1 つのモデル、および 1 つのテストケースから始めます。テストと安全要件の間にトレーサビリティを追加します。テストを実行し、検証の状態を要約し、結果をレポートします。

Requirements-based testing workflow

この例では、2 つの要件からなる単純なテストセットを実行します。

ブレーキイベントが発生したとき、クルーズコントロールシステムが作動から解除に遷移する。
現在の車両速度が 20 mph から 90 mph の範囲外であるとき、クルーズコントロールシステムが作動から解除に遷移する

要件の表示

プロジェクト例を開きます。

openExample("shared_vnv/CruiseControlVerificationProjectExample");
pr = openProject("SimulinkVerificationCruise");

models フォルダーで、simulinkCruiseAddReqExample モデルを開きます。
要件を表示します。モデルキャンバスの右下隅にあるアイコンをクリックし、[要件] を選択します。要件がモデルキャンバスの下に表示されます。
検証および実装の状態を表示します。要件を右クリックして、[検証の状態] および [実装の状態] を選択します。
プロジェクトウィンドウで、tests フォルダーから Simulink^® Test™ ファイル slReqTests.mldatx を開きます。テストマネージャーでテストファイルが開きます。

要件のテストへのリンク

要件をテストケースにリンクします。

プロジェクトウィンドウで、tests フォルダーから Simulink Test ファイル slReqTests.mldatx を開きます。テストマネージャーでテストファイルが開きます。テストスイートを確認し、Safety Tests を選択します。
モデルに戻ります。要件 S 3.1 を右クリックし、[選択したテストケースからのリンク] を選択します。
Safety Tests テストケースへのリンクが [検証元] に追加されます。[Verified] 列のバーが黄色になっており、要件が検証されていないことを示しています。
また、項目 S 3.4 のリンクを追加します。

テストの実行

テストケースでは、テストハーネス SafetyTest_Harness1 を使用します。このテストハーネスでは、テストシーケンスで入力条件が設定され、モデルの動作がチェックされます。

BrakeTest シーケンスは、クルーズコントロールを作動させた後、ブレーキをかけます。これには verify ステートメントが含まれます。
```
verify(engaged == false,...
    'verify:brake',...
    'system must disengage when brake applied')
```
LimitTest シーケンスは、クルーズコントロールを作動させた後、上限を超えるまで車両速度を上げます。これには verify ステートメントが含まれます。
```
verify(engaged == false,...
    'verify:limit',...
    'system must disengage when limit exceeded')
```

テストマネージャーに戻ります。テストケースを実行するには、[実行] をクリックします。
テストが完了したら、結果を確認します。テストマネージャーで両方の評価にパスしたことが示され、各 verify ステートメントの詳細な結果がプロットに表示されます。
モデルに戻り、要件をリフレッシュします。[Verified] 列のバーが緑になり、要件の検証が正常に完了したことが示されます。

結果のレポート

Microsoft^® Word のカスタムテンプレートを使用してレポートを作成します。
1. テストマネージャーの結果で、テストケース名を右クリックします。[レポートの作成] を選択します。
2. [テスト結果のレポートの生成] ダイアログボックスで、オプションを次のように設定します。
  - タイトル — SafetyTest
  - 次の結果 — All Tests
  - ファイル形式 — DOCX
  - その他のオプションは、既定の選択のままにします。
3. ファイル名を入力してレポートの場所を選択します。
4. [テンプレートファイル] には、documents プロジェクトフォルダーの ReportTemplate.dotx ファイルを選択します。
5. [作成] をクリックします。
レポートを確認します。
1. [テストケース要件] セクションに、関連する要件が示されます。
2. [結果の検証] セクションに、テストの 2 つの評価の詳細と、シミュレーション出力へのリンクが含まれます。

外部の Web サイト

要件に基づくテストワークフロー