アーティファクトのトレース

ダッシュボードのユニット

"ユニット" とはソフトウェアアーキテクチャ内の機能エンティティであり、個別に、または大規模なシステムテストの一部として実行およびテストできます。ISO 26262-6 などのソフトウェア開発標準は、ユニットテストのオブジェクティブを定義します。ユニットテストは通常、ユニットの各要件に対応しなければならず、要件、テスト、ユニットの間のトレーサビリティを示す必要があります。ユニットテストは、改良条件判定カバレッジ (MC/DC) など、ユニットに対する特定のカバレッジオブジェクティブも満たす必要があります。

ダッシュボードで、モデルにユニットとしてラベルを付けることができます。ユニットと見なされるモデルを指定しない場合、ダッシュボードでは、他のモデルを参照しないモデルがユニットと見なされます。

ダッシュボードウィンドウの [プロジェクト] パネルで、ユニットのダッシュボードアイコンがユニットを示します。ユニットがコンポーネントによって参照される場合、[プロジェクト] パネルのコンポーネントの下に表示されます。ユニットが 1 つ以上の他のモデルを参照する場合、これらのモデルはそのユニットの一部です。参照モデルはユニットの [設計] フォルダーに表示され、そのユニットのメトリクス結果に影響を与えます。

Project panel showing a component model, Component1, that contains two unit models: Unit1 and Unit2. The panel also shows a component model, Component2, that contains a component model, Component3.

ユニットであるモデルを指定するには、コンポーネントとユニットとしてのモデルの指定に示すように、プロジェクト内でそれらにラベルを付けて、そのラベルを認識するようにダッシュボードを構成します。

ダッシュボードのコンポーネント

"コンポーネント" は複数のテスト可能なユニットを統合するエンティティです。以下に例を示します。

複数のユニットモデルを参照するモデルは、コンポーネントモデルである場合があります。
System Composer™ アーキテクチャモデルは、コンポーネントである場合があります。サポート対象のアーキテクチャには、System Composer アーキテクチャモデル、System Composer ソフトウェアアーキテクチャモデル、AUTOSAR アーキテクチャなどがあります。
コンポーネントは他のコンポーネントを統合することもできます。

ダッシュボードでは、[プロジェクト] パネルでコンポーネントとユニットを参照するコンポーネントの下でコンポーネントとユニットが整理されます。

コンポーネントと見なされるモデルを指定しない場合、ダッシュボードでは、1 つ以上の他のモデルを参照するモデルがコンポーネントと見なされます。

ダッシュボードウィンドウの [プロジェクト] パネルで、コンポーネントアイコンがコンポーネントを示します。コンポーネントの下でユニットを確認するには、コンポーネントアイコンの横にある矢印をクリックして、コンポーネントノードを展開します。

コンポーネントと見なされるモデルを指定するには、コンポーネントとユニットとしてのモデルの指定に示すように、プロジェクト内でそれらにラベルを付けて、そのラベルを認識するようにダッシュボードを構成します。

コンポーネントとユニットとしてのモデルの指定

プロジェクト内のモデルにラベルを付けて、そのラベルを認識するようにダッシュボードを構成することで、ユニットおよびコンポーネントとして表示されるモデルを制御できます。

