Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
Test templates: a specification-based testing framework
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Lutess: a specification-driven testing environment for synchronous software
Proceedings of the 21st international conference on Software engineering
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
An Overview of Lutess: A Specification-Based Tool for Testing Synchronous Software
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Test Sequences Generation from LUSTRE Descriptions: GATEL
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Automatic Testing of Reactive Systems
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
CASTING: A Formally Based Software Test Generation Method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Proceedings of the 16th IEEE international conference on Automated software engineering
A New Way of Automating Statistical Testing Methods
Proceedings of the 16th IEEE international conference on Automated software engineering
Code-based test generation for validation of functional processor descriptions
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Testing data types implementations from algebraic specifications
Formal methods and testing
Improving the floating point addition and subtraction constraints
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Testing techniques in software engineering
Testing techniques in software engineering
Handling State-Machines Specifications with GATeL
Electronic Notes in Theoretical Computer Science (ENTCS)
Testing from algebraic specifications: test data set selection by unfolding axioms
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
An alternative to SAT-Based approaches for bit-vectors
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
FDCC: a combined approach for solving constraints over finite domains and arrays
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Behind the scenes in SANTE: a combination of static and dynamic analyses
Automated Software Engineering
| Hi-index | 0.00 |
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.