Main Content

このページの翻訳は最新ではありません。ここをクリックして、英語の最新版を参照してください。

モデル テスト ダッシュボードでのアーティファクト、リンク、および結果の欠損の解決

問題

モデル テスト ダッシュボードは、ソフトウェア ユニット モデルの要件に基づくテスト ワークフローの一部であるアーティファクト (モデル、要件、テスト、および結果) を解析します。要件に基づくテスト ワークフローの一部ではないアーティファクトやアーティファクト間のリンクは、モデル テスト ダッシュボードに表示されないか、解析結果に影響しない可能性があります。また、一部のアーティファクトやリンクは、モデル テスト ダッシュボードでサポートされません。ダッシュボードに表示されることが想定されるリンクまたはアーティファクトが表示されない場合は、次のいずれかの解決策を試してください。

考えられる解決策

モデル テスト ダッシュボードでアーティファクトのトラブルシューティングを開始する場合は、以下の解決策を試してください。

  • 変更をアーティファクト ファイルに保存する。

  • アーティファクトがプロジェクトに保存されていることを確認する。モデル テスト ダッシュボードは、プロジェクトに保存されていないファイルを解析しません。

  • アーティファクトが参照プロジェクト内にないことを確認する。モデル テスト ダッシュボードは、参照プロジェクト内のファイルを解析しません。

  • ダッシュボードを開く前に、アーティファクトが MATLAB 検索パス上にあることを確認する。MATLAB 検索パスを変更しても、[アーティファクト] パネルのトレーサビリティ情報は更新されません。ダッシュボードが開いている間は、検索パスを変更しないでください。

  • [診断] ペインを開き、エラーまたは警告に対処する。

  • ダッシュボードを使用してアーティファクトを再度トレースし、メトリクス結果を再度収集する。

トラブルシューティングを行うアーティファクトや解析の問題のタイプに応じて、次のいずれかの解決策を試してください。

プロジェクトでダッシュボードによる解析が必要

モデルのテストを開始する前に、モデル テスト ダッシュボードを開いて初期トレーサビリティ解析を実行します。プロジェクトを開き、[プロジェクト] タブで [モデル テスト ダッシュボード] をクリックします。[アーティファクトのトレース] をクリックしてアーティファクトをトレースするか、[すべてのトレースと収集] をクリックし、アーティファクトをトレースしてメトリクス結果を収集します。ダッシュボードでは、アーティファクトを監視する前に、この初期解析を行ってトレーサビリティ データを確立しなければなりません。初期アーティファクト解析を実行しない場合、プロジェクト内のアーティファクトが [アーティファクト] ペインの [未解析] フォルダーに表示されます。

解析時にプロジェクトが空ではないことを確認-  初期アーティファクト解析を実行する前に、少なくとも 1 つのモデルをプロジェクトに保存します。空のプロジェクトを解析した場合、モデル テスト ダッシュボードで初期トレーサビリティ データが確立されないため、ダッシュボードがアーティファクトの監視を開始する前に再度プロジェクトを解析する必要があります。

[アーティファクト] ペインのモデルのリストが不正確

[アーティファクト] ペインには、ユニット モデルまたはコンポーネント モデルのいずれかであるプロジェクト内のモデルが表示されます。モデルはモデル参照階層に従って、モデルを参照するコンポーネントの下に整理されます。ユニット モデルとコンポーネント モデルのリストに想定されるモデルの階層が表示されない場合は、次のいずれかの解決策を試してください。

ユニット モデルとコンポーネント モデルにラベルが付いていることを確認-  プロジェクト内のユニット モデルとコンポーネント モデルにラベルを付けて、ラベルの付いたモデルを識別するようにモデル テスト ダッシュボードを構成します。ユニット モデルが 1 つ以上の他のモデルを参照する場合、参照モデルはそのユニット モデルの下にある [設計] フォルダーに表示されることに注意してください。モデルのラベル付けとダッシュボードの構成の詳細については、階層内のモデルをコンポーネントまたはユニットとして分類を参照してください。オブザーバー モデルがある場合は、それらがユニットとしてラベル付けされていないことを確認します。オブザーバー モデルがラベルの要件に合致している場合、ダッシュボードにはそれらがユニットとして含まれます。

