Mutação de interface: um critério Interprocedimental para o teste de integração

Delamaro, Márcio Eduardo

doi:10.11606/t.76.1997.tde-26112008-130813

Cited by 24 publications

(88 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…A Análise de Mutantes (AM) (Acree, 1980)é um critério de teste da técnica baseada em erros que tem sido intensamente investigado (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, 1995aFabbri et al, , 1993Fabbri et al, , 1994bFabbri 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, 1...…”

Section: Capítulounclassified

“…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;Delamaro e Maldonado, 1999;Delamaro et al, 2001), no teste de protocolos (Fabbri, 1996;Probert e Guo, 1991), no teste de modelos de segurança de redes (Ritchey, 2000) e no teste de especificações (Fabbri et al, 1999a(Fabbri et al, , 1994bSouza et al, 2000b;Sugeta, , 2004.…”

Section: Capítulounclassified

“…O objetivo do estudo conduzido por Offutt et al (1996) (Delamaro, 1997;Delamaro et al, 2001) -cuja idéia básicaé viabilizar o teste da interface entre as unidades que compõem o software, ao contrário da AM, que explora somente as características das unidades separadamente -e como utilizar tais critérios de forma complementar na atividade de teste, estabelecendo uma estratégia de teste incremental (Vincenzi et al, 1999).…”

Section: Comparação Com Base Em Estudos Empíricosunclassified

“…As técnicas e critérios de teste fornecem ao testador uma abordagem sistemática e teoricamente fundamentada para seleção de casos de teste, além de constituírem um mecanismo que auxilia a avaliar a qualidade da atividade de teste (Frankl e Weyuker, 1993;Weyuker e Jeng, 1991;Zhu et al, 1997). Uma grande variedade de critérios têm sido estabelecidos (Alexander et al., 2004;Beizer, 1990;Bieman et al, 2001;Budd, 1981;Coward, 1988;Delamaro, 1997;DeMillo et al, 1978; Goodenough e Gerhart, 1975;Herman, 1976;Howden, 1982;Kovács et al, 2003; Krichen e Tripakis, 2004; Laski e Korel, 1983;Maldonado, 1991;Myers, 1979;Ntafos, 1984;Rapps e Weyuker, 1982, 1985 Ural e Yang, 1988). Tradicionalmente, os critérios podem ser agrupados em três técnicas de teste, cuja diferença básica está na origem da informação queé utilizada para avaliar ou selecionar conjuntos de casos de teste.…”

unclassified

“…, m k } e embutido em umúnico meta-mutante, queé compilado, gerando um programa que recebe um parâmetro adicional j, com 0 ≤ j ≤ k que indica que o meta-mutante deve se comportar como o mutante m j . Uma abordagem similar foi empregada por Delamaro (1997) , 1996), são propostas as seguintes definições de distância sintática e distância semântica. Distância sintáticaé a quantidade mínima de modificações que devem ser feitas para transformar um produto M em um produto P (supostamente correto).…”

unclassified

See 4 more Smart Citations

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

Simão¹

View full text Add to dashboard Cite

Agradecimentos• A Deus, pois feliz aquele que trilha Seus caminhos.•À minha esposa Selma, pela paciência, incentivo e apoio ao longo de todos esses anos. E também pelo amor e compreensão em todos os momentos, fáceis e difíceis.•À minha filha Emanoela, por simplesmente existir e me ensinar o que significa "amar incondicionalmente".•À minha família, em especial aos meus pais, Geraldo e Olivia, pelo apoio e confiança imprescindíveis para realização deste trabalho.• Ao Prof. Dr. José Carlos Maldonado, pelo apoio, pela orientação, tanto acadêmica quanto pessoal, e, principalmente, pela amizade.• Aos amigos do Labes e aos amigos "do" Labes, pelo apoio e pelo ambiente descontraído e sempre estimulante. Mesmo correndo o imperdoável risco de estar esquecendo alguns, citarei (em ordem alfabética) Aline, Andrea, André Maluquinho, André Rocha, Antonielly, Auri e Elaine, Camila e Cláudio (ou Claudia e Camilo), Débora, Dona Vilma, Edilson, Elisa, Ellen, Ernesto, Erika, Fabiano (Falcon), Gawa, Ju, Luciana e Richard, Marco, Maria Istela, Masiero, Mateus e Raquel, Otávio, Osnete, Reginaldo Ré, Rogério, Renata, Rosana, Rosângela, Rosely, Rudinei e Flavia, Sandra, Sandrão (Cantina), Sandro (KLB), Seu Adão, Simone, Simone e Paulo, Tânia (Tonha), Tatiana, Thaise, (U)Bira(jara) e Valter (Wagner).•Àqueles que, de alguma forma, me ajudaram ao longo desse trabalho. Em especial, a Alessandro Fabrício Garcia, André Luis dos Santos Domingues, Antonio Santana, Auri Marcelo Rizzo Vincenzi, Carlos Lucena, Marco Arthur Candolo, Roberto Bigonha, Sandra Fabbri, Simone do Rocio Senger de Souza, Tatiana Sugeta e Thaise Yano.• Ao Alessandro, Christina, Elton e Alésio, pela acolhida no Rio de Janeiro naquele chuvoso janeiro de 2002.• Um agradecimentoàs pessoas que ajudaram na revisão do texto, em especial a Cagnin, Camargo, Domingues, Ferrari, Hohn, Simão, Sugeta e Vincenzi.• A todos os funcionários do ICMC, em especialà Ana Paula, Beth, Laura, Carmen, Angela, Sueli e Tatiana, pelo apoio acadêmico e amizade.•À FAPESP eà USP, pelo apoio financeiro. Sumário Resumo xvAbstract xvii (Macial et al., 1996;Murata, 1984;Peterson, 1981 (Tanenbaum, 1989). . A técnica Redes de Petri Coloridas tem sido constantemente utilizada para a especificação do aspecto comportamental de Sistemas Reativos. Apesar de existirem diversas técnicas de análise, um aspecto não consideradoé a cobertura alcançada, visto que, em geral, a aplicação exaustiva nãoé viável devido ao alto custo. Considerando a relevância do estabelecimento de métodos sistemáticos para o teste e validação dessas especificações, este trabalho propõe a aplicação do critério de teste Análise de Mutantes para o teste de Redes de Petri Coloridas.Neste trabalho foram almejados três objetivos principais, os quais podem ser divididos em estudos teóricos, estudos empíricos e automatização. No contexto de estudos teóricos, foi realizada a definição e embasamento teórico para possibilitar a aplicação da Análise de Mutantes no contexto de Redes de Petri Coloridas. Além disso, investigaram-se mecanismos genéricos p...

show abstract

Section: Capítulounclassified

Section: Comparação Com Base Em Estudos Empíricosunclassified

unclassified

See 3 more Smart Citations

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

Simão¹

View full text Add to dashboard Cite

show abstract

Rehearsal: Um arcabouço para teste automatizado de coreografias de serviços web

Besson¹

View full text Add to dashboard Cite

show abstract

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

Vincenzi¹

View full text Add to dashboard Cite

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,

show abstract

Mutação de interface: um critério Interprocedimental para o teste de integração

Cited by 24 publications

References 16 publications

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

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

Rehearsal: Um arcabouço para teste automatizado de coreografias de serviços web

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

Contact Info

Product

Resources

About