Difference between revisions of "AutoTest Integration"
(→Links: demo gui) |
(→Links: update and sourcecode notes) |
||
| Line 39: | Line 39: | ||
* [http://n.ethz.ch/student/pboenhof/autotest/Philipp_Eiffel_Compilation_Scripts.zip Philipp's batch scripts for EiffelStudio compilation] | * [http://n.ethz.ch/student/pboenhof/autotest/Philipp_Eiffel_Compilation_Scripts.zip Philipp's batch scripts for EiffelStudio compilation] | ||
* First interface of a class AUTO_TEST_PROJECT [http://n.ethz.ch/student/djuric/download/auto_test_project.e auto_test_project.e] | * First interface of a class AUTO_TEST_PROJECT [http://n.ethz.ch/student/djuric/download/auto_test_project.e auto_test_project.e] | ||
| − | * [http://n.ethz.ch/student/pboenhof/autotest/ | + | * [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 | ||
=Meetings= | =Meetings= | ||
Revision as of 14:48, 3 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; 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)
