ParTes: A Test Generation Strategy for Choreography Participants

Abstract : Inter-organizational business processes permit to specify how different organizations can integrate to carry on busi- ness activities together. In this context choreography specifica- tions provide a particularly useful view permitting to define how different organizations should interact and exchange messages in order to fruitfully cooperate. Tools and mechanisms permitting to check that a stakeholder, and its provided e-services, are able to correctly cooperate according to the global specification become an important and useful asset. This is particularly true when open specifications are considered and services dynamically integrate with each other at run-time. This paper proposes a novel derivation strategy for test case skeletons, which can be successively refined and concretized to check the behaviour of parties willing to play a role within a choreography enactment. The very basic idea is to derive test cases from the possible interaction traces included in the choreography specification handled as a workflow graph. The selection of traces to use for test derivation purpose is driven by a specifically conceived technique to work flow refactoring which permits to reduce the number of interleavings to explore, in particular when parallel statements are considered.
Type de document :
Communication dans un congrès
Eighth International Workshop on Automation of Software Test (AST'13), May 2013, San Francisco, CA, United States. 2013
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00826638
Contributeur : Francesco De Angelis <>
Soumis le : mardi 28 mai 2013 - 09:33:17
Dernière modification le : mercredi 4 octobre 2017 - 11:24:02
Document(s) archivé(s) le : mardi 3 septembre 2013 - 09:50:40

Fichier

ast2013.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00826638, version 1

Collections

Citation

Francesco De Angelis, Daniele Fanì, Andrea Polini. ParTes: A Test Generation Strategy for Choreography Participants. Eighth International Workshop on Automation of Software Test (AST'13), May 2013, San Francisco, CA, United States. 2013. 〈hal-00826638〉

Partager

Métriques

Consultations de la notice

78

Téléchargements de fichiers

104