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 より小さい出力値をレンダリングし、検出サイトでカスタムテストオブジェクティブの効果を検出できます。

詳細については、カスタムテストオブジェクティブのワークフローの作成を参照してください。