随着信息化的推进,软件应用的领域越来越广泛,软件本身的复杂性也随之加大。如何保证软件质量一直是计算机技术的热门研究领域。本文主要研究在面向缺陷模式的测试技术中,如何通过全局分析的方法提高测试工具的能力。本文基于抽象解释理论,提出用函数摘要的方式来抽象函数的运行时行为和特征,用函数参数类型、返回值、约束、副作用等四元组来近似描述函数,提供全局分析的信息支持。本文在DTS_CPP框架基础上,增加了全局类型分析,并完善了控制流图中关于异常路径的分析。根据全局函数之间调用关系,得出被测文件分析单元之间的逻辑依赖顺序,为计算函数摘要提供基础。最后在DTS_CPP中添加函数摘要计算模块,并修改已有缺陷检测模式,以适应全局分析。此外本文还设计了用可扩展XML语言来解决库函数摘要的问题。本文设计了回归和评测DTS_CPP工具的测试框架,通过收集和整理的1836个评测用例集和十个开源C／C++工程来验证全局分析框架和算法的性能和效果。在十个开源工程实验得出平均的缺陷密度是2/Kloc,比本地分析检测缺陷密度提高了近一倍,而误报率从60%降低到40%。充分说明基于函数摘要的全局分析能有效的提高系统检测缺陷的精度,降低误报率。