Transformations for testability

There are a number of alternative notions and definitions of testability. However, our work has largely considered the ease with which we can generate a test suite that satisfies a given test criterion. Naturally, this will depend heavily on both the test criterion used and the technique being used to generate the test data. Once we have a notion of testability, we can ask whether it is possible to automatically transform our code or specification in order to improve the testability. We have looked at two main forms of testability.

Interestingly, in each case our transformations need not be meaning preserving.

Back to Rob Hierons' home page

Last updated: July 2006.

Disclaimer The contents of this page falls outside the responsibility of Brunel University.