Difference between revisions of "AutoTest Integration"

(Links: updated change date)
(Overview: adding Information, note that code is now in soft-arch branch)
 
(15 intermediate revisions by 7 users not shown)
Line 4: Line 4:
 
=Overview=
 
=Overview=
  
Project name: AECCS (Advanced Eiffel Contract Checking System)
+
Project name: '''AECCS (Advanced Eiffel Contract Checking System)'''
  
 
Project description: integration of AutoTest into EiffelStudio
 
Project description: integration of AutoTest into EiffelStudio
Line 10: Line 10:
 
Mailing list: es-autotest@origo.ethz.ch
 
Mailing list: es-autotest@origo.ethz.ch
  
 +
 +
==Information==
 +
 +
The code has been included in the SVN soft-arch branch (30 June 2006).
 +
 +
<!--
 
=Milestones=
 
=Milestones=
  
Line 35: Line 41:
 
* Do the same thing in two groups simultaneously, probably one group has solved some problems faster than the other.
 
* Do the same thing in two groups simultaneously, probably one group has solved some problems faster than the other.
 
* '''Important:''' If you resubmit a change of any provided and versioned package please state clearly what version you changed so the one who provided it is able to merge it.
 
* '''Important:''' If you resubmit a change of any provided and versioned package please state clearly what version you changed so the one who provided it is able to merge it.
 +
 +
-->
  
 
=Links=
 
=Links=
Line 57: Line 65:
 
* [http://n.ethz.ch/student/djuric/download/at_project_example.zip working example system] that lets you explore the interaction with the interface.
 
* [http://n.ethz.ch/student/djuric/download/at_project_example.zip working example system] that lets you explore the interaction with the interface.
  
* [http://n.ethz.ch/student/djuric/download/auto_test_interface.zip fixed interface] Use this interface files to build your clients. You can get the reference to the AUTO_TEST_PROJECT by inheriting from SHARED_AUTO_TEST_PROJECT. -- [[User:Djuric|Djuric]] 12:16, 25 May 2006 (CEST)
+
* [http://n.ethz.ch/student/djuric/download/auto_test_interface.zip fixed interface] Use this interface files to build your clients. -- [[User:Djuric|Djuric]] 12:16, 25 May 2006 (CEST)
  
  
Line 69: Line 77:
  
 
* [http://n.ethz.ch/student/fleu/download/AutoTest.zip new Version of the Input Interface] including the Eiffel Build *.bpr File and already inheriting from SHARED_AUTO_TEST_PROJECT (Florian, 3 June 2006)
 
* [http://n.ethz.ch/student/fleu/download/AutoTest.zip new Version of the Input Interface] including the Eiffel Build *.bpr File and already inheriting from SHARED_AUTO_TEST_PROJECT (Florian, 3 June 2006)
-->
 
 
* [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_process_pack.zip auto test cluster prototype], to get general idea. Note: '''Does not work correctly!'''. Only unix-specific (folders, execution), the windows part not available yet! --[[User:Djuric|Djuric]] 21:16, 9 June 2006 (CEST)
 
* [http://n.ethz.ch/student/djuric/download/at_process_pack.zip auto test cluster prototype], to get general idea. Note: '''Does not work correctly!'''. Only unix-specific (folders, execution), the windows part not available yet! --[[User:Djuric|Djuric]] 21:16, 9 June 2006 (CEST)
 +
 +
-->
 +
 +
* [http://n.ethz.ch/student/pboenhof/autotest/at_integration_v0.51.zip at_integration_v0.51.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 00:40, 29 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 81: Line 90:
 
* [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)
  
=Meetings=
+
=Project Presentation=
* Thursday June 22th 13-14h (room IFW E 44)<br>
+
* Wednesday June 28th ETH Hauptgebäude<br>
 +
* [http://n.ethz.ch/student/djuric/download/presentation.odp final presentation slides] in open document presentation format. [http://n.ethz.ch/student/djuric/download/presentation.pdf final presentation slides] in pdf format.--[[User:Djuric|Djuric]]
 +
 
 
<!--
 
<!--
 
'''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.
 
-->
 
-->
  
==Protocols==
+
=Meeting Protocols=
 +
 
 
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]
Line 96: Line 108:
 
* [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=
+
 
 +
=Documentation=
 +
* [http://n.ethz.ch/student/pgoffin/download/AECCS%20Documentation.pdf AECCS Documentation]
 +
 
 +
 
 +
=Team Members=
  
 
* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
 
* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
 
* [[User:jong|Je Lan Ong]] (doc: autotest)
 
* [[User:jong|Je Lan Ong]] (doc: autotest)
 
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
 
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
+
* [[User:Philipp|Philipp Bönhof]] (code: input interface; partial wiki; management of the sources & releases)
* [[User:Pgoffin|Pascal Goffin]] (doc: input)
+
* [[User:Pgoffin|Pascal Goffin]] (doc: input; merging and layouting of the different docs with latex)
* [[User:Dilip|Dilip Many]] (code: input interface)
+
* [[User:Dilip|Dilip Many]] (code: input interface, output)
* [[User:Djuric|Dejan Juric]] (over all design; code: output, spec autotest; logos)
+
* [[User:Djuric|Dejan Juric]] (over all design; code, spec: autotest)
* [[User:Jschoch|Jona Schoch]] (protocol; doc: general)
+
* [[User:Jschoch|Jona Schoch]] (protocol; doc: user manual)
 
* [[User:Stephan|Stephan Gerhard]] (code: output)
 
* [[User:Stephan|Stephan Gerhard]] (code: output)
 
* [[User:Florian|Florian Leu]] (code: input interface)
 
* [[User:Florian|Florian Leu]] (code: input interface)
 
* [[User:arnofiva|Arno Fiva]] (code: specification autotest)
 
* [[User:arnofiva|Arno Fiva]] (code: specification autotest)
* [[User:Carlo Manco|Carlo Manco]] (code: autotest)
+
* [[User:Carlo Manco|Carlo Manco]] (graphics: logo, icon)
 
* Matthieu Bray (testing)
 
* Matthieu Bray (testing)
 
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)
 
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

Latest revision as of 03:30, 30 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


Information

The code has been included in the SVN soft-arch branch (30 June 2006).


Links

Help & Info

  • notes from browsing the source code of EiffelStudio --Philipp


Definitions


Sources

  • at_integration_v0.51.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 00:40, 29 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

Project Presentation


Meeting Protocols

The protocols and other links are mainly in german.


Documentation


Team Members