サポートされているリリースでモデルが保存されていることを確認-  モデルが R2012b 以降で保存されていることを確認します。モデル テスト ダッシュボードは、R2012b より前に保存されたモデルをサポートしていません。

アーティファクト解析中にスキップされたブロック

カスタム ライブラリに自己修正可能なマスクをもつブロックが含まれないことを確認します。モデル テスト ダッシュボードは、自己修正可能なマスクが含まれるブロックを解析しません。自己修正可能なマスクは、アーティファクト トレーサビリティ解析と互換性がない、ブロックの構造的な内容を変更する場合があります。

[アーティファクト] ペインにライブラリがない

ライブラリが、ライブラリ転送テーブルを使用していないことを確認します。モデル テスト ダッシュボードはライブラリ転送テーブルをサポートしていません。

[アーティファクト] ペインに要件がない

[アーティファクト] ペインに要件がない場合は、次のいずれかの解決策を試してください。

要件が機能要件であることを確認-  要件が機能要件として構成されていることを確認します。要件エディターの左側のペインで、要件をクリックします。右側のペインの [プロパティ] セクションで、[タイプ]Functional に設定します。モデル テスト ダッシュボードは、要件に基づくユニット テストについてレポートするため、機能要件のみが [アーティファクト] ペインに表示され、ダッシュボードによって解析されます。

サポートされている要件ファイルに要件が保存されていることを確認-  要件が、.slreqx 拡張子をもつ要件ファイルに保存されていることを確認します。

[アーティファクト] ペインにテスト ケースがない

テスト ケースがモデル テスト ダッシュボードでサポートされていることを確認します。モデル テスト ダッシュボードは MATLAB ベースの Simulink テストをサポートしていません。

[アーティファクト] ペインにテスト結果がない

次のいずれかであることを確認します。

  • 結果がテスト結果ファイルに保存されている。テスト結果をテスト マネージャーからエクスポートして保存します。

  • 現在のプロジェクト セッション中に結果を収集し、まだその結果を閉じていない。テスト結果を収集してエクスポートしていない場合、ダッシュボードは、テスト マネージャー内の一時的な結果 (Temporary test results icon アイコンで表される) を認識します。プロジェクトまたはテスト結果セットを閉じるか、テスト結果を結果ファイルにエクスポートすると、ダッシュボードは一時的な結果の認識を停止します。

アーティファクトが警告を返す

[診断] ペインを開き、警告の詳細を確認します。

アーティファクトがエラーを返す

[診断] ペインを開き、エラーの詳細を確認します。

トレースされないアーティファクト

ユニット モデルまでトレースすることが想定されているアーティファクトが [トレースなし] フォルダーに表示されている場合は、トレースされないアーティファクトのタイプに応じて、次のいずれかの解決策を試してください。

トレースされない要件の修正-  実装リンクを使用して、要件がユニット モデルまでトレースしていることを確認します。要件およびそのリンクは、次のいずれかの基準を満たさなければなりません。

  • 要件が、[タイプ]Implements に設定されているリンクによって、モデルまたはモデルで使用されるライブラリ サブシステムにリンクされている。

  • 要件が、[タイプ]Implements に設定されているリンクによって、モデルまたはモデルで使用されるライブラリ サブシステムにリンクされているコンテナー要件の子である。

  • 要件が、上記 2 つの基準の組み合わせを使用してモデルまでトレースしている。たとえば、別の要件にリンクするコンテナー要件に属する要件が、モデルにリンクしている場合などがあります。

要件に基づくテストでは、モデルが実装する機能要件を満たしていることを確認します。モデル テスト ダッシュボードは要件に基づくテストの品質についてレポートするため、機能要件として指定され、モデルに実装されている要件のみを解析します。

