抽象解释

抽象解释是一个正式方法依赖于依赖于分析复杂动态系统的规则的广泛数学定理基础的技术，例如软件应用程序。不是分析程序的每个状态，抽象解释以更一般的形式代表这些状态，并提供规则以操纵它们。它产生了数学抽象，并解释了抽象。

要生成程序状态的数学抽象，彻底的解释彻底分析了所有代码变量。当与非指数算法和今天增加的处理能力相结合时，它有助于解决复杂的嵌入式软件验证和测试挑战。

您可以使用抽象解释静态代码分析要完成以下任务：

• 执行代码验证以识别和诊断运行时错误
• 用指标由此过程产生衡量和改进软件质量
• 完全和全面地验证所有风险的操作，获得“经过验证”的诊断，“失败，”或“无法访问”或“未到达”或“未经证实”为每个操作

结合抽象解释和静态代码分析使您可以：

• 检测难以捉摸的运行时间错误
• 证明没有某些运行时间错误
• 生成代码质量指标
• 检查源代码是否符合代码标准，例如臭臭C.和JSF ++

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