主要内容
解释和使用
记录和审查分析结果，生成报告，创建测试工具模型
你使用万博1manbetx®设计验证器™记录和审查分析结果，并生成分析报告。您可以生成测试输入，并将它们导出到新的测试用例中万博1manbetx仿真软件测试™。
功能
sldvloadresults |
负载万博1manbetx设计验证器模型分析结果 |
sldvhighlight |
突出显示使用的数据的模型万博1manbetx设计验证器分析 |
sldvreport |
生成万博1manbetx设计验证器报告 |
sldvsimdata |
获取仿真数据数据集格式 |
sldvruntestopts |
为。生成模拟或执行选项sldvruntest或sldvruncgvtest |
sldvruntest |
使用输入数据模拟模型 |
sldvharnessopts |
默认的选项sldvmakeharness |
sldvmakeharness |
生成利用模型 |
sldvmergeharness |
将测试用例和初始化合并到一个控制模型中 |
sldvruncgvtest |
调用代码生成验证(CGV) API并执行模型 |
主题
描述在模型上突出显示分析结果。
描述a的不同部分万博1manbetx仿真软件设计验证器报告。
描述一个基本的脊甲模型。
描述a的内容万博1manbetx仿真软件设计验证器数据文件。
描述分析日志文件。
指定控制方式的选项万博1manbetx仿真软件设计验证器处理它生成的结果。
指定控制方式的选项万博1manbetx仿真软件设计验证器报道了他们的研究成果。
回顾分析结果万博1manbetx仿真软件设计验证器结果总结窗口。
将测试用例导出到Simulink Test万博1manbetx
中描述如何生成测试用例万博1manbetx仿真软件测试使用万博1manbetx仿真软件设计验证器分析结果，可以通过属性证明、设计错误检测和测试用例生成生成。
特色的例子
你也可以从以下列表中选择一个网站:
