Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/275557
Type: DISSERTAÇÃO DIGITAL
Degree Level: Mestrado
Title: StateMutest : uma ferramenta de apoio ao teste baseado em modelos de estado estendidos
Title Alternative: StateMutest : a testing tool based on extended state machine
Author: Cardoso, Wallace Felipe Francisco, 1990-
Advisor: Martins, Eliane, 1955-
Abstract: Resumo: Em nossos dias é visível a presença de sistemas de software espalhados por todos os lugares. Uma parte desses sistemas hoje têm grandes responsabilidades quando em operação, pois caso falhem podem provocar sérios danos à vida humana. Consequentemente, o teste de software tem o objetivo de descobrir erros (os quais levam às falhas), visando revelar a presença de defeitos antes mesmo de o sistema ser implantado para operar efetivamente. Atribui-se a efetividade do teste então à probabilidade deste em revelar a maior quantidade de defeitos possível (mas não a ausência deles). Ainda mais, além da efetividade muito se tem feito visando redução de custos através do projeto e implementação de ferramentas de automação dos testes. Neste trabalho, é proposto o projeto e a implementação da StateMutest, uma plataforma baseada na análise de mutantes com suporte à geração de casos de teste, a partir de máquina de estados finita estendida. A geração nativa de casos de teste é baseada em uma abordagem meta-heurística multi objetiva chamada MOST. Visando redução de custos na análise de mutantes, a StateMutest permite a geração de um número reduzido de mutantes; a ferramenta também paraleliza a execução para melhorar o desempenho. São algumas das funcionalidades da StateMutest: edição de modelo, execução de modelo, e o mecanismo de extensão, o qual permite ao usuário inserir outras ferramentas no ambiente. Utilizando a StateMutest foram conduzidos alguns estudos visando verificar o potencial de detecção de defeitos das sequências de teste geradas pelo MOST, e se existem melhorias em desempenho ao aplicar as técnicas de redução de custos na análise de mutantes. Os resultados apontam que os conjuntos de teste gerados pelo MOST são eficientes em revelar defeitos. A partir das sequências de entrada também é possível estabelecer uma estratégia visando reduzir a quantidade destas durante um teste, o que significa redução de custos sem perdas de efetividade. Em consideração às reduções, as técnicas utilizadas (mutação aleatória e execução paralela) alcançaram redução significativa em relação à execução padrão sem perdas drásticas de efetividade

Abstract: Nowadays, we can see the presence of systems everywhere. Today, most systems have several responsibilities when in operation, whose failure may result in serious damage, including, to the human life. Hence, software testing aims to reveal the presence of faults even before the system is ready for use. Test effectiveness is the probability of a given test set to reveal the higher number of faults as possible (but not the absence). Furthermore, researches have been proposed with the goal to reduce costs in applied software testing through project and implementation of testing tools. In this work, it is proposed the StateMutest, a platform for mutation analysis and test case generation from extended finite state machine models. The native test case generator is based on a multi-objective meta-heuristic approach called MOST. In order to reduce mutation analysis costs, StateMutest allows the construction of a reduced number of mutants; it also uses parallelism to improve execution time. StateMutest offers other features such as: model edition, model execution and extension mechanisms to allow the insertion of other tools. We use the StateMutest to conduce some studies targeting to verify the potential of fault detection of sequences generated by MOST, and whether there are improvements in apply techniques to reduce costs in the mutation analysis. Our results shows that the sets generated by MOST are efficient in the sense that it reveals faults. From the sequence set it is possible to define a strategy to reduce the test set size, which means the reduction of costs without loss of effectiveness. Concluding, by applying techniques of cost reduction it is possible to reduce the time of testing without loss of effectiveness
Subject: Software - Testes
Análise de mutantes
Ferramentas - Testes
Teste baseado em modelos
Editor: [s.n.]
Date Issue: 2015
Appears in Collections:IC - Tese e Dissertação

Files in This Item:
File SizeFormat 
Cardoso_WallaceFelipeFrancisco_M.pdf10.99 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.