约束条件下基于区间组合的测试用例生成

作者：杨健; 张焕国

来源：武汉大学学报(理学版), 2013, (05): 458-464.

DOI：10.14188/j.1671-8836.2013.05.005

• 测试用例生成
• 区间集
• 区间组合
• 组合覆盖
• 约束求解
• 区间运算 test case generation
• interval set
• interval combination
• combinatorial coverage
• constraints solving
• interval computation

本文构建了一个基于区间集的组合覆盖测试模型并提出了一个基于区间组合的测试用例生成算法(TCGIC).TCGIC算法用符号执行方法收集程序路径的约束条件,寻找相互关联的输入参数;借鉴组合覆盖测试的方法,构建解区间组合树,并选用深度优先策略或其他组合覆盖策略,获得输入参数的区间组合的集合;运用区间运算的方法,把每一个区间组合代入到程序路径的约束条件中,判断区间组合上程序路径的可达性;选用相应的用例生成策略,在路径可达的区间组合上生成测试用例.

• 单位
  中南民族大学; 武汉大学; 软件工程国家重点实验室