TOM Framework: uma ferramenta de testes baseados em modelos para interfaces gráficas web

Abstract

As técnicas de teste baseados em modelos (do inglês, Model Based Testing (MBT)) comparam o comportamento do sistema sob teste com o comportamento do modelo do sistema (o oráculo). A aplicação de MBT às interfaces gráficas do utilizador (do inglês, Graphical User Interface (GUI)) permite uma avaliação mais exaustiva e contínua do sistema, através da simulação de ações do utilizador com a interface gráfica. Desta forma, é possível reduzir significativamente o custo de avaliação do sistema, e identificar, eventualmente, erros de implementação através da GUI, sem o envolvimento de utilizadores externos. Este processo decorre através da execução dos casos de teste, gerados a partir do modelo do sistema, na aplicação sobre teste. São estes casos de teste que verificam se a implementação está de acordo com o modelo, assegurando assim uma melhoria da qualidade do sistema desenvolvido. Esta dissertação descreve uma ferramenta de MBT para aplicações web, a TOM Framework. Parte da framework (TOM Generator) aproveita trabalho anteriormente desenvolvido, a outra (TOM Editor) é aqui apresentada. Os objetivos principais da framework passam por automatizar e facilitar a criação de modelos do sistema que, posteriormente, são utilizados para gerar automaticamente casos de teste executáveis na interface gráfica sobre teste. A captura e interpretação da interação do utilizador com a aplicação web sobre teste foi um dos desafios ultrapassados no desenvolvimento desta dissertação. No final da mesma, encontra-se uma aplicação da framework a um caso de estudo.

The techniques of Model Based Testing (MBT) compare the behaviours of the system under test with the system model (the oracle). The application of MBT to the Graphical User Interface allows a more exaustive and continuous evaluation of the system, through the simulation of user actions on the graphical interface. As such, it is possible to meaning substantially reduce the cost of system evaluation and, eventually, identify implementation errors through the GUI, without the involvement of external users. This process occurs through the execution of test cases, generated from the system model, on the application under test. These are the tests case that verify if the implementation is following the model, ensuring the improvement of the developed system’s quality. This dissertation describes a MBT tool for web applications, the TOM Framework. Part of the framework (TOM Generator) takes advantage of previously developed work, the other (TOM editor) is presented here. The main goals of the framework are to automate and facilitate the creation of models of the system that will be used to automatically generate executable test cases in the graphical interface under test. The capture and interpretation of user interaction with the web application under test was one of the challenges that was overcome during the development of this dissertation. At the end of it, one can find an application of the framework in a case study.