Difference between revisions of "AutoTest Integration"
(→Team) |
(→Links: moved opening compiled project from protocols) |
||
| Line 41: | Line 41: | ||
* [http://n.ethz.ch/student/pboenhof/autotest/autotest_test_demo_gui_v2.zip demo gui (version 2)] (compiling the according ace file should work, you can also open *.bpr with EiffelBuild) | * [http://n.ethz.ch/student/pboenhof/autotest/autotest_test_demo_gui_v2.zip demo gui (version 2)] (compiling the according ace file should work, you can also open *.bpr with EiffelBuild) | ||
* [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio | * [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio | ||
| + | * [http://n.ethz.ch/student/pboenhof/autotest/presentation_2006_05_04.pdf opening the compiled eiffel project in EiffelStudio] | ||
=Meetings= | =Meetings= | ||
| Line 49: | Line 50: | ||
The protocols and other links are mainly in german. | The protocols and other links are mainly in german. | ||
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf protocol 27.04.2006] | * [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf protocol 27.04.2006] | ||
| − | * protocol 4.5.2006 | + | * protocol 4.5.2006 |
=Team= | =Team= | ||
Revision as of 07:38, 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
- opening the compiled eiffel project in EiffelStudio
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 4.5.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)
