摘要
软件缺陷是导致软件不可靠的根本原因,提高软件可靠性的关键在于减少软件缺陷。基于缺陷模式的代码分析技术根据预先设定好的缺陷模式对待测代码进行缺陷分析,这种缺陷分析具有使用简单、查找速度快等优点,是近年来静态代码分析技术中发展比较迅速的新技术。但是目前基于这种分析技术的大多数工具并没有为用户提供足够易用、高效的扩展方式以扩充其缺陷检测能力。本文出了一种支持用户定制语法相关缺陷模式的测试方法及系统,该方法能够让用户根据实际情况需要对缺陷模式进行定制,目的是检测程序代码中是否包含语法相关的缺陷。
Software defects are the basic reasons causing software unreliable, thus reducing defects is the key to reliability of software. The pattern based code defect analysis approach finds defects for subject programs with the aid of predefined defect pattern knowledge. The advantage of this kind of approach lie in the simplicity of its usage and the efifciency of its analysis, which make it a new technique with more rapid development among different approaches of static code defect analysis recently. However, among the available tools based on the approach, the extension modes provided by most of them are neither friendly nor efifcient enough for users to extend their defect analysis capability. The author proposes a method for defect patterns customization. The method enabled its users to customize defect patterns according to their needs. The purpose is to examine whether there exists software defects in the object programs.
出处
《软件》
2013年第12期68-72,共5页
Software
关键词
静态分析
软件缺陷
缺陷模式
模式定制
static analysis
software defect
defect pattern
defect pattern customization
