SIG-Droid: Geração automatizada de entrada de sistema para aplicações Android

A ubiquidade dos smartphones e o vasto número de aplicativos correspondentes ressaltaram a necessidade de técnicas aplicáveis de teste automatizado de software. Uma riqueza de pesquisa tem se concentrado no teste de unidade ou GUI de aplicativos para smartphones, mas pouco sobre suporte automatizado para testes de sistema de ponta a ponta. Este artigo apresenta o SIG-Droid, uma estrutura para teste de sistema de aplicativos Android, sustentada por análise de programa automatizada para extrair modelos de aplicativos e execução simbólica de código-fonte guiada por tais modelos para obter entradas de teste que garantam a cobertura de cada ramo acessível no programa. O SIG-Droid aproveita dois modelos extraídos automaticamente: Modelo de Interface e Modelo de Comportamento. O Modelo de Interface é usado para encontrar valores que um aplicativo pode receber através de suas interfaces. Esses valores são então trocados por valores simbólicos para lidar com restrições com a ajuda de um motor de execução simbólica. O Modelo de Comportamento é usado para direcionar os aplicativos para execução simbólica e gerar sequências de eventos. Fornecemos uma implementação eficiente do SIG-Droid baseada em parte no Symbolic PathFinder, estendido neste trabalho para suportar testes automáticos de aplicativos Android. Nossos experimentos mostram que o SIG-Droid é capaz de alcançar uma cobertura de código significativamente maior do que as ferramentas de teste automatizado existentes direcionadas para Android.