プロジェクトを開きます。この例では、MATLAB^® コマンドウィンドウで次のように入力します。
```
openExample("slcheck/ExploreTestingMetricDataInModelTestingDashboardExample");
openProject("cc_CruiseControl");
```
このプロジェクト例にはコンポーネントモデルとユニットモデルが既に構成されています。
テストアーキテクチャのラベルを含めるプロジェクトラベルカテゴリを作成します。[ラベル] ペインを右クリックし、[新規カテゴリの作成] を選択します。Testing Interface など、カテゴリに対して名前を入力し、[OK] をクリックします。
ユニットのラベルを作成します。作成したカテゴリをクリックし、[新規ラベルの作成] を選択します。Software Unit というラベル名を入力し、[OK] をクリックします。
コンポーネントのラベルを作成します。作成したカテゴリをクリックし、[新規ラベルの作成] を選択します。Software Component というラベル名を入力し、[OK] をクリックします。
ユニットとコンポーネントのラベルが [ラベル] ペインのカテゴリの下に表示されます。
プロジェクトラベルカテゴリおよびラベルの作成方法の詳細については、ラベルの作成を参照してください。
プロジェクト内のモデルにコンポーネントおよびユニットとしてラベルを付けます。プロジェクトペインでモデルを右クリックして、[ラベルの追加] をクリックし、カテゴリとラベルを選択します。この例の場合、以下のラベルを適用します。
- cc_CruiseControl — [Testing Interface] 、 [Software Component]
- cc_ControlMode — [Testing Interface] 、 [Software Unit]
- cc_DriverSwRequest — [Testing Interface] 、 [Software Unit]
- cc_LightControl — [Testing Interface] 、 [Software Unit]
- cc_TargetSpeedThrottle — [Testing Interface] 、 [Software Unit]
プロジェクトラベルの追加方法の詳細については、ファイルへのラベルの追加を参照してください。
次のいずれかの方法を使用してダッシュボードウィンドウを開きます。
- [プロジェクト] タブの [ツール] セクションで、[モデルテストダッシュボード] をクリックします。
- [プロジェクト] タブの [ツール] セクションで、[モデル設計ダッシュボード] をクリックします。
[ダッシュボード] タブで、[オプション] をクリックします。
[プロジェクトオプション] ダイアログボックスの [分類] セクションで、コンポーネントとユニットに対して作成したカテゴリとラベルを指定します。コンポーネントインターフェイスの場合、[カテゴリ] を Testing Interface、[ラベル] を Software Component に設定します。ユニットインターフェイスの場合、[カテゴリ] を Testing Interface、[ラベル] を Software Unit に設定します。
[適用] をクリックします。ダッシュボードで [プロジェクト] パネルのトレーサビリティ情報が更新され、モデルを参照するコンポーネントモデルの下でモデルが整理されます。モデルがコンポーネントによって参照されない場合、コンポーネントの最上位に表示されます。

ユニットまたはコンポーネント用のダッシュボードを開くには、[プロジェクト] パネルで、そのユニットまたはコンポーネントの名前をクリックします。ダッシュボードに、選択したユニットまたはコンポーネントのメトリクス結果が表示されます。

アーティファクトをユニットおよびコンポーネントまでトレース

ダッシュボードの [プロジェクト] パネルでは、テストレベルとモデル参照階層に従ってモデルが整理されています。プロジェクトに多くのモデルとモデル参照階層が含まれている場合、モデルのさまざまなテストレベルを識別するようにダッシュボードを構成することにより、ユニットテストアクティビティを追跡できます。プロジェクト内のエンティティにラベルを付けて、そのラベルを認識するようにダッシュボードを構成することで、ソフトウェアアーキテクチャ内でユニットおよび上位レベルのコンポーネントであるエンティティを指定できます。コンポーネントと見なされるモデルを指定しない場合、ダッシュボードでは、1 つ以上の他のモデルを参照するモデルがコンポーネントと見なされます。詳細については、階層内のモデルをコンポーネントまたはユニットとして分類を参照してください。

ユニットまたはコンポーネントのスコープ内にあるアーティファクトを判別するために、ダッシュボードは、プロジェクト内のアーティファクト間、ソフトウェアユニットモデル間、およびコンポーネントモデル間のトレーサビリティリンクを解析します。[プロジェクト] パネルでは、ユニットがそれらを参照するコンポーネント別に整理され、リストされます。

Project panel showing units under a component

