International and renowned

Bertrand Meyer
Speaker: Bertrand Meyer
Bertrand Meyer is professor of software engineering at ETH Zurich and founder and chief architect of Eiffel Software in California. He is the author of several well-known books in software engineering and object technology.
Seminar; Push-button testing based on contracts
Level: Intermediate
Testing using tools labeled "automatic" is generally not really automatic, as the most time-consuming parts, the development of test cases and test oracles, remain manual, and tedious. To test software equipped with contracts, as in Eiffel, it is possible to use completely automated strategies, where the only input needed is a set of classes to be tested. I will discuss how these ideas can change our approach to testing and describe an integrated testing framework (see http://se.ethz.ch/research/autotest/external link, opens in new window) that implements them and routinely uncovers significant bugs in released software.
Telephone: +46-(0)40-602 3295, email: info@oredev.org