Informatics Seminar on Thursday, October 25 at 15.00 - Manuel Oriol
Decanato - Facoltà di scienze informatiche
Data d'inizio: 25 Ottobre 2007
Data di fine: 26 Ottobre 2007
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
ABSTRACT:
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.