Génération de tests à partir de modèle UML/OCL pour les systèmes critiques évolutifs - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2012

Test Generation from UML/OCL Model for involving critical system

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

Résumé

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.
Cette thèse porte sur l'étude d'une démarche et de techniques pour prendre en compte les spécificités des systèmes sécurisés évolutifs lors de la génération des tests à partir de modèles UML/OCL. Dans ce travail, trois axes sont étudiés : (i) le cycle de vie des tests, (ii) les exigences fonctionnelles et (iii) les exigences de sécurité. Dans un premier temps, nous avons défini la clé de voûte de notre approche qui est la caractérisation des statuts du cycle de vie des tests. À l'issu de ces travaux, nous avons pu définir la démarche de classification des tests pour les systèmes évolutifs, appelée SeTGaM. La notation UML, accompagnée du langage de spécification OCL, permet de formaliser les comportements du système. Le langage OCL spécifie ainsi les gardes/actions des transitions et les pré/post conditions des opérations. La méthode propose ainsi deux classifications des tests : la première s'appuie sur les comportements issus des transitions du diagramme d'états/transitions, tandis que l'autre repose sur l'étude des comportements issus des opérations du diagramme de classes. Dans le domaine du test de logiciels critiques, une des questions clés concerne la sécurité. Pour cette raison, nous avons enrichi l'approche SeTGaM en prenant en compte l'aspect sécurité. Ainsi, SeTGaM permet de générer sélectivement des tests qui ciblent les différentes exigences de sécurité lors des évolutions du système. Finalement, le prototype de SeTGaM a été intégré, avec l'outil Smartesting CertifyIt, à l'environnement IBM Rational Software Architect. Ceci nous a permis de valider expérimentalement le passage à l'échelle de la méthode sur des études de cas industriels, notamment proposées par Gemalto/Trusted Labs dans le cadre du projet européen SecureChange.
Fichier principal
Vignette du fichier
Manuscrit_These.pdf (3.75 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-00861015 , version 1 (11-09-2013)

Identifiants

  • HAL Id : tel-00861015 , version 1

Citer

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. ⟨NNT : ⟩. ⟨tel-00861015⟩
347 Consultations
2551 Téléchargements

Partager

Gmail Facebook X LinkedIn More