抽象解释是正式的方法这种技术依赖于大量的数学定理，这些定理定义了分析复杂动态系统(如软件应用程序)的规则。抽象解释不是分析程序的每个状态，而是以更一般的形式表示这些状态，并提供操作它们的规则。它产生了一个数学抽象，也解释了这个抽象。

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

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

• 执行代码验证以识别和诊断运行时错误
• 使用指标通过这一过程产生的测量和改进软件质量
• 全面彻底地验证所有的风险操作，对每个操作进行“已验证”、“失败”、“不可到达”或“未验证”的诊断

结合抽象解释和静态代码分析，使您能够:

• 检测难以捉摸的运行时错误
• 证明某些运行时错误不存在
• 生成代码质量度量
• 检查源代码是否符合MISRA-C/ c++和JSF++等代码标准

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