检测并证明没有运行时错误
抽象解释是正式的方法一种依赖于广泛的数学定理基础的技术,这些数学定理定义了分析复杂动态系统(如软件应用程序)的规则。抽象解释不是分析程序的每个状态,而是以更一般的形式表示这些状态,并提供操作它们的规则。它产生了一个数学抽象,也解释了抽象。
为了产生程序状态的数学抽象,抽象解释将彻底分析所有代码变量。当与非指数算法和当今日益增强的处理能力相结合时,它有助于解决复杂问题嵌入式软件验证和测试挑战。
你可以用抽象的解释静态代码分析完成以下任务:
结合抽象解释和静态代码分析,您可以:
- 检测难以捉摸的运行时错误
- 证明不存在某些运行时错误
- 产生代码质量度量
- 检查源代码是否符合代码标准,例如MISRA - C和JSF + +
详细信息请参见Polyspace®2022世界杯八强谁会赢?产品。
例子和如何
软件参考
参见:使用Polyspace产品进行静态分析2022世界杯八强谁会赢?,验证、验证和测试,嵌入式系统,抽象的解释,代码评审,圈复杂度,正式的方法,软件度量,软件质量保证,软件质量目标,源代码分析,静态代码分析