Execuo paralela de programas como suporte

ao teste de mutao
Stevo Alves de Andrade, Mrcio Eduardo Delamaro
{stevao,delamaro}@icmc.usp.br

Agenda
Introduo
Motivao
Problema
Proposta
Viso Geral
Questes de Pesquisa
Avaliao dos Resultados

Introduo
Tcnicas e Critrios de Teste
Oferecem medidas para quantificar e avaliar qualidade de um produto em teste
Tcnicas de Teste:
Estrutural
Funcional
Baseada em Defeitos

Introduo : Teste de Mutao

Introduo : Teste de Mutao

Introduo: Teste de Mutao

(Adaptada de Offutt e Untch, 2000)

Motivao
A aplicao do teste de mutao um forte critrio para a identificao de
defeitos em um produto de software
Contudo, possui limitaes devido ao alto custo computacional empregado na
aplicao do critrio

A quantidade de mutantes gerados contribui para o alto custo da aplicao do teste

de mutao.

Motivao
Gerao automtica de casos de teste
Possibilita a verificao de um sistema de maneira intensiva

Execuo paralela de programas

utilizada com sucesso em outras reas da computao
Permite o melhor aproveitamento dos recursos computacionais disponveis

Problema
Replace.c
LOC: ~ 500
Mutantes Gerados: 11k

Tempo gasto para execuo dos mutantes

Proposta

Propor uma alternativa para reduo do gasto computacional envolvido no

teste de mutao por meio do desenvolvimento de um modelo para aplicao
do teste de mutao utilizando tcnicas de programao paralela.

Viso geral da arquitetura proposta

Modelo de comunicao entre as mquinas

Questes de Pesquisa
Questo de pesquisa 1:
possvel melhorar a eficincia computacional na aplicabilidade do
Teste de Mutao utilizando tcnicas de computao paralela?
Questo de pesquisa 2:
Existe diferena significativa entre o tempo de resposta dos algoritmos
de balanceamento de carga implementados na arquitetura proposta?
Questo de pesquisa 3:
Como os resultados obtidos se comportam em relao a trabalhos
similares existentes na literatura?

Avaliao dos Resultados

Avaliar e comparar o desempenho da aplicao do teste de mutao em
paralelo por meio de avaliao experimental:
Sujeitos: 39 programas em C
Variveis (Dependentes, Independentes): Nmero de mquinas, Tempo
de execuo total, algoritmos de balanceamento de carga
Comparar os resultados obtidos com resultados existentes na literatura

Avaliao dos Resultados

Referncias
Delamaro, M. E. Proteum - um ambiente de teste baseado na analise de mutantes.
Dissertao de Mestrado, Instituto de Cincias Matemticas e de Computao da
Universidade de So Paulo (ICMC/USP), So Carlos, SP, 1993.
Mateo, P. R.; Usaola, M. P. Parallel mutation testing. Software Testing, Verication and
Reliability, v. 23, n. 4, p. 315-350, 2012.
Offutt, A. J.; Lee, A.; Rothermel, G.; Untch, R. H.; Zapf, C. An experimental determination
of sucient mutant operators. ACM Trans. Softw. Eng. Methodol., v. 5, n. 2, p. 99-118,
1996a.

Agradecimentos

Obrigado!
stevao@icmc.usp.br