文献类型：期刊文章

作　　者：高传平[1] 谈利群[1] 宫云战[2]

机构地区：[1]北京图形研究所,北京100029 [2]北京邮电大学网络与交换技术国家重点实验室,北京100876

出　　处：《北京化工大学学报（自然科学版）》

年　　份：2007

卷　　号：34

期　　号：A01

起止页码：25-29

语　　种：中文

收录情况：BDHX、BDHX2004、CAS、CSA、CSA-PROQEUST、CSCD、CSCD_E2011_2012、IC、JST、PROQUEST、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：软件测试是排除软件故障,提高软件质量和可靠性的重要手段。从是否需要执行被测程序角度考虑,软件测试分为静态测试和动态测试。动态测试通过输入测试数据,动态执行程序来发现软件中存在的错误。尽管动态测试能发现部分软件错误,但对于一些特殊类型错误的检测无效。鉴于此,本文采取了一种特殊的静态分析技术来实现对代码的测试。本文首先讨论了传统软件测试方法的缺点和局限性,给出了软件的故障模型,进而提出了基于抽象语法树的静态分析技术,并给出了故障自动检测算法。依据该算法开发了自动化测试工具,给出了实验结果和对比分析,并指出了下一步的研究方向。

关 键 词：软件测试 静态分析  故障  故障模型  语法树

分 类 号：TP302.8]