[choose] Unit Testing with Design by Contract and Equivalence Partitions-SIG Beer-- Wed. Jan 14 -- Uni BE
by Oscar Nierstrasz
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/
19 years, 5 months
- 1
- 0
Call for Participation for LOTS
by Matthias Stürmer
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/
19 years, 5 months
- 1
- 0
- ← Newer
- 1
- Older →