relationalboundaryinfo

打开 slvnvdemo_cv_small_controller 模型。为模型创建模型覆盖率测试规范对象。

openExample('slvnvdemo_cv_small_controller');
open_system('slvnvdemo_cv_small_controller');
testObj = cvtest('slvnvdemo_cv_small_controller');

在模型覆盖率测试规范对象中，激活关系边界覆盖率。

testObj.settings.relationalop = 1;

仿真模型并在 cvdata 对象中收集覆盖率结果。

dataObj = cvsim(testObj);

获取 slvnvdemo_cv_small_controller 中 Saturation 模块的关系边界覆盖率结果。覆盖率结果存储在 [covered_outcomes total_outcomes] 形式的二元素向量中。

blockHandle = get_param('slvnvdemo_cv_small_controller/Saturation','Handle');
[covResults,covDesc] = relationalboundaryinfo(dataObj,blockHandle)

covResults =

     2     4


covDesc = 

    isFiltered: 0
      decision: [1x2 struct]

字段 decision 是一个 1 X 2 结构体。decision 的每一个元素对应模块中的一个关系运算。Saturation 模块包含两个比较。第一次比较与下限比较，第二次比较与上限比较。因此，decision 是一个二元素结构体。

查看接收关系边界覆盖率的模块中的第一个操作。对于 Saturation 模块，第一个关系运算是 input > lowerlimit。

covDesc.decision(1)

ans = 

            outcome: [1x2 struct]
               text: 'input - lowerlimit'
         isFiltered: 0
    filterRationale: ''

text 字段显示两个操作数。如果该模块是从关系边界覆盖率中过滤出来的，则 isFiltered 字段设置为 1。有关详细信息，请参阅覆盖率过滤。

查看模块中第一个关系运算的结果。

for(i=1:2)
  covDesc.decision(1).outcome(i)
end

ans = 

     isActive: 1
    execCount: 0
         text: '[-tol..0]'


ans = 

     isActive: 1
    execCount: 0
         text: '(0..tol]'

查看接收关系边界覆盖率的模块中的第二个操作。对于 Saturation 模块，第二个关系运算是 input < upperlimit。

covDesc.decision(2)

ans = 

            outcome: [1x2 struct]
               text: 'input - upperlimit'
         isFiltered: 0
    filterRationale: ''

查看模块中第二个关系运算的结果。

for(i=1:2)
  covDesc.decision(2).outcome(i)
end

ans = 

     isActive: 1
    execCount: 1
         text: '[-tol..0)'


ans = 

     isActive: 1
    execCount: 2
         text: '[0..tol]'

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;
   relboundBlockSIL = relationalboundaryinfo(covDataSIL,...
                                        "slvnvdemo_counter/upper GE input")

       
       relboundBlockSIL =
       
            1     2
   

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

   relboundSILFunction = relationalboundaryinfo(covDataSIL,...
                           {"slvnvdemo_counter.c","slvnvdemo_counter"})

       relboundSILFunction =
       
            2     4

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 的覆盖率结果，请使用 relationalboundaryinfo 函数，并指定一个包含模块句柄或完整路径元胞数组，后跟 S-Function 源文件的文件名。根据选项，您还可以指定该源文件中的特定函数。对于此示例，检索 S-Function 文件 counterbus.c 中名为 counterbusFcn 的函数的关系边界覆盖结果，该函数被 S-Function 模块 slcoverage_sfun_counterbus 调用。S-Function 模块位于模型 slcoverage_lct_bus 中的 TestCounter 子系统内。

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

       
       relboundSFun =
       
            4     6