要件が、サポートされていないリンクを使用していないことを確認します。モデル テスト ダッシュボードは、次のようなリンクをトレースしません。

  • 下流へのリンク。モデル テスト ダッシュボードは、下位の要件から上位の要件へのリンクのみをトレースします。要件エディターを使用して、リンクの方向を確認してください。

  • 組み込みリンク。これは、モデル ファイルに直接保存される要件ファイルです。

  • 外部に保存され、要件管理インターフェイス (RMI) を使用してリンクされた要件へのリンク。

  • データ ディクショナリとの双方向のリンク。

  • MATLAB コード ファイルへのリンク。

  • Stateflow® のライセンスがない場合の、MATLAB Function ブロックへのリンク。MATLAB Function ブロックの解析には Stateflow のライセンスが必要です。

  • Stateflow の一部の要素へのリンク。

  • 拡張子が .req である、非推奨の要件ファイルに含まれるリンク。ダッシュボードで要件リンクを解析するには、リンクを .slmx ファイルに保存するか、要件を含む要件ファイル (.slreqx) 内にリンクを作成します。

  • System Composer™ アーキテクチャ モデルへのリンク。

  • ショートカットなど、プロジェクト内のシンボリックなファイルのリンク。

  • ライブラリ転送テーブルなど、モデル テスト ダッシュボードでサポートされていないモデル要素へのリンク。

トレースされない設計アーティファクトの修正-  設計アーティファクトが、モデルとリンクしているモデル コールバックに依存していないことを確認します。モデル テスト ダッシュボードは、解析のためにモデルを読み込むときに、モデル読み込みコールバックを実行しません。モデルがデータ ディクショナリをリンクするためにコールバックに依存している場合、ダッシュボードがトレーサビリティ解析を実行するときにデータ ディクショナリはリンクされません。

トレースされないテスト ケースの修正-  テスト ハーネスを使用して、テスト ケースがモデルに対して実行されるか、モデル内のサブシステムに対して実行されることを確認します。

トレースされないテスト結果の修正-  プロジェクトとテスト ケースが正しく設定されていることを確認し、テストを再実行します。テスト ケースの実行時に以下のいずれかの条件が満たされた場合、生成された結果はトレースされていません。なぜなら、ダッシュボードがユニットとの間で明確なトレーサビリティを確立することができないからです。

  • プロジェクトが読み込まれていない。

  • プロジェクトのダッシュボードが 1 度も開かれていない。テスト ケースの実行時にダッシュボードが初期トレーサビリティ データを確立していない場合、ダッシュボードは、生成された結果を、テスト ケースを生成したテスト ケースまでトレースできません。

  • Simulink® Check™ のライセンスがない。

  • テスト ファイルがプロジェクト外に保存されている。

  • テスト ファイルに未保存の変更が含まれている。

  • テスト済みのモデルに未保存の変更が含まれている。

  • トレーサビリティの解析中にテスト ファイルがエラーを返す。

  • トレーサビリティの解析中にテスト済みのモデルがエラーを返す。

  • テスト結果が、MATLAB ベースの Simulink テストなど、モデル テスト ダッシュボードでサポートされていないテスト ケースで生成されたものである。

結果と環境が正しく設定されていることを確認し、テスト結果を再度エクスポートします。テスト結果のエクスポート時に以下のいずれかの条件を満たす場合、生成された結果はトレースされていません。なぜなら、ダッシュボードがユニットとの間で明確なトレーサビリティを確立することができないからです。

  • プロジェクトが読み込まれていない。

  • プロジェクトのダッシュボードが 1 度も開かれていない。

  • Simulink Check のライセンスがない。

  • トレーサビリティの解析中にテスト結果ファイルがエラーを返す。

メトリクスが要件の結果、テスト ケース、またはテスト結果をレポートしない

アーティファクトがユニット モデルの 1 つまでトレースしているにもかかわらず、そのユニットのメトリクス結果に表示されない場合は、アーティファクトのタイプに応じて次のいずれかの解決策を試してください。

