Fundamental Nonmodularity in Electronic Mail
Automated Software Engineering
Test Selection Strategies for Lustre Descriptions in GATeL
Electronic Notes in Theoretical Computer Science (ENTCS)
Jartege: a tool for random generation of unit tests for java classes
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
Specifying and generating test cases using observer automata
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
A new approach in model-based testing: designing test models in TTCN-3
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Connectors as designs: Modeling, refinement and test case generation
Science of Computer Programming
Hi-index | 0.02 |
Test data generation and test execution are both time-consuming activities when done manually. Automated testing methods promise to save a great deal of human effort. This especially applies to reactive programs which have complex behaviors over time and which require long test sequences.In this article, we present Lutess, a testing environment for synchronous reactive software. Lutess produces automatically and dynamically test data with respect to some environment constraints of the program under test. Moreover, it allows to trace the test execution and spot the situations where the program violates its properties.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 distribution of the input generation, properties, or behavioral patterns.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. The tool is described hereafter from a practical point of view.