Please use this identifier to cite or link to this item: https://hdl.handle.net/1822/27878

TitleDevelopment of an environment for the generation, mutation and execution of test cases
Author(s)Cruz, Paulo Filipe Jesus
Advisor(s)Campos, J. Creissac
KeywordsModel-based testing
Graphic user interfaces
Task models
Testes baseados em modelos
Interfaces gráficas
Modelos de tarefas
Issue date2013
Abstract(s)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.
TypeMaster thesis
DescriptionDissertação de mestrado em Engenharia Informática
URIhttps://hdl.handle.net/1822/27878
AccessOpen access
Appears in Collections:BUM - Dissertações de Mestrado
DI - Dissertações de Mestrado

Files in This Item:
File Description SizeFormat 
eeum_di_dissertacao_pg20687.pdf1,87 MBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID