主要内容

回顾分析结果

查看活动结果

分析完成后,动态仿真模块®设计验证器™结果摘要窗口将打开,显示您可以使用结果的不同方式。看到探索的结果

如果您关闭Results Summary窗口,以便修复模型中任何分析错误的原因,那么您可能需要再次检查分析结果。如果您在运行分析之后还没有关闭您的模型,那么您可以重新打开模型的最新分析结果。

设计验证器选项卡上,单击结果总结,查看“结果摘要”窗口。Results Summary窗口重新打开,其中显示了您的模型的最新分析结果。

加载之前的结果

如果您想要查看先前模型分析的结果,您可以从分析数据文件加载这些结果。在设计验证器选项卡上,单击加载之前的结果然后浏览到与您想要查看的分析相对应的数据文件。点击结果总结

有关分析数据文件的更多信息,请参见管理Simulink设计验证器数据文件

如果您从使用该模型的前一个版本生成的数据文件中为该模型加载分析结果,您可能会看到意想不到的效果。为了避免模型和分析结果数据之间的不一致,当您为一个模型加载结果时,选择一个包含该模型相同版本的结果的数据文件。

探索的结果

通过在results Summary窗口中加载活动的或以前的分析结果,您可以执行以下任务。

任务 的更多信息

突出显示模型上的分析结果。

突出显示模型上的结果

生成详细的分析报告。

审查结果

创建管理模型,或者如果管理模型已经存在,则打开它。

如果出现以下情况,您将无法创建控制模型:

  • 没有设计误差目标被证伪

  • 没有生成测试用例

  • 没有反例

管理Simulink设计验证器控制模型

查看数据文件。

管理Simulink设计验证器数据文件

查看日志文件。

查看日志文件

相关的话题

Baidu
map