ConData: a tool for automating specification-based test case generation for communication systems

Martins, Eliane; Sabião, Selma B.; Ambrosio, Ana María

doi:10.1109/hicss.2000.926974

Cited by 26 publications

(33 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In such cases the Condado (or ConData) (Martins et al, 1999) was used as a tool to automatically generate test cases. Condado tool does not have neither the facilities to FSM structural analysis nor different methods to be chosen, however the single FSM property it requires is the FSM be connected.…”

Section: Discussion and Related Workmentioning

confidence: 99%

FSM-Based Test Case Generation Methods Applied to test the Communication Software on board the ITASAT University Satellite: a Case Study

Pinheiro

Simão²,

Ambrosio³

2014

J.Aerosp. Technol. Manag.

View full text Add to dashboard Cite

Section: Discussion and Related Workmentioning

confidence: 99%

FSM-Based Test Case Generation Methods Applied to test the Communication Software on board the ITASAT University Satellite: a Case Study

Pinheiro

Simão²,

Ambrosio³

2014

J.Aerosp. Technol. Manag.

View full text Add to dashboard Cite

“…This is the solution we adopted for FSoFIST. The primitives (or PDUs), their respective parameters, as well as parameter length and the allowable range for each parameter are input to another tool, ConDado [16], that automatically generates test cases in the adequate format.…”

Section: The Ferry-clipsmentioning

confidence: 99%

A Tool for Fault Injection and Conformance Testing of Distributed Systems

Martins

Mattiello-Francisco

2003

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. This paper presents an approach for conformance testing and fault injection of distributed systems supported by a tool named FSoFIST (Ferry-clip with Software Fault Injection Support Tool). The approach extends the ferryclip concept to cope with fault injection. The ferry-clip concept was aimed at providing a highly modular, flexible and configurable architecture for protocol conformance testing. Due to these qualities, this architecture can be used for testing different protocol implementations with reduced effort. The work presents the design issues employed to achieve the ferry-injection architecture and describe the components of the proposed architecture. The capabilities of the approach are demonstrated in a case study used to validate the FSoFIST tool.

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

“…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 1 more Smart Citation

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

ConData: a tool for automating specification-based test case generation for communication systems

Cited by 26 publications

References 16 publications

FSM-Based Test Case Generation Methods Applied to test the Communication Software on board the ITASAT University Satellite: a Case Study

FSM-Based Test Case Generation Methods Applied to test the Communication Software on board the ITASAT University Satellite: a Case Study

A Tool for Fault Injection and Conformance Testing of Distributed Systems

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

Contact Info

Product

Resources

About