软件测试是提高软件质量和可靠性的重要手段。从是否运行程序的角度来讲，测试分为静态测试和动态测试，代码检查属于静态测试的范围。本文首先讨论了传统软件测试方法的缺点和局限性，进而提出了代码自动检测的方法，随后给出了此类方法可检测到的故障类型，具体给出了程序静态分析技术和方法研究，依据该方法进行了软件测试系统的设计与开发，最后给出了实验结果和对比分析，并进一步明确了下一步的研究方向。
无线互联科技
2013年9期
