Sciweavers

TOOLS
2000
IEEE

Testing-for-Trust: The Genetic Selection Model Applied to Component Qualification

13 years 8 months ago
Testing-for-Trust: The Genetic Selection Model Applied to Component Qualification
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 contracts 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...
Benoit Baudry, Vu Le Hanh, Yves Le Traon
Added 01 Aug 2010
Updated 01 Aug 2010
Type Conference
Year 2000
Where TOOLS
Authors Benoit Baudry, Vu Le Hanh, Yves Le Traon
Comments (0)