カスタムテストオブジェクティブのワークフローの作成

このページは前リリースの情報です。該当の英語のページはこのリリースで削除されています。

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

Product ブロックと Min ブロックで構成される次のモデルについて考えます。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] をクリックして、詳細な解析レポートを表示します。ブロック置換の概要には、置換されたブロックの詳細が示されます。

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