Seminars at the Faculty of Informatics

The Faculty of Informatics is pleased to announce a seminar given by Manuel Oriol


TITLE: Random testing of components with contracts

SPEAKER: Manuel Oriol, Department of Computer Science, ETH Zurich

DATE: Thursday, October 25, 2007

PLACE: USI Lugano, Room SI - 006, Informatics Building (Via G. Buffi 13)

TIME: 15.00-16.00



Although time consuming, testing software components is necessary. An

ideal testing infrastructure would test components in an automated way

with minimal intervention or input from users. If the code is equipped

with contracts (pre-conditions, post-conditions and

invariants) testing can be performed at random and in a completely

automated fashion. This was achieved with AutoTest, an infrastructure

that tests automatically and at random components that are programmed

in Eiffel. This talk is going to present the most recent results

obtained with AutoTest.

URL 1: