要件に基づくテストアーティファクトをモデルテストダッシュボードで解析用に管理- MATLAB和Simuli金宝appnk MathWorks日本

要件に基づくテストアーティファクトをモデルテストダッシュボードで解析用に管理

モデルベースデザインを使用してソフトウェアコンポーネントを開発およびテストするときは,モデルテストダッシュボードを使用してモデルテストアクティビティのステータスと品質を評価します。要件に基づくテストは,モデル検証の中心的な要素です。要件,モデルの設計要素,およびテストケース間でトレーサビリティリンクを確立することで,要件が実装および検証されている範囲を測定できます。モデルテストダッシュボードはこのトレーサビリティ情報を解析し、トレーサビリティ、ステータス、テストアーティファクトの結果に関する詳細なメトリクス測定値を提供します。

模型试验仪表板

ダッシュボードの各メトリクスはモデルのテスト品質の異なる側面を測定し,業界認定のソフトウェア開発標準(ISO 26262 - 178 cなど)のガイドラインを反映しています。モデルの要件に基づくテスト品質をモデルテストダッシュボードで監視するには,プロジェクト内のアーティファクトを維持して,以下の考慮事項に従います。モデルテストダッシュボードの使用方法の詳細については,モデルテストダッシュボードを使用してテストアクティビティのステータスと品質を調査を参照してください。

プロジェクト内のアーティファクトファイルの管理

要件に基づくテストアクティビティをモデルテストダッシュボードで解析するには,設計とテストアーティファクトをプロジェクトに保存します。テストメトリクスで解析するアーティファクトには次のようなものがあります。

モデル
金宝app^®要求™で作成する要件
モデルで使用されるライブラリ
金宝app仿真软件测试™で作成するテストケース
実行されたテストケースのテスト結果

モデルテストダッシュボードで最新の資産を解析するには,以下を確認します。

アーティファクトファイルへの変更を保存する。
テスト結果をエクスポートし,結果ファイルに保存する。
解析するファイルをプロジェクト内に格納する。

要件に基づくテストのためのソフトウェアコンポーネントのモデル化

モデルテストダッシュボードは,プロジェクト内の各“コンポーネント”に関するトレーサビリティとテストの解析を提供します。コンポーネントとはソフトウェアアーキテクチャ内の機能エンティティであり,個別または大規模なシステムテストの一部として実行およびテストできます。各コンポーネントに関して,高水準のシステム要件とコンポーネントの役割に基づいて機能要件を作成します。次に,コンポーネントアルゴリズムをモデル化し,機能要件を満たします。その後,コンポーネントをテストするために,要件からテストケースを派生させ,モデルに対してテストを実行します。このプロセス全体を通じて,以下の間で明示的または暗黙的なトレーサビリティリンクを作成して維持します。

各機能要件と,それを実装するモデル要素
各機能要件と,それを検証するテストケース
各テストケースと,テスト対象のモデル
各テストケースと,生成された最新の結果

こうしたトレーサビリティリンクを使用すると,要件,設計,テストアクティビティの完全性を追跡することができます。リンクは,設計およびテストに含まれるギャップを見つけるのに役立ちます。テストが失敗した場合,失敗したテストケース,テストした要件,要件を実装したモデル要素へのトレーサビリティリンクをたどることができます。これにより,テストの失敗の原因となった可能性のある設計エラーを迅速に検出できます。ISO 26262および做- 178 cなどのソフトウェア開発に関する業界標準では,テストの完全性を示すためにこうしたアーティファクト間のトレーサビリティが必要です。

ダッシュボードで解析するソフトウェアコンポーネントモデルのラベル付け

プロジェクト内のどのモデルがソフトウェアコンポーネントであるかを指定して,ダッシュボードでそれらのテストステータスを解析できるようにします。プロジェクト内のコンポーネントモデルにラベルを付けて,そのラベルをもつモデルを検索するようにダッシュボードを構成します。

