软件测试在软件开发和维护的各个阶段至关重要。它贯彻于软件定义和开发的整个阶段即整个软件开发的过程。而软件测试中的难点和重点是测试用例的生成设计,其设计的依据主要来自软件的测试需求,其中涉及到利用测试需求得到测试用例之间的交互复杂性来生成初步的测试用例集,即测试用例的充分性覆盖准测问题,本文的主要研究问题就是基于测试需求的软件测试范畴,利用Rally Software公司开发的软件Rally追踪测试需求间的约束关系,并记载它们的优先等级进而为得到前趋图(Precedence Graph)做准备。基于前驱约束(Precedence Constraints)的测试用例优先级技术是一种新兴的测试用例生成技术。充分考虑了在测试之间存在的前驱约束,利用直接传递闭包算法、深度优先搜索算法、贪心算法对测试集进行优化排序。本文在S.Haidry和T.Miller提出的基于前驱约束的测试用例生成的基础上,深入研究了测试用例排序的算法,并对此算法进行了改进,实现了更进一步的优化,分别从静态和动态的方法进行探讨和实验分析。首先,在研究前驱约束的定义和分类的基础上,根据测试需求和被测系统的设计生成前驱图(描述测试之间的前驱约束关系)以得到初步的测试用例集,利用算法或者覆盖矩阵(Coverage Matrix)衡量各个测试用例的优先等级,以得到排序最优的测试集。最后通过工业上常用的系统对新技术进行测试,并与已经流行的现存的排序技术进行对比,证明了基于前驱约束测试用例优先级技术在提高错误检测率方面的可行性和实用性。