基于控制流图的代码自动测试方法研究  

作　　者：张新义[1] 

机构地区：[1]煤炭科学研究总院,北京100013

出　　处：《无线互联科技》2013年第9期128-130,共3页Wireless Internet Technology

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

关 键 词：软件生存期 静态测试 代码测试 故障 

分 类 号：TP311.53[自动化与计算机技术—计算机软件与理论]