Choose-news December 2003

choose-news@list.inf.unibe.ch

2 participants
2 discussions

[choose] Unit Testing with Design by Contract and Equivalence Partitions-SIG Beer-- Wed. Jan 14 -- Uni BE
by Oscar Nierstrasz 17 Dec '03

17 Dec '03

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/

1 0

Call for Participation for LOTS
by Matthias Stürmer 09 Dec '03

09 Dec '03

Hi all, As you might have heard next year on February 18th, 2004 there will be a general Open Source event at the University of Bern in Switzerland. The event is called "LOTS - Let's Open the Source" and seeks to bring together the different stake holders of FOSS (Free and Open Source Software). Please visit the website www.lots.ch and specially the new english section located at www.lots.ch/index_en.html for more information about the event. This and the following week the call for participation takes place. You can add to this event in the following four ways filling out the submission form: 1. Present your FOSS Project: http://www.lots.ch/lots-request-project.html 2. Present your FOSS-related Company: http://www.lots.ch/lots-request-company.html 3. Hold a presentation: http://www.lots.ch/lots-request-presentation.html 4. Lead a workshop: http://www.lots.ch/lots-request-workshop.html The submission deadline is already next weeks Friday, December 19th 2003. We hope you're so spontaneous and will decide to participate in the event! Hope to hear from you soon, sincerely, Matthias Stürmer -- Matthias Stürmer matthias(a)lots.ch +41 (0)76 368 81 65 LOTS - Let's Open the Source http://lots.ch 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/

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

Choose-news December 2003