正式验证

正式验证有助于确认您的嵌入式系统软件模型和代码正常正确。正式验证方法依赖于数学上严格的程序来搜索模型或代码的可能执行路径，以识别设计中的错误。您可以对模型，生成的代码和手代码进行正式验证。

正式验证模型

正式验证可帮助您识别模型中的错误并生成重现模拟中的错误的测试向量。与传统测试方法不同，其中预期结果用具体数据值表示，正式的验证技术让您努力系统行为模型。此类模型可以包括描述所需和不期望的系统行为的测试场景和验证目标。正式分析补充了模拟并提供了更深入的了解您的设计。

有关详细信息，请参阅金宝appSimulink Design Verifier™。

正式验证代码

使用静态代码分析和正式验证方法，您可以使用工具来检测和证明在C / C ++或ADA中写入的源代码中的溢出，逐零，缺少界面访问的其他运行时误差。您可以使用它们来执行手写或生成的嵌入式软件的代码验证。您还可以检查编码标准的合规性，查看代码复杂度指标，并测量软件质量。

有关详细信息，请参阅波尔盖斯^®下载188bet金宝搏产品。