抽象解释

摘要口译是一门科学形式化方法一种依赖于广泛的数学定理基础的技术，这些定理定义了分析复杂动态系统（如软件应用程序）的规则。抽象解释不是分析程序的每个状态，而是以更一般的形式表示这些状态，并提供操作这些状态的规则。它产生了一个数学抽象，也解释了抽象。

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

你可以用抽象的解释静态代码分析完成以下任务：

• 执行代码验证以识别和诊断运行时错误
• 使用韵律学通过这个过程来衡量和改进软件质量
• 全面彻底地验证所有有风险的操作，对每项操作进行“已证实”、“失败”、“无法达到”或“未证实”的诊断

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

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

有关详细信息，请参阅多空间^®s manbetx 845产品。