Difference between revisions of "AutoTest Integration"

(Team Members: - updated my tasks)
(Team Members)
Line 114: Line 114:
 
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
 
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
 
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
 
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
* [[User:Pgoffin|Pascal Goffin]] (doc: input; merging of the different docs into latex)
+
* [[User:Pgoffin|Pascal Goffin]] (doc: input; merging and layouting of the different docs with latex)
 
* [[User:Dilip|Dilip Many]] (code: input interface, output)
 
* [[User:Dilip|Dilip Many]] (code: input interface, output)
 
* [[User:Djuric|Dejan Juric]] (over all design; code, spec: autotest)
 
* [[User:Djuric|Dejan Juric]] (over all design; code, spec: autotest)

Revision as of 06:39, 26 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


Links

Help & Info

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


Definitions


Sources

  • at_integration_v0.50.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 01:43, 24 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

Project Presentation

  • Wednesday June 28th ETH Hauptgebäude


Meeting Protocols

The protocols and other links are mainly in german.


Documentation


Team Members