Authors: Esmaeel Nikravan; Saeed Parsa
Addresses: Department of Computer Engineering, Iran University of Science and Technology, Tehran, Iran ' Department of Computer Engineering, Iran University of Science and Technology, Tehran, Iran
Abstract: A major difficulty concerning test data generation for white box testing is to detect the domain of input variables covering a certain path. With this aim, a new concept, domain coverage, is introduced in this article. In search of appropriate input variable subdomains, covering a desired path, the domains are randomly partitioned as far as subdomains whose boundaries satisfy the path constraints are found. When partitioning, the priority is given to those subdomains whose boundary variables do not satisfy the path constraints. Representing the relation between the subdomains and their parents as a directed acyclic graph, an Euler/Venn reasoning system could be applied to select the most appropriate subdomains. To evaluate our proposed path oriented test data generation method, the results of applying the method to six known benchmark programs, triangle, GCD, calday, shellsort, quicksort and heapsort, is presented.
Keywords: random testing; test data generation; Euler/Venn diagram; directed acyclic graph; DAG.
International Journal of Computational Science and Engineering, 2020 Vol.21 No.1, pp.60 - 68
Received: 04 Jan 2017
Accepted: 02 Dec 2017
Published online: 22 Feb 2020 *