TEGDroid: Test Case Generation Approach for Android Apps Considering Context and GUI Events

The advancement in mobile technologies has led to the production of mobile devices (e.g. smartphone) with rich innovative features. This has enabled the development of mobile applications that offer users an advanced and extremely localized context-aware content. The recent dependence of people on mobile applications for various computational needs poses a significant concern on the quality of mobile applications. In order to build a high quality and more reliable applications, there is a need for effective testing techniques to test the applications. Most existing testing technique focuses on GUI events only without sufficient support for context events. This makes it difficult to identify other defects in the changes that can be inclined by context in which an application runs. This paper presents an approach named TEGDroid for generating test case for Android Apps considering both context and GUI Events. The GUI and context events are identified through the static analysis of bytecode, and the analysis of app’s permission from the XML file. An experiment was performed on real world mobile apps to evaluate TEGDroid. Our experimental results show that TEGDroid is effective in identifying context events and had 65%-91% coverage across the eight selected applications. To evaluate the fault detection capability of this approach, mutation testing was performed by introducing mutants to the applications. Results from the mutation analysis shows that 100% of the mutants were killed. This indicates that TEGDroid have the capability to detect faults in mobile apps

Automating Test Case Generation for Android Applications using Model-based Testing

Testing of mobile applications (apps) has its quirks as numerous events are required to be tested. Mobile apps testing, being an evolving domain, carries certain challenges that should be accounted for in the overall testing process. Since smartphone apps are moderate in size so we consider that model-based testing (MBT) using state machines and statecharts could be a promising option for ensuring maximum coverage and completeness of test cases. Using model-based testing approach, we can automate the tedious phase of test case generation, which not only saves time of the overall testing process but also minimizes defects and ensures maximum test case coverage and completeness. In this paper, we explore and model the most critical modules of the mobile app for generating test cases to ascertain the efficiency and impact of using model-based testing. Test cases for the targeted model of the application under test were generated on a real device. The experimental results indicate that our framework reduced the time required to execute all the generated test cases by 50%. Experimental setup and results are reported herein

Injeção de Defeitos em Aplicações Android

O número de aplicações Android está a aumentar a uma taxa de mais de mil aplicações por diana loja de aplicações Android. O problema é que a qualidade é, por vezes, negligenciada nestetipo de aplicações, o que resulta no uso de software com defeitos. Para se conseguir melhorar aqualidade do software é necessário que se crie testes que sejam adequados para cobrir todos osrequisitos da implementação. Porém esta tarefa não é tão trivial como parece, por isso é que astécnicas de teste de mutação são importantes uma vez que estas são uteis para avaliar a qualidadede um conjunto de testes.Esta pesquisa tem como objetivo complementar o trabalho de pesquisa realizado no laboratóriode SE, no qual foi desenvolvida uma ferramenta para testar aplicações Android (iMPAcT Tool).Esta ferramenta executa estratégias de testes com o objetivo de verificar se as boas práticas daprogramação em Android estão a ser utilizadas ou não. Assim, o objetivo deste trabalho é analisaras falhas que originam os erros detetados pela iMPAcT Tool e definir um conjunto de operadoresde mutação que possam ser aplicados a aplicações Android. E, por fim, verificar se os testes queestão a ser usados são ou não eficazes na deteção desses erros. Os operadores de mutação serãoposteriormente aplicados ao código de diferentes aplicações Android. Ao comparar os resultadosda iMPAcT Tool usando o código original e o código mutado, irá ser possível verificar se o conjuntode testes é ou não eficaz em detetar as falhas devidas ao defeitos inseridos. Se os testes não forem capazes dedetetar as falhas injetadas então estes não são suficientes para detetar os erros.The number of Android applications is rising at a rate of more than a thousand applications a dayin the Android App Store. The problem is that the quality is sometimes neglected in this kindof application, which results in defective software being frequently used. In order to improvethe quality of the software it is necessary to create test cases that are adequate to cover all theimplementation requirements. However this task is not as trivial as it seems, and for this reasonmutation testing techniques are important as they can be useful to assess the quality of the testcases.This research aims to extend the research work performed in the SE lab in which a tool wasdeveloped to test Android applications (iMPAcT Tool).This tool executes test strategies that aimto check whether the guidelines for Android programming are being employed or not. The goalof this work is to analyse the faults that originate the failures detected by the iMPAcT tool anddefine a set of mutators that can be applied over Android applications and finally assess if the testsuites used are effective in finding those failures. The mutation operators will later be appliedto the source code of different Android applications. By comparing the results of the iMPAcTtool against the original and the mutated code it will become visible if the tests executed by theiMPAcT tool are enough to detect the failures it should. If the test cases cannot detect the injectedfaults then it is not effective in finding the failures it was build to find

