Intégration du model-based testing dans un processus de développement logiciel

Model based testing integration in a software development process

• Auteur / Autrice : Hussein Mhanna
• Direction : Chérif Larouci
• Type : Thèse de doctorat
• Discipline(s) : Sciences de l'information et de la communication
• Date : Soutenance le 30/06/2020
• Etablissement(s) : université Paris-Saclay
• Ecole(s) doctorale(s) : École doctorale Electrical, optical, bio : physics and engineering (Orsay, Essonne ; 2015-....)
• Partenaire(s) de recherche : Laboratoire : École supérieure des techniques aéronautiques et de construction automobile (Levallois-Perret, Hauts-de-Seine)
• Partenaire(s) de recherche : Référent : Université Paris-Saclay. Faculté des sciences d’Orsay (Essonne ; 2020-....)
• Partenaire(s) de recherche : Entreprise : ALL4TEC
• Jury : Président / Présidente : Amar Ramdane-Cherif
• Jury : Examinateurs / Examinatrices : Yves Ledru, Laurence Duchien, Omar Hammami
• Jury : Rapporteurs / Rapporteuses : Yves Ledru, Reda Bendraou

Mots clés

Mots clés contrôlés

Ingénierie dirigée par les modèles

Mots clés libres

Model Based Testing

Transformation de modèles

Ingénierie dirigée par les modèles

Diagramme de séquence

Model Based Testing

Model Driven Engineering

Model Transformation

Sequence Diagram

Résumé

Les tests de logiciels jouent un rôle non négligeable en minimisant les coûts de développement de ces derniers. L'une des tendances les plus importantes pour cet objectif est l'utilisation du MBT (Model-Based Testing). Le MBT consiste à générer des tests de validation automatiquement en se basant sur un modèle personnalisé qui décrit certains aspects fonctionnels des SUT(System Under Test : Système Sous Test). Cependant, un modèle de test dédié doit être créé. Ce processus est consommateur de temps et de main d'œuvre et, par conséquent, il n'est pas largement adopté dans l'industrie. Dans notre travail, nous présentons une méthodologie pour faciliter l'utilisation du MBT dans les entreprises en utilisant des artefacts de projet pour créer automatiquement un modèle de test basé sur l'utilisation du SUT (ce que nous appelons un modèle d'usage). Dans nos travaux, nous nous concentrons sur la transformation des diagrammes de séquence UML en un modèle de test. Cette transformation se fera sur la base de la notion du context, qui est l'historique des événements précédents sur le SUT pour pouvoir factoriser et obtenir un modèle d'utilisation valide. Cette notion est très importante lorsque deux événements sont gérés différemment par le SUT en fonction de l'ensemble des entrées précédentes. Un cas d'étude académique modélisant une machine ATM (Automated Teller Machine) est présenté pour décrire le besoin et les problèmes associés. Ensuite notre méthodologie a été implémentée pour répondre à quelques exigences du projet National Clarity.

Software testing plays a significant role in minimizing software development costs. One of the most important trends for this goal is the use of MBT (Model-Based Testing). MBT consists on automatically generating validation tests from a personalized model describing certain functional aspects of the system under test (SUT). However, a dedicated test model must be created. This process is time and labor consuming and therefore not widely used in the industry. In our work, we present a methodology to facilitate the use of MBT in companies by using project artifacts to automatically create a test model based on the use of SUT (what we call a usage model). In our work, we focus on transforming UML sequence diagrams into a test model.This transformation will be done on the basis of the notion of context, which is the history of previous events on the SUT in order to factorize and obtain a valid usage model. This notion is very important when two events are managed differently by the SUT according to all of the previous inputs of this SUT. An academic case study modeling an ATM (Automated Teller Machine) is presented to describe the need and the associated problems. Then, our methodology is implemented to meet some requirements of the French project Clarity.