近年来,计算机软件的应用已经渗入到了国防、航天、交通和医疗等各个关键领域,因此提高软件的质量已成为一项十分紧迫的任务。软件测试是保证软件质量的一种重要手段。相比于动态测试,静态缺陷检测是在不运行被测程序的前提下发现程序中的缺陷,可以应用于软件开发周期的早期。因此,如何提高静态缺陷检测的精度,以减少人工确认真正缺陷所耗费的人力和时间,提高静态缺陷检测工具的实用性,成为了该领域的研究热点。本文以基于约束求解的静态缺陷检测求精技术为核心研究内容,旨在探索如何提高静态缺陷检测的精度。在前期DTS (Defect Testing System,缺陷检测系统)分析结果的基础上,本文提出了一种基于约束求解的误报消除方法,对其检测结果进一步求精：一旦静态缺陷检测报告了一个潜在缺陷,就在缺陷路径上提取路径约束,并将提取的所有路径约束以及潜在缺陷点的数据流值作为约束求解器的输入,通过约束求解技术来判断该潜在缺陷的可满足性,若约束求解的结果为无解,则表明该潜在缺陷是个误报。另外,静态分析对诸如循环和函数调用等与程序具体执行状态相关的程序语义的分析较为保守,因此为了获得精确的数据流值,本文提出一种动态执行结合回归分析的求精方法：通过动态执行获得精确的程序运行时信息,同时引入回归分析技术,通过汇总多次动态执行的结果,对待分析变量进行符号替换,并根据不同需求得到较为精确的变量取值区间或生成符号化函数摘要,以此提高静态缺陷检测中变量区间分析的精度,从而进一步提高上述约束求解的精度,使得约束求解的结果更有意义。本文通过对若干个开源工程进行静态缺陷检测来验证本文方法的有效性。实验结果表明,本文提出的方法能够减少误报,提高静态缺陷检测的精度。