伴随着信息技术的蓬勃发展以及软件危机的频频出现,软件测试的重要性显而易见。作为软件测试领域的一个重要方面——静态测试以其不用运行程序而是只通过分析源代码查找错误的优点占据了重要的地位。基于缺陷模式的软件静态分析技术是近年来发展起来的一种程序源代码静态测试技术,其主要优势在于对缺陷的针对性强,而且可以检测出如空指针引用等“小概率”缺陷。基于缺陷模式的软件静态分析技术的核心便是如何描述和定义缺陷模式以及如何设计高效统一的缺陷检测框架。针对上述问题,本文提出了使用扩展的缺陷模式状态机进行缺陷检测的方法。论文的主要工作包括以下几个方面。首先是缺陷模式状态机的研究与实现,主要深入研究了状态机的基本结构组成、描述规则以及状态机的转换条件,并介绍了在应用缺陷模式状态机进行缺陷检测时的一些相关研究,如路径敏感、不可达路径、函数摘要等的分析,旨在提高检测的效率和精度。然后,重点介绍了如何应用该统一的缺陷模式状态机框架进行具体的缺陷检测,给出了一些具体缺陷模式的定义和描述,并重点设计了针对这些缺陷模式的检测算法。基于缺陷模式的缺陷检测系统DTSCpp应用本文的研究成果针对一些具体的缺陷模式进行了检测,实验结果表明该系统具有较好的检测效果,本文的研究成果为基于缺陷模式的静态分析技术的研究提供了有益的方法和手段。