Building trust into oo components using a genetic analogy - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2000

Building trust into oo components using a genetic analogy

Résumé

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.
Fichier principal
Vignette du fichier
Baudry00b.pdf (82.02 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00794307 , version 1 (25-02-2013)

Identifiants

  • HAL Id : hal-00794307 , version 1

Citer

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. ⟨hal-00794307⟩
181 Consultations
229 Téléchargements

Partager

More