Testability transformation - program transformation to improve testability

M. Harman, A. Baresel, D. Binkley, R. M. Hierons, L. Hu, B. Korel, P. McMinn, M. Roper

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

29 Citations (Scopus)


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 than standard “meaning preserving transformations”. This leads to interesting theoretical questions. but also has interesting practical implications. This chapter provides an introduction to testability transformation and a brief survey of existing results.
Original languageEnglish
Title of host publicationFormal Methods and Testing
Subtitle of host publicationAn Outcome of the FORTEST Network, Revised Selected Papers
EditorsRobert M. Hierons, Jonathan P. Bowen, Mark Harman
Number of pages25
ISBN (Print)978-3-540-78916-1
Publication statusPublished - 2008

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


  • testing
  • testability
  • programming


Dive into the research topics of 'Testability transformation - program transformation to improve testability'. Together they form a unique fingerprint.

Cite this