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