System test synthesis from UML models of distributed software

Simon Pickin 1 Claude Jard 1 Yves Le Traon 1 Thierry Jéron 1 Jean-Marc Jézéquel 1 Alain Le Guennec 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : The object-oriented software development process is increasingly used for the construction of both centralised and distributed systems. As yet, however, formal V&V techniques have not found much use in the object-oriented context, in spite of the fact that some are now mature enough to be exercised in real world applications. In this paper, we investigate the use of formal validation in a UML-based development process. We present a method and a tool for automated synthesis of test cases from generic test scenarios and a design model of the application, remaining entirely within the UML framework. The underlying "on the fly" test synthesis algorithms are based on the input/output labelled transition formalism, which is particularly appropriate for modelling applications which may involve asynchronous communication. We illustrate the system test synthesis process using an Air Traffic Control software case study.
Type de document :
Communication dans un congrès
Formal Techniques for Networked and Distributed Systems - FORTE 2002, Nov 2002, Houston, United States. 2002
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00794606
Contributeur : Jean-Marc Jézéquel <>
Soumis le : mardi 26 février 2013 - 11:10:17
Dernière modification le : mercredi 11 avril 2018 - 02:00:12
Document(s) archivé(s) le : dimanche 2 avril 2017 - 05:14:14

Fichier

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

Identifiants

  • HAL Id : hal-00794606, version 1

Citation

Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, et al.. System test synthesis from UML models of distributed software. Formal Techniques for Networked and Distributed Systems - FORTE 2002, Nov 2002, Houston, United States. 2002. 〈hal-00794606〉

Partager

Métriques

Consultations de la notice

329

Téléchargements de fichiers

108