文献类型：期刊文章

作　　者：周傲[1] 王雅文[1] 宫云战[1]

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

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

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

年　　份：2011

卷　　号：51

期　　号：S1

起止页码：1424-1428

语　　种：中文

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

摘　　要：为了提高自动化单元测试的覆盖率,提出一种基于区间缩减的自动化打桩方法。该方法首先选择一条目标执行路径,利用路径敏感和变量相关的区间计算技术,计算路径对该路径上所有函数调用的路径约束区间,并利用该约束区间对函数调用的返回值区间进行区间缩减,最后根据缩减后的区间进行桩代码自动生成。该方法已经在单元自动化测试系统(UATS)中实现,对10个开源大型函数进行测试的结果表明:该方式将平均覆盖率由50%提高到81%,对于等价表达式较多的函数,覆盖率提高了10倍,证明该文提出的方式能有效地提高自动化单元测试的覆盖率。

关 键 词：软件测试 打桩 自动化单元测试  动态测试  白盒测试 覆盖测试  

分 类 号：N55]