要件に基づくテストの問題を修正

この例では、モデルテストダッシュボードを使用してモデル要件およびテストの一般的なトレーサビリティの問題に対処する方法を示します。ダッシュボードはプロジェクト内のテストアーティファクトを解析し、品質および完全性の測定値に関するメトリクスデータをレポートします (トレーサビリティおよびカバレッジなど)。これには、業界認定のソフトウェア開発標準 (ISO 26262、DO-178C など) のガイドラインが反映されています。ダッシュボードウィジェットは、モデルに関する要件に基づくテストのデータをまとめ、ギャップを強調表示します。ウィジェットをクリックすると詳細情報を含む表が開きます。この表では、対応する標準を満たさないテストアーティファクトを見つけて修正することができます。

プロジェクト内のテストアーティファクトのメトリクス収集

ダッシュボードにはモデルのテストデータと、モデルがプロジェクト内でトレースするアーティファクトが表示されます。この例では、プロジェクトを開いて、アーティファクトのメトリクスデータを収集します。

プロジェクトを開きます。コマンドラインに dashboardCCProjectStart と入力します。
ダッシュボードを開きます。[プロジェクト] タブで、[モデルテストダッシュボード] をクリックします。
これまでプロジェクトのダッシュボードを開いていない場合は、ダッシュボードはプロジェクト内のアーティファクトを特定し、モデルまでトレースしなければなりません。解析を実行してメトリクス結果を収集するには、[すべてのトレースと収集] をクリックします。
ダッシュボードの [アーティファクト] ペインでは、要件、テストケース、テスト結果などのアーティファクトがトレースするモデルの下に整理されています。モデル db_DriverSwRequest のメトリクス結果を表示します。[アーティファクト] ペインで、モデルの名前をクリックします。ダッシュボードでは、モデルの最も新しいメトリクスコレクションのデータがウィジェットに取り込まれます。

次に、[アーティファクト] パネルのデータとダッシュボードウィジェットを使用して、モデルの要件とテストの問題を検出して対処します。

要件をモデル内の実装にリンク付け

[アーティファクト] パネルの [トレースなし] フォルダーには、プロジェクト内のモデルまでトレースしないアーティファクトが表示されます。このフォルダー内のアーティファクトをチェックして、モデルによって実装する必要があるが、リンクが欠落している要件があるかどうかを確認できます。この例では、いずれかの要件をそれを実装するモデルブロックにリンク付け、[アーティファクト] パネルを更新してそのリンクを反映させます。

[アーティファクト] パネルで、要件 [トレースなし]、[機能要件]、[db_req_func_spec.slreqx]、[Switch precedence] に移動します。
要件エディターで要件を開きます。[アーティファクト] パネルで、[Switch precedence] をダブルクリックします。この要件は、複数のスイッチが同時に有効化された場合にクルーズコントロールシステムがアクションを実行する順序を示しています。要件を選択した状態で要件エディターを開いたままにします。
モデル db_Controller を開きます。モデルテストダッシュボードからモデルを開くには、[アーティファクト] パネルで [db_Controller] フォルダー、[設計] を展開して、[db_Controller.slx] をダブルクリックします。
Model ブロック DriverSwRequest はモデル db_DriverSwRequest を参照します。このモデルは、スイッチが有効化された場合にクルーズコントロールシステムがアクションを実行する順序を制御します。このモデルブロックを要件にリンクします。Model ブロックを右クリックして、[Requirements]、[Link to Selection in Requirements Browser] を選択します。
モデルを保存します。[シミュレーション] タブで、[保存] をクリックします。
要件セットを保存します。要件エディターで、[保存] アイコンをクリックします。
アーティファクトのトレーサビリティ情報を更新するには、モデルテストダッシュボードで [アーティファクトのトレース] をクリックします。

[アーティファクト] パネルでは、[db_Controller]、[機能要件]、[db_req_func_spec.slreqx] の下に [Switch precedence] 要件が表示されます。次に、ダッシュボードでメトリクスを収集することで、アーティファクト内のトレーサビリティの問題を検出します。

テストのトレーサビリティの問題に対処

[アーティファクト] パネルでコンポーネントの名前をクリックすることで、コンポーネント db_DriverSwRequest のダッシュボードを開きます。リンクを追加することで要件ファイルを変更したため、ダッシュボードウィジェットはグレーで強調表示され、結果が古いデータを表している可能性があることを示します。コンポーネントの結果を更新するには、[結果の収集] をクリックします。

