Difference between revisions of "AutoTest Integration"
 (→Links:  update and sourcecode notes)  | 
				 (→Team:  interface teams)  | 
				||
| Line 54: | Line 54: | ||
* Weiqiang Liu (project leader; libero)  | * Weiqiang Liu (project leader; libero)  | ||
* Je Lan Ong (doc)  | * Je Lan Ong (doc)  | ||
| − | * Samuel Pasquier (doc; testing)  | + | * Samuel Pasquier (doc: output; testing)  | 
| − | * [[User:Philipp|Philipp Bönhof]] (code; wiki)  | + | * [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)  | 
* [[User:Pgoffin|Pascal Goffin]] (doc)  | * [[User:Pgoffin|Pascal Goffin]] (doc)  | ||
| − | * [[User:Dilip|Dilip Many]] (code)  | + | * [[User:Dilip|Dilip Many]] (code: input interface)  | 
* [[User:DJuric|Dejan Juric]] (over all design; code: output, spec autotest; logos)  | * [[User:DJuric|Dejan Juric]] (over all design; code: output, spec autotest; logos)  | ||
| − | * [[User:Jschoch|Jona Schoch]] (protocol; doc)  | + | * [[User:Jschoch|Jona Schoch]] (protocol; doc: input)  | 
* [[User:Stephan|Stephan Gerhard]] (code: output)  | * [[User:Stephan|Stephan Gerhard]] (code: output)  | ||
* Florian Leu (code: input interface)  | * Florian Leu (code: input interface)  | ||
* Arno Fiva (code: specification autotest)  | * Arno Fiva (code: specification autotest)  | ||
| − | * Carlo Manco (code)  | + | * Carlo Manco (code: autotest)  | 
* Matthieu Bray (design; testing)  | * Matthieu Bray (design; testing)  | ||
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)  | * [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)  | ||
Revision as of 03:06, 4 May 2006
Contents
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
 - Philipp's batch scripts for EiffelStudio compilation
 - First interface of a class AUTO_TEST_PROJECT auto_test_project.e
 - demo gui (version 2) (compiling the according ace file should work, you can also open *.bpr with EiffelBuild)
 - notes from browsing the source code of EiffelStudio
 
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: 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)
 

