结果解释和使用
记录和审查分析结果,生成报告,创建测试工具模型
你使用金宝app®设计验证器™记录和检查分析结果,生成分析报告。您可以生成测试输入,并将它们导出到新的测试用例中金宝app仿真软件测试™.
功能
sldvloadresults |
负载金宝app设计验证器模型分析结果 |
sldvhighlight |
突出显示使用数据的模型金宝app设计验证器分析 |
sldvreport |
生成金宝app设计验证器报告 |
sldvsimdata |
获取模拟数据数据集 格式 |
sldvruntestopts |
生成模拟或执行选项sldvruntest 或sldvruncgvtest |
sldvruntest |
使用输入数据模拟模型 |
sldvharnessopts |
默认的选项sldvmakeharness |
sldvmakeharness |
生成利用模型 |
sldvmergeharness |
将测试用例和初始化合并到一个工具模型中 |
sldvruncgvtest |
调用代码生成验证(CGV) API和执行模型 |
主题
描述在模型上突出显示分析结果。
描述了不同的部分金宝app仿真软件设计验证器报告。
描述基本的束模型。
的内容金宝app仿真软件设计验证器数据文件。
描述分析日志文件。
指定控制如何操作的选项金宝app仿真软件设计验证器处理它生成的结果。
指定控制如何操作的选项金宝app仿真软件设计验证器报道了他们的研究成果。
评审分析结果金宝app仿真软件设计验证器结果总结窗口。
中描述如何生成测试用例金宝app仿真软件测试使用金宝app仿真软件设计验证器分析结果,可以通过性质证明、设计错误检测和测试用例生成来生成。