Model based testing integration in a software development process
Intégration du model-based testing dans un processus de développement logiciel
Résumé
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.
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.
Origine : Version validée par le jury (STAR)