メトリクス結果を生成しない要件の修正-  要件が、[タイプ]Implements に設定されているリンクによって、モデルに直接リンクしていることを確認します。間接的にモデルまでトレースする要件は、[アーティファクト] ペインに表示はされますが、ダッシュボード メトリクスで解析されません。これは、メトリクスがモデルによって直接実装された要件のみを解析するためです。

メトリクス結果を生成しないテスト ケースの修正-  テスト ケースがモデル全体に対して実行されていることを確認します。モデルまでトレースするテスト ケースの一部はダッシュボード メトリクスで解析されません。これは、メトリクスがモデル全体をテストするテスト ケースのみを解析するためです。たとえば、サブシステム テスト ハーネスを実行するテストはユニット モデルまでトレースされ、[アーティファクト] パネルに表示されますが、メトリクス結果には影響を与えません。

メトリクス結果を生成しないテスト結果の修正-  結果が次の基準を満たしていることを確認します。

  • 結果が、テスト ケースから生成された最新の結果である。

  • 結果が、モデル全体に対して実行されるテスト ケースの結果である。たとえば、メトリクスは、サブシステム テスト ハーネスに対して実行されるテスト ケースからのテスト結果は解析しません。

テスト ケースに複数回の反復が含まれる場合、メトリクス結果はテスト ケース全体のステータスを反映し、個々の反復の結果を表示しません。

テスト結果解析のメトリクス結果を生成しないテストの修正-  [シミュレーション テスト結果の解析] セクションのメトリクスでは、シミュレーション テストのみの結果がカウントされるのに対し、[テスト ケースの解析] セクションのメトリクスでは、モデル全体を実行するすべてのテストがカウントされます。テストが [シミュレーション テスト結果の解析] セクションのメトリクスでカウントされない場合、テスト ケースが、シミュレーション テストであることを示す次の基準を満たしていることを確認します。

  • シミュレーション モードがノーマル、アクセラレータ、またはラピッド アクセラレータである。これらのモードのいずれかをテストした後に、テストで反復を使用して別のシミュレーション モードを設定した場合でも、そのテストはシミュレーション テストと見なされます。

  • テストがリアルタイム テストではない。

  • テストが等価性テストである場合は、最初のシミュレーションが、最初の 2 つの基準の一方を満たしている。

  • テストに複数回の反復が含まれている場合は、テスト ケースまたは少なくとも 1 回の反復が、最初の 2 つの基準の一方を満たしている。

メトリクス結果による欠損リンクまたはアーティファクトの表示

メトリクス結果は、すべてのタイプのトレーサビリティ リンクをカウントしているわけではありません。テスト ケースまたは要件がリンクされていることが想定されるにもかかわらず、リンクがないことがメトリクスで示された場合は、次のいずれかの解決策を試してください。

トレーサビリティの結果にカウントされないリンクの修正-  要件とテスト ケースの間にリンクがあるが、トレーサビリティ メトリクスにはテストまたは要件がリンクされていないと示されている場合、そのリンクがダッシュボードのメトリクスでサポートされているかどうかを確認します。メトリクスは次のリンクをサポートしていません。

  • 正当化への要件リンク。要件が正当化とリンクされ、テスト ケースにリンクされていない場合、メトリクス結果ではリンクされていないと表示されます。

  • 内部テスト ハーネスへの要件リンク。

テスト結果でのモデル カバレッジの欠損の修正-  モデル カバレッジ メトリクスで予期しないカバレッジ ギャップがレポートされた場合は、テスト ケースを再実行し、メトリクス結果を再収集して新しいテスト結果を得ます。モデル テスト ダッシュボードには、次のような場合にカバレッジ ギャップが表示されることがあります。

  • メトリクスの収集後に、テスト結果ファイルまたはカバレッジ フィルター ファイルを変更した。これには、変更後にテスト結果ファイルを再インポートした場合も含まれます。

  • 1 つ以上のテストを実行した後に、累積したカバレッジの結果を収集し、モデル ファイルに変更を加えた。

参考

関連するトピック