Effective software testing using all-pairs testing

本研究的目的是扩展全对测试的能力，以达到高故障检测能力和高效率。解决了两个问题：自动生成测试用例的所有对测试和应用的概念，所有对测试的白盒测试。在第一个问题的背景下，开发了一个测试用例生成工具。这个工具的一个显著特点是它使用二元决策图进行约束处理。在第二个问题的背景下，提出了新的测试覆盖标准测试控制流。这些覆盖标准与普通的全对测试共享类似的概念。提出了一种基于这些准则的测试用例自动生成方法。

This study aimed to extend the ability of all-pairs testing to achieve high capability of fault detection and high efficiency. Two issues addressed were: automatic generation of test cases for all-pairs testing and applying the notion of all-pairs testing to white-box testing. In the context of the first issue, a test case generation tool was developed. A notable feature of this tool is that it uses binary decision diagrams for constraint handling. In the context of the second issue, new test coverage criteria were proposed for testing control flows. These coverage criteria share a similar concept with ordinary all-pairs testing. An approach for automatic test case generation based on these criteria was also proposed.