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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-00794307
Contributor : Jean-Marc Jézéquel <>
Submitted on : Monday, February 25, 2013 - 4:28:01 PM
Last modification on : Friday, November 16, 2018 - 1:26:52 AM
Long-term archiving on : Sunday, April 2, 2017 - 4:53:13 AM

File

Baudry00b.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-00794307⟩

Share

Metrics

Record views

468

Files downloads

423