源代码缺陷检测技术作为一种重要的软件测试技术,具有缺陷检测效率高、故障定位准确和自动化程度高等特性。然而人们在实际应用该技术的过程中,发现其检测结果存在警报量大、重复率高以及误报等问题,需要专业的技术人员投入大量时间对检测出来的缺陷进一步确认,这也就导致了人工确认效率低下的问题。针对该问题,本文在对缺陷模式分类的分析上,提出了基于触发路径约束求解的警报自动确认方法。本文的具体研究内容如下:（1）程序中存在多条路径经过警报点,尽早选择一条能够触发警报的路径能大大节省后续验证所花费的时间成本,因此本文提出了一种基于变量取值区间的路径排序方法。当路径上变量的取值区间越小时,采用基于区间运算的约束求解技术生成测试用例失败的可能性则越大,该方法以变量取值区间大小为权重对路径进行排序,降低由于区间运算失败而导致的时间开销。（2）对测试路径上的约束集进行求解后,生成的测试用例在实际执行过程中会覆盖警报点,但却无法保证能够触发警报,本文提出了一种基于警报触发约束的测试用例生成方法。该方法基于C语言代码中的缺陷特征,并结合测试路径中与警报点相关的上下文信息,修正测试路径约束集,使得生成的测试用例能够触发警报。（3）为了验证上述方法生成的测试用例能否触发警报点,以达到判定警报点真实性的目的,本文提出了一种基于程序插装和调试的判定方法。该方法基于源代码缺陷的特征信息,通过程序插装技术及程序调试工具,监控测试用例的动态执行状态,判断测试用例是否触发警报。论文对31种缺陷代码的自动确认结果进行了分析,结果表明上述方法在一定程度上提高了警报确认的自动化水平。