Skip to Main content Skip to Navigation
Conference papers

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
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : 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.
Document type :
Conference papers
Complete list of metadata
Contributor : Fabrice Bouquet Connect in order to contact the contributor
Submitted on : Sunday, November 8, 2009 - 6:10:33 PM
Last modification on : Saturday, October 16, 2021 - 11:26:06 AM


  • HAL Id : inria-00430539, version 1


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⟩



Record views