Testability Transformation – Program Transformation to Improve Testability

by Mark Harman, André Baresel, David Binkley, Rob Hierons, Lin Hu, Bogdan Korel, Phil McMinn, and Marc Roper

Formal Methods and Testing (Lecture Notes in Computer Science), 2008



Testability transformation is a new form of program transformation in which the goal is not to preserve the standard semantics of the program, but to preserve test sets that are adequate with respect to some chosen test adequacy criterion. The goal is to improve the testing process by transforming a program to one that is more amenable to testing while remaining within the same equivalence class of programs defined by the adequacy criterion. The approach to testing and the adequacy criterion are parameters to the overall approach. The transformations required are typically neither more abstract nor are they more concrete ... [more]


Reference

Mark Harman, André Baresel, David Binkley, Rob Hierons, Lin Hu, Bogdan Korel, Phil McMinn, and Marc Roper. Testability Transformation – Program Transformation to Improve Testability. Formal Methods and Testing, Lecture Notes in Computer Science, vol. 4949, pp. 320–344, 2008


Bibtex Entry
@incollection{Harman2008,
  author    = "Harman, Mark and Baresel, Andr\'{e} and Binkley, David and Hierons, Rob and Hu, Lin and Korel, Bogdan and McMinn, Phil and Roper, Marc",
  title     = "Testability Transformation -- Program Transformation to Improve Testability",
  booktitle = "Formal Methods and Testing",
  editor    = "Hierons, Robert M. and Bowen, Jonathan P. and Harman, Mark",
  series    = "Lecture Notes in Computer Science",
  volume    = "4949",
  pages     = "320--344",
  year      = "2008",
  publisher = "Springer"
}