Políticas de Copyright de Publicações Científicas em Repositórios Institucionais: O Caso do INESC TEC

A progressiva transformação das práticas científicas, impulsionada pelo desenvolvimento das novas Tecnologias de Informação e Comunicação (TIC), têm possibilitado aumentar o acesso à informação, caminhando gradualmente para uma abertura do ciclo de pesquisa. Isto permitirá resolver a longo prazo uma adversidade que se tem colocado aos investigadores, que passa pela existência de barreiras que limitam as condições de acesso, sejam estas geográficas ou financeiras. Apesar da produção científica ser dominada, maioritariamente, por grandes editoras comerciais, estando sujeita às regras por estas impostas, o Movimento do Acesso Aberto cuja primeira declaração pública, a Declaração de Budapeste (BOAI), é de 2002, vem propor alterações significativas que beneficiam os autores e os leitores. Este Movimento vem a ganhar importância em Portugal desde 2003, com a constituição do primeiro repositório institucional a nível nacional. Os repositórios institucionais surgiram como uma ferramenta de divulgação da produção científica de uma instituição, com o intuito de permitir abrir aos resultados da investigação, quer antes da publicação e do próprio processo de arbitragem (preprint), quer depois (postprint), e, consequentemente, aumentar a visibilidade do trabalho desenvolvido por um investigador e a respetiva instituição. O estudo apresentado, que passou por uma análise das políticas de copyright das publicações científicas mais relevantes do INESC TEC, permitiu não só perceber que as editoras adotam cada vez mais políticas que possibilitam o auto-arquivo das publicações em repositórios institucionais, como também que existe todo um trabalho de sensibilização a percorrer, não só para os investigadores, como para a instituição e toda a sociedade. A produção de um conjunto de recomendações, que passam pela implementação de uma política institucional que incentive o auto-arquivo das publicações desenvolvidas no âmbito institucional no repositório, serve como mote para uma maior valorização da produção científica do INESC TEC.The progressive transformation of scientific practices, driven by the development of new Information and Communication Technologies (ICT), which made it possible to increase access to information, gradually moving towards an opening of the research cycle. This opening makes it possible to resolve, in the long term, the adversity that has been placed on researchers, which involves the existence of barriers that limit access conditions, whether geographical or financial. Although large commercial publishers predominantly dominate scientific production and subject it to the rules imposed by them, the Open Access movement whose first public declaration, the Budapest Declaration (BOAI), was in 2002, proposes significant changes that benefit the authors and the readers. This Movement has gained importance in Portugal since 2003, with the constitution of the first institutional repository at the national level. Institutional repositories have emerged as a tool for disseminating the scientific production of an institution to open the results of the research, both before publication and the preprint process and postprint, increase the visibility of work done by an investigator and his or her institution. The present study, which underwent an analysis of the copyright policies of INESC TEC most relevant scientific publications, allowed not only to realize that publishers are increasingly adopting policies that make it possible to self-archive publications in institutional repositories, all the work of raising awareness, not only for researchers but also for the institution and the whole society. The production of a set of recommendations, which go through the implementation of an institutional policy that encourages the self-archiving of the publications developed in the institutional scope in the repository, serves as a motto for a greater appreciation of the scientific production of INESC TEC