期刊文献+

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

面向软件缺陷检测的静态分析技术
下载PDF
导出
摘要 软件开发过程中的一个重要原则就是缺陷发现的时间越早越好,如果能控制软件缺陷,就可以得到高质量的软件。静态分析工具根据软件的结构、内容或文档来评价软件系统,而不需要执行程序。因此,可以较早地发现程序代码中的缺陷,使得后面的软件开发阶段可以着重分析复杂功能以及算法上的错误。主要对使用静态分析技术检测软件缺陷的方法进行研究,讨论静态分析技术的现状和进展情况以及静态分析的特点。 The earlier well time what an impor/ant principle in the course of software development is found by the defect is, if can control the software defect, can get the high-quality software.Static analysis tool come, appraise software system aceording to structure, content, file of software, and does not need executive program.So, can find the defect in the procedure code earlier and enable the following software developing stage to analyze the mistake on complicated function and algorithm emphatically.This text mainly carries on research in using the method that static analysis technology measures the software defect; discuss the current situation of static analysis technology and the characteristics of progress and static analysis.
作者 肇劲松
出处 《黑龙江科技信息》 2009年第2期88-89,共2页 Heilongjiang Science and Technology Information
关键词 软件质量保障 缺陷检测 静态分析 software quality safeguard defect detect static analysis
  • 相关文献

参考文献6

  • 1R.Hastings,,B.Joyce.Purify:Fast Detection of Memory Leaks and Access Errors[].ProcWinter USENIX Conf.1992
  • 2N.Nethercote,J.Seward.Valgrind:A Program Supervision Framework[].ProcThird Workshop Runtime Verification.2003
  • 3J.Condit.CCured in the Real World[].ProcACMSIGPLAN ConfProgramming Language Design and Implementation.2003
  • 4D.Wagner.A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities[].Procth Network and DistributedSystemSecurity Symp.2002
  • 5J.Foster.Flow-Sensitive Type Qualifiers[].ProcACMConfProgramming Language Design and Implementation(PLDI ).2002
  • 6K.Ashcraft,,D.Engler.Using Programmer-Written Compiler Extensions to Catch Security Holes[].ProcIEEE SympSecuri-ty and Privacy.2002

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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