プロジェクト内で,ソフトウェアコンポーネントモデルの識別に使用できるラベルを作成します。たとえば,软件组件です。ラベルの作成方法の例は,ラベルの作成を参照してください。
ソフトウェアコンポーネントモデルにラベルを追加します。ラベルの追加方法の例は,ファイルへのラベルの追加を参照してください。
モデルテストダッシュボードで,[オプション]をクリックします。ソフトウェアコンポーネントモデルを識別するために作成したカテゴリとラベルを選択します。
[アーティファクトのトレース]をクリックします。ダッシュボードで[アーティファクト]ペイン内のコンポーネントのリストが更新され,追加したソフトウェアコンポーネントラベルをもつモデルのみが表示されます。次に,ダッシュボードは,それらのコンポーネントモデルのトレーサビリティデータを更新します。

ダッシュボードで解析されるモデルのリストを制御すると,要件に基づくテストが必要なソフトウェアコンポーネントについてのみテストの進行状況を追跡するのが,より簡単になります。

モデルテスト解析用にアーティファクトをコンポーネントまでトレース

コンポーネントのスコープ内にあるアーティファクトを判別するために,モデルテストダッシュボードは,プロジェクト内のアーティファクトとソフトウェアコンポーネントモデルの間のトレーサビリティリンクを解析します。[アーティファクト]パネルでは,モデル名で表される各コンポーネントと,コンポーネントまでトレースする以下のアーティファクトが一覧表示されます。

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

工件面板显示组件和跟踪工件

ダッシュボードで見つかったアーティファクトからそのコンポーネントへのトレーサビリティパスを確認するには,アーティファクトを右クリックして[コンポーネントへのトレースを表示)をクリックします。モデルテストダッシュボードの新しいタブで、トレーサビリティグラフが開きます。このグラフは、コンポーネントからアーティファクトまでダッシュボードがトレースした、接続と中間アーティファクトを示します。2 つのアーティファクトを接続するトレーサビリティのタイプを確認するには、アーティファクトを接続する矢印にカーソルを合わせます。トレーサビリティの関係は、一方のアーティファクトが他方を含むか、一方のアーティファクトが他方へとトレースするかのいずれかです。たとえば、機能要件CC003_05のトレースビューは,これが要件激活巡航控制に含まれていることを示しています。このコンテナー要件は機能要件设置开关检测へとトレースし,これがさらにコンポーネントdb_DriverSwRequestへとトレースします。

功能需求的仪表板跟踪视图。

コンポーネントのリストの後に,ダッシュボードがいずれのモデルにもトレースしていないアーティファクトが[トレースなし]フォルダーに表示されます。トレーサビリティ解析中にアーティファクトがエラーを返す場合,パネルの[エラー]フォルダーにアーティファクトが表示されます。こうしたセクションおよびコンポーネントのトレーサビリティ情報を使用して,テストアーティファクトが想定どおりのモデルまでトレースするかどうかを確認します。アーティファクトの解析中にダッシュボードで検出される警告およびエラーの詳細を確認するには,[モデルテストダッシュボード]ダイアログの下部で[診断]をクリックします。

[アーティファクトのトレース]ボタンを有効にすることで,プロジェクト内のアーティファクトを編集して保存するときに,ダッシュボードは変更を追跡し,[アーティファクト]パネルのトレーサビリティデータが古い可能性があるかどうかを示します。トレーサビリティデータを更新するには,[アーティファクトのトレース]をクリックします。ボタンが有効になっていない場合,ダッシュボードはトレーサビリティ情報に影響を与える変更を検出していません。

機能要件

[機能要件]フォルダーは,[タイプ]が功能に設定され,コンポーネントモデルまで直接に,またはコンテナー要件,ライブラリサブシステムのいずれかまたは両者の組み合わせを通してトレースする要件を表示します。要件のリンク付けの詳細については,要件リンク(金宝app仿真软件需求)を参照してください。

