Validation and test generation for object-oriented distributed software

Thierry Jéron 1 Jean-Marc Jézéquel 1 Alain Le Guennec 1
1 PAMPA - Models and Tools for Programming Distributed Parallel Architectures
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distributed systems (latency, error recovery, etc.), leading to numerous problems such as deadlocks, race conditions, and many difficulties in trying to detect and reproduce such error conditions and debug them. The OO technology is ill-equipped to deal with this dimension of the problem. On the other hand, the willingness of mastering this complexity in the context of telecommunication protocols gave birth to specific formal verification and validation tools. The aim of this paper is to explore how the underlying technology of these tools could be made available to the designer of OO distributed software. We propose a framework allowing the integration of formal verification and validation technology in a seamless OO life-cycle based on UML, the Unified Modeling Language. From a UML model, this framework would allow to conduct model checking activities as well as random simulation and automatic test generation.
Type de document :
Communication dans un congrès
PDSE'98, Apr 1998, TOKYO, Japan. 1998
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00776427
Contributeur : Jean-Marc Jézéquel <>
Soumis le : vendredi 25 janvier 2013 - 12:59:56
Dernière modification le : jeudi 11 janvier 2018 - 06:20:09
Document(s) archivé(s) le : vendredi 26 avril 2013 - 03:54:35

Fichier

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

Identifiants

  • HAL Id : hal-00776427, version 1

Collections

Citation

Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec. Validation and test generation for object-oriented distributed software. PDSE'98, Apr 1998, TOKYO, Japan. 1998. 〈hal-00776427〉

Partager

Métriques

Consultations de la notice

272

Téléchargements de fichiers

80