ユニットまたはコンポーネントとそのアーティファクト間でダッシュボードによって検出されたトレーサビリティパスを確認するには、ツールストリップの [トレースビュー] をクリックします。トレースビューは対話型ダイアグラムであり、これを使用して、アーティファクトが設計のユニットおよびコンポーネントにどのようにトレースされるのかを確認したり、プロジェクトの要件、テスト、およびテスト結果のトレーサビリティ情報を確認したりできます。詳細については、Explore Traceability Information for Units and Componentsを参照してください。

[プロジェクト] パネルでユニットまたはコンポーネントを選択すると、[アーティファクト] パネルに、選択されたユニットまたはコンポーネントまでトレースするアーティファクトが表示されます。トレースされたアーティファクトには次のものがあります。

機能要件
設計アーティファクト
テスト
テスト結果

Artifacts panel showing traced artifacts for a unit

機能要件

[機能要件] フォルダーには、ユニットまたはコンポーネントで実装されているかユニットまたはコンポーネントの上流にある [タイプ] が Functional の要件が表示されます。

メトリクス結果を収集するときに、ダッシュボードはユニットまたはコンポーネントが直接実装する機能要件のみを解析します。[機能要件] フォルダーには、要件がユニットまたはコンポーネントで実装されているのか、ユニットまたはコンポーネントの上流にあるのかを識別しやすくする 2 つのサブフォルダーが含まれます。

実装済み — [タイプ] が Implements のリンクでユニットまたはコンポーネントに直接リンクされている機能要件。これらの要件は、このユニットまたはコンポーネントについてのダッシュボードのメトリクスで使用されます。
上流 — 実装済みの要件に間接的または推移的にリンクされている機能要件。これらの要件は、このユニットまたはコンポーネントについてのダッシュボードのメトリクスで使用されません。

Requirements Toolbox™ を使用して要件ファイル (.slreqx) で要件を作成するかインポートします。ユニットまたはコンポーネントへとトレースしない要件は、問題のトレースフォルダーに表示されます。要件が、想定に反して [アーティファクト] パネルに表示されない場合は、アーティファクト、リンク、および結果の欠損の解決を参照してください。

ダッシュボードがプロジェクトファイル間の依存関係をトレースする方法の詳細については、デジタルスレッドを使用したアーティファクトトレーサビリティの監視と古くなった結果の検出を参照してください。

設計アーティファクト

[設計] フォルダーには、次のような、現在のユニットまたはコンポーネントへとトレースするプロジェクトアーティファクトが表示されます。

ユニットまたはコンポーネントのブロック線図を含むモデルファイル。
ユニットまたはコンポーネントが参照するモデル。
モデルによって部分的または完全に使用されるライブラリ。
モデルにリンクされているデータディクショナリ。
モデルへとトレースする外部 MATLAB コード。

アーティファクトが、想定に反して [設計] フォルダーに表示されない場合は、アーティファクト、リンク、および結果の欠損の解決を参照してください。ダッシュボードがプロジェクトファイル間の依存関係をトレースする方法の詳細については、デジタルスレッドを使用したアーティファクトトレーサビリティの監視と古くなった結果の検出を参照してください。

メモ

ダッシュボードに表示されることが想定される外部 MATLAB コードが表示されない場合は、構造がサポートされていないかどうかを確認してください。

次に該当するクラスメソッドは [アーティファクト] パネルに表示されません。
- ドット表記を使用して呼び出す非静的メソッド。
- 関数表記を使用して呼び出す非静的メソッド。
- ドット表記を使用して Simulink^® モデルから呼び出す静的メソッド。
- スーパークラスメソッド。
- クラス定義ファイルとは別のファイルに定義されている。
これらのメソッドについては、ダッシュボードに、[設計] フォルダー内の関連するクラス定義が表示されます。
コンストラクターがスーパークラスのコンストラクターの場合、クラスコンストラクターは [アーティファクト] パネルに表示されません。ダッシュボードには [設計] フォルダー内の関連するスーパークラス定義が表示されますが、メソッドそのものは表示されません。
クラスプロパティは、そのプロパティが Simulink または Stateflow^® から呼び出される場合、[アーティファクト] パネルに表示されません。ダッシュボードの [アーティファクト] パネルには、関連するクラス定義が表示されます。
列挙クラスは [アーティファクト] パネルに表示されません。たとえば、Simulink で Enumerated Constant ブロックを使用する場合、ダッシュボードには enum 型を定義する MATLAB クラスは表示されません。
クラスファイルに同じ名前をもつメソッドとローカル関数が含まれる場合、ドット表記を使用する呼び出しがクラス定義内のメソッドを呼び出し、関数表記を使用する呼び出しがクラスファイル内のローカル関数を呼び出します。