コンポーネントへとトレースしない要件は,Untraced工件フォルダーに表示されます。要件が,想定に反して[アーティファクト]パネルに表示されない場合は,[アーティファクト]ペインに要件がないを参照してください。

コンポーネントのメトリクス結果を収集するときに,ダッシュボードは[機能要件]フォルダーに表示される要件のサブセットを解析します。メトリクスは,[タイプ]が功能に設定されている要件,および[タイプ]が实现了に設定されているリンクによってモデルに直接リンクされている要件のみを解析します。コンポーネントまでトレースする要件であっても,こうした設定をもたないものは,[機能要件]フォルダーに表示されますが,要件のメトリクス結果の対象になりません。要件のメトリクス結果のトラブルシューティングについては,メトリクス結果を生成しない要件の修正を参照してください。

設計アーティファクト

[設計]フォルダーには以下が表示されます。

コンポーネントのブロック線図を含むモデルファイル。
モデルによって部分的または完全に使用されるライブラリ。
モデルにリンクされているデータディクショナリ。

テストケース

[テストケース]フォルダーには,モデルまでトレースするテストケースが表示されます。これには,モデルに対して実行されるテストケースと,テストハーネスを使用してモデルのサブシステムに対して実行されるテストケースが含まれます。金宝app仿真软件测试を使用して,こうしたテストケースをテストスイートファイルに作成します。

コンポーネントへとトレースしないテストケースは,Untraced工件フォルダーに表示されます。テストケースが、想定に反して[アーティファクト]パネルに表示されない場合は,[アーティファクト]ペインにテストケースがないを参照してください。

コンポーネントのメトリクス結果を収集するときに,ダッシュボードは[テストケース]フォルダーに表示されるテストケースのサブセットを解析します。ダッシュボードは,モデルに対して実行されるテストケースのみを解析します。サブシステムテストハーネスはフォルダーに表示されますが,モデル全体をテストしないため,メトリクスの対象になりません。メトリクス結果でのテストケースのトラブルシューティングについては,メトリクス結果を生成しないテストケースの修正を参照してください。

テスト結果

[テスト結果)フォルダーには,モデルをテストするテストケースからの,次のタイプのテスト結果が表示されます。

保存されたテスト結果——テストマネージャーで収集し,結果ファイルにエクスポートした結果。
一時的なテスト結果——テストマネージャーで収集したものの,結果ファイルにはエクスポートしていない結果。テストマネージャーから結果をエクスポートすると,ダッシュボードは一時的な結果ではなく保存された結果を解析します。また,プロジェクトを閉じるか,金宝app仿真软件测试の結果エクスプローラーで結果セットを閉じると,ダッシュボードは一時的な結果の認識を停止します。後続のテストセッションまたはプロジェクトセッションで結果を解析する場合は,結果を結果ファイルにエクスポートしてください。

コンポーネントへとトレースしないテスト結果は,Untraced工件フォルダーに表示されます。テスト結果が,想定に反して[アーティファクト]パネルに表示されない場合は,[アーティファクト]ペインにテスト結果がないを参照してください。

コンポーネントのメトリクス結果を収集するときに,ダッシュボードは[テスト結果)フォルダーに表示されるテスト結果のサブセットを解析します。ダッシュボードメトリクス結果でのテスト結果のトラブルシューティングについては,メトリクス結果を生成しないテスト結果の修正を参照してください。

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

[トレースなし]フォルダーには,ダッシュボードがモデルまでトレースしていないアーティファクトが表示されます。[トレースなし]フォルダーを使用して,コンポーネントへのトレーサビリティがアーティファクトから欠落しているかどうかをチェックします。トレーサビリティをアーティファクトに追加する際には,[アーティファクトのトレース]をクリックしてパネル内の情報を更新します。モデルテストダッシュボードは、一部のアーティファクトおよび一部のリンクのトレーサビリティ解析をサポートしません。コンポーネントへとトレースすることが想定されているアーティファクトがトレースなしの場合は、トレースされないアーティファクトでトラブルシューティングソリューションを参照してください。

