This paper introduces the notion of ‘co-testability transformation’. As opposed to traditional testability transformations, which replace the original program in testing, co-testability transformations are designed to be used in conjunction with the original program (and any additional co-transformations as well). Until now, testability transformations have only been used to improve test data g...

In this paper we are giving an overview of automatic test data generation. The basic objective of this paper is to acquire the basic concepts related to automated test data generation research. The different implementation techniques are described with their relative merits and demerits. The future challenges and problems of test data generation are explained. Finally we describe the area where...

xxviii Acknowledgements xxix

Based on the model of matrix, a new algorithm for original pairwise testing data set generation is first proposed, and then, based on which, a sufficient and necessary condition for the minimum pairwise testing data set generation of the testing system T is given, where T has n different parameters, each parameter has n different values, and n is a prime number. Finally, according to the given ...