Complete test generation for extreme programming

Abstract

Test generation is a key part of the Extreme Programming approach. This paper describes a very powerful functional testing method that generates test sets which can detect all possible faults in a computer program, provided some design for test conditions are satisfied. The basis for this complete test generation method is the X-machine, a simple and elegant way of visualising the dynamics of a program.