モデル判定カバレッジのテストケースの生成

モデル例の作成

この例のモデルを作成します。

Simulink^® モデルを作成します。
次のブロックを空のモデルウィンドウにコピーします。
- Sources ライブラリの Inport ブロック。これにより Simulink Design Verifier™ が値を制御する入力信号を初期化。
- Sources ライブラリの Constant ブロックを 2 つ。Switch ブロックデータ入力として機能。
- Signal Routing ライブラリの Switch ブロック。単純なロジックを提供。
- Sinks ライブラリの Outport ブロック。出力信号を受信。
モデル内の Constant ブロックの 1 つをダブルクリックして、その [定数値] パラメーターを 2 に指定します。
モデルが次の図のようになるように、ブロックを接続します。
[アプリ] タブで、[アプリ] セクションの右側にある矢印をクリックします。
[モデルの検証とテスト] で、[Design Verifier] をクリックします。
[Design Verifier] タブの [準備] セクションのモード設定のドロップダウンメニューから、[設定] をクリックします。
[コンフィギュレーションパラメーター] ダイアログボックスで、[ソルバー] ペインを選択します。[ソルバーの選択] で、次のようにします。
- [タイプ] オプションを [固定ステップ] に設定します。
- [ソルバー] オプションを [離散 (連続状態なし)] に設定します。
Simulink Design Verifier は、固定ステップソルバーを使用するモデルのみを解析します。
[OK] をクリックして変更を保存し、[コンフィギュレーションパラメーター] ダイアログボックスを閉じます。
モデルを ex_generate_test_cases_example という名前で保存します。

モデル例の互換性のチェック

Simulink Design Verifier がモデルを解析する際、解析の開始前に必ず互換性チェックが実行されます。モデルに互換性がない場合、解析できません。

解析の開始前に、モデルが Simulink Design Verifier ソフトウェアと互換であることを確認することもできます。

ex_generate_test_cases_example モデルを開きます。
[Design Verifier] タブで、[互換性チェック] をクリックします。
ソフトウェアはログウィンドウを表示し、モデルが解析において互換であるかどうかを示します。
ここで作成したモデルは互換性があります。

モデルが部分的に互換である場合

互換性チェックによりモデルが部分的に互換であることが示された場合、モデルには Simulink Design Verifier でサポートされないオブジェクトが少なくとも 1 つ含まれています。部分的に互換なモデルは解析可能ですが、既定では、サポートされないオブジェクトはスタブされます。解析結果が不完全になる場合があります。

自動スタブの詳細は、自動スタブによる非互換性処理を参照してください。

テスト生成オプションの構成

ex_generate_test_cases_example モデルの 100% の判定カバレッジを達成するテストケースを生成するように Simulink Design Verifier を構成します。

ex_generate_test_cases_example モデルを開きます。
[Design Verifier] タブの [モード] セクションで、[テスト生成] を選択します。
[テスト生成の設定] をクリックします。
[コンフィギュレーションパラメーター] ダイアログボックスの [テスト生成] ペインで [モデルカバレッジオブジェクティブ] パラメーターを [判定] に設定します。
この例では、解析により判定カバレッジのみが記録されるテストケースが生成されます。
[テストスイートの最適化] パラメーターは既定では [自動] に設定されています。より少数で長いテストケースを生成する場合は、[テストスイートの最適化] パラメーターで [LongTestcases] を選択します。
[OK] をクリックして変更を保存し、[コンフィギュレーションパラメーター] ダイアログボックスを閉じます。
ex_generate_test_cases_example モデルを保存します。

モデル例の解析

[Design Verifier] タブで、[テスト生成] をクリックします。Simulink Design Verifier がモデルを解析し、テストケースが生成されます。

解析中、[検証結果の概要] ウィンドウには解析の進行状況が表示されます。ここには、処理されたテストオブジェクティブ数やどのオブジェクティブが達成されたかなどの情報が表示されます。

解析結果のレビュー

解析が完了すると、[検証結果の概要] ウィンドウには、結果を確認するためのこれらのオプションが表示されます。

以下の節では、解析結果をレビューする方法を説明します。

モデルの解析結果のレビュー
詳細な解析レポートのレビュー
ハーネスモデルのレビュー
テストのシミュレーションおよびモデルカバレッジレポートの生成
sldvData ファイルの表示
[検証結果の概要] ウィンドウでの解析結果のレビュー

モデルの解析結果のレビュー

モデル例の解析結果を強調表示します。

ex_generate_test_cases_example 解析の [検証結果の概要] ウィンドウで、[解析結果をモデル上で強調表示] をクリックします。
Switch ブロックは緑で強調表示されます。これは、Switch ブロックにそのテストオブジェクティブを達成させるテストケースがあることを示します。
Simulink Design Verifier の [結果] ウィンドウが開きます。モデルのオブジェクトをクリックすると、ウィンドウが変化してそのオブジェクトの詳細な解析結果が表示されます。既定では、Simulink Design Verifier の [結果] ウィンドウは常に最前面に表示されます。ウィンドウが他のウィンドウの背面に移動できるようにするには、をクリックして [常に手前に表示] をオフにします。
強調表示された Switch ブロックをクリックします。
Simulink Design Verifier の [結果] ウィンドウには、両方のテストオブジェクティブにテストケースが生成されたことが示されます。
- trigger > threshold
- trigger < threshold

