Revision as of 06:44, 22 June 2006

AECCS (Advanced Eiffel Contract Checking System)

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)

M3: May 15th 2006

• code is included into ES and is running
• AutoTest can be called from within ES as a separate process
• output of AutoTest is displayed in a separate window

To Do

• create a logo
• caller interface, output interface
• interface to autotest

Hints for the work

• Do the same thing in two groups simultaneously, probably one group has solved some problems faster than the other.
• Important: If you resubmit a change of any provided and versioned package please state clearly what version you changed so the one who provided it is able to merge it.

Links

Help & Info

• How to install and compile EiffelStudio under Windows see Compiling EiffelStudio

• Batch file to help you with the installation Automatic Build Scripts

• notes from browsing the source code of EiffelStudio --Philipp

• opening the compiled eiffel project in EiffelStudio --Philipp

Definitions

• First interface of a class AUTO_TEST_PROJECT auto_test_project.e

• Global design document describing the global design goals and ideas, source code of the files. Here is the new corresponding interface source file (NOT UP TO DATE!)

• working example system that lets you explore the interaction with the interface.

• fixed interface Use this interface files to build your clients. You can get the reference to the AUTO_TEST_PROJECT by inheriting from SHARED_AUTO_TEST_PROJECT. -- Djuric 12:16, 25 May 2006 (CEST)

Sources

• at_integration_v0.48.zip Complete package to install user interface into ES. Consult README.TXT for further instructions. (If you want changes to appear in later releases please submit also the name of the zip file on which you worked.) --Philipp changed 11:39, 16 June 2006 (CEST)

• auto test cluster prototype, to get general idea. Note: Does not work correctly!. Only unix-specific (folders, execution), the windows part not available yet! --Djuric 21:16, 9 June 2006 (CEST)

• working auto test cluster system This system works on my linux machine, a windows implementation is present, but has not yet been successfully executed on windows (auto test problems). For further informations see the mailingslist! ---Djuric 22:56, 12 June 2006 (CEST)

Screen Shots

• Screen Shots for documentation --Philipp 17:37, 22 June 2006 (CEST)

Meetings

• Thursday June 22th 13-14h (room IFW E 44)
  

Protocols

The protocols and other links are mainly in german.

• protocol 27.04.2006
• protocol 04.05.2006
• protocol 18.05.2006
• protocol 01.06.2006
• protocol 15.06.2006

Team

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