Test-case generation with IOGen

Lindquist, Timothy E.; Jenkins, Joyce R

doi:10.1109/52.1996

Cited by 12 publications

(7 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…But in both the cases. it is difficult to achieve complete automation of the test case design [4,9].…”

Section: Introductionmentioning

confidence: 99%

Search based Software Testing Technique for Structural Test Case Generation

Geethadevasena¹,

Valarmathi²

2012

IJAIS

View full text Add to dashboard Cite

Software testing is an important activity in the software development life cycle and it is widely used validation approach in software industry, deployed by programmers and testers. The program with the moderate complexity cannot be tested completely. Innovative methods are needed to perform testing as a whole and unit testing in particular with minimum effort and time. Unit testing is mostly done by developers under a lot of schedule pressure since the software companies find a compromise among functionality, time to market and quality. Thus there is a need for reducing unit testing time by optimizing and automating the process. Test suite generation is an error-prone, tedious and time consuming part of unit testing. Two techniques are proposed to automatically generate test cases from the input domain using scatter search and tabu search for branch coverage criteria with respect to cyclomatic complexity measure.

show abstract

“…But in both the cases. it is difficult to achieve complete automation of the test case design [4,9].…”

Section: Introductionmentioning

confidence: 99%

Search based Software Testing Technique for Structural Test Case Generation

Geethadevasena¹,

Valarmathi²

2012

IJAIS

View full text Add to dashboard Cite

show abstract

“…Diversos esforços na direção do desenvolvimento de ferramentas de teste podem ser observados (Agrawal et al, 1998;Barbosa et al, 2004;Borges et al, 1995;Chaim, 1991;Delamaro, 1993;Delamaro et al, 2001; Fonseca, 1993a;Frankl e Weyuker, 1985; Hamlet, 1988; Korel e Laski, 1985;Leitão, 1992;Lindquist e Jenkins, 1988;Maldonado et al, 1989Maldonado et al, , 2000Martins et al, 2000 (Choi et al, 1989a,b;DeMillo et al, 1988). Além disso, a ferramenta apresenta interface baseada em janelas e possui funcionalidades que permitem a incorporação de diversos módulos, tais como, gerador de casos de teste, verificador de equivalência e oráculo.…”

Section: Ferramentas De Testeunclassified

“…Essa tem sido uma linha de pesquisa intensamente investigada (Bergadano e Gunetti, 1996;Bueno e Jino, 2001;Cohen et al, 1996;DeMillo e Offutt, 1991;Denney, 1991;Desel et al, 1997;Gotlieb et al, 1998;Gutjahr, 1999;Herbert e Price, 1997;Howden, 1975;Kotik e Markosian, 1989;Lindquist e Jenkins, 1988;Maurer, 1990;Michael e McGraw, 1997;Nemhauser e Wolsey, 1988;Ritchey, 2000;Simão e Maldonado, 2000a;Vergílio et al, 1993).…”

Section: Comparação Do Teste De Subdomínio Versus Teste Aleatóriounclassified

“…Diversos esforços na direção do desenvolvimento de ferramentas de teste podem ser observados (Agrawal et al, 1998;Barbosa et al, 2004;Borges et al, 1995;Chaim, 1991;Delamaro, 1993;Delamaro et al, 2001;Fonseca, 1993a;Frankl e Weyuker, 1985;Hamlet, 1988;Korel e Laski, 1985;Leitão, 1992;Lindquist e Jenkins, 1988;Maldonado et al, 1989Maldonado et al, , 2000Martins et al, 2000;Oliveira e Andrade, 2003;Sharon e Anderson, 1997;Sugeta, 1999a;Sugeta et al, 2004;Sze, 2000;Telcordia Technologies -USA, 2002;Vincenzi et al, 2003).…”

Section: Ferramentas De Testeunclassified

“…A disponibilidade de ferramentas de teste permite a transferência de tecnologia para a indústria e contribui para uma contínua evolução de tais ambientes, fatores indispensáveis para a produção de software de alta qualidade (Binder, 1999). Além disso, a disponibilidade de ferramentas de teste oferece recursos para a condução de estudos empíricos que visem a avaliar e a comparar os diversos critérios de teste existentes.Diversos esforços na direção do desenvolvimento de ferramentas de teste podem ser observados (Agrawal et al, 1998;Barbosa et al, 2004;Borges et al, 1995;Chaim, 1991;Delamaro, 1993;Delamaro et al, 2001; Fonseca, 1993a;Frankl e Weyuker, 1985; Hamlet, 1988; Korel e Laski, 1985;Leitão, 1992;Lindquist e Jenkins, 1988;Maldonado et al, 1989Maldonado et al, , 2000Martins et al, 2000 (Choi et al, 1989a,b;DeMillo et al, 1988). Além disso, a ferramenta apresenta interface baseada em janelas e possui funcionalidades que permitem a incorporação de diversos módulos, tais como, gerador de casos de teste, verificador de equivalência e oráculo.…”

unclassified

See 2 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

Bibliography

2008

Software Error Detection Through Testing and Analysis

View full text Add to dashboard Cite

Test-case generation with IOGen

Cited by 12 publications

References 5 publications

Search based Software Testing Technique for Structural Test Case Generation

Search based Software Testing Technique for Structural Test Case Generation

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

Bibliography

Contact Info

Product

Resources

About