面向软件缺陷检测的静态分析技术

摘要

软件开发过程中的一个重要原则就是缺陷发现的时间越早越好,如果能控制软件缺陷,就可以得到高质量的软件。静态分析工具根据软件的结构、内容或文档来评价软件系统,而不需要执行程序。因此,可以较早地发现程序代码中的缺陷,使得后面的软件开发阶段可以着重分析复杂功能以及算法上的错误。主要对使用静态分析技术检测软件缺陷的方法进行研究,讨论静态分析技术的现状和进展情况以及静态分析的特点。