Abstract-A testability transformation is a source-to-source transformation that aims to improve the ability of a given test generation method to generate test data for the original program. This paper introduces testability transformation, demonstrating that it differs from traditional transformation, both theoretically and practically, while still allowing many traditional transformation rules to be applied. The paper illustrates the theory of testability transformation with an example application to evolutionary testing. An algorithm for flag removal is defined and results are presented from an empirical study which show how the algorithm improves both the performance of evolutionary test data generation and the adequacy level of the test data so-generated.
A method complementary to our approach is described by Harman et al. Testability transformation results in a transformed program to be used by a test-data generator to improve its ability of generating test data for the original program REF .
Testability transformation
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Computer Science