基于符号零压缩二叉决策图的组合测试用例生成方法

摘要：

组合测试是系统测试中一种非常有效的方法,能够在保证错误检出率的前提下采用较少的测试用例来测试系统.但是,组合测试用例集构造问题的复杂度是NP完全的.给出了一种基于符号零压缩二叉决策图(Zero-suppressed Binary Decision Diagram,ZBDD)的组合测试用例生成方法.该方法首先利用ZBDD的结构特性,对测试系统进行紧凑的符号表示.然后利用ZBDD的隐式操作,结合贪心算法的思想,不断地覆盖更多的组合并缩小未覆盖组合集合,生成2～4维覆盖强度的较小测试用例集.实验证明,所提方法不仅可行而且节点开销小.

关键词：组合测试、零压缩二叉决策图、覆盖强度、测试用例生成

所属期刊栏目：45

分类号：TP311.5(计算技术、计算机技术)

资助基金：广西自然科学基金项目2016GXNSFAA380054;桂林电子科技大学研究生教育创新计划资助项目YJCXS201541;广西高等学校高水平创新团队及卓越学者计划资助

在线出版日期：2018-04-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：255-260