软件故障的静态检测方法 (2005年)

【文件属性】：
文件名称：软件故障的静态检测方法 (2005年)
文件大小：498KB
文件格式：PDF
更新时间：2021-05-15 21:02:28
自然科学 论文 软件测试是保证软件质量的重要手段。软件测试主要分为两类，即动态测试和静态测试，动态测试主要是执行测试用例，而静态测试是对程序进行静态分析。作者首先回顾了软件测试的研究现状，进而给出了一种软件故障的静态检测方法，随后给出了软件的故障模型，并具体给出了代码自动分析技术和方法研究，依据该方法给出了自动化测试执行框架，最后给出了该方法在实际工程中的应用结果，并进一步明确了下一步的研究方向。