随着软件功能越来越复杂,运行环境要求不断变化,影响软件和硬件的因素也越来越多。为了保证其质量,更有效地发现潜在的故障,软件测试应运而生。组合测试是一种利用组合方法检测多因素软硬件系统故障的有效测试技术。通过执行测试,即为所有因素分配可能的值,验证系统功能是否如预期正常运行,可以检测到潜在的故障。系统的故障往往由多个因素的组合交互所导致,这种多个因素的组合称为错误交互。国内外关于组合测试定位错误交互的研究主要包括两个方向,非自适应方法和自适应方法。但是对于两大类错误交互,现有经典算法会给出错误的输出,导致一部分错误交互无法被发现。另一方面,在实际的软硬件系统中,由于系统特性的限制,使得某些测试用例无法实现,从而导致传统的组合测试自适应方法无法直接使用。本文针对上述问题展开研究,主要工作如下:（1）针对组合测试现有算法中无法正确定位的两大类错误交互,首先,针对第一类错误交互基于现有经典算法提出了两个改进算法,该算法充分综合已有的测试结果中的信息,在图模型上通过分支定界法以及交互定位问题的组合数学性质,仅通过增加少数测试用例,就可以完全定位到所有错误交互。其次,针对第二类错误交互,提出了测试用例的测试等价性的概念,并由此得到包含真正错误交互的所有候选错误交互的解集。最后,将上述两类算法结合,解决了已有经典算法中无法正确定位的两类错误交互问题。理论分析和实验都表明,当系统中存在两个及以下错误交互时,通过上述改进可以定位全部类型的错误交互,准确率达到100%。超过两个错误交互时,定位准确率与传统算法相比也有大幅提升。（2）针对在实际系统的应用场景下传统组合测试中会产生无法实现或无效的测试用例的问题,基于约束交互测试的概念,提出了一个通用的测试生成方法并给出了相应的错误交互定位算法。首先,该算法通过提出安全交互的概念避免了无效测试用例的出现。其次,在安全交互的基础上,生成约束矩阵作为算法的初始测试套件,该测试套件用于指导错误交互定位算法的进行。最后,与传统算法具有同等功能的交互定位算法解决了无效测试用例的问题。实验表明,对于存在特定限制的系统,该算法不但具有通用性,而且对于错误交互的定位效果仍能达到较高准确度。