Robustness and diagnosability of oo systems designed by contracts

Abstract : While there is a growing interest for componentbased systems in industry,little effort has so far been devoted to quality evaluation of these systems. This paper presents the definition of measures for two quality factors, namely robustness and "diagnosability" for the special case of OO systems for which thee approach known as Design by Contract has been used. The main steps in constructing these measures are given, from informal definitions of the factors to be measured to the mathematical model of the measures. To fix the parameters, experimental studies have been conducted, essentially based on applying mutation analysis in the OO context. Several measures are presented that reveal and estimate the contribution of contracts quality and density to the overall quality of a system in terms of robustness and "diagnosability".
Type de document :
Communication dans un congrès
Proceedings of Metrics'01, Apr 2001, LONDRES, United Kingdom. 2001
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00794315
Contributeur : Jean-Marc Jézéquel <>
Soumis le : lundi 25 février 2013 - 16:33:50
Dernière modification le : mercredi 16 mai 2018 - 11:23:06
Document(s) archivé(s) le : dimanche 2 avril 2017 - 04:56:18

Fichier

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

Identifiants

  • HAL Id : hal-00794315, version 1

Citation

Benoit Baudry, Yves Le Traon, Jean-Marc Jézéquel. Robustness and diagnosability of oo systems designed by contracts. Proceedings of Metrics'01, Apr 2001, LONDRES, United Kingdom. 2001. 〈hal-00794315〉

Partager

Métriques

Consultations de la notice

311

Téléchargements de fichiers

98