conditioninfo

加载模型。

modelName = 'slvnvdemo_cv_small_controller';
load_system(modelName);

使用 Simulink.SimulationInput 对象配置模型的覆盖率设置。

simIn = Simulink.SimulationInput(modelName);
simIn = simIn.setModelParameter('CovEnable','on');
simIn = simIn.setModelParameter('CovMetricStructuralLevel','MCDC');
simIn = simIn.setModelParameter('CovSaveSingleToWorkspaceVar','on');
simIn = simIn.setModelParameter('CovSaveName','covData');

将 simIn 作为输入传递给 sim 来对模型进行仿真。

simOut = sim(simIn);
covData = simOut.covData;

通过使用模块路径调用 conditioninfo 来查看增益子系统中逻辑模块的条件覆盖率结果。

condCov = conditioninfo(covData,[modelName,'/Gain/Logic'])

condCov =

     2     4

conditioninfo 返回一个包含两个标量的数组。第一个值是满足的条件结果的数量，第二个值是总条件结果的数量。使用这些来确定逻辑模块的满足条件结果的百分比。

percentCondCov = 100 * condCov(1) / condCov(2)

percentCondCov =

    50

1. 打开示例并加载模型。

   openExample("slcoverage/RetrieveCodeCoverageResultsExample");

2. 使用 setupSILCoverage 函数配置模型以进行代码覆盖率分析。输出是一个 Simulink.SimulationInput 对象。

   simIn = setupSILCoverage("slvnvdemo_counter_harness");

3. 仿真模型。

   simOut = sim(simIn);

4. 要检索代表特定模块生成代码的覆盖率结果，请使用模块路径。例如，通过传递相对于顶层模型的模块路径，检索名为 upper GE input 的 Relational Operator 模块的条件覆盖率结果。

   covDataSIL = simOut.covdata;
   condBlockSIL = conditioninfo(covDataSIL,...
                                "slvnvdemo_counter/upper GE input")
   

       
       condBlockSIL =
       
            2     2
   

5. 要检索生成代码中某个函数的覆盖率结果，请使用一个包含所生成源文件的文件名和函数名的元胞数组。例如，检索源文件 slvnvdemo_counter.c 中函数 slvnvdemo_counter 的条件覆盖率结果。

   condSILFunction = conditioninfo(covDataSIL,{"slvnvdemo_counter.c",...
                                               "slvnvdemo_counter"})
   

       condSILFunction =
       
            6     6

1. 打开示例并加载数据到工作区。

   openExample("slcoverage/RetrieveSFunCoverageResultsExample");
   load slcoverage_lct_data.mat

2. 使用 setupSFcnCoverage 函数配置模型以进行覆盖率分析。输出是一个 Simulink.SimulationInput 对象。

   simIn = setupSFcnCoverage("slcoverage_lct_bus");

3. 仿真模型。

   simOut = sim(simIn);

4. 要检索 S-Function 的覆盖率结果，请使用 conditioninfo 函数，并指定一个包含模块句柄或完整路径元胞数组，后跟 S-Function 源文件的文件名。根据选项，您还可以指定该源文件中的特定函数。例如，获取名为 counterbusFcn 的函数在 S-Function 文件 counterbus.c 中的条件覆盖率结果，该函数被 S-Function 模块 slcoverage_sfun_counterbus 调用。S-Function 模块位于模型 slcoverage_lct_bus 中的 TestCounter 子系统内。

   covDataSFcn = simOut.covdata;
   condSFun = conditioninfo(covDataSFcn,...
       {"slcoverage_lct_bus/TestCounter/slcoverage_sfun_counterbus",...
       "counterbus.c","counterbusFcn"})

       
       condSFun =
       
            4     6