形式化验证可以帮助您确认嵌入式系统软件模型和代码的行为正确。形式化验证方法依赖于严格的数学程序,通过模型或代码的可能的执行路径来搜索你的设计来标识错误。您可以对模型的形式验证,生成的代码和手工代码。
模型的形式验证
形式化验证可以帮助你在你的模型识别错误,并生成测试向量,在模拟重现错误。不同于传统的测试方法中,预期结果与实际数据值表示的,形式化验证技术,让你在工作系统行为模型。这样的模型可以包括测试场景和描述所需核查目标和不需要的系统行为。正式的分析模拟的补充,并提供更深层次的您设计的理解。