基于区间缩减的自动化打桩方法  

Automatic stub generation based on interval reduction

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

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

出　　处：《清华大学学报（自然科学版）》2011年第S1期1424-1428,共5页Journal of Tsinghua University(Science and Technology)

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

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

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

分 类 号：N55[自然科学总论]