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 Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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 metadatas

https://hal.inria.fr/inria-00430539
Contributor : Fabrice Bouquet <>
Submitted on : Sunday, November 8, 2009 - 6:10:33 PM
Last modification on : Friday, July 6, 2018 - 3:06:10 PM

Identifiers

  • HAL Id : inria-00430539, version 1

Citation

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⟩

Share

Metrics

Record views

180