随着软件系统的普及,软件测试成为保证软件质量、提高软件可靠性的重要手段。而软件测试的工作量很大,用人工测试几乎难以胜任,在规模迅速扩大的软件系统中,实现高准确度,高效率的测试遇到的困难越来越大。因此在测试过程中引入自动化的思想逐步发展和成熟起来。在软件测试技术中,程序静态分析技术近年来成为自动化测试技术中的一个研究热点,大量的软件测试工具被研制出来从而可以自动地静态检测软件中的故障,并且在对一些大型商业软件和开源软件的测试中发现了大量的以前测试没有发现的软件故障和安全隐患。但其缺陷也随之暴露出来,如误报问题和漏报问题没有得到很好地解决等等。在基于静态分析的自动化测试方法中,寻找针对性强,工具自动化程度高,测试效率高和漏报率低的自动化测试方法,成为一个亟待解决的问题。通过对基于缺陷模式的软件测试方法的研究,在863课题支持下所开发的针对C/C++语言的CBFT工具,可以对软件的缺陷自动进行测试并记录,极大地提高软件的测试效率和软件质量,应用CBFT可大大提高软件的测试效率和软件质量,使软件在开发整体上具有时间的竞争优势。本文系统研究了针对C++,C语言的缺陷模式,提出了缺陷模式的定义和分类,并对其中的漏洞模式进行了详细的总结和定义。同时,本文在调研国内外自动化静态分析工具的基础上,深入研究开源工具JAVACC,借鉴其设计思想,结合访问者模式独立设计并实现了自动化测试工具CBFT的统一测试框架部分,完成了抽象语法树、控制流图和符号表的生成,此测试框架可以对C++,C语言进行自动化测试,相比于以往检测方法,降低了测试误报率和漏报率,对于软件测试具有重要的意义。