Manuel Nunez du 15/04 /09 au 31/05/09 – Professeur à l’Université Complutense de Madrid
Generating test data is computationally expensive.
We improved a framework that addresses this issue by representing the test data generation problem as an optimisation problem and uses heuristics to help generate test cases.
We consider the temporal constraints and behaviour of a certain class of (timed) finite state machines.
We illustrate a very simple fitness function is defined that can be used with several evolutionary search techniques and automated test case generation tools.