摘要：给出了配对组合测试参数约束分类方法及相关定义。重点对有2值型约束的情况进行了研究，得出有2值型约束存在时虽然所需覆盖的配对数减少，但测试集不一定减小的结论；给出有2值型约束时测试集的最小下限，并证明之。最后介绍了能够有效解决配对组合测试参数约束问题的HPC_IPO约束控制算法。

关键词：配对组合测试 参数约束 约束控制 测试集 

单位：上海师范大学计算机科学与工程系 上海200234