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

M2: May 2nd 2006

• team divided in sub groups
• divided the project in its components
• no need to treat AutoTest as black box (include or use of source code possible)

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

Hints for the work

• Do the same thing in two groups simultaneously, probably one group has solved some problems faster than the other.

Links

• How to install and compile EiffelStudio under Windows see Compiling EiffelStudio
• Batch file to help you with the installation Automatic Build Scripts
• First interface of a class AUTO_TEST_PROJECT auto_test_project.e

Meetings

• Thursday May 4th 13-14h (room IFW E 44)
• No meeting on Thursday May 11th
• other probably possible meeting time: Tuesdays 15-16h

Protocols

• protocol 27.04.2006 (german)

Team

• Weiqiang Liu (project leader; libero)
• Je Lan Ong (doc)
• Samuel Pasquier (doc; testing)
• Philipp Bönhof (code; wiki)
• Pascal Goffin (doc)
• Dilip Many (code)
• Dejan Juric (over all design; code: output, spec autotest; logos)
• Jona Schoch (protocol; 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)