Development of an environment for the generation, mutation and execution of test cases

Abstract

Testing graphic user interfaces (GUI) involves, mainly, lengthy and expensive processes involving user testing. Finding simpler and easier alternatives to use than these processes becomes an exciting proposal. This project presents an alternative to existing processes through the use of Model-based Testing - MBT. The MBT technique takes advantage of models that describe the correct operation of the system (for this project task models). The use of MBT may thus become a new approach to testing GUI's, since the implemented GUI is tested against the model that specifies it the correct behavior. All inconsistencies found during the tests will be treated as potential errors that must be corrected. This report describes the development of a prototype for an environment able to generate and execute test cases applying MBT to GUI's.

A realização de testes a interfaces gráficas (GUI) envolve, maioritariamente, processos morosos e dispendiosos. Encontrar alternativas mais simples e fáceis de utilizar do que estes processos torna-se uma proposta aliciante. Este projeto apresenta uma solução alternativa aos processos já existentes através da utilização de casos de teste baseados em modelos (Modelbased Testing - MBT). Esta técnica tira partido de modelos que descrevem o correto funcionamento do sistema (no caso particular do projecto modelos de tarefas). A utilização do MBT pode assim transformarse numa nova abordagem aos testes realizados sobre GUI’s, uma vez que a GUI implementada será testada contra o modelo especificado que contém o funcionamento correto desta. As incoerências encontradas nos testes apontam para potenciais erros que deverão ser corrigidos. Este relatório descreve o desenvolvimento de um protótipo para um ambiente capaz de gerar, mutar e executar casos de teste para GUI’s aplicando o MBT.