Building trust into oo components using a genetic analogy

Abstract : Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for building trustable OO components. It is particularly adapted to a design-by-contract approach, where the specification is systematically derived into executable assertions (invariant properties, pre/postconditions of methods). A component is seen as an organic set composed of a specification, a given implementation and its embedded test cases. We propose an adaptation of mutation analysis to the OO paradigm that checks the consistency between specification/implementation and tests. Faulty programs, called "mutants", are generated by systematic fault injection in the implementation. The quality of tests is related to the mutation score, i.e. the proportion of faulty programs it detects. The main contribution of this is to show how a similar idea can be used in the same context to address the problem of effective tests optimization. To map the genetic analogy to the test optimization problem, we consider mutant programs to be detected as the initial preys population and test cases as the predators population. The test selection consists of mutating the "predator" test cases and crossing them over in order to improve their ability to kill the prey population. The feasibility of components validation using such a "Darwinian" model and its usefulness for test optimization are studied.
Type de document :
Communication dans un congrès
Proceedings of ISSRE'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-00794307
Contributeur : Jean-Marc Jézéquel <>
Soumis le : lundi 25 février 2013 - 16:28:01
Dernière modification le : mercredi 16 mai 2018 - 11:23:06
Document(s) archivé(s) le : dimanche 2 avril 2017 - 04:53:13

Fichier

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

Identifiants

  • HAL Id : hal-00794307, version 1

Citation

Benoit Baudry, Vu Le Hanh, Jean-Marc Jézéquel, Yves Le Traon. Building trust into oo components using a genetic analogy. Proceedings of ISSRE'2000, Oct 2000, San Jose, CA, United States. 2000. 〈hal-00794307〉

Partager

Métriques

Consultations de la notice

374

Téléchargements de fichiers

262