查看活动结果

分析完成后，将打开 Simulink^® Design Verifier™ 结果摘要窗口，显示可使用结果的不同方式。请参阅探索结果。

如果您关闭“结果摘要”窗口以便修复模型中任何分析错误的原因，则可能需要再次检查分析结果。如果您在运行分析后尚未关闭模型，则可以重新打开模型的最新分析结果。

在 Design Verifier 选项卡上，点击结果摘要以查看“结果摘要”窗口。“结果摘要”窗口重新打开，显示模型的最新分析结果。

加载先前的结果

如果您想查看模型先前分析的结果，您可以从分析数据文件中加载这些结果。在 Design Verifier 选项卡上，点击加载以前的结果并浏览到与您要查看的分析相对应的数据文件。点击结果摘要。

有关分析数据文件的更多信息，请参阅管理 Simulink Design Verifier 数据文件。

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

探索结果

通过在“结果摘要”窗口中加载活动或以前的分析结果，您可以执行以下任务。