Brunel University Research Archive (BURA) >
Research Areas >
Computer Science >

Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/342

Title: Testability transformation
Authors: Harman, M
Hu, L
Hierons, RM
Wegener, J
Sthamer, H
Baresel, A
Roper, M
Keywords: Evolutionary testing
Search-based software engineering
Automated test data generation
Transformation
Publication Date: 2004
Publisher: Institute of Electrical and Electronics Engineers
Citation: IEEE Transactions On Software Engineering, 30 (1), Jan 2004
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.
URI: http://bura.brunel.ac.uk/handle/2438/342
DOI: http://doi.ieeecomputersociety.org/10.1109/TSE.2004.1265732
Appears in Collections:B-SERC Research Papers
Computer Science
Dept of Computer Science Research Papers

Files in This Item:

File Description SizeFormat
Testability Transformation.pdf697.51 kBAdobe PDFView/Open

Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.