拡張 MCDC 解析の基本的なワークフロー

拡張改良条件判定カバレッジ (MCDC) カバレッジオブジェクティブのテストケースを生成するには、次を行います。

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

メモ

拡張 MCDC 解析は、Embedded Coder で生成されたコードのテストケースの生成を行う場合にはサポートされていません。ソフトウェアは、テスト生成解析用に MCDC カバレッジオブジェクティブを考慮します。

Simulink^® Design Verifier™ は、拡張 MCDC カバレッジオブジェクティブについてモデルを解析します。

解析が完了すると、

解析結果に基づいてモデルが強調表示されます。

結果インスペクターウィンドウに、検出可能性ステータスを含めてモデルカバレッジオブジェクティブの概要が表示されます。

結果インスペクターウィンドウには、1 つのモデルカバレッジオブジェクティブに関して次の検出可能性ステータスが表示されます。

検出可能
検出不可能
未判定

次の表に、オブジェクティブステータスと検証可能性ステータスの考えられる組み合わせを示します。

オブジェクティブステータス	検出可能性ステータス	テストケースの説明
達成	検出可能	テストケースはモデルカバレッジオブジェクティブを達成し、検出サイトで検出可能です。
達成 - シミュレーションが必要	検出可能	テストケースはモデルカバレッジオブジェクティブを達成し、検出サイトで検出可能です。達成ステータスを確認するには、テストケースのシミュレーションを追加で実行しなければなりません。詳細については、達成されたオブジェクティブ - シミュレーションが必要を参照してください。
達成	検出不可能	テストケースはモデルカバレッジオブジェクティブを達成します。ただし、テストオブジェクティブは、どの検出サイトでも検出できません。
達成	未判定	テストケースはモデルカバレッジオブジェクティブを達成します。ソフトウェアは、下流ブロックに対するモデルカバレッジオブジェクティブの効果を表示できません。
非達成	検出不可能	テストオブジェクティブは非達成で、どの検出サイトでも検出できません。
未判定	未判定	テストオブジェクティブは未判定で、ソフトウェアは下流ブロックに対する効果を表示できません。

Simulink Design Verifier データファイルに、モデルカバレッジオブジェクティブの検出可能性ステータスと検出サイトが保存されます。詳細については、Simulink Design Verifier データファイルの管理を参照してください。

テストポイントログ信号を使用した検出サイトの構成

任意の信号をテストポイントログ信号としてマークした場合、拡張 MCDC 解析では可能な限り、このような信号がテストブロックの検出サイトとして優先されます。たとえば、以下に示すモデルを考えてみましょう。

Model showing test-pointed logged signal.

Min ブロックの出力をテストポイントログ信号とした場合、Switch ブロックの検出サイトは Min ブロックの出力端子となります。そうでない場合は、Saturation ブロックの出力端子となります。

portHandle_MinBlk = get_param('model/Min', 'PortHandles’);
set_param(portHandle_MinBlk.Outport, 'TestPoint', 'on’);
set_param(portHandle_MinBlk.Outport, 'DataLogging', 'on’);

テストポイントの詳細については、テストポイントとしての信号の設定を参照してください。信号のログについては、ログ記録用の信号の構成を参照してください。

拡張 MCDC 解析の詳細オプションの設定

より厳密なマスキングなしの条件でモデルを解析するには、厳密な伝播条件を使用オプションを有効にします。このオプションは、[コンフィギュレーションパラメーター] ダイアログボックスの [Design Verifier] 、 [テスト生成] ペインの [詳細設定パラメーター] にあります。

ソフトウェアは、下流ブロックのテストブロックへの効果を解析するために、より厳密なマスキングなしの条件を評価します。以下に例を示します。

モデルが Atomic Subsystem で構成されており、Function packaging オプションが [自動] または [インライン] に設定されている場合。
Switch ブロックと Atomic Subsystem ブロックで構成されているモデルについて考えます。Function packaging オプションは [自動] に設定されていて、厳密な伝播条件を使用オプションを有効にします。Switch テストブロックの効果は、検出ポイント Out1 で検出可能です。
厳密な伝播条件を使用オプションが [オフ] に設定された状態でモデルを解析すると、ソフトウェアは、Switch テストブロックの効果が Atomic Subsystem に到達するまでモデルを解析します。Atomic Subsystem は検出ポイントです。

モデルが Gain や Product のようなブロックで構成されており、[整数オーバーフローで飽和] オプションが [オン] に設定されている場合。

モデルスライサーを使用した拡張 MCDC オブジェクティブの検査

モデルスライサーでは、テストケース生成に関する次のオブジェクティブステータスがサポートされます。

達成
達成 - シミュレーションが必要
既存のテストケースで条件が満たされている
テストケースで未判定
実行時エラーのため未判定

モデルスライサーを使用すると、拡張 MCDC オブジェクティブ、およびモデルへのその影響を解析できます。[結果] ウィンドウで、達成され検出可能なオブジェクティブの右側にある [検査] リンクを使用します。

あるいは、[Design Verifier] タブで [スライサーを使用した検査] ボタンをクリックすることもできます。

モデルスライサーを起動すると、Simulink Design Verifier で生成されたオブジェクティブに関連するテストケースの値に基づいて入力が設定され、sldvData に記録された観測時間までステップします。次に、モデルスライサーによって、観測対象のモデルオブジェクトが開始点として追加され、スライスの強調表示により検出ポイントへの影響が示されます。

[コンフィギュレーションパラメーター] ウィンドウでモデルカバレッジオブジェクティブを拡張 MCDC に設定すると、その検出可能性を解析しながらオブジェクティブを検査できます。この場合、スライサーのコンフィギュレーションウィンドウで、スライス構成リストを使用して別のモードに切り替えることができます。