测试用例生成的介绍

什么是测试用例生成?

简要概述使用。生成测试用例金宝app^®设计验证器™．

生成测试用例的工作流

概述为您的模型生成测试用例的过程。

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

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

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

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

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

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

代码覆盖测试生成

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

将测试用例导出到Simulink测试金宝app

中描述如何生成测试用例金宝app仿真软件测试™使用金宝app仿真软件设计验证器分析结果，可以通过性能证明、设计错误检测和测试用例生成来生成。

什么是规格模型?

规格模型概述及其在基于需求的验证中的应用。

组件的验证

什么是组件验证?

组件验证的两种方法的概述。

组件验证功能

描述了金宝app仿真软件设计验证器用于组件验证的函数。

验证用于代码生成的组件

此示例使用slvnvdemo_powerwindow模型，以显示如何在包含组件的模型的上下文中验证组件。

用观察者隔离验证逻辑

描述对simulink设计验证器的观察器支持。金宝app金宝app

参数约束

参数约束值

参数配置概述金宝app仿真软件设计验证器分析。

为参数定义约束值

如何将参数指定为分析变量的示例。

为全覆盖指定参数约束值

如何指定参数约束值以实现完整的模型覆盖的示例。

为结构或总线参数指定约束值

此示例描述如何生成测试来约束模型中的结构和总线信号的值。

金宝appSimulink设计验证器窗格

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

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

设计验证器窗格:参数

指定控制方式的选项金宝app仿真软件设计验证器在分析模型时使用参数配置。

设计验证器窗格中

指定分析选项并进行配置金宝app仿真软件设计验证器输出。

金宝appSimulink设计验证器选项

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

回顾分析结果

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