Test generation based on control and data dependencies within system specifications in SDL

Ural, Hasan; Saleh, Kassem; Williams, Alan

doi:10.1016/s0140-3664(99)00227-3

Cited by 52 publications

(57 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…States can be supplemented by more precise observations, such as control flow (Ural, et al, 2000) or observations on internal variable values (Petrenko, et al, 2004). However, in the envisaged agile testing context, it is not really tractable to accommodate more complex multi-level specification and testing for each class, since there is already some resistance to adopting simple state-based specifications.…”

Section: Testing With Partial Specificationsmentioning

confidence: 99%

JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction

Simons

2007

Autom Softw Eng

View full text Add to dashboard Cite

Abstract. Popular software testing tools, such as JUnit, allow frequent retesting of modified code; yet the manually created test scripts are often seriously incomplete. A unit-testing tool called JWalk has therefore been developed to address the need for systematic unit testing within the context of agile methods. The tool operates directly on the compiled code for Java classes and uses a new lazy method for inducing the changing design of a class on the fly. This is achieved partly through introspection, using Java's reflection capability, and partly through interaction with the user, constructing and saving test oracles on the fly. Predictive rules reduce the number of oracle values that must be confirmed by the tester. Without human intervention, JWalk performs bounded exhaustive exploration of the class's method protocols and may be directed to explore the space of algebraic constructions, or the intended design state-space of the tested class. With some human interaction, JWalk performs up to the equivalent of fully automated state-based testing, from a specification that was acquired incrementally.

show abstract

Section: Testing With Partial Specificationsmentioning

confidence: 99%

JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction

Simons

2007

Autom Softw Eng

View full text Add to dashboard Cite

show abstract

“…EFSMs can model both control and data and a number of standard modelling languages such as Statecharts and SDL can be seen as EFSMs. EFSM based test techniques can be applied to models in such languages [7,8] as well as formalisms such as (UML) Use Cases and Z and in domains such as communication protocols and web services [8], [9], [10], [11], [12], [13], [14].…”

Section: Introductionmentioning

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

“…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, 1994c Fabbri 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

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

Test generation based on control and data dependencies within system specifications in SDL

Cited by 52 publications

References 21 publications

JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction

JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction

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"

Contact Info

Product

Resources

About