Skip to Main content Skip to Navigation
Theses

Génération de tests à partir de modèle UML/OCL pour les systèmes critiques évolutifs

Abstract : This thesis is focused on methods and approaches taking into account the evolution in case of UML/OCL model-based test generation. In this framework I am studying three major axes : (i) the test's life cycle for evolving critical systems, (ii) functional requirements and (iii) security requirements. In order to respond these challenges we have defined the core of our approach, which is the test life cycle. Then, we have created SeTGaM, a test classification approach for validation of critical evolving systems. The Object Constraint Language (OCL) is used with UML to formalize different behaviors of the system under test. It specifies the transition's guards and actions and operation's pre and post conditions. Thus, on one hand, we have created two "panels" of SeTGaM : the first dedicated for selecting tests basing on behaviors issued from transitions and the second basing on behaviors issued from operations. On the other hand, in the industry testing the security is unavoidable issue. That is why, we have worked on the security aspect in the scope of model-based testing. We have extended the SeTGaM approach by adding the security "panel". SeTGaM thus allows to generate selectively tests and manage their life cycle through different evolutions of the system under test. Finally, a prototype was smoothly integrated with the Smartesting CertifyIt tool and the IBM Software Rational Architect. The prototype permitted to define the benefits of such a methodology through the case studies of our project's industrial partners, particularly Gemalto/Trusted Labs.
Document type :
Theses
Complete list of metadatas

Cited literature [72 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00861015
Contributor : Fabrice Bouquet <>
Submitted on : Wednesday, September 11, 2013 - 4:37:43 PM
Last modification on : Thursday, November 12, 2020 - 9:42:08 AM
Long-term archiving on: : Thursday, April 6, 2017 - 6:22:16 PM

Identifiers

  • HAL Id : tel-00861015, version 1

Citation

Elizabeta Fourneret. Génération de tests à partir de modèle UML/OCL pour les systèmes critiques évolutifs. Génie logiciel [cs.SE]. Université de Franche-Comté, 2012. Français. ⟨tel-00861015⟩

Share

Metrics

Record views

499

Files downloads

4416