loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Technology of Object-Oriented Languages and Systems (TOOLS 33)
Testing-for-Trust: The Genetic Selection Model Applied to Component Qualification
St. Malo, France
June 05-June 08
ISBN: 0-7695-0731-X
Vu Le Hanh, IRISA
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software 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). This method, based on test qualification using fault injection (mutation analysis), also leads to contract improvements. We consider a component as an organic set composed of a specification, a given implementation and its embedded test cases. 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. As an advanced way of enhancing the tests set, the application of a genetic algorithm is presented as complementary of mutation analysis for test qualification. In this paper, the genetic selection model, a “Darwinian” analogy, is thus used for the problem of efficient tests selection. 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.
Citation:
Benoit Baudry, Vu Le Hanh, Yves Le Traon, "Testing-for-Trust: The Genetic Selection Model Applied to Component Qualification," tools, pp.108, Technology of Object-Oriented Languages and Systems (TOOLS 33), 2000
Usage of this product signifies your acceptance of the Terms of Use.