Using UML sequence diagrams as basis for a formal test description language

Simon Pickin 1 Jean-Marc Jézéquel 2
2 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : A formal yet user-friendly test description language could increase the possibilities for automation in the testing phase while at the same time gaining widespread acceptance Scenario languages are currently one of the most popular formats for describing interactions between possibly distributed components The question of giving a solid formal basis to scenario languages such as MSC has also received a lot of attention In this article we discuss using one of the most widely-known scenario languages UML sequence diagrams as the basis for a formal test description language for use in the distributed system context .
Type de document :
Communication dans un congrès
Proc. of Fourth International Conference on Integrated Formal Methods IFM2004, Apr 2004, Canterbury, United Kingdom. 2004
Liste complète des métadonnées

https://hal.inria.fr/hal-00795028
Contributeur : Jean-Marc Jézéquel <>
Soumis le : mercredi 27 février 2013 - 09:51:51
Dernière modification le : mercredi 16 mai 2018 - 11:23:06
Document(s) archivé(s) le : dimanche 2 avril 2017 - 05:59:14

Fichier

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

Identifiants

  • HAL Id : hal-00795028, version 1

Citation

Simon Pickin, Jean-Marc Jézéquel. Using UML sequence diagrams as basis for a formal test description language. Proc. of Fourth International Conference on Integrated Formal Methods IFM2004, Apr 2004, Canterbury, United Kingdom. 2004. 〈hal-00795028〉

Partager

Métriques

Consultations de la notice

339

Téléchargements de fichiers

337