Skip to Main content Skip to Navigation
Theses

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 :
Theses
Complete list of metadatas

Cited literature [123 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00011203
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

Identifiers

  • HAL Id : tel-00011203, version 2

Collections

IMAG | UJF | CNRS | VERIMAG | UGA

Citation

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⟩

Share

Metrics

Record views

646

Files downloads

1513