From Business Processes to Integration Testing

Stéphane Debricon (1) , Fabrice Bouquet (1) , Bruno Legeard (2)

1 CASSIS - Combination of approaches to the security of infinite states systems
2 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)

This paper is a contribution to the Model-Based Testing (MBT) field. MBT aims at producing tests suites that will be used to check for security, robustness or correct software adequacy with requirements expressed by customers. In practice a validation team produces a model for each functional block involved in a system under test. Thereby, the model gathers all kind of information that can be used to produce new tests suites for the complete system. Therefore, we introduce a new abstraction level, allowing the description of new business behaviours using functional blocks already modeled. Those blocks are combined and augmented with objects exchange, producing business processes not captured at the block level. In this work, first we introduce a methodological approach fully integrated in the Unified Process (UP) and then a conflicts resolution due to block recombination. We illustrate our proposal with an industrial case study: a transit passes selling system.

Cet article se place dans le domaine de la génération de tests à partir de modèle (MBT). Celle-ci vise à fournir des campagnes de tests pour assurer la robustesse, l'adéquation aux besoins ou la sécurité d'une application. Dans la pratique, l'équipe en charge de la validation produit un modèle pour chacun des blocs fonctionnels présents dans le système à tester. Ce modèle est alors une source d'informations à prendre en compte pour produire de nouvelles campagnes de tests sur le système complet. Pour cela, nous ajoutons un nouveau niveau d'abstraction permettant la représentation de comportements métiers en utilisant les blocs fonctionnels déjà modélisés. En les associant et en ajoutant les objets échangés par ceux-ci, nous pouvons décrire des processus métiers qui n'étaient pas encore capturés aux niveaux des blocs. Dans ce travail, nous proposons une approche méthodologique qui s'intègre au processus unifié (UP) et la gestion des conflits induits par la recombinaison des blocs. Nous illustrons notre proposition en l'appliquant à un cas industriel: un système de vente de titre de transport en commun

Domaines: Génie logiciel [cs.SE]

Stéphane Debricon, Fabrice Bouquet, Bruno Legeard. From Business Processes to Integration Testing. 5èmes journées sur l'Ingénierie Dirigée par les Modèles - IDM 2009, Loria, Mar 2009, Nancy, France. pp.49-64. ⟨inria-00430539⟩