モデルの強調表示された解析結果の詳細は、モデルにおける結果の強調表示を参照してください。

詳細な解析レポートのレビュー

詳細な HTML 解析レポートを作成します。

Simulink Design Verifier の [検証結果の概要] ウィンドウの [詳細な解析レポート] で、[HTML] をクリックします。
HTML レポートがブラウザーウィンドウで開きます。
レポートには次の目次が含まれます。ハイパーリンクをクリックしてレポートの節に移動します。
目次の Summary をクリックしてレポートの概要の章を表示します。
概要の章には、モデルおよびオブジェクティブのステータス (達成されたかどうか) に関する情報がリストされています。
[目次] で Analysis Information をクリックして解析情報の章を表示します。
解析情報の章には、次の情報があります。
- 解析したモデル。
- 解析に指定したオプション。
- 解析中に実行された近似。
[目次] で Test Objectives Status をクリックしてレポートのテストオブジェクティブステータスの章を表示します。
この表には、解析により ex_generate_test_cases_example モデル内の Switch ブロックに関連付けられた両方のテストオブジェクティブが達成されていることが示されます。これらに対して 2 つのテストケースが生成されています。
表の [テストケース] 列の 2 をクリックして Test Case 2 節を表示します。
この節には、モデルのオブジェクティブを達成するため解析で生成されたテストケースの詳細があります。このテストケースは、Switch ブロックが 3 番目の入力を出力端子に渡すときにテストオブジェクティブ 1 を達成します。具体的には、Switch ブロック制御信号の値 –1 により、ブロックが 3 番目の入力をブロック出力として渡すことが判定されます。

HTML レポートの詳細は、Simulink Design Verifier レポートを参照してください。

ハーネスモデルのレビュー

モデル内のテストオブジェクティブを達成させるテストケースを含むハーネスモデルを作成するには、Simulink Design Verifier の [検証結果の概要] ウィンドウで [ハーネスモデルの作成] をクリックします。

ex_generate_test_cases_example_harness という名前のハーネスモデルが作成されます。

Inputs という名前の Signal Builder ブロックにはテストケースが含まれています。Inputs ブロックをダブルクリックしてテストケースを表示します。テストのシミュレーションおよびモデルカバレッジレポートの生成で説明されているように、Signal Builder ブロックから、テストケースを使用してモデルをシミュレートし、モデルカバレッジレポートを生成できます。

ハーネスモデルの詳細は、Simulink Design Verifier ハーネスモデルを参照してください。

解析で多数のテストケースが生成される場合- 大規模モデルがある場合、解析で多数のテストケースを含むハーネスモデルが生成される場合があります。

より少数のテストケースを生成するには、次のようにします。

[テストスイートの最適化] パラメーターを [LongTestcases] に設定します。
解析を再実行します。

[LongTestcases] 最適化により、解析ではより少数のテストケースが生成され、それぞれがより長く、複数のテストオブジェクティブを達成するようになります。

テストのシミュレーションおよびモデルカバレッジレポートの生成

ハーネスモデルで生成されたテストケースを使用し、ハーネスモデルをシミュレートするには、次を行います。

ハーネスモデルで Inputs ブロックをダブルクリックして [Signal Builder] ダイアログボックスを開きます。
[Signal Builder] ダイアログボックスで、[すべて実行] をクリックします。
両方のテストケースを使用してハーネスモデルがシミュレートされ、モデルカバレッジ情報が収集されてカバレッジレポートが表示されます。カバレッジレポートには、テストケースが ex_generate_test_cases_example モデルに対し 100% 判定カバレッジを記録していることを示します。

ハーネスモデルを作成せずにモデルのシミュレーションを実行することもできます。Simulink Design Verifier のログウィンドウで、[テストをシミュレートしてモデルカバレッジレポートを生成] をクリックします。

モデルカバレッジの詳細については、最上位モデルカバレッジレポート (Simulink Coverage)を参照してください。

`sldvData` ファイルの表示

Simulink Design Verifier データファイルは、sldvData という名前の構造体が含まれる MAT ファイルです。この構造体には、解析時に収集および生成されたすべてのデータが格納されます。このデータファイルを使用して、解析の実行やカスタムレポートの生成が行えます。

データファイルを表示するには、ログウィンドウのデータファイル名をクリックします。この例では、ex_generate_test_cases_example_sldvdata.mat です。ファイル名をクリックすると、sldvData オブジェクトのコピーが MATLAB^® ワークスペースでインスタンス化され、そのデータのレビューや操作が可能になります。

Simulink Design Verifier データファイルの詳細については、Simulink Design Verifier データファイルを参照してください。

