Difference between revisions of "AutoTest Integration"
(added global design document links, new interface) |
|||
| Line 44: | Line 44: | ||
* [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio --[[User:Philipp|Philipp]] | * [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio --[[User:Philipp|Philipp]] | ||
* [http://n.ethz.ch/student/pboenhof/autotest/presentation_2006_05_04.pdf opening the compiled eiffel project in EiffelStudio] --[[User:Philipp|Philipp]] | * [http://n.ethz.ch/student/pboenhof/autotest/presentation_2006_05_04.pdf opening the compiled eiffel project in EiffelStudio] --[[User:Philipp|Philipp]] | ||
| + | * [http://n.ethz.ch/student/djuric/download/global_design.pdf Global design document] describing the global design goals and ideas, [http://n.ethz.ch/student/djuric/download/global_design.zip source code of the files]. Here is the new corresponding [http://n.ethz.ch/student/djuric/download/auto_test_project.e interface source file] | ||
=Meetings= | =Meetings= | ||
Revision as of 22:23, 17 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
- we need to treat AutoTest as black box (unless the developper is able to cope with the problems with Eiffel 5.7)
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
- every one in the doc team has to get a wiki account
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
- batch scripts for EiffelStudio compilation modified by Philipp (who is not the author) --Philipp
- First interface of a class AUTO_TEST_PROJECT auto_test_project.e
- demo gui source code (version 0.3) (compiling the according ace file should work, you can also open *.bpr with EiffelBuild)
win32 binary distribution for those without a running compiler
--modified Philipp 00:42, 13 May 2006 (CEST) - win32 ec binary with rudimentary AutoTest dialog included in Tool menu; to start with the GUI do:
cmd> ec -from_bench
--added Philipp 00:42, 13 May 2006 (CEST) - notes from browsing the source code of EiffelStudio --Philipp
- opening the compiled eiffel project in EiffelStudio --Philipp
- Global design document describing the global design goals and ideas, source code of the files. Here is the new corresponding interface source file
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.
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)
