LUSTRE: a declarative language for real-time programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Approaches to specification-based testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Specification-based testing of synchronous software
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Lutess: a specification-driven testing environment for synchronous software
Proceedings of the 21st international conference on Software engineering
Automatically Generating Test Data from a Boolean Specification
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
This paper presents new techniques for specificationbased-testing of synchronous software with the Lutess tool.Lutess provides a framework consisting in automaticallybuilding generators which interact with the software undertest and feed it with test input sequences. In the past fewyears, it has been established that operational profiles aswell as scenarios are powerfull tools allowing for a betterfault detection ability. As opposed to this last techniquewhich relies on the ability of the human tester to specifyscenarios, we propose an approach based on the solesoftware specification to automatically generate input sequenceswhich may correspond to fault revealing scenarios.