收集模型的覆盖率

测量模型的覆盖率，识别设计中未经测试的元素

在仿真过程中收集覆盖率，以测量模型或 Stateflow^® 图中的哪些元素经过了测试。Simulink^® Coverage™ 可测量多种类型的覆盖率，例如执行、决策、条件和修正条件/决策覆盖率。最基本的覆盖率等级决定了是否在仿真过程中执行某个项目，而更广泛的覆盖率等级则决定了单个逻辑条件是否得到充分执行，以及它是否会独立影响逻辑表达式的输出。

函数

全部展开

收集模型覆盖率

`sim`	对 Simulink 模型进行仿真
`cvtest`	Create model coverage test specification object
`cvsim`	Simulate and return model coverage results for test objects
`cvdata`	Access Simulink Coverage data in the MATLAB workspace
`cvexit`	Exit coverage environment
`parsim`	以并行或串行方式进行多次动态系统仿真

验证单个组件

`slvnvlogsignals`	Log test data for component or model during simulation
`slvnvmergedata`	Combine test data from data files
`slvnvmakeharness`	Generate Simulink Coverage harness model
`slvnvharnessopts`	Generate default options for `slvnvmakeharness`
`slvnvmergeharness`	Combine test data from harness models
`slvnvruntest`	Simulate model by using input data
`slvnvruncgvtest`	Use Code Generation Verification (CGV) API to execute model
`slvnvruntestopts`	Generate simulation or execution options for `slvnvruntest` or `slvnvruncgvtest`
`slvnvextract`	Extract atomic subsystem or subchart contents into new model

主题

模型覆盖率定义

Model Coverage
Validate your model tests by measuring how thoroughly the model objects are tested.
Types of Model Coverage
Model coverage metrics provided by Simulink Coverage.
Modified Condition and Decision Coverage (MCDC) Definitions in Simulink Coverage
Describes the definitions of MCDC coverage available for use in Simulink Coverage.
Modified Condition and Decision Coverage in Simulink Design Verifier
Describes the difference between MCDC coverage in Simulink Design Verifier™ and in Simulink Coverage.

使用模型覆盖率

使用 Simulink Coverage 分析模型
了解基本 Simulink Coverage 工作流。
Generate Coverage Results for Models
Choose one of several methods to analyze a model and generate coverage results.
Specify Coverage Options
In the model settings, specify several coverage analysis options.
Model Objects That Receive Coverage
Model objects that receive model coverage during simulation.
Model Objects That Do Not Receive Coverage
Simulink objects that do not receive coverage.
Automating Model Coverage Tasks
Automate model coverage analysis using MATLAB^® commands.
Model Coverage for Multiple Instances of a Referenced Model
Collect model coverage when a model has multiple Model blocks that reference the same model.
Obtain Cumulative Coverage for Reusable Subsystems
Create and view cumulative coverage results for a model with a reusable subsystem.
Model Coverage for Variant Blocks
Learn how Simulink Coverage displays coverage results for Simulink variants.
Simulink Optimizations and Model Coverage
Learn how inlined parameters, block reduction, and conditional input branch execution can affect your model coverage data.
Collect Relational Boundary Coverage for MinMax Block
This example shows how to view and interpret relational boundary coverage results for a MinMax block in three signal size configurations.

Stateflow 图的模型覆盖率

Model Coverage for Stateflow Charts
Describes the definition of coverage for elements in Stateflow charts.
Types of Coverage for Stateflow Charts
Describes the coverage metrics you can collect for Stateflow charts.
Model Coverage for Stateflow Atomic Subcharts
Coverage behavior when your model contains Stateflow atomic subcharts.
Model Coverage Display for Stateflow Charts
Interpret the colored model highlighting for Stateflow charts.
Model Coverage for Stateflow Truth Tables
Coverage behavior when your model contains Stateflow truth tables.

精选示例

Cumulative Coverage Analysis

Illustrates the use of the Coverage Results Explorer to simplify the generation of cumulative coverage data and reports spanning a set of multiple coverage runs.

打开脚本

Record Coverage in Parallel Simulations by Using Parsim

Record coverage in multiple parallel Simulink® simulations corresponding to different test cases by using SimulationInput objects and the parsim command. If Parallel Computing Toolbox is installed on your system, the parsim command runs simulations in parallel. Otherwise, the simulations are run in serial.

打开脚本