Automated specification-based testing of graphical user interfaces

• Type: Thesis
• Date: 2006

Authors

Ana Cristina Ramada Paiva Pimenta (Author) FEUP; Raul Moreira Vidal (Technical adviser) FEUP

Scientific classification

CORDIS: Technological sciences > Engineering > Computer engineering ; Technological sciences > Technology > Computer technology > Software technology

Other information

Resumo (PT): Os sistemas de software possuem normalmente uma interface gráfica com o utilizador. Este tipo de interface tornou-se a forma mais comum e importante de interagir com o software e a sua qualidade é um factor determinante na decisão de o usar. O teste de interfaces gráficas com o utilizador é difícil, moroso, dispendioso e dispõe de poucas ferramentas e técnicas. Esta dissertação trata o problema do teste de interfaces gráficas com o utilizador. Tem por objectivo introduzir uma maior sistematização e automação no processo de teste de interfaces gráficas com o utilizador aplicando métodos de teste baseados em especificações formais. Os métodos baseados em especificações formais possibilitam a geração automática de casos de teste, com os dados de entrada e também os resultados esperados, e têm sido aplicados ao teste de software através de APIs. No entanto, estes métodos ainda não estão suficientemente desenvolvidos para testar software através da interface gráfica com o utilizador.

Abstract (EN): Today's software systems usually feature Graphical User Interfaces (GUIs). GUIs have become an important and accepted way of interacting with today's software. They can be a crucial point in the users' decisions to use or not use the system. However, GUI testing is difficult, extremely time-consuming, and costly, with very few tools and techniques available to aid in the testing process. This dissertation addresses the GUI testing problem. The goal is to introduce more systematization and automation into the GUI testing process by applying specification based testing methods. The use of formal specifications allows the automatic generation of test cases containing not only the input data but also the outcomes expected. Specification-based testing methods have been applied for API testing but are insufficiently developed for GUI testing. Some of the specific challenges posed by GUI testing are addressed in this research work.

Language: Portuguese

Type (Professor's evaluation): Scientific

No. of pages: 228