正式验证有助于确认嵌入式系统软件模型和代码的正确行为。形式化的验证方法依赖于数学上严格的过程来搜索模型或代码的可能执行路径,以识别设计中的错误。您可以对模型、生成的代码和手工代码执行正式的验证。
模型的形式化验证
正式验证可帮助您识别模型中的错误,并生成在模拟中再现错误的测试向量。与传统的测试方法不同,传统的测试方法使用具体的数据值来表示预期结果,正式验证技术允许您处理系统行为模型. 此类模型可以包括描述期望和不期望的系统行为的测试场景和验证目标。形式分析补充了模拟,并提供了对设计的更深入理解。
详情请参阅金宝appSimulink设计验证程序™.