验证并确认模型和代码

本教程介绍如何建立基于需求的模型测试的可追溯性，检查模型的合规性，测量测试覆盖率，生成测试以提高覆盖率，以及生成和测试代码。在整个开发过程中验证您的模型和代码可增加对您所实现的系统满足设计需求和规范的信心。

在开发过程的早期阶段，您可以创建一个高级系统模型，作为更详细模型的基础。您可以将模型中的项目与系统需求关联起来，以建立可追溯性，然后将该模型用作可执行规范。在验证模型时，您可以检查标准合规性、是否存在设计错误，并运行仿真来证明结果与预期输出相符。您可以编写测试，执行覆盖率分析以衡量测试完整性，并生成其他测试。最后，您可以将系统原型连接到用户界面或被控对象硬件并执行它，从而验证需求。

您还可以验证生成的代码和人工代码。您可以检查代码是否符合标准、是否存在设计错误，并分析代码度量。然后，您可以创建测试并测量代码覆盖率，以确定测试对代码的覆盖程度。对于生成的代码，您可运行相同的测试来验证模型，以证明代码-模型等效性。最后，您可以添加测试，优化系统及需求，直到设计完全正常工作，没有表现出意外行为，并通过全面测试。

下图显示如何在整个开发过程中使用验证和确认方法。

要验证和确认模型，请按照教程中的以下步骤操作：

另请参阅

主题

• 使用 Simulink 进行基于模型的设计