アーティファクトエラー

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

トレーサビリティ解析が開始されたときに保存されていない変更がある場合,アーティファクトはエラーを返します。
前のバージョンの仿金宝app真软件に保存されていた場合,テスト結果ファイルはエラーを返します。
検索パス上にない場合,モデルはエラーを返します。

こうしたアーティファクトを開いて,エラーを修正します。その後,ダッシュボードでトレーサビリティを解析するために[アーティファクトのトレース]をクリックします。

診断

解析中の警告またはエラーの原因となるアーティファクトの詳細を確認するには,[モデルテストダッシュボード]ダイアログの下部で[診断]をクリックします。診断ビューアーに、エラー、警告、情報メッセージが表示されます。診断メッセージをタイプ別にフィルター処理することや、ビューアーからメッセージをクリアすることができます。

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

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

メトリクス結果の収集

モデルテストダッシュボードでは,[アーティファクト]ペインにリストされている各コンポーネントのメトリクス結果を収集します。ダッシュボードの各メトリクスはモデルのテスト品質の異なる側面を測定し,業界認定のソフトウェア開発標準(ISO 26262, - 178など)のガイドラインを反映しています。利用可能なメトリクスと,メトリクスによって返される結果の詳細については,模型试验指标を参照してください。

プロジェクト内のアーティファクトを編集および保存すると,ダッシュボードは変更を追跡し,ダッシュボード内のメトリクス結果が古い可能性があるかどうかを示します。変更が[アーティファクト]パネルのトレーサビリティ情報に影響を与える場合,[アーティファクトのトレース]をクリックします。トレーサビリティ情報を更新した後で,メトリクス結果がアーティファクト変更の影響を受ける可能性がある場合,(古いメトリクス]アイコン陈旧的指标がダッシュボードの上部に表示されます。影響を受けるウィジェットがグレーで強調表示されます。結果を更新するには,[結果の収集)、[すべての結果を収集)をクリックします。

ダッシュボードは,以下の変更に関しては,古いメトリクスデータを示しません。

テストケースを実行してダッシュボードで結果を解析した後で,テストケースを変更した場合,ダッシュボードではテストケースメトリクスが古いことが示されますが,結果メトリクスが古いことは示されません。
テスト結果で使用されるカバレッジフィルターファイルを変更する場合,ダッシュボード内のカバレッジメトリクスにはデータが古いことが示されないか,変更が含まれません。フィルターファイルへの変更を保存した後で,テストを再実行し,フィルターファイルを使用して新しい結果を取得します。

コンポーネントのメトリクス結果を収集するときに,ダッシュボードはコンポーネントまでトレースするアーティファクトのサブセットの結果を返します。ただし,要件とテストケースの間のトレーサビリティリンクをカウントするメトリクス結果には,他のコンポーネントまでトレースする可能性があるアーティファクト,またはいずれのコンポーネントもトレースしない可能性があるアーティファクトへのリンクが含まれています。たとえば,テストケースTestCaseAが模型をテストする場合,メトリクス(要件にリンクされているテストケース]を模型で実行すると,そのテストケースの結果が返されます。メトリクスがTestCaseAにリンクされている要件をチェックするときに,そのメトリクスは要件の実装またはトレーサビリティステータスを考慮しません。TestCaseAに要件RequirementBへの验证リンクがあり,その要件が別のモデルにリンクされている場合,メトリクスはテストケースがリンクされていることを示す真正的を返します。ただし,メトリクス[テストケースにリンクされている要件)を模型で実行する場合は,要件が模型にリンクされていないため,RequirementBの結果を返しません。要件にリンクされているテストケースについては,リンクされた要件がテストケースの実行対象であるモデルによって実装されていることをチェックします。さらに,テストケースにリンクされている要件に関して,要件を実装するモデルでテストケースが実行されることを確認します。