【摘要】系统输入参数常有多种约束条件,且约束之间相互关联。违背约束条件及约束之间的依赖关系,是软件中常见的缺陷。当参数数量多、输入空间大时,组合测试可在保证覆盖率的同时有效降低测试代价。该文针对约束及约束组合的故障检测问题,将约束覆盖作为测试充分性准则,提出约束条件的组合测试方法。以典型的在线交易平台会员注册服务为例,对比OA(orthogonal array)、IPO(in-parameter order)和OFOT(one factor one time)3种组合算法应用于约束组合时的性能表现。实验选取不同的