单元覆盖测试中基于区间运算的路径选择

作者：王思岚; 王雅文; 宫云战

来源：清华大学学报(自然科学版), 2011, S1: 1402-1406+1413.

DOI：10.16511/j.cnki.qhdxxb.2011.s1.006

• 软件测试
• 单元测试
• 区间运算
• 目标覆盖元素
• 控制树
• 路径选择
• 不可达路径 software testing
• unit testing
• interval arithmetic
• target element
• control tree
• path choosing
• infeasible paths

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

• 单位
  网络与交换技术国家重点实验室; 北京邮电大学