Test sequence generation from LUSTRE descriptions: 
GATeL






data flow programming, constraint logic programming


We describe a test sequence generation 
method from LUSTRE descriptions and its companion 
tool, GATeL. The language LUSTRE is declarative 
and describes synchronous data-flow computations. It is 
used for the programming of reactive control/command 
systems, mainly for electrical power production applications. 
Such critical applications need a high level 
of reliability. While this language benefits from 
powerful verification tools, there is still a 
demand for adequate testing techniques. The method 
and the tool described here can be 
applied during unit and integration testing, according 
to a structural (glass box) or functional 
(black box) test selection strategy. The test 
generation tool uses an interpretation of language 
constructions into boolean and integer interval constraints. 
Test sequence generation is automated with constraint 
logic programming techniques. Principles of the method 
and the tool are illustrated on an 
example extracted from an industrial case study.