面向软件缺陷检测的静态分析技术
软件开发过程中的一个重要原则就是缺陷发现的时间越早越好,如果能控制软件缺陷,就可以得到高质量的软件.静态分析工具根据软件的结构、内容或文档来评价软件系统,而不需要执行程序.因此,可以较早地发现程序代码中的缺陷,使得后面的软件开发阶段可以着重分析复杂功能以及算法上的错误.本文主要对使用静态分析技术检测软件缺陷的方法进行研究,讨论静态分析技术的现状和进展情况以及静态分析的特点.
软件质量 缺陷检测 静态分析 软件开发
马培军 王甜甜 苏小红 王宇颖
哈尔滨工业大学,计算机科学与技术学院
国内会议
全国软件测试能力验证总结会暨中国宇航学会计算机应用专业委员会2006年学术年会
安徽黄山
中文
34-39
2006-12-01(万方平台首次上网日期,不代表论文的发表时间)