Difference between revisions of "AutoTest Integration"
(→Overview: adding Information, note that code is now in soft-arch branch) |
|||
| (46 intermediate revisions by 9 users not shown) | |||
| Line 1: | Line 1: | ||
[[Category:Projects]] | [[Category:Projects]] | ||
| + | [[Image:aeccs_Logo.png|right|frame| AECCS (Advanced Eiffel Contract Checking System)]] | ||
=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 9: | 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 20: | Line 27: | ||
* divided the project in its components | * divided the project in its components | ||
* we need to treat [http://se.inf.ethz.ch/people/leitner/auto_test/ AutoTest] as black box (unless the developper is able to cope with the problems with Eiffel 5.7) | * we need to treat [http://se.inf.ethz.ch/people/leitner/auto_test/ AutoTest] as black box (unless the developper is able to cope with the problems with Eiffel 5.7) | ||
| + | |||
| + | == M3: May 15th 2006 == | ||
| + | * code is included into ES and is running | ||
| + | * AutoTest can be called from within ES as a separate process | ||
| + | * output of AutoTest is displayed in a separate window | ||
=To Do= | =To Do= | ||
| Line 28: | Line 40: | ||
== Hints for the work == | == Hints for the work == | ||
* 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. | ||
| + | |||
| + | --> | ||
=Links= | =Links= | ||
| + | '''Help & Info''' | ||
* How to install and compile EiffelStudio under Windows see [[Compiling EiffelStudio]] | * How to install and compile EiffelStudio under Windows see [[Compiling EiffelStudio]] | ||
| + | |||
* Batch file to help you with the installation [[Automatic Build Scripts]] | * Batch file to help you with the installation [[Automatic Build Scripts]] | ||
| + | <!-- | ||
* [http://n.ethz.ch/student/pboenhof/autotest/Philipp_Eiffel_Compilation_Scripts.zip batch scripts for EiffelStudio compilation modified by Philipp (who is not the author)] --[[User:Philipp|Philipp]] | * [http://n.ethz.ch/student/pboenhof/autotest/Philipp_Eiffel_Compilation_Scripts.zip batch scripts for EiffelStudio compilation modified by Philipp (who is not the author)] --[[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/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]] | ||
| + | |||
| + | |||
| + | '''Definitions''' | ||
| + | * 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/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] (NOT UP TO DATE!) | * [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] (NOT UP TO DATE!) | ||
| + | |||
* [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 | + | |
| + | * [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) | ||
| + | |||
| + | |||
| + | '''Sources''' | ||
| + | <!-- | ||
| + | * demo gui source code (version 0.3) (new version below: at_gui_interface) (compiling the according ace file should work, you can also open *.bpr with EiffelBuild)<br/> [http://n.ethz.ch/~pboenhof/autotest/autotest_demo_gui_v3_win32_binary.zip win32 binary distribution] for those without a running compiler<br/>--modified [[User:Philipp|Philipp]] 00:42, 13 May 2006 (CEST) | ||
| + | |||
| + | * [http://n.ethz.ch/~pboenhof/autotest/ec_win32_with_autotest_demo.zip win32 ec binary] with rudimentary AutoTest dialog included in Tool menu; to start with the GUI do:<br/><code>cmd> ec -from_bench</code><br/> --added [[User:Philipp|Philipp]] 00:42, 13 May 2006 (CEST) | ||
| + | |||
* [http://n.ethz.ch/student/pboenhof/autotest/demo2_eif_build.zip skeletton for input gui (EiffelBuild project)] Generated also with the components predefined in EiffelBuild 5.6 and can be opened also in EiffelBuild 5.7.0826. (The components in EiffelBuild 5.7.0826 are buggy and if you try to insert one then EiffelBuild won't do it and will stop accepting right clicks and slow down.) --[[User:Philipp|Philipp]] 09:49, 1 June 2006 (CEST) | * [http://n.ethz.ch/student/pboenhof/autotest/demo2_eif_build.zip skeletton for input gui (EiffelBuild project)] Generated also with the components predefined in EiffelBuild 5.6 and can be opened also in EiffelBuild 5.7.0826. (The components in EiffelBuild 5.7.0826 are buggy and if you try to insert one then EiffelBuild won't do it and will stop accepting right clicks and slow down.) --[[User:Philipp|Philipp]] 09:49, 1 June 2006 (CEST) | ||
| − | + | * [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/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) | ||
| + | |||
| + | |||
| + | '''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) | ||
| + | |||
| + | =Project Presentation= | ||
| + | * 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. | ||
| + | --> | ||
| + | |||
| + | =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] | ||
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2002%20Protokoll%2004.05.06.pdf protocol 04.05.2006] | * [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2002%20Protokoll%2004.05.06.pdf protocol 04.05.2006] | ||
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2003%20Protokoll%2018.05.06.pdf protocol 18.05.2006] | * [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2003%20Protokoll%2018.05.06.pdf protocol 18.05.2006] | ||
| + | * [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2004%20Protokoll%2001.06.06.pdf protocol 01.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] | ||
| + | |||
| + | |||
| + | =Documentation= | ||
| + | * [http://n.ethz.ch/student/pgoffin/download/AECCS%20Documentation.pdf AECCS Documentation] | ||
| + | |||
| − | =Team= | + | =Team Members= |
* [[User:Wliu|Weiqiang Liu]] (project leader; code: output) | * [[User:Wliu|Weiqiang Liu]] (project leader; code: output) | ||
| − | * [[User:jong|Je Lan Ong]] (doc) | + | * [[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) | + | * [[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 | + | * [[User:Djuric|Dejan Juric]] (over all design; code, spec: autotest) |
| − | * [[User:Jschoch|Jona Schoch]] (protocol; doc: | + | * [[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) | ||
| − | * Carlo Manco ( | + | * [[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 02:30, 30 June 2006
AECCS (Advanced Eiffel Contract Checking System)
Contents
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
- 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.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
- Screen Shots for documentation --Philipp 17:37, 22 June 2006 (CEST)
Project Presentation
- Wednesday June 28th ETH Hauptgebäude
- final presentation slides in open document presentation format. final presentation slides in pdf format.--Djuric
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
Documentation
Team Members
- Weiqiang Liu (project leader; code: output)
- Je Lan Ong (doc: autotest)
- Samuel Pasquier (doc: output)
- Philipp Bönhof (code: input interface; partial wiki; management of the sources & releases)
- Pascal Goffin (doc: input; merging and layouting of the different docs with latex)
- Dilip Many (code: input interface, output)
- Dejan Juric (over all design; code, spec: autotest)
- Jona Schoch (protocol; doc: user manual)
- Stephan Gerhard (code: output)
- Florian Leu (code: input interface)
- Arno Fiva (code: specification autotest)
- Carlo Manco (graphics: logo, icon)
- Matthieu Bray (testing)
- Ilinca Ciupa (assistant)
