Issue No. 01 - January (2004 vol. 30)
Marc Roper , IEEE Computer Society
<p><b>Abstract</b>—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.</p>
Evolutionary testing, search-based software engineering, automated test data generation, transformation.
Mark Harman, Marc Roper, Rob Hierons, Joachim Wegener, Andr? Baresel, Lin Hu, Harmen Sthamer, "Testability Transformation", IEEE Transactions on Software Engineering, vol. 30, no. , pp. 3-16, January 2004, doi:10.1109/TSE.2004.1265732