DTS软件是一款基于软件缺陷模式的静态测试工具,采用非域敏感的函数摘要技术进行全局分析,且只约束单变量,这会导致一些误报和漏报。为此,本文改进了DTS软件的约束信息。首先提出复杂约束信息的模型,用一个五元组来表示复杂约束信息。然后从三个方面分析复杂约束信息：提出域敏感分析算法,对约束变量进行域敏感分析,以添加对结构体成员变量的约束；提出多变量约束方法,建立多个变量间的约束关系；提出路径敏感分析算法,以计算约束节点的路径可达性。最后提出复杂约束信息的生成算法和传播算法,实现复杂约束信息五元组模型的创建；提出复杂约束信息的使用算法,将五元组应用于缺陷检测过程。本文共分六个部分。第一部分对本论文进行了概述,第二部分介绍DTS软件全局分析框架和存在的问题,第三部分针对问题提出复杂约束信息模型及相关算法,第四部分通过实例介绍复杂约束信息的应用,第五部分是实验结果及问题分析,第六部分是全文的总结及展望。