Testability transformation

M. Harman, L. Hu, R. Hierons, J. Wegener, H. Sthamer, A. Baresel, R.M. Roper

Research output: Contribution to journalArticle

164 Citations (Scopus)

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. We introduce testability transformation, demonstrating that it differs from traditional transformation, both theoretically and practically, while still allowing many traditional transformation rules to be applied. We illustrate 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.
LanguageEnglish
JournalIEEE Transactions on Software Engineering
Volume30
Issue number1
DOIs
Publication statusPublished - 2004

Fingerprint

Testing

Keywords

  • automatic test pattern generation
  • evolutionary computation program testing

Cite this

Harman, M., Hu, L., Hierons, R., Wegener, J., Sthamer, H., Baresel, A., & Roper, R. M. (2004). Testability transformation. IEEE Transactions on Software Engineering, 30(1). https://doi.org/10.1109/TSE.2004.1265732
Harman, M. ; Hu, L. ; Hierons, R. ; Wegener, J. ; Sthamer, H. ; Baresel, A. ; Roper, R.M. / Testability transformation. In: IEEE Transactions on Software Engineering. 2004 ; Vol. 30, No. 1.
@article{a8d330c421c54f42bda8dab72030257a,
title = "Testability transformation",
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. We introduce testability transformation, demonstrating that it differs from traditional transformation, both theoretically and practically, while still allowing many traditional transformation rules to be applied. We illustrate 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.",
keywords = "automatic test pattern generation, evolutionary computation program testing",
author = "M. Harman and L. Hu and R. Hierons and J. Wegener and H. Sthamer and A. Baresel and R.M. Roper",
year = "2004",
doi = "10.1109/TSE.2004.1265732",
language = "English",
volume = "30",
journal = "IEEE Transactions on Software Engineering",
issn = "0098-5589",
number = "1",

}

Harman, M, Hu, L, Hierons, R, Wegener, J, Sthamer, H, Baresel, A & Roper, RM 2004, 'Testability transformation' IEEE Transactions on Software Engineering, vol. 30, no. 1. https://doi.org/10.1109/TSE.2004.1265732

Testability transformation. / Harman, M.; Hu, L.; Hierons, R.; Wegener, J.; Sthamer, H.; Baresel, A.; Roper, R.M.

In: IEEE Transactions on Software Engineering, Vol. 30, No. 1, 2004.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Testability transformation

AU - Harman, M.

AU - Hu, L.

AU - Hierons, R.

AU - Wegener, J.

AU - Sthamer, H.

AU - Baresel, A.

AU - Roper, R.M.

PY - 2004

Y1 - 2004

N2 - 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. We introduce testability transformation, demonstrating that it differs from traditional transformation, both theoretically and practically, while still allowing many traditional transformation rules to be applied. We illustrate 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.

AB - 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. We introduce testability transformation, demonstrating that it differs from traditional transformation, both theoretically and practically, while still allowing many traditional transformation rules to be applied. We illustrate 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.

KW - automatic test pattern generation

KW - evolutionary computation program testing

UR - http://www.dcs.kcl.ac.uk/staff/mark/tse2.pdf

UR - http://dx.doi.org/10.1109/TSE.2004.1265732

U2 - 10.1109/TSE.2004.1265732

DO - 10.1109/TSE.2004.1265732

M3 - Article

VL - 30

JO - IEEE Transactions on Software Engineering

T2 - IEEE Transactions on Software Engineering

JF - IEEE Transactions on Software Engineering

SN - 0098-5589

IS - 1

ER -

Harman M, Hu L, Hierons R, Wegener J, Sthamer H, Baresel A et al. Testability transformation. IEEE Transactions on Software Engineering. 2004;30(1). https://doi.org/10.1109/TSE.2004.1265732