[choose] Unit Testing with Design by Contract and Equivalence Partitions-SIG Beer-- Wed. Jan 14 -- Uni BE

Oscar Nierstrasz oscar.nierstrasz at acm.org
Wed Dec 17 10:06:02 CET 2003

The CHOOSE executive board is pleased to invite you to a presentation 
by Per Madsen (University Aalborg / ETH Zurich) on

A unit testing tool based on Design by Contract and equivalence 

This event is free for all SI-CHOOSE members, 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.iam.unibe.ch/CHOOSE.

NOTE: registration for this event is required. Please fill out the 
registration form at the end of this e-mail.


A unit testing tool based on Design by Contract and equivalence 

Wednesday January 14, 2004 @ 17h00

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

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

Per Madsen, University Aalborg / ETH Zurich

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


Software testing is an important, but also very hard task. In this
talk we will present a testing approach, where parts of the testing
process in done automatically. In order for this to happen we have
made an extended version of Java that enables the programmer to
specify a formal description of Equivalence Partitions and to use
Design by Contract as in Eiffel. The combination of these two
extensions allows a tool to generate and evaluate test cases
automatically. The talk will explain the tool step by step and provide
a concrete example.

Per Madsen is a Ph.D. student from Aalborg University in Denmark.  He 
got a master degree in Computer Science in 1998. From 1998 until 2001
he was employed as a Software Developer in a private company working 
with baggage handling control systems in airports. After realizing that
software testing is a major problem in the industry he returned to the 
university to become a Ph.D. student. He is now working on the design
and implementation of a tool for automatic test case generation. From 
October 1th 2003 until February 1th 2004 he is a guest at the Chair of
Software Engineering, ETH Zurich.

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: Unit Testing with Design by 
Contract and Equivalence Partitions -- Jan 14, 2004

Name:    ______________________________________

Email:   ______________________________________

Company: ______________________________________

Address: ______________________________________


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.iam.unibe.ch/CHOOSE/

More information about the Choose-news mailing list