既存テストスイートの拡張

この例では、Simulink® Design Verifier™ を使用して既存のテストスイートを拡張し、未達モデルカバレッジを取得する方法を示します。

モデル例を解析して、フルカバレッジを達成するテストスイートを生成します。次に、モデルを変更し、テストケースでフルカバレッジが達成されないようにします。最後に、Simulink® Design Verifier™ を使用して、変更したモデルを解析し、未達カバレッジを取得します。

初期テストスイートの生成

sldvdemo_cruise_controlモデルを解析し、フルモデルカバレッジを達成するテストスイートを生成します。モデルを解析してモデルカバレッジを提供するテストケースを生成するには、関数sldvrunを使用します。sldvoptionsで設計検証パラメーターを設定します。

open_system'sldvdemo_cruise_control'; opts = sldvoptions; opts.Mode ='TestGeneration'; opts.ModelCoverageObjectives ='MCDC'; opts.SaveHarnessModel ='off'; opts.SaveReport ='off'; [ status, files ] = sldvrun('sldvdemo_cruise_control', opts, true);

テスト生成解析結果が [Simulink Design Verifier の検証結果の概要] ウィンドウに表示されます。

close_system('sldvdemo_cruise_control',0);

フルカバレッジの検証

関数sldvruntestは、既存のテストスイートを使用してモデルをシミュレートします。関数cvhtmlが生成するカバレッジレポートは、sldvdemo_cruise_controlモデルの初期カバレッジを示します。

open_system'sldvdemo_cruise_control'; [ outData, initialCov ] = sldvruntest('sldvdemo_cruise_control', files.DataFile, [], true); cvhtml('Initial coverage',initialCov); close_system('sldvdemo_cruise_control',0);

モデルの変更

変更したsldvdemo_cruise_control_modモデルを読み込みます。コントローラーのターゲット速度値は、Saturationブロックを使用して 70 に制限されています。

load_system“sldvdemo_cruise_control_mod”; load_system'sldvdemo_cruise_control_mod/Controller';

既存テストスイートが実現するカバレッジの測定

関数sldvruntestは、既存のテストスイートおよびsldvdemo_cruise_controlモデルと同じ入力を使用して、変更したsldvdemo_cruise_control_modモデルをシミュレートします。関数cvhtmlが生成するカバレッジレポートは、変更したsldvdemo_cruise_control_modモデルがフルカバレッジを達成しないことを示します。

[ outData, startCov ] = sldvruntest(“sldvdemo_cruise_control_mod”, files.DataFile, [], true); cvhtml('Coverage with the original testsuite',startCov);