|
AMBER iTest - An automated model-based user interface testing environment |
|
AMBER iTest - home page |
|
The main goal of this project is to develop a set of tools and techniques to automate specification based GUI testing, solving the shortcomings found in our previous work, and show their applicability in industrial environments: hide as much as possible formal modelling details from users, via a visual modelling front-end that is integrated with the formal modelling environment and is supported by appropriate translation tools; ease the task of mapping the abstract actions described in the model to concrete actions on physical objects in the implemented GUI for several platforms, via a enhanced GUI mapping tool; help the generation of higher quality test cases, via the identification of the most appropriate test coverage criteria for model base GUI testing and the development of tools to evaluate the quality and control and guide the generation of test cases; and validate the overall approach by a set of industrial case studies. |
|
REF: PTDC/EIA/66767/2006
Institutions: FEUP Critical Software, SA
Date: 2008-2011
Budget: 134720 Euros
|
|
Tasks |
|
T1: Development of a visual GUI modeling front-end |
|
T2: Generalization of the model to implementation mapping tool |
|
T3: Development of a GUI reverse engineering tool |
|
T4: Development of GUI test coverage analysis and enforcement tools |
|
T5: Industrial validation and enhancement |