Besnik Seljimi, Ioannis Parissis. Automatic generation of test data generators for synchronous programs: Lutess V2. In Alan Hartman, Mika Katara, Amit M. Paradkar, editors, Proceedings of the 2007 Workshop on Domain Specific Approaches to Software Test Automation, DOSTA 2007, Dubrovnik, Croatia, September 4, 2007. pages 8-12, ACM, 2007. [doi]
Lutess is a testing environment designed for synchronous software specified with Lustre, a synchronous data-flow language widely used in safety critical domains such as avionics, energy and transport. Lutess automatically transforms the formal description of the program environment and properties to test generators that feed, on the fly, the program under test. A new version of Lutess has been recently developed, using Constraint Logic Programming. In this version, it is possible to take into account numeric input and output variables and to introduce hypotheses on the program under test. The input language of Lutess has been consequently extended. In this paper we present the new set of operators of the language and illustrate their execution semantics on a simple example.