AutoTest Integration: Difference between revisions
Jump to navigation
Jump to search
M2, edited Meetings, fixed some typos |
|||
| Line 15: | Line 15: | ||
* members are on the team list | * members are on the team list | ||
* organizing meetings | * organizing meetings | ||
== M2: May 2nd 2006 == | |||
* team divided in sub groups | |||
* divided the project in its components | |||
* no need to treat [http://se.inf.ethz.ch/projects/ilinca_ciupa/teststudio/ AutoTest] as black box (include or use of source code possible) | |||
=To Do= | =To Do= | ||
| Line 27: | Line 32: | ||
=Links= | =Links= | ||
* | * How to install and compile EiffelStudio under Windows see [[Compiling EiffelStudio]] | ||
* Batch file to help you with the installation [[Automatic Build Scripts]] | * Batch file to help you with the installation [[Automatic Build Scripts]] | ||
=Meetings= | =Meetings= | ||
* Thursday May 4th 13-14h (room IFW E 44) | * Thursday May 4th 13-14h (room IFW E 44) | ||
* '''No''' meeting on Thursday May 11th | |||
* other probably possible meeting time: Tuesdays 15-16h | * other probably possible meeting time: Tuesdays 15-16h | ||
==Protocols== | ==Protocols== | ||
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf | * [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf protocol 27.04.2006] (german) | ||
=Team= | =Team= | ||
* Weiqiang Liu (project leader | * Weiqiang Liu (project leader; libero) | ||
* Je Lan Ong (doc) | * Je Lan Ong (doc) | ||
* Samuel Pasquier (doc; testing) | * Samuel Pasquier (doc; testing) | ||
* [[User:Philipp|Philipp Bönhof]] (code) | * [[User:Philipp|Philipp Bönhof]] (code; wiki) | ||
* Pascal Goffin (doc) | * Pascal Goffin (doc) | ||
* [[User:Dilip|Dilip Many]] (code) | * [[User:Dilip|Dilip Many]] (code) | ||
* Dejan Juric (over all design; code: output, spec autotest; logos) | * Dejan Juric (over all design; code: output, spec autotest; logos) | ||
* [[User:Jschoch|Jona Schoch]] ( | * [[User:Jschoch|Jona Schoch]] (protocol; doc) | ||
* [[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) | ||
* Matthieu Bray (design | * Matthieu Bray (design; testing) | ||
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant) | * [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant) | ||
Revision as of 15:34, 2 May 2006
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
Links
- How to install and compile EiffelStudio under Windows see Compiling EiffelStudio
- Batch file to help you with the installation Automatic Build Scripts
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)