基于约束组合的测试用例生成-清华大学学报.PDF

( ) / 清华大学学报 自然科学版 年 第 卷 第 期 ISSN１０００Ｇ００５４ ２０１７ ５７ ３ １１８ / 　 ( ), , , CN１１Ｇ２２２３N 　JTsinhuaUniv SciTechnol ２０１７ Vol．５７ No．３ ２２５Ｇ２３３ g 基于约束组合的测试用例生成 , 白晓颖 黄 军 　 　 ( , ) 清华大学 计算机科学与技术系 北京 １０００８４ : , 摘 要 系统输入参数常有多种约束条件 且约束之间相互 iterativeotimizations． p 　 . , 关联 违背约束条件及约束之间的依赖关系 是软件中常见 : ; ; Kewordssoftware testin combinatorialtestin constraints y g g ; combination testeneration g . 、 , 的缺陷 当参数数量多 输入空间大时 组合测试可在保证 . 覆盖率的同时有效降低测试代价 该文针对约束及约束组 , , 合的故障检测问题 将约束覆盖作为测试充分性准则 提出 , 软件系统的输入参数存在多种约束条件 且参 . 约束条件的组合测试方法 以典型的在线交易平台会员注 , 数之间也存在相互作用 由参数违背约束条件或参 , ( )、 ( 册服务为例 对比OA orthoonalarra IPOinＧarameter g y p 数相互作用所引起的软件缺陷可以通过参数组合的 )和 (