Main Content

このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

テスト ケースの要件へのリンク

Simulink® Test™ と Requirements Toolbox™ がある場合は、要件を Simulink テスト ケースにリンクできます。要件をテストにリンクすることで、要件の検証の状態を使用して検証の進行状況を追跡し、要件の実装が期待どおりに動作しているかを検証できます。

この例では、自動車のクルーズ コントロール システムのコントローラー モデルに関連付けられている要件にテスト ケースをリンクする方法を説明します。テストを実行した後、[要件エディター] で検証の状態を確認します。

プロジェクト ファイルを開く

CruiseRequirementsExample プロジェクトを開きます。このプロジェクトには、自動車のクルーズ コントロール システムの要件、モデル、およびテストが含まれています。次に、crs_controller モデルを開きます。

openProject("CruiseRequirementsExample");
open_system("models/crs_controller")

MATLAB® で、リンクするテストが含まれているテスト ファイルを開きます。[プロジェクト] ペインで tests フォルダーにある DriverSwRequest_Tests.mldatx テスト ファイルを右クリックして [開く] を選択し、そのテスト ファイルを [テスト マネージャー] で開きます。テスト ケースでは crs_controller モデルをテスト対象システムとして使用しています。テスト ケースの多くは crs_req_func_spec 要件セットの要件にリンクしています。

The DriverSwRequest_Tests test file is shown in the Test Browser. Its single test suite and eight test cases are shown.

この例では、テスト ケースを crs_req_func_spec 要件セットの要件にリンクします。"要件エディター" を開きます。[アプリ] タブで [要件エディター] を選択します。

The Requirements Editor shows the crs_req_func_spec requirement set. Its four top-level requirements and top-level justification are collapsed.

Requirements Toolbox によって crs_req_func_spec 要件セットが読み込まれています。これは、ファイルにそれらとの間のリンクがあるため、crs_controller モデルを開いた時点で読み込まれたものです。[リフレッシュ] ボタン refresh_16.png をクリックして、検証リンクの機能要件が [要件エディター] で解析されていることを確認します。

要件のテストへのリンク

Resume switch detection という概要をもつ要件を Resume button という名前のテスト ケースにリンクします。リンクを作成するには、以下を実行します。

  1. [テスト マネージャー] で、Resume button をクリックします。

  2. [要件エディター] で、インデックスが 1.7 の要件を選択します。

  3. [リンク] セクションで、[リンクの追加][選択したテスト ケースからのリンク] をクリックします。

テスト ケースへのリンクが右側のペインの [リンク] に表示されます。

Requirement 1.7 is selected in the Requirements Editor. The Properties section is collapsed. Its two implementation links to Simulink blocks and verification link to the Resume button test are shown.

[Resume button] リンクをクリックして [テスト マネージャー] のテストに移動します。

テストの実行と検証の状態の確認

DriverSwRequest_Tests テスト ファイルのテストを実行します。[テスト マネージャー][テスト ブラウザー] ペインで DriverSwRequest_Tests テスト ファイルを選択します。[実行] をクリックします。

[結果とアーティファクト] ペインで、7 つのテストがパスして 1 つのテストが失敗したことが示されます。[結果とアーティファクト] ペインでテスト実行の結果を展開します。Cancel button テストに失敗しています。

The results of the test run are shown in the Results and Artifacts pane. Seven of the tests passed. The Cancel button test is the only failed test.

テストにリンクされた要件について、[要件エディター] で要件の検証の状態を確認します。[要件エディター][ビュー] セクションで、[列][検証の状態] をクリックします。一部の要件にはテストが含まれておらず、一部の要件は完全に検証されています。[検証済み] 列のバーは、検証にリンクされている子要件の割合を示しています。パス、失敗、未実行のテストの割合が色で示されます。

The requirements verification status for the requirement set is displayed in the Requirements Editor. Requirement 1.7 is selected and the verification status bar is green, indicating that it is verified.

この例では、検証の状態に、要件 1.7 にリンクしたテストがパスし、Cancel Switch Detection にリンクしたテストが失敗したことが示されています。要件 1.8 のような一部の要件は部分的に検証済みとなっています。これは子要件がまだ検証されていないためです。子要件の概要を表示するには、親要件の検証の状態のバーにカーソルを合わせます。その他の要件は、テスト ケースにリンクされていないため、検証されていません。

要件 1.7 のテスト結果に移動します。要件を選択し、右側のペインの [リンク]Resume button の横にある [パス] アイコン をクリックします。リンクされたテストのテスト結果が [テスト マネージャー] で開きます。

関連するトピック