[検証結果の概要] ウィンドウでの解析結果のレビュー

モデルが開いたままであれば、[検証結果の概要] ウィンドウで最新の Simulink Design Verifier の解析結果を表示できます。

[Design Verifier] タブの [結果の確認] セクションで、[以前の結果の読み込み] または [結果の確認] をクリックして結果を表示します。

任意の Simulink Design Verifier 解析に対して、[検証結果の概要] ウィンドウから次のタスクを実行できます。

タスク	参照先
モデルにおける、解析結果の強調表示。	モデルにおける結果の強調表示
詳細な解析レポートの生成。	Simulink Design Verifier レポート
ハーネスモデルの作成。または既に存在する場合はモデルの開始。解析時にテストケースが生成されなかった場合、このオプションは使用できません。	Simulink Design Verifier ハーネスモデル
データファイルの表示。	Simulink Design Verifier データファイル
ログファイルの表示。	Simulink Design Verifier ログファイル

モデルを閉じると、解析結果は表示できなくなります。

テスト生成のカスタマイズ

Test Condition ブロックを使用して、解析時にモデルの信号を特定の値に制約できます。

MATLAB のコマンドプロンプトで sldvlib と入力し、Simulink Design Verifier ライブラリを表示します。
Objectives and Constraints サブライブラリを開きます。
Simulink Design Verifier ライブラリからモデルウィンドウに Test Condition ブロックをドラッグしてモデルにコピーします。
モデルウィンドウで、Test Condition ブロックを Inport と Switch ブロックの間に挿入します。
Test Condition ブロックをダブルクリックして、その属性にアクセスします。
Test Condition ブロックのパラメーターダイアログボックスが開きます。
[値] ボックスに「[-0.1, 0.1]」と入力します。このモデルのテストケースを生成する際に、解析により Switch ブロックの制御端子に入る信号値が、指定された範囲に制約されます。
[OK] をクリックして変更を保存し、Test Condition ブロックのパラメーターダイアログボックスを閉じます。
ex_generate_test_cases_with_tc_block としてモデルを保存し、それを開いたままにします。

モデル例の再解析

Test Condition ブロックを含む ex_generate_test_cases_with_tc_block モデルを解析します。Test Condition ブロックがどのようにテスト生成に影響するかを確認するには、モデル例の解析で得られた結果とこの解析結果を比較します。

[Design Verifier] タブで、[テスト生成] をクリックします。
Simulink Design Verifier ソフトウェアがログウィンドウを表示し、モデルの解析を開始してテストケースを生成します。解析の完了後、[検証結果の概要] ウィンドウに結果をレビューするためのオプションが表示されます。
[検証結果の概要] ウィンドウで、[HTML レポート] をクリックします。
目次で Summary をクリックしてレポートのレビューを開始します。
概要の章には、Simulink Design Verifier がモデル内で 2 つのテストオブジェクティブを達成させたことが示されています。
[目次] で Analysis Information をクリックします。この章の一番下の Constraints 節までスクロールします。
この節には、Switch ブロックの制御信号の値を区間 [–0.1, 0.1] に制約するために追加した Test Condition ブロックがリストされています。
[目次] で Test Objectives Status をクリックします。
この表には、生成された 2 つのテストケースを通じて Simulink Design Verifier が Switch ブロックの両方のテストオブジェクティブを達成していることが示されます。
表 Test Case 列の 1 をクリックします。
この節には、モデル内でオブジェクティブを達成するために生成されたテストケースに関する詳細が示されます。このテストケースは、Switch ブロックが 3 番目の入力を出力端子に渡すときにテストオブジェクティブ 1 を達成します。Test Condition ブロックでは入力信号の領域が間隔 [–0.1, 0.1] に制限されていますが、Switch ブロックの制御信号に対する値 –0.1 はこのオブジェクティブを達成させることが判別されます。
テストケースが 100% の判定カバレッジを達成することを確認するため、ハーネスモデルを開きます。
Inputs ブロックをダブルクリックして、[Signal Builder] ダイアログボックスを開きます。
[Signal Builder] ダイアログボックスで、[すべて実行] をクリックします。
Simulink ソフトウェアが両方のテストケースを使用してハーネスモデルをシミュレートし、モデルカバレッジ情報を収集してカバレッジレポートを表示します。このレポートの概要節には、Simulink Design Verifier がモデル例の完全な判定カバレッジを達成するテストケースを生成したことが示されています。

矛盾モデルの解析

解析によりエラー「The model is contradictory in its current configuration」が生成される場合、モデル内に矛盾が検出されているため、モデルを解析できません。

無効なパラメーターをもつ Test Objective ブロックがモデルにある場合、矛盾が生じることがあります。たとえば、信号が定数 10 である場合に信号は 0 ～ 5 でなければならないと規定されているオブジェクティブなどが矛盾になります。

矛盾が検出されると、それ以前の結果はすべて無効にされ、達成されないオブジェクティブがあることがレポートされます。