Search

Your search keyword '"Le Traon, Yves"' showing total 9 results
Start Over Author "Le Traon, Yves" Journal ieee transactions on software engineering
9 results on '"Le Traon, Yves"'

4. Design by Contract to improve software vigilance

Author

Le Traon, Yves, Baudry, Benoit, and Jezequel, Jean-Marc

Subjects
Distributed object technology, Object-oriented programming, Reusable code, Software product testing, Modularity, Software architecture, Object-oriented programming -- Methods
Published
2006

9. Automatic Test Generation: A Use Case Driven Approach.

Author

Nebut, Clémentine, Fleurey, Franck, Le Traon, Yves, and Jézéquel, Jean-Marc

Subjects
TESTING, AUTOMATION, CASE studies, DEPLOYMENT (Military strategy), COMPUTER software, CONTRACTS
Abstract

Abstract--Use cases are believed to be a good basis for system testing. Yet, to automate the test generation process, there is a large gap to bridge between high-level use cases and concrete test cases. We propose a new approach for automating the generation of system test scenarios in the context of object-oriented embedded software, taking into account traceability problems between high-level views and concrete test case execution. Starting from a formalization of the requirements based on use cases extended with contracts, we automatically build a transition system from which we synthesize test cases. Our objective is to cover the system in terms of statement coverage with those generated tests: An empirical evaluation of our approach is given based on this objective and several case studies. We briefly discuss the experimental deployment of our approach in the field at Thales Airborne Systems. [ABSTRACT FROM AUTHOR]

Published
2006
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results