模型覆盖率分析

使用测试生成顾问识别可分析的组件

使用Test Generation Advisor来指导模型和组件分析。

设计验证器窗格:测试生成

指定控制方式的选项金宝app仿真软件设计验证器为所分析的模型生成测试。

金宝appSimulink设计验证器选项

概述的金宝app仿真软件设计验证器“配置参数”对话框中的选项。

审查分析结果

中的评审分析结果金宝app仿真软件设计验证器结果总结窗口。

代码覆盖率分析

为嵌入式编码器生成的代码生成测试用例

概述为生成的代码生成测试用例的过程。

代码覆盖试验

此示例显示如何使用Simulink®Design Verif金宝appier™生成测试用例以获取完整的代码覆盖范围。

配置生成测试用例的s功能

这个例子展示了如何编译一个S-Function来与Simulink®Design Verifier™兼容，以生成测试用例。金宝app

金宝app支持s -函数和C/ c++代码的限制和考虑

中描述s函数和生成代码的限制和注意事项金宝app仿真软件设计验证器．

扩展测试用例

何时扩展现有测试用例

解释何时扩展现有测试用例以创建完整的测试套件。

用时序逻辑扩展模型的测试用例

扩展现有测试用例，以分析使用时序逻辑的模型。

为闭环系统扩展测试用例

扩展了现有的测试用例，以分析模型中的闭环系统。

为修改后的模型扩展测试用例

为您先前分析并修改过的模型扩展现有的测试用例。

创建和执行测试用例

这个例子展示了如何使用Simulink®Design Ver金宝appifier™函数来记录输入信号，创建一个harness模型，为缺失的覆盖率生成测试用例，合并harness模型，并执行测试用例。

扩展现有的测试套件

本示例展示了如何使用Simulink®Design Veri金宝appfier™扩展现有测试套件以获得缺失的模型覆盖率。

定义和扩展现有测试用例

这个例子展示了Simulink®Design 金宝appVerifier™如何使用额外的时间步长扩展测试用例，从而有效地生成完整的测试套件。

应用参数配置后扩展现有测试用例

这个例子展示了如何在应用参数配置后通过扩展现有测试用例来实现缺失的覆盖率。

实现失踪的报道

子系统和模型块中缺少覆盖范围

介绍如何将子系统转换为模型块，然后尝试实现缺失的覆盖范围。

在引用模型中实现缺失的覆盖范围

实现引用模型中缺失的覆盖率数据，并将其与顶层模型的覆盖率数据相结合。

实现闭环仿真模型的缺失覆盖

在闭环仿真模型中实现缺失覆盖数据。

在子系统分析中使用现有的覆盖率数据

本示例展示了Simulink®Design V金宝apperifier™如何在连续时间闭环仿真中针对单个子系统进行分析，并为该子系统中缺失的覆盖率生成测试用例。