运行附加分析以减少有理近似的情况
此示例显示如何通过运行附加分析来减少有理近似的实例。您分析一个模型,在分析过程中,Simulink® Design Verifier™ 识别出近似值的存在,并且相关目标通过测试用例报告为未确定。
您可以启用运行额外分析以减少合理近似实例选项来执行额外分析,以确认未确定的目标。当您重新运行分析时,包含模型表示信息的Simulink缓存将被重新使用以执行更快的分析。更多信息请参阅重用模型表示进行分析。
打开模型
sldvApproximationsExample
模型由于 Constant模块中的计算 1./3 和 2./3 而得出近似值。
执行测试用例生成分析并审查结果
在Design Verifier选项卡上,点击生成测试。
分析完成后,“结果摘要”窗口将显示测试用例的一个目标已满足,而另一个目标尚未确定。
要查看详细的分析报告,请在“结果摘要”窗口中点击“HTML”。报告中的“分析信息”一章列出了分析过程中执行的近似值
“目标状态”章节对目标进行了详细的描述。
通过重复使用缓存来运行附加分析
未确定的测试用例目标受到近似值的影响,为了确认此目标状态,您需要运行额外的分析。
(a)在Design Verifier选项卡上,点击测试生成设置 > 设置。
(b) 在“配置参数”对话框的设计验证器窗格中的高级参数中,将重建模型表示选项设置为 If change is detected
,并启用运行其他分析以减少有理近似实例选项。点击确定。
注意:如果您创建一个新模型,默认情况下,重建模型表示选项设置为 If change is detected
。
(c)要执行测试生成分析,点击生成测试。将根据模型验证现有缓存,如果没有检测到变化,分析将重新使用缓存。
“结果摘要”窗口显示缓存的模型表示已经过验证并且未检测到任何变化。因此,分析跳过兼容性检查并重新使用模型表示进行分析。
分析完成后,“结果摘要”窗口将显示一个目标已满足,一个目标无法满足。
查看分析结果
要查看详细的分析报告,请在“结果摘要”窗口中点击“HTML”。报告中的“目标状况”章节对目标进行了详细的描述。