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
• we need to treat AutoTest as black box (unless the developper is able to cope with the problems with Eiffel 5.7)

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

• every one in the doc team has to get a wiki account

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
• batch scripts for EiffelStudio compilation modified by Philipp (who is not the author) --Philipp
• First interface of a class AUTO_TEST_PROJECT auto_test_project.e
• demo gui source code (version 0.3) (compiling the according ace file should work, you can also open *.bpr with EiffelBuild)
  win32 binary distribution for those without a running compiler
  --modified Philipp 00:42, 13 May 2006 (CEST)
• win32 ec binary with rudimentary AutoTest dialog included in Tool menu; to start with the GUI do:
  cmd> ec -from_bench
  --added Philipp 00:42, 13 May 2006 (CEST)
• notes from browsing the source code of EiffelStudio --Philipp
• opening the compiled eiffel project in EiffelStudio --Philipp

Meetings

• Thursday May 4th 13-14h (room IFW E 44)
• No meeting on Thursday May 11th

Protocols

The protocols and other links are mainly in german.

• protocol 27.04.2006
• protocol 04.05.2006

Team

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