ダッシュボードの [テストケースの解析] セクションのウィジェットには、モデルの要件、モデルのテストケース、それらの間のリンクに関するデータが表示されます。ウィジェットは、実装された要件のテストおよびトレーサビリティにギャップがあるかどうかを示します。

要件とテストケースのリンク付け

モデル db_DriverSwRequest の [テストにリンクされている要件] セクションは、モデル内の一部の要件でテストケースへのリンクが欠落していることを示します。いずれかのダッシュボードウィジェットをクリックして、要件を確認します。次に、表内のリンクを使用してアーティファクトを開き、トレーサビリティの問題を修正します。

リンクされていない要件に関する詳細情報を確認するには、[テストにリンクされている要件] セクションで、[リンクされていない] ウィジェットをクリックします。この表には、モデルに実装されているが、テストケースへのリンクをもたない要件が表示されます。この表は、テストケースへのリンクが欠落している要件のみを表示するようにフィルター処理されています。この例では、要件 Set Switch Detection のテストをリンク付けします。

要件エディターで要件を開きます。表内の [Set Switch Detection] をクリックします。
要件エディターで、要件の詳細を調べます。この要件は、Set スイッチが押されたときの動作を示しています。要件エディターで、要件を選択したままにします。
スイッチの動作に関するテストケースが既に存在するかどうかを確認します。メトリクス結果に戻るには、モデルテストダッシュボードの上部にある [db_DriverSwRequest] をクリックします。[要件にリンクされているテスト] セクションでは、1 つのテストケースが要件にリンクされていないことを示しています。
リンクされていないテストケースを確認するには、[要件にリンクされているテスト] セクションで [リンクされていない] をクリックします。
テストマネージャーでテストを開くには、表内でテストケース Set button をクリックします。このテストケースでは、Resume スイッチの動作を検証します。スイッチのテストケースがまだ存在しない場合、テストマネージャーを使用してテストケースを追加します。
テストケースを要件にリンクします。テストマネージャーで、そのテストケースについて [要件] セクションを展開します。[追加]、[選択された要件へのリンク] をクリックします。トレーサビリティリンクは、テストケース Set button が要件 Set Switch Detection を検証することを示しています。
ダッシュボードのメトリクス結果には、保存されたアーティファクトファイルのみが反映されます。テストスイート db_DriverSwRequest_Tests.mldatx を保存するには、[テストブラウザー] で [db_DriverSwRequest_Tests] を右クリックし、[保存] をクリックします。
要件ファイル db_req_func_spec.slreqx を保存します。要件エディターで、[保存] ボタンをクリックします。

次に、ダッシュボード内のメトリクスデータを更新し、リンク追加の影響を確認します。

ダッシュボード内のメトリクス結果を更新

要件とテストケースの間のトレーサビリティリンクを反映するように、モデルテストダッシュボード内のメトリクス結果を更新します。

モデルテストダッシュボードでアーティファクトの変更を解析するには、[アーティファクトのトレース] をクリックします。ダッシュボードで解析されていないプロジェクトのアーティファクトに変更がある場合、ボタンが有効化されます。
ダッシュボードの上部にある [古いメトリクス] アイコンは、少なくとも 1 つのメトリクスウィジェットがモデルの古いデータを表示していることを示しています。古いメトリクスデータを表示するウィジェットがグレーで強調表示されます。ウィジェットを更新するには、[結果の収集] をクリックしてモデルのメトリクスデータを再収集します。

[テストケースの解析] ウィジェットは、リンクされていない要件が 11 個残っていることを示しています。[要件にリンクされているテスト] セクションは、リンクされていないテストが存在しないことを示しています。通常は、こうしたテストのトレーサビリティに関する問題を調査し、テストの追加と要件へのリンク付けによって問題に対処してからテストを実行します。この例では、リンクされていないアーティファクトをそのままにして、テスト実行の次のステップに進みます。

モデルのテストと失敗およびギャップの解析

要件を検証するユニットテストを作成してリンク付けした後で、テストを実行し、モデルの機能が要件を満たしていることを確認します。テスト結果とカバレッジ測定の概要を表示するには、ダッシュボードの [テスト結果の解析] セクション内のウィジェットを使用します。ウィジェットでは、テストの失敗とギャップが強調表示されます。基となるアーティファクトのメトリクス結果を使用して、問題に対処します。

ユニットテストを実行

