Simulink Design Verifier の拡張 MCDC カバレッジ

拡張改良条件判定カバレッジ (MCDC) は、改良条件判定カバレッジを拡張したものです。テストブロックの場合、拡張 MCDC は、下流ブロックからのマスキング効果を回避するテストケースを生成し、テストブロックが出力に影響するようにします。

拡張 MCDC カバレッジオブジェクティブを使用してテストブロックの効果を検出するには、テストブロックの標準的なモデルカバレッジオブジェクティブを検討するか、解析用に独自のカスタムテストオブジェクティブを作成することができます。詳細については、以下を参照してください。

拡張 MCDC モデルカバレッジオブジェクティブを使用してテストケースを生成した後、結果を解析するには、拡張 MCDC 解析の基本的なワークフローを参照してください。

拡張 MCDC カバレッジにモデルカバレッジオブジェクティブを使用

特定のテストブロックに関して、下流ブロックからのモデルカバレッジオブジェクティブへの影響を検出できます。拡張 MCDC モデルカバレッジオブジェクティブを使用してテストケースを生成すると、生成されたテストケースでは、下流ブロックからのマスキング効果が回避されます。モデルカバレッジオブジェクティブは、検出サイトで検出可能です。

Switch、Min、Max の各ブロックのカスケードで構成される次のモデルについて考えます。

拡張 MCDC カバレッジ用に生成されたテストケースにより、Switch (Simulink Coverage)テストブロックの判定オブジェクティブは、下流の Min ブロックおよび Max ブロックによってマスクされなくなります。生成されたテストケースにより、Min および Max ブロックに関する以下のマスキングなしの条件は達成されます。

F < D。Min ブロックが Switch 出力をマスクしないようにします。
G > E。Max ブロックが Min 出力をマスクしないようにします。

Switch ブロックの判定オブジェクティブと Min ブロックおよび Max ブロックのマスキングなしの条件は、パスに沿って達成され、検出サイト (Out1) で検出されます。たとえば、パスは Switch ブロックの出力信号から始まり、Min ブロックに沿って伝播して、Max ブロックの出力信号で終了します (モデル例で強調表示)。

テストブロックのモデルカバレッジオブジェクティブの効果がテストケースによって検出サイトで検出されるため、拡張 MCDC の基準により、テストケースの質が向上します。拡張 MCDC 解析用にモデルを解析するには、拡張 MCDC 解析用のモデルの解析の例を参照してください。

拡張 MCDC カバレッジ用にカスタムテストオブジェクティブを作成

拡張 MCDC は、検出サイトで検出可能なテストブロックの既定のカバレッジオブジェクティブを考慮します。カスタムテストオブジェクティブの検出可能性ステータスをチェックするために、モデルオブジェクトのテストオブジェクティブを作成し、拡張 MCDC 解析を実行することができます。

Product ブロックと Min ブロックで構成される次のモデルについて考えます。Product ブロックには、カバレッジオブジェクティブはありません。

Product ブロックのカスタムテストオブジェクティブを作成して 0 より小さい出力値をレンダリングし、検出サイトでカスタムテストオブジェクティブの効果を検出できます。

カスタムテストオブジェクティブの作成手順

このワークフローでは、ブロックのカスタムテストオブジェクティブの作成手順を説明します。

手順 1: カスタムテストオブジェクティブを作成するために、Atomic マスクサブシステムのライブラリを作成します。マスクサブシステムは次のブロックで構成されています。

検討対象のブロック。たとえば Product ブロックなど。
カスタムテストオブジェクティブをエンコードするロジック。たとえば MATLAB Function ブロックなど。
Simulink^® Design Verifier™ の Test Objective ブロック。

手順 2: マスクサブシステムで、次を行います。

isEnabledForDetectability パラメーターを追加して、パラメーターを On に設定します。
検討対象のブロックの名前で detectBlock パラメーターを追加します。
detectBlock パラメーターの Evaluate 属性を Off に設定します。

手順 3: 検討対象のブロックをマスクサブシステムに置き換えるブロック置換ルールを定義します。

カスタムテストオブジェクティブを作成するには、blkrep_rule_product_customTestObjective.m ブロック置換ルールのサンプルファイルを使用します。ブロック置換ファイルで、rule.BlockType と rule.ReplacementPath を、実際のモデルブロックに基づいて更新します。詳細については、サポートされていないブロックのブロック置換を参照してください。

手順 4: ブロック置換ルールを使用してモデルを構成します。[コンフィギュレーションパラメーター] ダイアログボックスの [Design Verifier] 、 [ブロック置換] ペインで、[ブロック置換ルールのリスト] を入力します。

手順 5: [モデルカバレッジオブジェクティブ] に Enhanced MCDC を選択して、テスト生成解析を実行します。

拡張 MCDC 用のモデルのカスタムテストオブジェクティブの解析

ライブスクリプトを開く

この例では、sldvCustomTestObjectiveExample モデルで Product ブロックのカスタムテストオブジェクティブを作成する方法を説明します。また、検出サイトでテストオブジェクティブの効果を検出する方法を説明します。

1.sldvCustomTestObjectiveExample モデルを開きます。

open_system('sldvCustomTestObjectiveExample');

Atomic マスクサブシステムのライブラリ:blkReplacementlib_customTestObjective ライブラリは、custProduct マスクサブシステムで構成されています。カスタムテストオブジェクティブをエンコードするロジックは MATLAB Function ブロックで定義されます。getCustomTestObjectives MATLAB Function ブロックは、Test Objective ブロックの 2 つのカスタム条件で構成されています。

custProduct マスクサブシステムは、次のパラメーターで事前構成されています。詳細については、マスクエディターの概要を参照してください。

検討対象のブロックをマスクサブシステムに置き換えるブロック置換ルール:sldvCustomTestObjectiveExample モデルはブロック置換オプションで事前構成されています。ブロック置換ルールは、Product ブロックを custProduct マスクサブシステムに置き換える blkrep_rule_product_customTestObjective ファイルで定義されています。

2.拡張 MCDC オブジェクティブ用にモデルを構成するには、[Design Verifier] タブで、[テスト生成の設定] をクリックします。[コンフィギュレーションパラメーター] ダイアログボックスの [Design Verifier]、[テスト生成] ペインで、[モデルカバレッジオブジェクティブ] に対して Enhanced MCDC を選択します。[OK] をクリックします。

3.テストケースを生成するには、[テストの生成] をクリックします。

ソフトウェアは、テスト生成に関して置換モデルを解析します。

4.[解析結果をモデル上で強調表示] をクリックします。Product ブロックの検出可能性を解析するには、Product ブロックをクリックします。

結果には、Product ブロックのテストオブジェクティブが検出可能と表示されます。テストケースが生成されます。

メモ: ブロック置換によって導入されたオブジェクティブに関しては、検証結果によってオブジェクティブのステータスを確認することはできません。したがって、テストオブジェクティブのステータスは [達成 - シミュレーションが必要] として報告されます。検証の詳細については、Simulink Design Verifier が検証結果を使用して近似をレポートする方法を参照してください。

5.[テストケースを表示] をクリックします。ハーネスモデルが開き、Signal Builder ブロックにテストケースが表示されます。

6.[結果の概要] で [HTML] をクリックして、詳細な解析レポートを表示します。ブロック置換の概要には、置換されたブロックの詳細が示されます。

[テストオブジェクティブのステータス] 節にはオブジェクティブがリストされます。検出サイトで検出可能なテストオブジェクティブが表にまとめられています。