Skip to Main content Skip to Navigation

Une approche basée sur les modèles pour le test de robustesse

Abstract : The ways to create and develop computer systems don't stop evolving. The increasing complexity of computer software (distribution of the code, reuse of external components, limitation of the resources, etc.), requires conception and strict validations methods. In this context, the test phase is particularly important to guarantee a correct functioning of the software, in its real environment of the execution. This thesis defines an automatic method of test generations to evaluate the robustness of a program, which is its capacity to respect behavioral property despite an degraded execution environment (likely to furnish incorrect entries, or to include external components incapable to return the service awaited). The approach that we propose is inspired from the generation techniques used in conformance testing of communication's protocols in which the test sequences are generated from a behavioral model of a software's specification. The originality of this work consists in extending this technique to take into account a fault model (expressing the degraded behavior of the environment in the form the point of vue of a syntaxique mutation of the specification) and an observer (expressing the body of the incorrect behaviors from robustness). The test sequences are correct if they reject only non robust programs with respect to this observer. A prototype was realized in the IF tools and evaluated on examples (Java programs).
Document type :
Complete list of metadata

Cited literature [123 references]  Display  Hide  Download
Contributor : Cyril Alexandre Pachon <>
Submitted on : Monday, December 19, 2005 - 9:40:56 AM
Last modification on : Thursday, November 19, 2020 - 3:58:02 PM
Long-term archiving on: : Monday, September 20, 2010 - 1:44:36 PM


  • HAL Id : tel-00011203, version 2




Cyril Alexandre Pachon. Une approche basée sur les modèles pour le test de robustesse. Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2005. Français. ⟨tel-00011203v2⟩



Record views


Files downloads