随着计算机网络的发展,软件的安全性成为备受关注的一个方面。越来越多的软件因为自身存在的安全漏洞,成为黑客以及病毒攻击的对象。软件测试是验证软件正确性以及检测软件故障的重要和必要手段,在软件生存期中占有重要地位。软件测试的效率和覆盖率对软件开发的成功起决定性因素。本文首先对当前软件测试方法和测试工具进行总结,指出传统软件测试方法在测试效率和覆盖率上存在的缺陷。针对静态测试,进一步分析当前主要研究方法和测试工具。然后,本文指出基于缺陷模型的静态测试具有测试效率高、对复杂逻辑测试效果好等特点。然后介绍了基于缺陷模型的静态测试方法,并对软件的缺陷模型进行了分类总结。最后,本文针对C++/Java这两种广泛使用的开发语言,对其存在的安全漏洞缺陷进行分析和总结。并对本文所依赖软件项目DTS_CPP系统进行介绍,并详细介绍了C++语言中缓冲区溢出、竞争条件和数组越界等三个模型在项目中的测试流程、算法和测试结果。