软件测试是保证软件质量的重要手段。软件测试主要分为两类,即动态测试和静态测试,动态测试主要是执行测试用例,而静态测试是对程序进行静态分析。作者首先回顾了软件测试的研究现状,进而给出了一种软件故障的静态检测方法,随后给出了软件的故障模型,并具体给出了代码自动分析技术和方法研究,依据该方法给出了自动化测试执行框架,最后给出了该方法在实际工程中的应用结果,并进一步明确了下一步的研究方向。
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~