Overview

Project name: AECCS (Advanced Eiffel Contract Checking System)

Project description: integration of AutoTest into EiffelStudio

Mailing list: es-autotest@origo.ethz.ch

Milestones

M1: April 25th 2006

• project page has been set up
• members are on the team list
• organizing meetings

To Do

• create a logo
• put script files for others (Windows custom)
• caller interface
• interface to autotest
• goals for Thursday May 4th 2006

- module groups meet and talk to each other
- every one has at least tried to compile ec
- over all design, rough idea how our implementation should look like

Links

• Howto install and compile EiffelStudio under Windwos see Compiling EiffelStudio
• Batch file to help you with the installation Automatic Build Scripts

Meetings

• Thursday May 4th 13-14h (if possible: room IFW C 44)
• other probably possible meeting time: Tuesdays 15-16h

Team

• Weiqiang Liu (project leader, libero)
• Je Lan Ong (doc)
• Samuel Pasquier (doc; testing)
• Philipp Bönhof (code)
• Pascal Goffin (doc)
• Dilip Many (code)
• Dejan Juric (over all design; code: output, spec autotest; logos)
• Jona Schoch (protocoll; doc)
• Stephan Gerhard (code: output)
• Florian Leu (code: input interface)
• Arno Fiva (code: specification autotest)
• Carlo Manco (code)
• Matthieu Bray (design, testing)
• Ilinca Ciupa (assistant)