[choose] Automatic Contract-Based Testing

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@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(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.choose.s-i.ch/