期刊文献+

面向软件缺陷检测的静态分析技术 被引量:2

Software Defect Detection-oriented Static Analysis Techniques
下载PDF
导出
摘要 软件开发过程中的一个重要原则就是缺陷发现的时间越早越好,如果能控制软件缺陷,就可以得到高质量的软件。静态分析工具根据软件的结构、内容或文档来评价软件系统,而不需要执行程序。因此,可以较早地发现程序代码中的缺陷,使得后面的软件开发阶段可以着重分析复杂功能以及算法的错误。本文主要对使用静态分析技术检测软件缺陷的方法进行研究,讨论静态分析技术的现状和进展情况以及静态分析的特点。 an important principle of the software development process is to find the defects the sooner the better,if we can control software defects,we can get high-quality software.Static analysis tools evaluate the software system according to the structure of the software,content or documents,without implementation procedures.Therefore,it can be found deficiencies in the code earlier,making Subsequent development can focus on the analysis of complex functions,as well as algorithms mistake.This paper mainly studies...
作者 张华
机构地区 潍坊学院
出处 《潍坊学院学报》 2008年第2期8-11,共4页 Journal of Weifang University
关键词 软件质量保障 缺陷检测 静态分析 software quality assurance defect detection static analysis
  • 相关文献

参考文献2

二级参考文献13

  • 1[1]Larry Rogerst.Buffer Overflow-What Are They and What Can I Do Them?[EB/OL].http:∥www.cert .org/homeusers/buffer_overflow.html,2003
  • 2[2]David Evans,David Larochelle.Improving Security Using Extensible Lightweight Static Analysis[J].IEEE Software,2002
  • 3[3]David Evans. Splint Manual[EB/OL].http:∥www.splint.org/manual,2003
  • 4[4]Nurit Dor,Michael Rodeh,Mooly Sagiv. Cleanness Checking of String Manipulations in C Programs via Integer Analysis[C].In:Proceeding of the 8th Symposium on Static Analysis,2001
  • 5[5]David Wanger,Jeffery S Foster,Eric A Brewer et al.A First Step Toward Authomated Detection of Buffer Overrun Vulnerabilities[C].In:the Network and distributed system security symposium,2000-02
  • 6[6]GCC Command options[EB/OL].http:∥gcc.gnu.org/onlinedocs/gcc3.04/gcc_3 .html, 2003
  • 7Havard Julsrud Harge. A Survey of Software Safety[R].Norwegian University of Science and Technology,2001-11.
  • 8David Evans,David Larochelle. Improving Security Using Extensible Lightweight Static Analysis[J].IEEE Software,2002.
  • 9David Evans.Splint Manual[EB/OL].http://www.splint.org/manual,2003.
  • 10Nurit Dor,Michael Rodeh,Mooly Sagiv. Cleanness Checking of String Manipulations in C Programs via Integer Analysis[C].In :Proceeding of the 8th Symposium on Static Analysis,2001-07.

共引文献11

同被引文献10

引证文献2

二级引证文献6

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部