テスト

[テスト] フォルダーには、選択されたユニットまでトレースするテストとテストハーネスが表示されます。"テスト" は以下のいずれかにすることができます。

テスト反復
反復のないテストケース

ユニットのメトリクス結果を収集するときに、ダッシュボードはユニットテストのみを解析します。[テスト] フォルダーには、テストがユニットテストと見なされるかどうか、および、ユニットまでトレースするテストハーネスを識別しやすくするサブフォルダーが含まれます。

ユニットテスト — ダッシュボードでユニットテストと見なされるテスト。ユニットテストは、ユニット全体またはユニットの下位レベル要素 (サブシステムなど) を直接テストします。これらのテストは、このユニットについてのダッシュボードのメトリクスで使用されます。
その他 — ユニットまでトレースするが、ダッシュボードでユニットテストと見なされないテスト。たとえば、ライブラリについてのテストやバーチャルサブシステムについてのテストはダッシュボードでユニットテストとは見なされません。これらのテストは、このユニットについてのダッシュボードのメトリクスで使用されません。
テストハーネス — ユニットまたはユニットの下位レベル要素までトレースするテストハーネス。テストハーネスはダブルクリックすると開きます。

Simulink Test™ を使用してテストを作成します。ユニットへとトレースしないテストは、問題のトレースフォルダーに表示されます。想定に反して、テストが [アーティファクト] パネルに表示されない場合やテストのメトリクス結果が表示されない場合は、アーティファクト、リンク、および結果の欠損の解決を参照してください。

テスト結果

ユニットのメトリクス結果を収集するときに、ダッシュボードはユニットテストからのテスト結果のみを解析します。[テスト結果] フォルダーには、ユニットテストからのテスト結果を識別しやすくするサブフォルダーが含まれます。

[モデル]、[SIL]、および [PIL] のサブフォルダーには、それぞれノーマル、ソフトウェアインザループ (SIL)、およびプロセッサインザループ (PIL) ユニットテストのシミュレーション結果が含まれます。これらの結果は、このユニットについてのダッシュボードのメトリクスで使用されます。
テスト結果の次のタイプが表示されます。
- 保存されたテスト結果 — テストマネージャーで収集し、結果ファイルにエクスポートした結果。
- 一時的なテスト結果 — テストマネージャーで収集したものの、結果ファイルにはエクスポートしていない結果。テストマネージャーから結果をエクスポートすると、ダッシュボードは一時的な結果ではなく保存された結果を解析します。また、プロジェクトを閉じるか、Simulink Test の結果エクスプローラーで結果セットを閉じると、ダッシュボードは一時的な結果の認識を停止します。後続のテストセッションまたはプロジェクトセッションで結果を解析する場合は、結果を結果ファイルにエクスポートしてください。
その他 — シミュレーション結果以外の結果、ユニットテストからでない結果、または単なるレポート。たとえば、SIL の結果はシミュレーション結果ではありません。これらの結果は、このユニットについてのダッシュボードのメトリクスで使用されません。

ユニットへとトレースしないテスト結果は、問題のトレースフォルダーに表示されます。想定に反して、テスト結果が [アーティファクト] パネルに表示されない場合やテストのメトリクス結果が表示されない場合は、アーティファクト、リンク、および結果の欠損の解決を参照してください。

