On fault coverage of tests for finite state specifications

Petrenko, Alexandre; Bochmann, Gregor von; Yao, Mingyu

doi:10.1016/s0169-7552(96)00019-0

Cited by 69 publications

(71 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Many test generation approaches for systems modeled as EFSMs appear in the literature [16] , [17] , [18] , [36], [45], [46], [47], [48], [49], [50], [51], [52], [53], [54], [55], [56], [57]. A major portion of the previous work can be categorised to three main groups:…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models

Kalaji

Hierons

Swift

2011

Information and Software Technology

View full text Add to dashboard Cite

Section: Related Workmentioning

confidence: 99%

“…2. Converting an EFSM to an FSM so that FSM-based testing techniques can be applied, see e.g., [45,[47][48][49]. 3.…”

Section: Related Workmentioning

confidence: 99%

An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models

Kalaji

Hierons

Swift

2011

Information and Software Technology

View full text Add to dashboard Cite

“…Introdução 7 que diz respeito a seus aspectos comportamentais (Chow, 1978;Fabbri, 1996;Kovács et al, 2003;Petrenko, 1997;Petrenko et al, 1996;Souza et al, 2000b;Sugeta, , 2004Sugeta et al, 2004). As RPs constituem uma técnica formal freqüentemente utilizada para a especificação de SRs.…”

Section: Contexto E Motivaçãounclassified

“…Em geral, são utilizados conceitos tradicionalmente empregados em nível de unidade para o teste de programas, avaliando-se a adequação desses conceitos no contexto de teste de especificações (Black et al, 2000a;Chung e Sidhu, 1991;Fabbri et al, 1994cFabbri et al, , 1995bPetrenko et al, 1996;Probert e Guo, 1991;Souza et al, 2000a,c;Ural et al, 2000;Ural e Yang, 1991;Wang e Liu, 1993).…”

Section: Considerações Iniciaisunclassified

“…No contexto das técnicas de especificação de SRs, a AM pode facilitar a atividade de teste, pois este critérioé baseado em um modelo de erros que pode ser definido de forma adequada para retratar tipos de erros que explorem todas as características dessas técnicas. Petrenko et al (1996) usam conceitos semelhantes aos da AM no teste e validação de protocolos de comunicação, baseando-se em um modelo de erros correspondente a um conjunto restrito e preestabelecido dos erros a serem explorados durante essas atividades.Os autores comentam que a abordagem de teste baseada em um modelo de errosé prática, pois captura a intenção do testador para detectar erros de implementação. Em seu trabalho, discutem-se aspectos de cobertura no teste de especificações de modelos de protocolos baseadas em MEFs e faz-se uma análise dos problemas nesse contexto.…”

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

Analysis and testing of black‐box component‐based systems by inferring partial models

Shahbaz

Groz

2013

Software Testing Verif & Rel

View full text Add to dashboard Cite

SUMMARYFrom experience in component‐based software engineering, it is known that the integration of high‐quality components may not yield high‐quality software systems. It is difficult to evaluate all possible interactions between the components in the system to uncover inter‐component misfunctions. The problem is even harder when the components are used without source code, specifications or formal models. Such components are called black boxes in literature. This paper presents an iterative approach of combining model learning and testing techniques for the formal analysis of a system of black‐box components. In the approach, individual components in the system are learned as finite state machines that (partially) model the behavioural structure of the components. The learned models are then used to derive tests for refining the partial models and/or finding integration faults in the system. The approach has been applied on case studies that have produced encouraging results. Copyright © 2013 John Wiley & Sons, Ltd.

show abstract

On fault coverage of tests for finite state specifications

Cited by 69 publications

References 22 publications

An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models

An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models

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

Analysis and testing of black‐box component‐based systems by inferring partial models

Contact Info

Product

Resources

About