查看测试生成分析结果
在 Simulink® Design Verifier™ 完成分析后，请通过以下方式之一查看分析结果：
在模型中突出显示结果。
查看分析报告。
查看测试生成分析结果
完成本教程的前两个步骤以执行测试生成分析，然后查看结果。
当软件完成分析后，“结果摘要”窗口会显示用于查看结果的选项。对于任何 Simulink Design Verifier 分析，您都可以通过“结果摘要”窗口执行任务。
或者，在 Design Verifier 选项卡的查看结果部分中，点击结果摘要以查看结果。
只要您的模型处于打开状态，您就可以在“结果摘要”窗口中查看最新的 Simulink Design Verifier 分析的结果。
在模型上突出显示分析结果
在分析过程中，当目标状态更新时，Simulink Design Verifier 会自动突出显示模型对象。
要在 sldvexCruiseControl 模型上突出显示分析结果，请执行以下操作：
1.在 sldvexCruiseControl 分析的“结果摘要”窗口中，点击在模型上突出显示分析结果。
Switch 模块突出显示为绿色，这表示 Switch 模块的测试用例满足其测试目标。
2.默认情况下，“Simulink Design Verifier 结果”窗口始终是最顶部的可见窗口。要允许窗口移动到其他窗口后面，请右键点击该窗口，并清除始终在顶部。当您点击模型中的对象时，此窗口将发生变化，显示该对象的详细分析结果。
3.点击突出显示的 Switch 模块。
该摘要表明，Switch 模块的所有目标均已满足。同样地，点击突出显示的 Discrete-Time Integrator 模块，在“Simulink Design Verifier 结果”窗口中查看此模块的分析结果。有关模型上突出显示的分析结果的详细信息，请参阅突出显示模型结果。
查看详细分析报告
在“Simulink Design Verifier 结果摘要”窗口的详细分析报告旁边，点击 HTML。HTML 报告将在 MATLAB® 编辑器中打开。
该报告中包含以下目录。
“摘要”章节列出了有关模型和目标状态（是否满足）的信息。
“分析信息”章节提供了以下方面的信息：
您所分析的模型。
您为分析指定的选项。
软件在分析过程中执行的近似处理。
HTML 报告中的“测试目标状态”章节详细描述了每个模型项目满足的目标以及生成的测试用例。
在表的 Test Case 列下，点击 1 即可显示 Test Case 1 部分。
该报告中的“测试目标状态”部分详细描述了为实现模型中的目标而由分析生成的测试用例。有关 HTML 报告的详细信息，请参阅查看结果。
查看框架模型
要查看模型覆盖率目标的测试用例，请在“Simulink Design Verifier 结果”窗口中点击查看测试用例。框架模型 sldvexCruiseControl_harness 和 Signal Editor 模块会打开。
名为 Inputs 的 Signal Editor 模块包含测试用例。双击 Inputs 模块可查看测试用例。
注意：如果您拥有大型模型，则分析会生成框架模型，其中包含大量测试用例。
要生成更少的测试用例，请将测试套件优化模型配置参数设置为 LongTestcases 并重新运行分析。
当您将测试套件优化设置为 LongTestcases 时，分析会生成更少但更长的测试用例，并且每个测试用例都满足多个测试目标。
仿真框架模型并生成模型覆盖率报告
使用在 sldvexCruiseControl_harness 框架模型中生成的测试用例仿真框架模型。
在框架模型中，双击 Inputs 模块以打开“模块参数”对话框，然后点击“打开信号编辑器”按钮以打开“信号编辑器”窗口。
在模型框架窗口中，点击全部运行。
该软件使用这两个测试用例仿真框架模型，收集模型覆盖率信息，并显示覆盖率报告。覆盖率报告指出，测试用例对 sldvexCruiseControl 模型实现了 100% 的决策覆盖率。
您还可以在不创建框架模型的情况下仿真模型。在 Simulink Design Verifier 日志窗口中，点击仿真测试并生成模型覆盖率报告。有关模型覆盖率的详细信息，请参阅顶层模型覆盖率报告 (Simulink Coverage)。
有关框架模型以及如何使用 Signal Editor 模块生成模型覆盖率报告的详细信息，请参阅管理 Simulink Design Verifier 框架模型。
查看 sldvData 文件
Simulink Design Verifier 数据文件是 MAT 文件，其中包含名为 sldvData 的结构体。该结构体存储了分析过程中由分析收集和生成的所有数据。您可以使用数据文件进行自己的分析或生成自定义报告。
要查看数据文件，请点击日志窗口中的数据文件名（在此示例中为 sldvexGenerateTestcasesExample_sldvdata.mat）。当您点击数据文件名时，软件会在 MATLAB 工作区中创建 sldvData 对象的副本，以便于您能够查看并操作数据。
有关 Simulink Design Verifier 数据文件的详细信息，请参阅管理 Simulink Design Verifier 数据文件。
另请参阅
测试生成工作流 | Simulink Design Verifier 分析基础知识 | 检查模型兼容性以进行分析 | 突出显示模型结果
