[choose] Automatic Contract-Based Testing

[Igor Metz]

The CHOOSE executive board and the Software Composition Group of the
University of Berne are pleased to invite you to a presentation.

--------------------------------------------------------------------

Automatic Contract-Based Testing
================================

When: Tuesday December 6, 2005, @17h15

Where:	Institut für Wirtschaftsinformatik (IWI), Universität Bern,
	Engehaldenstrasse 8, 3012 Bern, Hörsaal 001

Travel instructions: http://www.iam.unibe.ch/~scg/Resources/Maps/

Speaker
=======

Ilinca Ciupa, Dept. of Computer Science, Chair of Software Engineering,
ETH Zurich

Agenda
======

17h15 - 18h15 Talk and Q/A
Afterwards you are invited to a refreshment.

Abstract
========

Although its importance is widely recognized, software testing is seldom
done properly. The main reason is that existing tools and methodologies
put too much burden on the users (testers); practice shows that software
companies are simply not willing to invest the necessary time and effort
in testing their products.

To tackle this problem, we propose the full automation of the testing
process. If classes are equipped with contracts containing their
specification (as is the case with JML contracts for Java code, Spec#,
or Eiffel and Design by Contract), then there is no need for any
intervention of the user in testing their functionality. In this talk I
will present the theoretical background behind our approach and the tool
we have developed which implements this idea of "push- button testing".

Bio:
======

Ilinca Ciupa is a PhD student at ETH Zurich, at the Chair of Software
Engineering, under the supervision of Prof. Dr. Bertrand Meyer. Her area
of research is contract-based testing of object-oriented software. She
has worked on the development of a tool called AutoTest, which performs
fully automatic testing of contract-equipped Eiffel code. This tool was
first presented in a paper published at the International Workshop on
Software Quality (SOQUA), 22 September 2005, Erfurt, Germany.


Links:
======

- Further information on the speaker:  http://se.inf.ethz.ch/people/ciupa/
- AutoTest tool: http://se.inf.ethz.ch/people/leitner/auto_test/


-----------------------------------------------------------------------
This event is free even the drinks after the talk! Non-CHOOSE members
are encouraged to fill out the membership application form
(http://www.s-i.ch/si-appl.html) before attending the meeting. If you
want to know more about CHOOSE and the events which CHOOSE organises,
please visit http://www.choose.s-i.ch/.

NOTE: registration for this event is required because we have to prepare
the apero. Please fill out the registration form at the end of this
e-mail.


REGISTRATION
------------

Please DO NOT reply to this e-mail!
Fill in the form below and sent it to <mailto:choose at glue.ch>. Thanks.

I want to register to the following event: Contract-Based Testing

Name:    ______________________________________

Email:   ______________________________________

Company: ______________________________________

Address: ______________________________________

ZIP/City:______________________________________

Please check:

[ ] CHOOSE member
[ ] JUGS member
[ ] SI member
[ ] Non-Member


choose-news at iam.unibe.ch is a *moderated* mailing list for announcing
non-commercial events related to Object Technology in Switzerland.
Please send announcements to be posted to: choose-news at iam.unibe.ch
To unsubscribe, please send the message "unsubscribe choose-news" to:
                Majordomo at iam.unibe.ch
To learn more about SI and CHOOSE, see: http://www.choose.s-i.ch/