Definition 1
Testability Transformation
A Testability transformation maps a program,
and its associated test adequacy criterion,
to a new program
and new adequacy criterion,
, such that any set of test data which is adequate
for
with respect to
is also adequate for
with respect to
.
Observe that, while traditional transformations are meaning preserving functions on programs,
testability transformations are `test set preserving' functions on pairs containing both a program
and its associated adequacy criterion.
Therefore, TeTra will construct transformations
which allow the test adequacy criterion to
be re-formulated so that it preserves the meaning of the original adequacy criterion with respect to the original
program. The definition of transformation rules and algorithms based upon this new notion of
transformation is the essential research challenge which underpins the TeTra project.