コードカバレッジテストの生成

この例では次を使用します。

この例では、Simulink® Design Verifier™ を使用してテストケースを生成し、完全なコードカバレッジを取得する方法を説明します。

まず、ソフトウェアインザループ (SIL) シミュレーションモード用に設定されたモデル例のコードカバレッジを収集します。次に、Simulink® Design Verifier™ を使用して、テストケースを生成するテストスイートを作成します。最後に、生成されたテストケースを SIL シミュレーションモードで実行し、フルカバレッジを検証します。

製品の可用性のチェック

Simulink® Coder™ と Embedded Coder™ ソフトウェアがマシンにインストールされていることを確認してください。

if ~(license('test', 'Real-Time_Workshop') && ...
    license('test','RTW_Embedded_Coder'))
    return
end

初期設定

必ず、未編集バージョンのモデルを開きます。

model = 'sldv_cruise_control';
close_system(model, 0)
open_system(model)

SIL ベースのテストを生成するためのモデルの設定

1.[コンフィギュレーションパラメーター] ウィンドウで、[コード生成] をクリックして [システムターゲットファイル] を ert.tlc に設定します。または、以下を入力します。

set_param(model,'SystemTargetFile','ert.tlc');

2.[ハードウェア実行] をクリックし、[デバイスベンダー] と [デバイスタイプ] を SIL システムのベンダーとタイプに設定します。たとえば、64 ビットの Linux マシンの場合は、[デバイスベンダー] を Intel に、[デバイスタイプ] を x-86-64(Windows) に設定します。または、以下を入力します。

if ismac
    lProdHWDeviceType = 'Intel->x86-64 (Mac OS X)';
elseif isunix
    lProdHWDeviceType = 'Intel->x86-64 (Linux 64)';
else
     lProdHWDeviceType = 'Intel->x86-64 (Windows64)';
end

set_param(model, 'ProdHWDeviceType', lProdHWDeviceType);

カバレッジ計算のテストケースの検出

Simulink® Design Verifier™ を使用して sldv_cruise_control モデルを解析し、より広いコードカバレッジを達成するテストスイートを生成します。最上位モデルの MCDC カバレッジを達成するテストケースを生成するように、Simulink® Design Verifier™ のオプションを設定します。

opts = sldvoptions;
opts.TestgenTarget = 'GenCodeTopModel';
opts.Mode = 'TestGeneration';
[~, files] = sldvrun(model, opts, true);

### Starting build procedure for: sldv_cruise_control
### Successful completion of build procedure for: sldv_cruise_control
### Preparing to start SIL simulation ...
Building with 'gcc'.
MEX completed successfully.
### Starting SIL simulation for component: sldv_cruise_control
### Stopping SIL simulation for component: sldv_cruise_control
### Starting build procedure for: sldv_cruise_control
### Generated code for 'sldv_cruise_control' is up to date because no structural, parameter or code replacement library changes were found.
### Successful completion of build procedure for: sldv_cruise_control

Build Summary

Top model targets built:

Model                Action          Rebuild Reason                           
==============================================================================
sldv_cruise_control  Code compiled.  Compilation artifacts were out of date.  

1 of 1 models built (0 models already up to date)
Build duration: 0h 0m 2.4465s
### Preparing to start SIL simulation ...
### Starting SIL simulation for component: sldv_cruise_control
### Stopping SIL simulation for component: sldv_cruise_control
### Completed code coverage analysis
### Starting SIL simulation for component: sldv_cruise_control
### Stopping SIL simulation for component: sldv_cruise_control
### Completed code coverage analysis
### Starting SIL simulation for component: sldv_cruise_control
### Stopping SIL simulation for component: sldv_cruise_control
### Completed code coverage analysis
### Starting SIL simulation for component: sldv_cruise_control
### Stopping SIL simulation for component: sldv_cruise_control
### Completed code coverage analysis

メモ: スクリプトを実行すると、SIL テスト生成によってコードが再生成され再コンパイルされます。

フルカバレッジの検証

関数 sldvruntest は、生成されたテストスイートを使用してモデルをシミュレートします。関数 cvhtml が生成するカバレッジレポートは、sldvdemo_cruise_control モデルの最終的なカバレッジを示します。

[~, finalCov] = sldvruntest(model, files.DataFile, [], true);
cvhtml('sil_final_coverage', finalCov);
close_system(model, 0);

### Starting build procedure for: sldv_cruise_control
### Generated code for 'sldv_cruise_control' is up to date because no structural, parameter or code replacement library changes were found.
### Successful completion of build procedure for: sldv_cruise_control

Build Summary

Top model targets built:

Model                Action          Rebuild Reason                           
==============================================================================
sldv_cruise_control  Code compiled.  Compilation artifacts were out of date.  

1 of 1 models built (0 models already up to date)
Build duration: 0h 0m 2.4654s
### Preparing to start SIL simulation ...
Building with 'gcc'.
MEX completed successfully.
### Starting SIL simulation for component: sldv_cruise_control
### Stopping SIL simulation for component: sldv_cruise_control
### Completed code coverage analysis
### Starting SIL simulation for component: sldv_cruise_control
### Stopping SIL simulation for component: sldv_cruise_control
### Completed code coverage analysis
### Starting SIL simulation for component: sldv_cruise_control
### Stopping SIL simulation for component: sldv_cruise_control
### Completed code coverage analysis
### Starting SIL simulation for component: sldv_cruise_control
### Stopping SIL simulation for component: sldv_cruise_control
### Completed code coverage analysis