Test data adequacy is a major challenge in software testing literature. The difficulty is to provide sufficient test data to assure the correctness of the program under test. Especially, in the case of latent faults, the fault does not reveal itself unless specific combinations of input values are used to run the program. In this respect, detection of subdomains of the input domain that cover a specific execution path seems promising. A subdomain covers an execution path provided that each test data taken from the subdomain satisfies the path constraint. Dynamic Domain Reduction, or DDR in short, is a very well-known test data generation procedure, targeted at detection of the subdomains of the input domain that satisfy a given path constraint. In this paper, an improved version of DDR called Rapid Dynamic Domain Reduction, or RDDR in short, is introduced. RDDR is intended to explore subdomains of a program input domain, satisfying a given path constraint. For each feasible path, there is a distinct subdomain of the input domain that causes the program to execute the path. Hereby, we introduce a new metric named domain coverage, to qualify input data sets, in terms of the percentage of the subdomain of a feasible path covered by the data set. The main inspiration behind the domain coverage metric is to support test data adequacy. Our empirical results based on some well-known case studies confirms that RDDR significantly outperforms DDR in terms of speed and accuracy.

中文翻译：

---

基于Euler/Venn推理系统改进动态域约简测试数据生成方法

测试数据的充分性是软件测试文献中的一个主要挑战。难点在于提供足够的测试数据来保证被测程序的正确性。特别是在潜在故障的情况下，除非使用特定的输入值组合来运行程序，否则故障不会自行显现。在这方面，检测覆盖特定执行路径的输入域的子域似乎很有希望。子域涵盖执行路径，前提是从子域中获取的每个测试数据都满足路径约束。动态域缩减，或简称 DDR，是一种非常著名的测试数据生成程序，旨在检测满足给定路径约束的输入域的子域。在本文中，DDR 的改进版本称为 Rapid Dynamic Domain Reduction，简称 RDDR，介绍。RDDR 旨在探索程序输入域的子域，满足给定的路径约束。对于每条可行路径，输入域都有一个不同的子域，使程序执行该路径。因此，我们引入了一个名为域覆盖率的新度量，以根据数据集覆盖的可行路径的子域百分比来限定输入数据集。域覆盖度量背后的主要灵感是支持测试数据的充分性。我们基于一些著名案例研究的实证结果证实，RDDR 在速度和准确性方面明显优于 DDR。输入域的一个不同的子域导致程序执行路径。因此，我们引入了一个名为域覆盖率的新度量，以根据数据集覆盖的可行路径的子域百分比来限定输入数据集。域覆盖度量背后的主要灵感是支持测试数据的充分性。我们基于一些著名案例研究的实证结果证实，RDDR 在速度和准确性方面明显优于 DDR。输入域的一个不同的子域导致程序执行路径。因此，我们引入了一个名为域覆盖率的新度量，以根据数据集覆盖的可行路径的子域百分比来限定输入数据集。域覆盖度量背后的主要灵感是支持测试数据的充分性。我们基于一些著名案例研究的实证结果证实，RDDR 在速度和准确性方面明显优于 DDR。