Teste baseado em modelos de aplicações Android

Dissertação de mestrado integrado em Engenharia InformáticaWith the evolution of smartphones and the growing number of its users, mobile applicati ons are regularly used by more and more people. Because of this growing use of mobile applications, it is critical to ensure their quality. The graphical user interface (GUI) is a very relevant component in these applications, since it enables the user to interact with the avai lable resources. A malfunctioning of it may make it impossible for the application to work properly and, consequently, for the software system to be invalidated. One way to ensure a smooth operation of the system is by performing software tests. Model-based testing (MBT) is a black-box technique that checks whether software has the expected behavior. The MBT focuses on generating and running tests from a system under test (SUT) model. This dissertation continues the development of an MBT tool called TOM. After validating the Web components of said tool, we have now developed a component of generation and execution of test cases for Android applications. In the course of the dissertation we show case the various decisions and changes made in the TOM tool during the implementation of this new component, presenting at the end two case studies to prove the operation of the Android component.Com a evolução dos smartphones e o crescente número dos seus utilizadores, as aplicações móveis são utilizadas regularmente por cada vez mais pessoas. Devido a este crescente uso de aplicações móveis, é fundamental garantir a sua qualidade. A interface gráfica do utilizador (GUI) é uma componente muito relevante nestas aplicações, pois possibilita a interação do utilizador com os recursos disponíveis. Um mau funcionamento da mesma pode impossibilitar o bom funcionamento da aplicação e consequentemente, do sistema de software. Uma forma de garantir um bom funcionamento do sistema é através da realização de testes de software. Os testes baseados em modelos (MBT) são uma técnica black-box que verifica se um software tem o comportamento esperado. O MBT foca-se na geração e execução de testes a partir de um modelo do sistema sob teste (SUT). Esta dissertação continua o desenvolvimento de uma ferramenta de MBT denominada TOM. Após o sucesso apresentado na parte Web por esta ferramenta, desenvolveu-se agora uma componente de geração e execução de casos de teste para aplicações Android. No decorrer da dissertação, encontram-se as varias decisões tomadas e alterações efetuadas na ferramenta TOM durante a implementação desta nova componente, sendo apresentado no final dois casos de estudo para comprovar o funcionamento da componente Android