Difference between revisions of "AutoTest Integration"
(clean up the wiki) |
|||
| Line 77: | Line 77: | ||
--> | --> | ||
| − | * [http://n.ethz.ch/student/pboenhof/autotest/at_integration_v0.49.zip at_integration_v0.49.zip] Complete package to install user interface into ES. Consult README.TXT for further instructions. (If you want changes to appear in later releases please submit also the name of the zip file on which you worked.) --[[User:Philipp|Philipp]] changed 01:43, 24 June 2006 (CEST) | + | * [http://n.ethz.ch/student/pboenhof/autotest/at_integration_v0.49.zip at_integration_v0.49.zip] '''Complete package to install user interface into ES.''' Consult README.TXT for further instructions. (If you want changes to appear in later releases please submit also the name of the zip file on which you worked.) --[[User:Philipp|Philipp]] changed 01:43, 24 June 2006 (CEST) |
* [http://n.ethz.ch/student/djuric/download/at_cluster_12_06_06.zip working auto test cluster system] This system works on my linux machine, a windows implementation is present, but has not yet been successfully executed on windows (auto test problems). For further informations see the mailingslist! ---[[User:Djuric|Djuric]] 22:56, 12 June 2006 (CEST) | * [http://n.ethz.ch/student/djuric/download/at_cluster_12_06_06.zip working auto test cluster system] This system works on my linux machine, a windows implementation is present, but has not yet been successfully executed on windows (auto test problems). For further informations see the mailingslist! ---[[User:Djuric|Djuric]] 22:56, 12 June 2006 (CEST) | ||
| Line 84: | Line 84: | ||
'''Screen Shots''' | '''Screen Shots''' | ||
* [http://n.ethz.ch/student/pboenhof/autotest/at_documentation_screen_shots.zip Screen Shots for documentation] --[[User:Philipp|Philipp]] 17:37, 22 June 2006 (CEST) | * [http://n.ethz.ch/student/pboenhof/autotest/at_documentation_screen_shots.zip Screen Shots for documentation] --[[User:Philipp|Philipp]] 17:37, 22 June 2006 (CEST) | ||
| + | |||
=Project Presentation= | =Project Presentation= | ||
| Line 91: | Line 92: | ||
'''Important Note:''' Do your part of the project as selfstanding runtime '''not embedded''' in EiffelStudio or at least a prototype which 'simulates' the functionality of ES. | '''Important Note:''' Do your part of the project as selfstanding runtime '''not embedded''' in EiffelStudio or at least a prototype which 'simulates' the functionality of ES. | ||
--> | --> | ||
| + | |||
=Meeting Protocols= | =Meeting Protocols= | ||
| Line 101: | Line 103: | ||
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2005%20Protokoll%2015.06.06.pdf protocol 15.06.2006] | * [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2005%20Protokoll%2015.06.06.pdf protocol 15.06.2006] | ||
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2006%20Protokoll%2022.06.06.pdf protocol 22.06.2006] | * [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2006%20Protokoll%2022.06.06.pdf protocol 22.06.2006] | ||
| + | |||
=Team Members= | =Team Members= | ||
Revision as of 02:29, 24 June 2006
AECCS (Advanced Eiffel Contract Checking System)
Overview
Project name: AECCS (Advanced Eiffel Contract Checking System)
Project description: integration of AutoTest into EiffelStudio
Mailing list: es-autotest@origo.ethz.ch
Links
Help & Info
- How to install and compile EiffelStudio under Windows see Compiling EiffelStudio
- Batch file to help you with the installation Automatic Build Scripts
Definitions
- First interface of a class AUTO_TEST_PROJECT auto_test_project.e
- Global design document describing the global design goals and ideas, source code of the files. Here is the new corresponding interface source file (NOT UP TO DATE!)
- working example system that lets you explore the interaction with the interface.
- fixed interface Use this interface files to build your clients. -- Djuric 12:16, 25 May 2006 (CEST)
Sources
- at_integration_v0.49.zip Complete package to install user interface into ES. Consult README.TXT for further instructions. (If you want changes to appear in later releases please submit also the name of the zip file on which you worked.) --Philipp changed 01:43, 24 June 2006 (CEST)
- working auto test cluster system This system works on my linux machine, a windows implementation is present, but has not yet been successfully executed on windows (auto test problems). For further informations see the mailingslist! ---Djuric 22:56, 12 June 2006 (CEST)
Screen Shots
- Screen Shots for documentation --Philipp 17:37, 22 June 2006 (CEST)
Project Presentation
- Wednesday June 28th ETH Hauptgebäude
Meeting Protocols
The protocols and other links are mainly in german.
- protocol 27.04.2006
- protocol 04.05.2006
- protocol 18.05.2006
- protocol 01.06.2006
- protocol 15.06.2006
- protocol 22.06.2006
Team Members
- Weiqiang Liu (project leader; code: output)
- Je Lan Ong (doc: autotest)
- Samuel Pasquier (doc: output)
- Philipp Bönhof (code: input interface; wiki)
- Pascal Goffin (doc: input)
- Dilip Many (code: input interface)
- Dejan Juric (over all design; code: output, spec autotest; logos)
- Jona Schoch (protocol; doc: general)
- Stephan Gerhard (code: output)
- Florian Leu (code: input interface)
- Arno Fiva (code: specification autotest)
- Carlo Manco (code: autotest)
- Matthieu Bray (testing)
- Ilinca Ciupa (assistant)
