Made available in DSpace on 2014-06-12T15:54:24Z (GMT). No. of bitstreams: 2
arquivo7096_1.pdf: 2072025 bytes, checksum: ca8b71b9cfdeb09118a7c281cafe2872 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2010 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Aplicações para celular estão se tornando cada vez mais complexas, bem como testá-las.
Teste de interfaces gráficas (GUI) é uma tendência atual e se faz, em geral, através da
simulação de interações do usuário. Várias técnicas são propostas, no qual, eficiência
(custo de execução) e eficácia (possibilidade de encontrar bugs) são os aspectosmais cruciais
desejados pela industria. No entanto, avaliações mais sistemáticas são necessárias
para identificar quais técnicas melhoram a eficiência e eficácia de tais aplicações. Esta
tese apresenta uma avaliação experimental de duas técnicas de testes de GUI, denominadas
de DH e BxT, que são usadas para testar aplicações de celulares com um histórico
de erros reais. Estas técnicas são executadas por um longo período de tempo (timeout de
40h, por exemplo) tentando identificar as situações críticas que levam o sistema a uma
situação inesperada, onde o sistema pode não continuar sua execução normal. Essa situação
é chamada de estado de crash. A técnicaDHjá existia e é utilizadapela industriade
software, propomos outra chamada de BxT. Em uma avaliação preliminar, comparamos
eficácia e eficiência entre DH e BxT através de uma análise descritiva. Demonstramos
que uma exploração sistemática, realizada pela BxT, é uma abordagem mais interessante
para detectar falhas em aplicativos de celulares. Com base nos resultados preliminares,
planejamos e executamos um experimento controlado para obter evidência estatística
sobre sua eficiência e eficácia. Como ambas as técnicas são limitadas por um timeout
de 40h, o experimento controlado apresenta resultados parciais e, portanto, realizamos
uma investigação mais aprofundada através da análise de sobrevivência. Tal análise permite
encontrar a probabilidade de crash de uma aplicação usando tanto DH quanto BxT.
Como experimentos controlados são onerosos, propomos uma estratégia baseada em experimentos
computacionais utilizando a linguagem PRISM e seu verificador de modelos
para poder comparar técnicas de teste de GUI, em geral, e DH e BxT em particular. No
entanto, os resultados para DH e BxT tem uma limitação: a precisão do modelo não é
estatisticamente comprovada. Assim, propomos uma estratégia que consiste em utilizar
os resultados anteriores da análise de sobrevivência para calibrar nossos modelos. Finalmente,
utilizamos esta estratégia, já com os modelos calibrados, para avaliar uma nova
técnica de teste de GUI chamada Hybrid-BxT (ou simplesmente H-BxT), que é uma
combinação de DH e BxT
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufpe.br:123456789/2076 |
| Date | 31 January 2010 |
| Creators | BERTOLINI, Cristiano |
| Contributors | MOTA, Alexandre Cabral |
| Publisher | Universidade Federal de Pernambuco |
| Source Sets | IBICT Brazilian ETDs |
| Language | English |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis |
| Source | reponame:Repositório Institucional da UFPE, instname:Universidade Federal de Pernambuco, instacron:UFPE |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0022 seconds