Acial
20 rue d'Athènes
75009 Paris
Tél : +33 (0)1 55 33 52 40
Fax : +33 (0)1 55 33 52 41
Mob : +33 (0)6 13 43 38 68
Web : www.acial.fr
Mail : pre à acial.fr
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.
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").
Context
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.
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...
Work program
- 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.
Extra information
Papers:
Achim D. Brucker and Burkhart Wolff. On Theorem Prover-based Testing. Formal Aspects of Computing (FAOC), 2012.
Abderrahmane Feliachi, Marie-Claude Gaudel, and Burkhart Wolff. Isabelle/Circus: A process specification and verification environment. In VSTTE, LNCS 7152, 2012.
Achim D. Brucker, Lukas Brügger, Paul Kearney, and Burkhart Wolff. An approach to modular and testable security models of real-world health-care applications. SACMAT 2011.
Prerequisite
Knowledge in Functional Programming (OCaml or Haskel or SML).
Interest in work with interactive theorem proving environments.
Détails
Expected funding
CIFRE
Status of funding
Expected
Candidates
to be proposed by ACIAL.
Utilisateur
burkhart.wolff
Créé
Vendredi 20 avril 2012 09:47:29 CEST
dernière modif.
Vendredi 20 avril 2012 10:56:44 CEST
Fichiers joints
filename
créé
hits
filesize
Aucun fichier joint à cette fiche
Connexion
Ecole Doctorale Informatique Paris-Sud
Directrice
Nicole Bidoit Assistante
Stéphanie Druetta Conseiller aux thèses
Dominique Gouyou-Beauchamps
ED 427 - Université Paris-Sud
UFR Sciences Orsay
Bat 650 - aile nord - 417
Tel : 01 69 15 63 19
Fax : 01 69 15 63 87
courriel: ed-info à lri.fr