| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 9656101 | Electronic Notes in Theoretical Computer Science | 2005 | 19 Pages |
Abstract
We describe various test selection techniques from Lustre descriptions using the tool GATeL. The Lustre language is declarative and describes synchronous data-flow computations. Our test generation tool interprets the language constructs as boolean and integer interval constraints. Test sequence generation is automated using constraint logic programming techniques. GATeL provides various mechanisms to allow testers to define their own selection strategies. They are illustrated on an simple example.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Bruno Marre, Benjamin Blanc,