Software Testing with Enhanced Partitioning Schemes

分区测试是确保软件质量的最常见手段。 在分区测试中，程序的输入集被划分为子集，从每个子集中选择测试用例。 我们以前的研究集中在如何从子集中选择测试用例。 在这个项目中，我们将研究如何将输入集划分为子集，以产生更好的故障检测能力。 这个项目不仅将对软件质量的理论基础产生影响，而且所产生的方法将大大提高软件测试在实践中的效率。

Partition testing is the most common means of ensuring the quality of software. In partition testing, the set of inputs to the program are divided into subsets, from each of which test cases are selected. Our previous research has concentrated on how to select test cases from the subsets. In this project, we will investigate how to divide the set of inputs into subsets so as to yield better fault-detecting capabilities. Not only will this project have an impact on the theoretical foundation of software quality, but the resulting methodologies will greatly enhance the efficacy of software testing in practice.