Testing and simulation environment for synchronous reactive software
Automatic and dynamic generation of test data
Automatic and dynamic generation of test verdict
Analysis of test sequences
Lutess is a testing tool whose purpose is to automatically construct test harnesses for fully automated test data generation and verdict return. The test harness produces automatically and dynamically test data with respect to some environment constraints of the program under test. The program must be synchronous, and the environment constraints must be written in Lustre, a synchonous programming language. The verdict is issued automatically by a test oracle, provided as a synchronous piece of code. Moreover, Lutess allows to trace the test execution and spots the situations where the program outputs do not conform to the test oracle.
Lutess offers several specification-based testing methods. They aim at simulating more realistic environment behaviors, producing relevant data to test thoroughly a given property or driving the program under test into interesting situations. To produce the test data, the methods use different types of guides: statistical distributions of the inputs, properties, or behavioral patterns. All these guides are expressed in Lustre. Lutess proved to be powerful and easy to use in industrial case studies. Lutess won the Best Tool Award of the first Feature Interaction Detection Contest.
[1] L. du Bousquet, F. Ouabdesselam, and J.-L. Richier. Expressing and implementing operational profiles for reactive software validation. In 9th International Symposium on Software Reliability Engineering, Paderborn, Germany, 1998.
[2] L. du Bousquet, F. Ouabdesselam, J.-L. Richier, and N. Zuanon. Feature interaction detection using synchronous approach and testing. Computer Networks and ISDN Systems, to be published, 1999.
[3] L. du Bousquet, F. Ouabdesselam, J.-L. Richier, and N. Zuanon. Lutess: a specification-driven testing environment for synchronous software. In 21st International Conference on Software Engineering. ACM, May 1999.
[4] F. Ouabdesselam and I. Parissis. Testing Synchronous Critical Software. In 5th International Symposium on Software Reliability Engineering, Monterey, USA, 1994.
Contact addresses:
http://www-lsr.imag.fr/pfl.html
Executable
Unix Solaris,
PC Linux
Lustre specifications and program
List of execution traces and test verdicts