テストマネージャーを使用して、モデルのテストケースを実行します。結果をアーティファクトとしてプロジェクト内に保存し、それらをモデルテストダッシュボードで確認します。

テストマネージャーでモデルのユニットテストを開きます。モデルテストダッシュボードの [アーティファクト] ペインで、モデル db_DriverSwRequest を展開します。[テストケース] フォルダーを展開し、テストファイル db_DriverSwRequest_Tests.mldatx をダブルクリックします。
テストマネージャーで、[実行] をクリックします。
テスト結果をモデルテストダッシュボードで使用するには、テスト結果をエクスポートし、ファイルをプロジェクト内に保存します。[テスト] タブの [結果] セクションで、[エクスポート] をクリックします。結果ファイルに名前 (Results1.mldatx) を付けて、そのファイルをプロジェクトルートフォルダーの下に保存します。

モデルテストダッシュボードは結果がエクスポートされたことを検出し、[アーティファクト] パネルを自動的に更新して新しい結果を反映させます。[テスト結果の解析] セクションのウィジェットは、古いデータを表示していることを示すためにグレーで強調表示されます。ダッシュボードウィジェットのデータを更新するには、[結果の収集] をクリックします。

テストの失敗およびギャップに対処

モデル db_DriverSwRequest の [モデルテストのステータス] セクションは、最新のテスト実行時に 1 つのテストが失敗し、1 つのテストが無効だったことを示しています。テストを開いて、これらの問題を修正します。

無効なテストを表示するには、ダッシュボードで [無効] ウィジェットをクリックします。表にモデルの無効なテストケースが表示されます。
テストマネージャーで無効なテストを開きます。表内のテスト [Decrement button hold] をクックします。
テストを有効にします。[テストブラウザー] で、テストケースを右クリックして [有効] をクリックします。テストスイートファイルを保存します。
失敗したテストを表示するには、ダッシュボードで [失敗] ウィジェットをクリックします。
失敗したテストをテストマネージャーで開きます。表内のテスト [Cancel button] をクックします。
テストマネージャーでテストの失敗について調べます。テストまたはモデルの更新が必要かどうかを判別するには、テスト結果とモデルへのリンクを使用します。この例では、問題を修正するのではなく、テストカバレッジの調査を続けます。

カバレッジメトリクスを使用して、実行したテストがモデルの設計を完全に実行したかどうかを確認します。この例では、ダッシュボードの [モデルカバレッジ] セクションは、モデル内の一部の条件がカバーされていなかったことを示しています。ウィジェット内のバーにカーソルを合わせて、何パーセントの条件カバレッジが達成されたかを確認します。この例では、判定の 86.4% がテストによってカバーされ、判定の 4.55% がカバレッジフィルターで正当化されました。

判定カバレッジの詳細を確認します。[判定] バーをクリックします。
表内で、モデルアーティファクトを展開します。この表には、モデルのテストケース結果と、それらを含む結果ファイルが表示されます。結果ファイル Results1.mldatx をテストマネージャーで開きます。
詳細なカバレッジ結果を表示するには、カバレッジのパースペクティブでモデルを開きます。テストマネージャーの [カバレッジの結果の集計] セクションの [解析されたモデル] 列で、[db_DriverSwRequest] をクリックします。
モデルでのカバレッジの強調表示は、テストケースでカバーされなかったポイントを示しています。カバーされていないポイントに関して、それをカバーするテストを追加します。モデル要素によって実装されている要件を検出するか、要件がない場合は要件を追加します。新しいテストケースを要件にリンク付けします。ポイントをカバーすべきでない場合は、フィルターを使用して未達カバレッジを正当化します。この例では、未達カバレッジを修正しないでください。

失敗およびギャップに対処するようにユニットテストを更新したら、テストを実行し、その結果を保存します。次に、ダッシュボードでメトリクスを収集することで、結果を調べます。

モデルテストダッシュボードを使用した要件に基づく反復テスト

多くのアーティファクトおよびトレーサビリティ接続をもつプロジェクトでは、プロジェクト内のファイルに変更がある場合は必ず設計とテストアーティファクトのステータスを監視できます。アーティファクトの変更後、ダッシュボード内のトレースデータとメトリクス結果を更新することで、ダウンストリームテストの影響があるかどうかを確認します。表を使用して、影響を受けるアーティファクトを検出して修正します。モデルのテスト品質がプロジェクトの標準を満たすことが表示されるまでダッシュボードウィジェットを更新することで、進行状況を追跡します。