Encontrados 6 documentos, a visualizar página 1 de 1
Reverse Engineered Formal Models for GUI Testing
Ana C. R. Paiva; João C. P. Faria; Pedro M. C. MendesThis paper describes a process to reverse engineer structural and behavioural formal models of a GUI application by a dynamic technique, mixing manual with automatic exploration. The goal is to diminish the effort required to construct the model and mapping information needed in a model based GUI testing process. A skeleton of a state machine model of the GUI, represented in a formal pre/post specification lang...
Towards the Integration of Visual and Formal Models for GUI Testing
Ana C. R. Paiva; João C. P. Faria; Raul F. A. M. VidalThis paper presents an approach to diminish the effort required in GUI modelling and test coverage analysis within a model-based GUI testing process. It provides a familiar visual notation based on UML to model GUIs at a high level of abstraction and to describe test adequacy criteria. The GUI visual model is translated automatically to a formal textual notation (Spec#), as a way to hide formalism details from ...
Modeling and Testing Hierarchical GUIs
Ana C. R. Paiva; Nikolai Tillmann; João C. P. Faria; Raul F. A. M. VidalThis paper presents a new approach to model and test hierarchical Graphical User Interfaces (GUIs). We exploit the structure of Hierarchical Finite State Machines (HFSMs) to reduce the number of states in the "flat" Finite State Machine (FSM) resulting from the exploration of the model. Firstly, independent dialogs are identified and highlighted in a HFSM built from the FSM. Then, the portion of the FSM that d...
A model-to-implementation mapping tool for automated model-based GUI testing
Ana C. R. Paiva; João C. P. Faria; Nikolai Tillmann; Raúl A. M. VidalThis paper presents extensions to the Spec Explorer tool to automate the testing of software applications through their GUI based on a formal specification in Spec#. The Spec Explorer tool, developed at Microsoft Research, already supports the automatic generation and execution of test cases for API testing, but requires that the actions described in the model are bound to methods in a .Net assembly. The tool d...
Automated Specification-based Testing of Interactive Components with AsmL
Ana C. R. Paiva; João C. P. Faria; Raul F. A. M. VidalIt is presented a promising approach to test interactive components, supporting the automatic generation of test cases from a specification. The relevance and difficulties (issues and challenges) associated with the testing of interactive components are first presented. It is shown that a formal specification with certain characteristics allows the automatic generation of test cases while solving some of the is...
Specification-based Testing of User Interfaces
Ana C. R. Paiva; João C. P. Faria; Raul F. A. M. VidalIt is proposed an approach to integrate formal methods in the software development process, with an emphasis on the user interface development. The approach covers the specification by means of formal models, early model animation and validation, construction and conformity testing of the user interface implementation with respect to the specification. These conformity tests are described in detail through a st...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||