文献类型：期刊文章

作　　者：王思岚[1] 王雅文[1] 宫云战[1]

机构地区：[1]北京邮电大学网络技术研究院网络与交换技术国家重点实验室

出　　处：《清华大学学报（自然科学版）》

基　　金：国家"八六三"高技术项目(2009AA01Z404);国家自然科学基金资助项目(91018002)

年　　份：2011

卷　　号：51

期　　号：S1

起止页码：1402-1406

语　　种：中文

收录情况：AJ、AMR、BDHX、BDHX2008、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

摘　　要：单元覆盖测试的目标是达到尽可能高的覆盖率。为了提高单元自动覆盖测试的覆盖率,该文提出了一种面向目标覆盖元素的可达路径选择方法。该方法首先选定一段从函数入口到目标覆盖元素的半条路径,然后根据区间运算判定该路径的不可达性并改造不可达路径,进而得到一条包含目标覆盖元素的可达路径。最后结合测试用例的生成对10个函数单元进行语句覆盖测试实验,单元平均覆盖率从46%提升到了70%,验证了该方法能有效地提高覆盖率。

关 键 词：软件测试 单元测试  区间运算  目标覆盖元素  控制树  路径选择  不可达路径

分 类 号：N55]