查看分析结果

记录和查看分析结果，生成报告，检查测试用例

您可以使用 Simulink^® Design Verifier™ 记录和查看分析结果，并生成分析报告。您可以生成测试输入并将它们导出到 Simulink Test™ 中的新测试用例。

函数

`sldvloadresults`	加载模型的Simulink Design Verifier分析结果
`sldvhighlight`	使用来自 Simulink Design Verifier 分析的数据突出显示模型
`sldvreport`	生成Simulink Design Verifier报告
`sldvsimdata`	获取 `Dataset` 格式的仿真数据
`sldvruntestopts`	为 `sldvruntest` 或 `sldvruncgvtest` 生成仿真或执行选项
`sldvruntest`	使用输入数据仿真模型
`sldvharnessopts`	`sldvmakeharness` 的默认选项
`sldvmakeharness`	生成框架模型
`sldvmergeharness`	将测试用例和初始化合并到一个框架模型中
`sldvruncgvtest`	调用代码生成验证 (CGV) API 并执行模型

突出显示模型结果
描述模型上分析结果的突出显示。
审查结果
描述Simulink Design Verifier报告的不同部分。
管理Simulink Design Verifier框架模型
描述基本的框架模型。
管理 Simulink Design Verifier 数据文件
描述 Simulink Design Verifier 数据文件的内容。
查看日志文件
描述分析日志文件。
查看分析结果
在Simulink Design Verifier结果摘要窗口中查看分析结果。
将测试用例导出至Simulink Test
描述如何使用Simulink Design Verifier的分析结果在Simulink Test中生成测试用例，可以通过属性证明、设计错误检测、测试用例生成等方式生成。
使用 Simulink Design Verifier 从包含 Requirements Table 模块的模型中导出测试
使用包含Requirements Table模块的模型自动生成和执行测试。
使用Simulink Design Verifier过滤器浏览器过滤目标
描述使用分析过滤器资源管理器对目标进行过滤。
使用模型切片器检查测试生成目标
使用模型切片器检查测试生成目标。