問題のトレース

[問題のトレース] フォルダーには、ダッシュボードがいずれのユニットまたはコンポーネントまでもトレースしていないアーティファクトが表示されます。[問題のトレース] フォルダーを使用して、ユニットまたはコンポーネントへのトレーサビリティがアーティファクトから欠落しているかどうかをチェックします。[問題のトレース] フォルダーには問題のトレースのタイプを識別しやすくするサブフォルダーが含まれます。

予期せぬ実装リンク — [タイプ] が Container または [タイプ] が Informational の要件に対する、[タイプ] が Implements の要件リンク。コンテナー要件と情報要件は、それらが属する要件セットの実装の状態と検証の状態の対象とはならないため、ダッシュボードでは、これらのリンクの [タイプ] は Implements と想定されません。要件が実装対象となっていない場合は、リンクタイプを変更できます。たとえば、[タイプ] が Informational の要件を、[タイプ] が Related to のリンクをもつように変更できます。
未解決で未サポートのリンク — プロジェクトで切断された要件リンクまたはダッシュボードでサポートされていない要件リンク。たとえば、モデルブロックが要件を実装しているが、そのモデルブロックが削除された場合、要件リンクは未解決になります。ダッシュボードは、一部のアーティファクトおよび一部のリンクのトレーサビリティ解析をサポートしません。
トレースされないテスト — プロジェクトパス上にないモデルまたは下位レベル要素 (サブシステムなど) で実行するテスト。
トレースされない結果 — ダッシュボードがテストまでトレースできなくなった結果。たとえば、テストから結果が生成されたが、そのテストを削除した場合、ダッシュボードで結果をテストまでトレースできなくなります。

ダッシュボードは、一部のアーティファクトおよび一部のリンクのトレーサビリティ解析をサポートしません。ユニットまたはコンポーネントへとトレースすることが想定されているアーティファクトがトレースなしの場合は、アーティファクト、リンク、および結果の欠損の解決でトラブルシューティングソリューションを参照してください。

アーティファクトの問題

解析中にエラー、警告、および情報メッセージの原因となったアーティファクトの詳細を確認するには、ツールストリップの [アーティファクトの問題] をクリックします。問題は MATLAB セッション間で保持され、重大度、メッセージ、ソース、またはメッセージ ID でメッセージを並べ替えることができます。

メッセージには以下が表示されます。

ダッシュボードがサポートしないモデル構造
ダッシュボードがトレースしないリンク
ダッシュボードがサポートしないテストハーネスまたはテストケース
テスト結果の未達カバレッジまたはシミュレーション結果
ダッシュボードによる読み込み時にエラーを返すアーティファクト
ダッシュボードが非アクティブにするモデルコールバックに関する情報
パス上になく、トレース中に考慮されないアーティファクト

詳細については、View Artifact Issues in Projectを参照してください。

アーティファクトエラー

ダッシュボードがアーティファクト解析を実行したときにアーティファクトがエラーを返した場合、[エラー] フォルダーが表示されます。トレーサビリティ解析中にアーティファクトが返す可能性があるいくつかのエラーを以下に示します。

トレーサビリティ解析が開始されたときに保存されていない変更がある場合、アーティファクトはエラーを返します。
前のバージョンの Simulink に保存されていた場合、テスト結果ファイルはエラーを返します。

アーティファクトの解析中にダッシュボードで検出される警告およびエラーの詳細を確認するには、ツールストリップの [アーティファクトの問題] をクリックします。こうしたアーティファクトを開いて、エラーを修正します。ダッシュボードは、ダッシュボードの上部にバナーを表示して、[プロジェクト] パネルと [アーティファクト] パネルに表示されるアーティファクトトレーサビリティが古くなっていることを示します。バナー上の [アーティファクトのトレース] ボタンをクリックし、[プロジェクト] パネルと [アーティファクト] パネルのデータをリフレッシュします。