随着计算机技术的飞速发展,人们对计算机的需求和依赖与日俱增。计算机软件的应用领域正在进一步的扩大,伴随而来的就是软件的规模和复杂性的不断增加,这给软件测试提出了更高的要求。软件测试自动化是提高软件测试效率的有效手段,自动化应该体现软件测试的各个阶段,尤其是缺陷的自动检测以及测试数据的自动生成,其中后者涉及的领域更大,而约束满足问题是其中最为重要的环节之一,所以对于约束问题的研究具有重要的理论意思和广阔的应用前景。本文提出了一种基于缺陷模式的软件缺陷自动检测方法,并在此基础上,设计和实现了一个基于状态机的缺陷检测系统---DTSJAVA,该系统通过JACC自动生成JAVA源程序的分析器,并在此基础上构造抽象语法树、控制流图等,最后,我们使用缺陷模型状态机技术,自主开发了该自动检测系统。并就约束满足问题进行了深入的研究,同时开发了面向JAVA程序缺陷的约束提取原型。实验结果表明,该系统是准确、高效、切实可行的。