Subsídios para o estabelecimento de estratégias de teste baseadas na técnica de mutação.

Abstract

Agradecimentos A DEUS, pelo dom da vida e por me acompanhar em todos os momentos. Ao amigo e orientador, Prof. Dr. José Carlos Maldonado, pelo apoio, sugestões e profissionalismo na orientação deste trabalho. Aos meus familiares, em especial, aos meus pais Amauri e Leise e minhas irmãs Cibele e Andresa, pelo amor, compreensão e incentivo proporcionados. À Ellen Francine pelo amor, apoio, carinho, revisão, incentivo, esclarecimento de duvidas, etc., etc., etc., os quais foram de fundamental importância para que este trabalho pudesse ser concluído. Aos demais professores do grupo de Engenharia de Software: Prof.ª Dr.ª Rosely Sanches, Prof. Dr. Paulo Cesar Masiero e Prof.ª Dr.ª Renata P. M. Fortes. Ao meu irmão, Pe. José Carlos Frederice (Fred), pela amizade, ajuda e conselhos nas horas mais difíceis. A todos aqueles que, de alguma forma, contribuíram e colaboraram para a realização deste trabalho: Delamaro,

Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas"

“…Segundo Maldonado (1991), essas diferentes técnicas se complementam e devem ser aplicadas em conjunto para tentar assegurar um teste de melhor qualidade, o que torna necessária a determinação de estratégias de teste que combinem as vantagens de cada técnica. Com esse propósito, estudos empíricos e teóricos são de vital importância para fornecer subsídios para o estabelecimento de estratégias de baixo custo e alta eficácia Maldonado et al, 1998 (Acree, 1980; Acree et al, 1979; Agrawal, 1989;Barbosa et al, 1998;Bieman et al, 2001;Budd, 1981; Daran e Thévenod-Fosse, 1996;Delamaro, 1993Delamaro, , 1997Delamaro e Maldonado, 1993Delamaro et al, 2001;DeMillo, 1980;DeMillo et al, 1988DeMillo et al, , 1978 DeMillo e Offutt, 1991; Fabbri et al, 1995a Fabbri et al, , 1993 Fabbri et al, , 1994b Fabbri et al, ,c, 1995bKovács et al, 2003;Maldonado et al, 2000;Offutt, 1989;Offutt et al, 1996; Offutt e Pan, 1997;Offutt et al, 1993; Probert e Guo, 1991;Ritchey, 2000; Simão e Maldonado, 2000a,b, 2001Souza, 1996;Souza e Maldonado, 1997;Souza et al, 2000b;Sugeta et al, 1999Sugeta et al, , 2001Sugeta et al, , 2004Untch et al, 1993;Vincenzi, 1998;Wah, 2000; Weiss e Fleyshgakker, 1993;Wong et al, 1994Wong et al, , 1997Wong e Mathur, 1995a;Wong et al, 1995;Yano, 2004;Yano et al, 2003Yano et al, , 2004. Apesar de ter sido inicialmente proposto para o teste de programas, esse critério vem sendo utilizado em diversos outros contextos, tais como no teste de integração (Delamaro, 1997;…”

Teste de Mutação: subsídios para a redução do custo de aplicação

“…Além disso, a disponibilidade de ferramentas de teste oferece recursos para o desenvolvimento de estudos empíricos de forma a avaliar o custo e a eficácia das técnicas e critérios de teste nos quais as ferramentas se baseiam. Pode-se identificar um grande esforço da comunidade de teste nessa direção Offutt et al, 1993;DeMillo et al, 1995;Offutt & Craft, 1994;Offutt & Lee, 1994;Wong et al, 1994a,b;Offutt et al, 1996a,b;Souza, 1996;Offutt & Pan, 1997;Wong et al, 1997;Barbosa, 1998;Vincenzi, 1998;Harman et al, 2000;Maldonado et al, 2000;Delamaro et al, 2001;Jorge et al, 2001;Vincenzi et al, 2001) Uma das linhas de atuação do Grupo de Engenharia de Software do ICMC/USP, em colaboração com o Grupo de Teste do DCA/FEEC/UNICAMP e o Laboratório de Engenharia de…”

“…Dentro desse contexto, algumas das ferramentas de teste desenvolvidas são: a Poketool (Maldonado et al, 1989;Chaim, 1991), a Proteum ) e a l^R&IEU\4.p]\A (Delamaro, 1997) (Souza, 1996;Delamaro, 1997;Wong et al, 1997;Barbosa, 1998;Vincenzi, 1998;Fondazzi, 1999;Sugeta, 1999;Simão, 2000;Delamaro et al, 2001). (DeMillo et al, 1978) e vários trabalhos empíricos e teóricos têm indicado que o Teste de Mutação é atrativo para o teste de programas devido a sua eficácia em revelar a presença de erros (Budd et al, 1980;Mathur, 1991;Wong, 1993;Wong & Mathur, 1995a,b;Offutt et al, 1996a,b;Barbosa, 1998;Vincenzi, 1998;Delamaro et al, 2001).…”

“…(DeMillo et al, 1978) e vários trabalhos empíricos e teóricos têm indicado que o Teste de Mutação é atrativo para o teste de programas devido a sua eficácia em revelar a presença de erros (Budd et al, 1980;Mathur, 1991;Wong, 1993;Wong & Mathur, 1995a,b;Offutt et al, 1996a,b;Barbosa, 1998;Vincenzi, 1998;Delamaro et al, 2001). Além da eficácia em revelar a presença de erros, outra qualidade do Teste de Mutação é sua flexibilidade no sentido de poder ser estendido para diversas entidades executáveis: programas (DeMillo et al, 1978;Delamaro, 1997) e especificações (Fabbri et al, 1993;Woodward, 1993;Fabbri et al, 1994Fabbri et al, , 1995Fabbri, 1996;Sugeta, 1999;Simão, 2000;Sridhanan et al, 2000).…”

“…Também tem sido objetivo dessas pesquisas o estabelecimento de estratégias de teste incrementais que explorem as diversas características dos critérios, partindo-se inicialmente de critérios "mais fracos" e talvez menos eficazes para a avaliação da adequação do conjunto de casos de teste, e em função da disponibilidade de orçamento e de tempo, incrementalmente, procurandose satisfazer critérios mais "fortes" e eventualmente mais eficazes, porém, em geral, mais caros (Vincenzi, 1998).…”