随着软件技术的发展和软件项目规模的不断扩大，软件测试的作用越来越重要。然而，软件测试是一项耗时、耗力的工作，如何通过较少的测试用例，来检测出尽可能多的软件错误是人们所面临的挑战。研究表明，配对组合测试方法是一种科学、实用和有效的测试方法。目前，学者们对配对组合测试的研究大都集中于独立性参数之间，而对配对组合测试中存在参数约束的情况研究较少。在此背景下，本文主要研究了配对组合测试中的参数约束问题。本文在对配对组合测试算法、配对组合测试参数约束及控制策略研究的基础上，提出了能生成较小测试集的HPC IPO算法，从而使得配对组合测试技术更好、更全面地满足实际测试的需要。 本文首先介绍了软件测试技术和配对组合测试。介绍了软件测试技术的分类，并对软件测试技术进行了比较。对组合测试进行了简要介绍，给出了组合测试形式化描述，总结出软件测试中的组合问题。给出了配对组合测试及相关概念，并证明了配对覆盖是N-PC问题。 接着，论文对配对组合测试生成算法进行研究。主要对AETG算法，IPO算法和正交拉丁方算法进行研究和分析比较。根据IPO算法的不足，对其进行了相应的改进。 然后，论文对配对组合测试参数约束及控制策略进行研究。根据配对组合测试的特点对参数约束进行了分类，并给出其相应的定义。针对有2值型约束存在时测试集大小的变化情况，得出有2值型约束时，虽然所需覆盖的配对数减少，但测试集不一定变小的结论。给出有2值型约束时，测试集大小的最小下限，并证明之。最后，对参数约束控制策略进行了详细的研究，给出了适合IPO算法的回避策略。 通过以上研究，本文提出HPC IPO算法，设计并实现了测试集生成工具。 最后，论文通过实验说明了HPC IPO算法的特性，以及能够生成较小测试集的特点。