模型覆盖率分析

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

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

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

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

金宝appSimulink设计验证器选项

概述金宝appSimulink设计验证器选项中的“配置参数”。

回顾分析结果

回顾分析结果金宝appSimulink设计验证器“结果汇总”窗口。

代码覆盖率分析

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

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

代码覆盖率测试生成

这个例子展示了如何使用Simulink®Design Ver金宝appifier™来生成测试用例以获得完整的代码覆盖。

配置生成测试用例的s函数

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

金宝app支持s -函数和C/ c++代码的限制和注意事项

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

扩展测试用例

何时扩展现有的测试用例

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

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

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

为闭环系统扩展测试用例

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

扩展修改模型的测试用例

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

创建并执行测试用例

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

扩展现有的测试套件

这个例子展示了如何使用Simulink®Design Ver金宝appifier™来扩展现有的测试套件，以获得缺失的模型覆盖率。

定义和扩展现有的测试用例

此示例展示了Simulink Design V金宝apperifier™如何通过额外的时间步骤扩展测试用例，以有效地生成完整的测试套件。

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

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

实现缺失覆盖率

子系统和模型块中缺失的覆盖

解释如何在试图实现缺失覆盖之前将子系统转换为模型块。

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

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

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

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

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

这个例子展示了Simulink Design 金宝appVerifier™如何将其分析定位到连续时间闭环模拟中的单个子系统，并为该子系统中缺失的覆盖生成测试用例。