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/
) that implements them and routinely uncovers significant bugs in released software.
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/
) that implements them and routinely uncovers significant bugs in released software.