系统需求

端到端系统验证从系统需求开始。系统需求详细说明了模型设计和测试验证规范。

如果你有一个万博1manbetxSimulink的要求™许可，您可以创作和管理体系的要求，链接Simulink模块来要求，并链接测试用例的要求，他们在Simulink环境中验证。万博1manbetx欲了解更多信息，请参阅测试模型根据需求和报告结果。

模拟数据

为了记录覆盖范围，首先指定模型的输入信号。欲了解更多信息，请参阅创建并运行测试用例和执行功能测试和分析测试覆盖率。

如果你有一个万博1manbetxSimulink设计验证器™许可，您也可以指定特定的输入信号预期输出信号。欲了解更多信息，请参阅执行功能测试和分析测试覆盖率(万博1manbetx仿真软件设计校验)。您还可以为系统自动生成测试用例。欲了解更多信息，请参阅工作流程测试用例生成(万博1manbetx仿真软件设计校验)。

模拟

在你之后指定覆盖选项为你的模型，你再模拟模型和记录模型覆盖。有关类型的模型覆盖的更多信息，请参阅模型覆盖的类型。您可以录制覆盖数据的几次运行和积累的结果。欲了解更多信息，请参阅访问，管理和累加覆盖效果通过使用结果浏览器和累积覆盖率数据。

如果你有一个嵌入式编码^®许可，您还可以录制代码覆盖率为软件在环（SIL）模式和处理器在环（PIL）模式的模型。代码覆盖率报告，告诉你哪些的生成的代码部分是由你的测试，还其模型的元素与模型的哪些部分相关的行使。有关启用SIL或者PIL代码覆盖率为模型的详细信息，请参阅指定代码覆盖选项。

如果你有一个万博1manbetxSimulink设计验证许可，您可以建模和使用财产证明验证设计要求。欲了解更多信息，请参阅基于需求的验证(万博1manbetx仿真软件设计校验)。

覆盖报告和型号高亮

您录制模拟覆盖范围后，然后查看覆盖报告和模型强调找出差距在您的测试，以获得信心，你的测试和验证是否齐全和充足的目标。有关覆盖报告和型号高亮的更多信息，请参见：

如果您有在软件在环（SIL）模式和处理器在中环模型的嵌入式编码器许可证和您记录代码覆盖率（PIL）模式，代码覆盖率报告告诉你，你的生成代码部分你的测试，还其模型的元素与模型的哪些部分相关联的行使。有关启用SIL或者PIL代码覆盖率为模型的详细信息，请参阅代码覆盖率为模型在软件在环（SIL）模式和处理器在环（PIL）模式。

解决失踪的报道

如果你发现你的设计的某些部分不完全测试，你可以采取措施来解决失踪覆盖范围和增益的信心，你的测试和验证是否完整和充分。欲了解更多信息，请参阅解决失踪覆盖。

归档和报告

当您对您的设计的测试和验证有信心时，您可以归档并报告覆盖率记录的结果。有关更多信息，请参阅: