使用基于模型的设计进行早期验证和确认

杂应用程序。静态分析器可发现的问题相对较少，更重要的是，无法诊断大多数源代码。动态（或"白盒"）测试要求您编写并执行大量测试用例。如果测试失败，可能难以调试问题。基于形式验证的代码验证工具可以证明不存在运行时错误，并可为代码的可靠性提供强有力的保证。当在开发流程中使用代码验证工具进行测试时，这些工具还可提供其他技术，用于发现在后期测试阶段中难以发现并需要花费很高代价进行更正的设计和实现错误。

系统建模和仿真工具（如 Simulink）可帮助优化设计和验证复杂算法的任务，而无需昂贵的硬件。摒弃手工编码、难以维护的仿真后，控制设计人员可以快速开发复杂算法和系统模型，并在将算法应用到硬件上之前测试这些算法。经过多年经验的积累，现在已形成了可提供自动代码生成的方法，以支持原型系统中的实时测试并在以后用于可部署的嵌入式代码。现在，基于模型的设计已广泛应用于各种领域，包括控制、图像处理、音频、通信和信号处理。

基于模型的设计的一个主要好处在于，我们有机会随所有其他开发步骤（尤其是在开发流程早期）一起，并行地进行严格验证和确认。基于模型的设计的采用者通过不懈的实践已发现了一系列最佳做法，使用这些最佳做法可以在最大程度上获得这种设计带来的好处。这些做法（特别是随模型一起开发测试并在代码和硬件上重复使用模型测试）可以显著降低开发项目由于在流程后期发现错误而导致未能达到质量或交付目标的风险。