Download Final report

Abstract
The crash of Ariane 5 dramatically showed the importance of correctness in software and that
the goal to produce reliable software has not yet been achieved. Therefore, this master thesis
targets the development of a static analysis, which ensures preconditions and thus enhances a
sound reuse of software.
As a result, we could determine many preconditions to be fulfilled, especially preconditions
of a certain class, which are used most often. This confirms that static analysis is justified in a
development process of quality software.
Acknowledgements
I would like to deeply thank Dr. Karine Arnout for her support and explanations on the
subject of the thesis, and her prompt answers. Furthermore I thank Prof. Dr. Bertrand Meyer,
who gave me the opportunity to accomplish my master thesis in the field of Design by
Contract, and for his introduction on the static analysis of preconditions.
A special thank goes to Éric Bezault, who introduced me to GOBO Eiffel, and swiftly
answered my questions.
2