テストケースの要件ドキュメントへのリンク

要件は特定の条件に対する動作を指定するため、モデルの要件からテストケース (テスト入力、期待される出力、評価) を作成できます。テストケースはテスト入力を使用して特定の条件を再現し、期待される出力に対して実際のモデル出力を評価します。モデルを開発する際、システム動作をチェックするテストファイルを作成し、それらを対応する要件にリンクします。これらのテストケースをテストファイルに定義することで、モデルの安定性を示すために定期的にモデルをチェックし、結果をアーカイブできます。

テストにおける要件のトレーサビリティの確立

Simulink^® Test™ と Requirements Toolbox™ のライセンスを保有している場合、要件をテストハーネス、テストシーケンスおよびテストケースにリンクできます。リンクを追加する前に、サポートされる要件ドキュメントのタイプを確認してください。

テストハーネスにおける要件のトレーサビリティ

テスト対象のコンポーネントへの要件リンクを編集すると、リンクはすぐにテストハーネスとメインモデル間で同期されます。ブロックの追加など、テスト対象のコンポーネントへの他の変更については、テストハーネスを閉じるときに同期されます。テスト対象のコンポーネントにブロックを追加した場合、要件リンクを追加する前に、ハーネスを閉じて再度開くことでメインモデルを更新します。

要件リンクをもつ項目を表示するには、[アプリ] タブの [モデル検証]、[検証]、[テスト] で、[要件マネージャー] をクリックします。[要件] タブで [リンクの強調表示] をクリックします。

テストシーケンスにおける要件のトレーサビリティ

テストシーケンスでは、テストステップにリンクできます。リンクを作成するには、まずリンクするモデル項目、テストケースまたはドキュメント内の場所を見つけます。テストステップを右クリックして [要件] を選択し、リンクを追加するか、リンクエディターを開きます。

要件リンクをもつテストステップを強調表示するか、または強調表示を解除するには、Test Sequence エディターのツールストリップにある要件リンクの強調表示ボタンを切り替えます。テストステップを強調表示すると、モデルのブロック線図も強調表示されます。

テストケースにおける要件のトレーサビリティ

1 つのテストハーネスで多数のテストケースを使用する場合、どのブロックとテストステップが適用されるかを区別するために、それぞれ特定のテストケースにリンクします。テストステップまたはテストハーネスブロックをテストケースにリンクするには、次を行います。

テストマネージャーでテストケースを開きます。
左側のペインの [テストブラウザー] タブで、テストケースを選択します。
Simulink の [アプリ] タブで、[要件マネージャー] をクリックします。
テストケースを以下にリンクします。
- Simulink ブロック。ブロックを右クリックし、コンテキストメニューから [要件] 、 [現在のテストケースにリンク] を選択します。
- テストステップ。テストハーネス内のテストシーケンスブロックをダブルクリックし、Test Sequence エディターを開きます。テストステップを右クリックし、コンテキストメニューから [要件] 、 [現在のテストケースにリンク] を選択します。

要件のトレーサビリティの例

この例は、テストハーネスとテストシーケンスに要件リンクを追加する方法を示しています。モデルは自動操縦のロール制御システムのコンポーネントです。この例には、Simulink Test および Requirements Toolbox が必要です。

モデル、テストファイル、ハーネスを開きます。

openExample("simulinktest/ModelCoverageMATLABUnitExample", ...
    supportingFile="RollAutopilotMdlRef.slx")
openExample("simulinktest/ModelCoverageMATLABUnitExample", ...
    supportingFile="AutopilotTestFile.mldatx")
sltest.harness.open("RollAutopilotMdlRef/Roll Reference",...
"RollReference_Requirement1_3")

テストハーネスで、[アプリ] タブの [モデル検証]、[検証]、[テスト] で [要件マネージャー] をクリックします。[要件] タブで [リンクの強調表示] をクリックします。
テストハーネスは Test Sequence ブロック、テスト対象のコンポーネントおよび Test Assessment ブロックを強調表示します。
Discrete Derivative ブロックにトレーサビリティを追加します。
1. Discrete Derivative ブロックを右クリックして、[要件] 、 [[外向きリンク] ダイアログを開く] を選択します。
2. [要件] タブで [新規] をクリックします。
3. 次のように入力してリンクを確立します。
  - 説明: DD link
  - ドキュメントタイプ: テキストファイル (レガシ)
  - ドキュメント: RollAutopilotRequirements.txt
  - 場所: 1.3 Roll Hold Reference
4. [OK] をクリックします。Discrete Derivative ブロックが強調表示されます。
要件ドキュメントまでトレースするには、Discrete Derivative ブロックを右クリックし、[要件] 、 [DD Link] を選択します。エディターに要件ドキュメントが開き、リンクされたテキストが強調表示されます。
テストハーネスで、Test Sequence ブロックを開きます。InitializeTest ステップにリンクする要件リンクを、テストケースに追加します。
1. テストマネージャーの左側のペインの [テストブラウザー] タブで、Requirement 1.3 Test を選択します。
2. テストハーネスで、テストシーケンスブロックをダブルクリックし、Test Sequence エディターを開きます。InitializeTest ステップを右クリックし、コンテキストメニューから [要件] 、 [現在のテストケースにリンク] を選択します。
  要件リンクが追加されると、Test Sequence エディターはそのステップを強調表示します。