抽象解释是形式化方法技术，该技术依赖于定义规则用于分析复杂的动态系统中，如软件应用数学定理的广泛基础。相反，分析程序的每个状态的，抽象的解释更一般的形式表示这些状态，并提供规则来操作它们。它产生一个数学抽象，也解释抽象。

为了生产程序状态的数学抽象，抽象演绎得淋漓尽致分析所有代码变量。当与非指数的算法，今天的结合更强的处理能力，它有助于解决复杂嵌入式软件验证和测试挑战。

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

• 执行代码验证识别和诊断运行时错误
• 采用指标通过该方法生产测量并改进软件质量
• 验证完全和全面风险所有的操作，得到一个诊断的“证明”，“失败”，“无法访问”或“未经证实的”为每个操作

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

• 检测难以捉摸的运行时错误
• 证明不存在某些运行时错误的
• 产品代码的质量指标
• 检查源代码符合代码标准，如MISRA-C / C ++和JSF ++

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