论文部分内容阅读
单元测试中，为了屏蔽函数调用对调用点上下文环境的影响，需要进行打桩。手工打桩效率低下，影响测试进度。现有的自动打桩技术，如随机打桩，忽略了桩函数和目标覆盖路径的约束关系，使得打桩的精度不高，导致未被覆盖的路径依然没有得到有效的测试，覆盖率低。
本文提出了一种基于区间缩减的自动化打桩方式，利用路径敏感和变量相关的区间计算技术，计算路径对函数调用的约束，并利用该约束对函数调用的返回值区间进行区间缩减，该方式提高了打桩的精度，并在一定程度上提高了单元测试的效率和覆盖率。
本文提出了一种基于区间缩减的自动化打桩方式，利用路径敏感和变量相关的区间计算技术，计算路径对函数调用的约束，并利用该约束对函数调用的返回值区间进行区间缩减，该方式提高了打桩的精度，并在一定程度上提高了单元测试的效率和覆盖率。