Trustable components: Yet another mutation-based approach

Abstract : This paper presents the use of mutation analysis as the main qualification technique for: - estimating and automatically enhancing a test set (using genetic algorithms), - qualifying and improving a component's contracts (that is the specification facet) - measuring the impact of contractable robust components on global system robustness and reliability. The methodology is based on an integrated design and test approach for OO software components. It is dedicated to design-by-contract, where the specification is systematically derived into executable assertions called contracts (invariant properties, pre/postconditions of methods). The testing-for-trust approach, using the mutation analysis, checks the consistency between specification, implementation and tests. It points out the tests lack of efficiency but also the lack of precision of the contracts. The feasibility of components validation by mutation analysis and its usefulness for test generation are studied as well as the robustness of trustable and self-testable components into an infected environment.
Type de document :
Communication dans un congrès
Proceedings of the 1st Symposium on Mutation Testing (Mutation'2000), Oct 2000, San Jose CA, United States. 2000
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00777468
Contributeur : Jean-Marc Jézéquel <>
Soumis le : jeudi 24 janvier 2013 - 11:28:04
Dernière modification le : mercredi 16 mai 2018 - 11:23:29
Document(s) archivé(s) le : jeudi 25 avril 2013 - 03:51:06

Fichier

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

Identifiants

  • HAL Id : hal-00777468, version 1

Collections

Citation

Benoit Baudry, Hanh Vu Le, Jean-Marc Jézéquel, Yves Le Traon. Trustable components: Yet another mutation-based approach. Proceedings of the 1st Symposium on Mutation Testing (Mutation'2000), Oct 2000, San Jose CA, United States. 2000. 〈hal-00777468〉

Partager

Métriques

Consultations de la notice

426

Téléchargements de fichiers

234