Assemblage testable et validation de composants

by Benoit Baudry
Abstract:
Software testing is a very important technique to validate a program. In this thesis, we deal with three different aspects of the validation of software components through the analysis of specific object-oriented features and design methods. The first point we are interested in is the automatic improvement and generation of test cases. We study evolutionist algorithms, and propose an original algorithm called bacteriologic algorithm, efficient and adaptable for test generation. Secondly, we study the impact of design by contract for improving two testing activities: fault detection (robustness) and fault localization (diagnosability). The last point we investigate concerns patterns in a UML class diagram which can lead to hard-to-test programs. We propose a test criterion to cover these patterns and several possibilities to clarify the class diagram, and avoid testing problems when implementing it. We also study the specific impact of design patterns applications on testing.
Reference:
Assemblage testable et validation de composants (Benoit Baudry), PhD thesis, Université de Rennes 1, 2003.
Bibtex Entry:
@phdthesis{Baudry03b,
    	Abstract = {Software testing is a very important technique to validate a program.
    	In this thesis, we deal with three different aspects of the validation
    	of software components through the analysis of specific object-oriented
    	features and design methods. The first point we are interested in
    	is the automatic improvement and generation of test cases. We study
    	evolutionist algorithms, and propose an original algorithm called
    	bacteriologic algorithm, efficient and adaptable for test generation.
    	Secondly, we study the impact of design by contract for improving
    	two testing activities: fault detection (robustness) and fault localization
    	(diagnosability). The last point we investigate concerns patterns
    	in a UML class diagram which can lead to hard-to-test programs. We
    	propose a test criterion to cover these patterns and several possibilities
    	to clarify the class diagram, and avoid testing problems when implementing
    	it. We also study the specific impact of design patterns applications
    	on testing. },
    	Author = {Baudry, Benoit},
    	Month = jun,
    	School = {Universit{'e} de Rennes 1},
    	Title = {Assemblage testable et validation de composants},
    	url = {http://www.irisa.fr/triskell/publis/2003/Baudry03b.pdf},
    	X-Language = {FR},
    	Year = {2003},}