运行附加分析以减少有理近似的情况

此示例显示如何通过运行附加分析来减少有理近似的实例。您分析一个模型，在分析过程中，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”。报告中的“目标状况”章节对目标进行了详细的描述。