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

Path choses based on interval arithmetic for unit coverage testing

作　　者：王思岚[1] 王雅文[1] 宫云战[1] 

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

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

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

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

关 键 词：软件测试 单元测试 区间运算 目标覆盖元素 控制树 路径选择 不可达路径 

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