你用金宝app®设计Verifier™记录和审查分析结果并生成分析报告。您可以生成测试输入并将其导出到新的测试用例金宝appSimulink Test™。
sldvloadResults. |
LOAD 金宝appSIMULINK DESIGN VERIFICER分析模型的结果 |
sldvhighlight. |
使用Simulink设计验证程序分析的数据突出显示模型金宝app |
sldvreport. |
生成Simulin金宝appk设计验证程序报告 |
sldvsimdata. |
在数据集格式中获取仿真数据 |
Sldvruntestopts. |
为SLDVRULEST或SLDVRUNCGVTEST生成模拟或执行选项 |
sldvruntest. |
使用输入数据模拟模型 |
Sldvharnesspopts. |
sldvmakeharness的默认选项 |
SLDVMakeharness. |
生成利痕模型 |
SLDVMerGeharness |
将测试用例和初始化合并为一个线束模型 |
描述了对模型的分析结果的突出显示。
描述了一个不同的部分金宝appSimulink Design Verifier报告。
金宝appSimulink Design Verifier Harness模型
描述一个基本的线束模型。
描述了一个内容金宝appSimulink Design Verifier数据文件。
描述分析日志文件。
指定控制如何的选项金宝appSimulink Design Verifier处理它生成的结果。
指定控制如何的选项金宝appSimulink Design Verifier报告其结果。
审查分析结果金宝appSimulink Design Verifier结果摘要窗口。
介绍如何生成测试用例金宝appSimulink测试使用金宝appSimulink Design Verifier分析结果,可以通过物业证明,设计错误检测和测试用例生成来生成。