Encontrados 10 documentos, a visualizar página 1 de 1
A Pattern-Based Approach for GUI Modeling and Testing
Rodrigo Moreira; Ana C. R. Paiva; Atif MemonUser Interface (UI) patterns are used extensively in the design of today's software. UI patterns embody commonly recurring solutions that solve common GUI design problems, such as "login," "file-open," and "search." Yet, testing of GUIs for functional correctness has largely ignored UI patterns. This paper formalizes the notion of a Pattern-Based Graphical User Interface (GUI) Testing method (PBGT) for systemat...
Testing Aspect-Oriented Programs
Rodrigo Moreira; Ana C. R. Paiva; Ademar AguiarThis work addresses software quality issues introduced by Aspect-Oriented Programming (AOP). AOP aims at enhancing modularity and thus solving the problem of crosscutting concerns by capturing them into new units of modularity called aspects. With the increasing usage and acceptance of AOP, the task of assuring aspect-oriented systems’ correctness has become a challenge, mainly due to its nature. Although...
Reverse Engineering of GUI Models for Testing
André Grilo; Ana C. R. Paiva; João P. FariaThe incorrect behaviour of Graphical User Interfaces (GUIs) can compromise the effective use of the overall software application. One way to discover defects and increase the quality of GUIs is through testing. Test cases can be created manually or produced automatically from a model of the GUI. The size and complexity of GUIs makes it unpractical to do extensive manual testing. However, creating a model of the...
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 ...
Model-based user interface testing with Spec Explorer and ConcurTaskTrees
José L. Silva; José Creissac Campos; Ana C. R. PaivaAnalytic usability analysis methods have been proposed as an alternative to user testing in early phases of development due to the cost of the latter approach. By working with models of the systems, analytic models are not capable of identifying implementation related problems that might have an impact on usability. Model-based testing enables the testing of an implemented software artefact against a model of w...
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 | |||||||
|
|
|
|
|
|
||