Encontrados 4 documentos, a visualizar página 1 de 1
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...
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 | |||||||
|
|
|
|
|
|
||