EiffelStudio: an EiffelSoftware project - User contributions [en]

AutoTest Integration

2006-06-05T16:59:05Z

Florian: /* Links */

[[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
* caller interface, output interface
* interface to autotest

== 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) [http://n.ethz.ch/~pboenhof/autotest/autotest_demo_gui_v3_win32_binary.zip win32 binary distribution] for those without a running compiler --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: <code>cmd> ec -from_bench</code> --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]]
* [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/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/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/pboenhof/autotest/at_gui_interface_v0.4.zip at_gui_interface_v0.4.zip] Complete package to install user interface into ES. Consult README.TXT for further instructions. --[[User:Philipp|Philipp]] 04:55, 5 June 2006 (CEST) (UPDATE: [http://n.ethz.ch/student/fleu/download/at_gui_interface_v0.42.zip at_gui_interface_v0.42.zip]including the Browse-Menu and some minor fixes, Florian, 5 June 2006)

=Meetings=
* Thursday June 1th 13-14h (room IFW E 44) (?)

==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/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]

=Team=

* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
* [[User:jong|Je Lan Ong]] (doc: autotest)
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
* [[User:Pgoffin|Pascal Goffin]] (doc: input)
* [[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: general)
* [[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 (testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

AutoTest Integration

2006-06-05T09:39:20Z

Florian: /* Links */

[[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
* caller interface, output interface
* interface to autotest

== 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) [http://n.ethz.ch/~pboenhof/autotest/autotest_demo_gui_v3_win32_binary.zip win32 binary distribution] for those without a running compiler --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: <code>cmd> ec -from_bench</code> --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]]
* [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/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/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/pboenhof/autotest/at_gui_interface_v0.4.zip at_gui_interface_v0.4.zip] Complete package to install user interface into ES. Consult README.TXT for further instructions. --[[User:Philipp|Philipp]] 04:55, 5 June 2006 (CEST) (UPDATE: [http://n.ethz.ch/student/fleu/download/at_gui_interface_v0.41.zip at_gui_interface_v0.41.zip]with some minor fixes, Florian, 5 June 2006)

=Meetings=
* Thursday June 1th 13-14h (room IFW E 44) (?)

==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/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]

=Team=

* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
* [[User:jong|Je Lan Ong]] (doc: autotest)
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
* [[User:Pgoffin|Pascal Goffin]] (doc: input)
* [[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: general)
* [[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 (testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

AutoTest Integration

2006-06-04T10:50:14Z

Florian: /* Links */

[[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
* caller interface, output interface
* interface to autotest

== 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) [http://n.ethz.ch/~pboenhof/autotest/autotest_demo_gui_v3_win32_binary.zip win32 binary distribution] for those without a running compiler --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: <code>cmd> ec -from_bench</code> --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]]
* [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/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/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)

=Meetings=
* Thursday June 1th 13-14h (room IFW E 44) (?)

==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/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]

=Team=

* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
* [[User:jong|Je Lan Ong]] (doc: autotest)
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
* [[User:Pgoffin|Pascal Goffin]] (doc: input)
* [[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: general)
* [[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 (testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

AutoTest Integration

2006-06-04T08:38:25Z

Florian:

[[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
* caller interface, output interface
* interface to autotest

== 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) [http://n.ethz.ch/~pboenhof/autotest/autotest_demo_gui_v3_win32_binary.zip win32 binary distribution] for those without a running compiler --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: <code>cmd> ec -from_bench</code> --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]]
* [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/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/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 (3 June 2006)

=Meetings=
* Thursday June 1th 13-14h (room IFW E 44) (?)

==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/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]

=Team=

* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
* [[User:jong|Je Lan Ong]] (doc: autotest)
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
* [[User:Pgoffin|Pascal Goffin]] (doc: input)
* [[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: general)
* [[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 (testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

User:Florian

2006-05-04T15:10:30Z

Florian:

Group: Input Interface

AutoTest Integration

2006-05-04T15:09:20Z

Florian: /* Team */