[choose] Reminder -- Unit Testing with DbC and Equivalence Partitions talk Wed. Jan 14

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 partitions 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 partitions ========================================================= 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/ Speaker ------- Per Madsen, University Aalborg / ETH Zurich Agenda ------ 17h00 - 18h00 Talk and Q/A Afterwards you are invited to a refreshment. Abstract -------- 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. Bio --- 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. ----------------------------------------------------------------------- REGISTRATION ------------ Please DO NOT reply to this e-mail! Fill in the form below and sent it to <mailto:choose@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: ______________________________________ ZIP/City:______________________________________ Please check: [ ] CHOOSE member [ ] JUGS member [ ] SI member [ ] Non-Member choose-news(a)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(a)iam.unibe.ch To unsubscribe, please send the message "unsubscribe choose-news" to: Majordomo(a)iam.unibe.ch To learn more about SI and CHOOSE, see: http://www.iam.unibe.ch/CHOOSE/ choose-news(a)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(a)iam.unibe.ch To unsubscribe, please send the message "unsubscribe choose-news" to: Majordomo(a)iam.unibe.ch To learn more about SI and CHOOSE, see: http://www.iam.unibe.ch/CHOOSE/