AutoTest Integration

2006-05-16T13:13:45Z

Wliu:

[[Category:Projects]]

=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 [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)

=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]]
* [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]]
* 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/~pboenhof/autotest/autotest_demo_gui_v3_src.zip demo gui source code (version 0.3)] (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/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]]

=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.
* [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/AEECCS%2002%20Protokoll%2004.05.06.pdf protocol 04.05.2006]

=Team=

* [[User:Wliu|Weiqiang Liu]] (project leader; libero)
* [[User:jong|Je Lan Ong]] (doc)
* Samuel Pasquier (doc: output; testing)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
* [[User:Pgoffin|Pascal Goffin]] (doc)
* [[User:Dilip|Dilip Many]] (code: input interface)
* [[User:DJuric|Dejan Juric]] (over all design; code: output, spec autotest; logos)
* [[User:Jschoch|Jona Schoch]] (protocol; doc: input)
* [[User:Stephan|Stephan Gerhard]] (code: output)
* [[User:Florian|Florian Leu]] (code: input interface)
* [[User:arnofiva|Arno Fiva]] (code: specification autotest)
* Carlo Manco (code: autotest)
* Matthieu Bray (design; testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

User:Wliu

2006-05-16T13:11:35Z

Wliu:

AutoTest integration project leader

User:Wliu

2006-05-16T13:11:01Z

Wliu:

Project leader

EiffelStudio: an EiffelSoftware project - User contributions [en]

AutoTest Integration

User:Wliu

User:Wliu