主要内容

sltest.plugins.coverage.CoverageMetrics类

包:sltest.plugins.coverage

为运行的测试指定覆盖率指标MATLAB单元测试框架

描述

使用sltest.plugins.coverage.CoverageMetrics类指定覆盖度量标准。将Coverage Metrics对象传递给Model Coverage Plugin对象。

sltest.plugins.coverage.CoverageMetrics班级是A.处理类。

类属性

HandleCompatible
真的

有关类属性的信息,请参见类属性

创建

cmo= sltest.plugins.coverage.CoverageMetrics (属性创建具有指定属性的覆盖率指标对象。

您还可以导入插件,然后使用类名称创建对象:

导入sltest. plugings .coverage.CoverageMetrics cmo = CoverageMetrics(属性)

属性

全部展开

启用或禁用决策覆盖集合。

例子:“决定”,真的

属性:

SetAccess
民众
Getaccess.
民众

启用或禁用条件覆盖收集。

例子:'条件',真实

属性:

SetAccess
民众
Getaccess.
民众

启用或禁用已修改的条件/决策覆盖集合。

例子:“MCDC”,真的

属性:

SetAccess
民众
Getaccess.
民众

启用或禁用查询表覆盖率集合。

例子:“LookupTable”,真的

属性:

SetAccess
民众
Getaccess.
民众

启用或禁用信号范围覆盖集合。

例子:“SignalRange”,真的

属性:

SetAccess
民众
Getaccess.
民众

启用或禁用信号大小覆盖采集。

例子:'表示',真实

属性:

SetAccess
民众
Getaccess.
民众

启用或禁用Simulink设计验证器金宝app块覆盖集合。

例子:“金宝appSimulinkDesignVerifier”,真的

属性:

SetAccess
民众
Getaccess.
民众

启用或禁用记录块在整数溢出上饱和的次数。

例子:“SaturationOnIntegerOverflow”,真的

属性:

SetAccess
民众
Getaccess.
民众

启用或禁用关系边界覆盖范围。

例子:“RelationalBoundary”,真的

属性:

SetAccess
民众
Getaccess.
民众

例子

全部折叠

这个例子展示了如何使用MATLAB®Unit Test来为在Simulink®模型上运行的测试收集覆盖率。金宝app

你在这个测试中运行测试AutopilotTestFile.mldatx收集修改条件/决定(MCDC)覆盖的同时测试文件。

1.为示例导入测试运行程序和插件。

进口matlab.unittest.testrunner.进口sltest.plugins.ModelCoveragePlugin进口sltest.plugins.coverage.CoverageMetrics

2.创建模型覆盖率插件对象和覆盖率度量对象。在本例中,您将使用MCDC覆盖率和记录覆盖率来引用模型。

mcdcmet = cockageMetrics(“决定”,错误的,'健康)状况',错误的,“MCDC”,真的);covsettings = modelcoverageplugin(“RecordModelReferenceCoverage”,真的,...'收集', mcdcMet);

3.从测试文件创建一个MATLAB®Unit Test测试套件。

tf = sltest.testmanager.TestFile ('autopilottestfile.mldatx');APSuite = testsuite (tf.FilePath);

4.创建没有任何插件的测试运行程序,然后将覆盖率插件添加到运行程序中。

APRun = TestRunner.withNoPlugins ();addPlugin (APRun covSettings);

5.运行套件。

%关闭命令行警告。警告Stateflow: cdr: VerifyDangerousComparison警告Stateflow:运行时:TestVerificationFailedAPResult =运行(APRun APSuite)
RollAutopilotMdlRef/Roll Reference /tmp/Bdoc21b_1757077_104864/tpecf79c43_31b7_4994_8f41_96d8c699868c.html覆盖报告
APResult = TestResult with properties: Name: 'AutopilotTestFile > Basic Design Test Cases/Requirement 1.3 Test' Passed: 0 Failed: 1 Incomplete: 0 Duration: 6.1710 Details: [1x1 struct]总计:0 Passed, 1 Failed, 0 Incomplete. 6.171秒测试时间。

6.您可以打开命令行输出中的链接以查看Coverage报告。

清理。明确结果并重新启用警告。

警告Stateflow: cdr: VerifyDangerousComparison警告Stateflow:运行时:TestVerificationFailedsltest.testManager.ClearResults;sltest.testmanager.clear;sltest.testManager.Close;
介绍了R2018a