| Version |
Date |
Utilisateur |
ID du Champ |
Champ |
Difference |
| 6 |
20 Apr 2012 10:56 |
burkhart.wolff |
180 |
Abstract |
| | Generating tests at the GUI-level of an application is a variant of a test sequence generation problem. Some functionality of a system may only be accomplished by following some complex sequence of GUI events. For example, to open a file a user may have to click on the File Menu and then select the Open operation, and then use a dialog box to specify the file name, and then focus the application on the newly opened window. Obviously, increasing the number of possible operations increases the sequencing problem exponentially. | | Generating tests at the GUI-level of an application is a variant of a test sequence generation problem. Some functionality of a system may only be accomplished by following some complex sequence of GUI events. For example, to open a file a user may have to click on the File Menu and then select the Open operation, and then use a dialog box to specify the file name, and then focus the application on the newly opened window. Obviously, increasing the number of possible operations increases the sequencing problem exponentially. |
| - | In this thesis, we propose to extend and adapt existing techniques in the HOL-TestGen system to generate test-sequences based on extended finite state machines (EFSM's). Particular emphasis is put on the """"mediation"""" between abstract events(write_file(""""F"""")) and sequences of GUI-events (find_top_left_menu_button;...) as well as the concrete generation of code to be executed in a GUI test environment (""""robot""""). |
+ | In this thesis, we propose to extend and adapt existing techniques in the HOL-TestGen system to generate test-sequences based on extended finite state machines (EFSM's). Particular emphasis is put on the """"mediation"""" between abstract events (write_file(""""F"""")) and sequences of GUI-events (find_top_left_menu_button;...) as well as the concrete generation of code to be executed in a GUI test environment (""""robot""""). |
|
| |
|
|
224 |
Candidates |
| - | tp be proposed by ACIAL. |
+ | to be proposed by ACIAL. |
|
| 5 |
20 Apr 2012 10:55 |
burkhart.wolff |
180 |
Abstract |
| | Generating tests at the GUI-level of an application is a variant of a test sequence generation problem. Some functionality of a system may only be accomplished by following some complex sequence of GUI events. For example, to open a file a user may have to click on the File Menu and then select the Open operation, and then use a dialog box to specify the file name, and then focus the application on the newly opened window. Obviously, increasing the number of possible operations increases the sequencing problem exponentially. | | Generating tests at the GUI-level of an application is a variant of a test sequence generation problem. Some functionality of a system may only be accomplished by following some complex sequence of GUI events. For example, to open a file a user may have to click on the File Menu and then select the Open operation, and then use a dialog box to specify the file name, and then focus the application on the newly opened window. Obviously, increasing the number of possible operations increases the sequencing problem exponentially. |
| | In this thesis, we propose to extend and adapt existing techniques in the HOL-TestGen system to generate test-sequences based on extended finite state machines (EFSM's). Particular emphasis is put on the """"mediation"""" between abstract events | | In this thesis, we propose to extend and adapt existing techniques in the HOL-TestGen system to generate test-sequences based on extended finite state machines (EFSM's). Particular emphasis is put on the """"mediation"""" between abstract events |
| - | (write_file(""""F"""")) and sequences of GUI-events (find_top_left_menu_button;...) as well as the concrete generation of code to be executed in a GUI test robot. |
+ | (write_file(""""F"""")) and sequences of GUI-events (find_top_left_menu_button;...) as well as the concrete generation of code to be executed in a GUI test environment (""""robot""""). |
|
| 4 |
20 Apr 2012 10:53 |
burkhart.wolff |
179 |
Subject |
| - | Development of a model-based Testing Framework GUI-level testing of application programs. |
+ | Development of a model-based Testing Framework for GUI-level testing of application programs. |
|
| |
|
|
180 |
Abstract |
| - | todo |
+ | Generating tests at the GUI-level of an application is a variant of a test sequence generation problem. Some functionality of a system may only be accomplished by following some complex sequence of GUI events. For example, to open a file a user may have to click on the File Menu and then select the Open operation, and then use a dialog box to specify the file name, and then focus the application on the newly opened window. Obviously, increasing the number of possible operations increases the sequencing problem exponentially. In this thesis, we propose to extend and adapt existing techniques in the HOL-TestGen system to generate test-sequences based on extended finite state machines (EFSM's). Particular emphasis is put on the """"mediation"""" between abstract events(write_file(""""F"""")) and sequences of GUI-events (find_top_left_menu_button;...) as well as the concrete generation of code to be executed in a GUI test robot. |
|
| |
|
|
183 |
Objectives |
| - | - |
+ | - Develop a technology to automate testing of applications -- choice of a """"practical modeling language"""" (UML State machines ? Test Sequence Diagrams ?)-- develop a mediator mechanism (mapping abstract system events to GUI events ...)-- demonstrate feasibility with several medium-size case studies... |
|
| 2 |
20 Apr 2012 10:31 |
burkhart.wolff |
182 |
Work program |
| - | todo |
+ | - Analysis of existing tools (""""GUI robots"""") (research as well as Squish, Seapine, Ranorex, etc.) - Analysis of existing programmable GUI test frameworks- Develop an executable Isabelle theory for a chosen GUI test framework- Develop a """"mediator theory"""" that maps abstract events from a system model (e.g. an ESFM) to GUI-events in the GUI test framework. (including identification problem) - Choose a """"practical modeling language"""" for system models (e.g. an existing Statemate theory or an own EFSM format in Isabelle)- Perform several medium size case studies to show feasibility. |
|
| |
|
|
183 |
Objectives |
|
| |
|
|
189 |
Collaborations |
| - | todo |
+ | Acial20 rue d'Athènes75009 ParisTél : +33 (0)1 55 33 52 40Fax : +33 (0)1 55 33 52 41Mob : +33 (0)6 13 43 38 68Web : www.acial.frMail : pre@acial.fr |
|
| 1 |
20 Apr 2012 10:10 |
burkhart.wolff |
179 |
Subject |
| - | Development of a model-based Testing Framework that allows for the generation of test-sequences to be executed at the GUI-level of applications. |
+ | Development of a model-based Testing Framework GUI-level testing of application programs. |
|
| |
|
|
181 |
Context |
| - | todo |
+ | Nowadays, a significant part of testing in the industrial practice is done by hand by manual testers on the basis of application scenarios (stemming from the requirement analysis phase). Given the fact, that these tests have to be repeated potentially on various system platforms (MacOS, Windows, Linux) for various GUI technologies (Nokia's Qt Software Frameworks, Web/HTML/AJAX, Java SWT, Eclipse RCP and AWT, Swing, Mac OS X Carbon/Cocoa, Native Windows (MFC, .NET, etc.), iPhone/iPod/iPad CocoaTouch), the test space explodes easily for a commercial application to be run on various versions and platforms. Moreover, the size of the problem in itself is already substantial: Unlike a command line interface system, a GUI has many operations that need to be tested. A relatively small program such as Microsoft WordPad has 325 possible GUI operations. It is therefore rewarding to combine GUI test-frameworks with model-based (EFSM) test sequence generation techniques such as HOL-TestGen. |
|