MuDeL: a language and a system for describing and generating mutants

Simão, Adenilso da Silva; Maldonado, José Carlos

doi:10.1590/s0104-65002002000100007

Cited by 11 publications

(13 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…This fact motivated the proposition of the language MuDeL (standing for Mutant Description Language), aiming not only at automating the mutant generation, but also at providing precision and formality to the operator descriptions [43]. To support MuDeL, an application generator, named mudelgen (standing for MuDeL Generator), has been developed.…”

Section: On Mutant Generationmentioning

confidence: 99%

Muta-Pro: Towards the definition of a mutation testing process

et al. 2006

View full text Add to dashboard Cite

show abstract

Section: On Mutant Generationmentioning

confidence: 99%

Muta-Pro: Towards the definition of a mutation testing process

et al. 2006

View full text Add to dashboard Cite

show abstract

“…No contexto de especificações de sistemas reativos, foi explorada a adequação do uso do Teste de Mutação no teste de especificações baseadas em Máquinas de Estados Finitos (Fabbri et al, 1994(Fabbri et al, , 1999a, Statecharts (Fabbri et al, 1999b;Sugeta, 1999;Sugeta et al, 2001), Redes de Petri (Fabbri et al, 1995b;, Redes de Petri Colorida (Simão, 2002), Estelle (Probert & Guo, 1991;Souza et al, 2000) e SDL (Sugeta et al, 2004).…”

Section: Mutaçãounclassified

“…Os operadores de mutação, utilizados para a geração dos mutantes na PROTEUM/SML, são descritos na linguagem MuVeC (MUtant DEscnption Language) (Simão & Maldonado, 2002). A linguagem MuVeC visa a fornecer precisão e formalidade na descrição dos operadores e a facilitar a automatização da geração de mutantes.…”

Section: Operadores De Mutação: Implementaçãounclassified

“…O paradigma de programação transformacional é baseado na descrição abstrata de como transformar um item fonte em um item alvo através de uma série sistemática de mudanças sintáticas. No contexto da MuVeC, o item fonte é o programa original, enquanto que os itens alvos são os mutantes (Simão & Maldonado, 2002).…”

Section: Operadores De Mutação: Implementaçãounclassified

“…Neste capítulo foi apresentada a ferramenta PROTEUM/SML desenvolvida neste trabalho, que apóia o Teste de Mutação para programas SML. O desenvolvimento da ferramenta teve como base a PROTEUM/CPN (Simão, 2002)…”

Section: Considerações Finaisunclassified

See 2 more Smart Citations

Mutation Testing Study in SML functional programs

Yano¹

View full text Add to dashboard Cite

A Deus pela vida e pela fé que me deu coragem durante os momentos difíceis.Aos meus pais, Taqueshi e Tamiko, pela formação que me deram, pela confiança e amor depositados em mim, pela força e pela compreensão de minha ausência em virtude do trabalho.Aos meus irmãos, Michel e Neise, pelo carinho e incentivo. Ao Luciano, por todo amor e compreensão, sempre ao meu lado em todos os momentos. Ao meu orientador, Maldonado, pelo apoio e confiança durante o trabalho. Ao Ades, pelo apoio incondicional, pela troca de idéias e pelas valiosas e essenciais ajudas ao meu trabalho.A Simone, minha amiga, pela amizade, por todo apoio, sempre pronta a ajudar e por me receber em sua casa de portas abertas.Ao pessoal da academia, Simone, Glaucia, Osnete, Helena e Erika pelos momentos de descontração e alegria.Aos amigos Ades, André, Auri e Tati pela paciência e pelo auxílio no meu trabalho. Ao pessoal do Labes e aos amigos do Labes, Ades, Edilson pelo companheirismo, alegrias e apoio. Ao CNPq, pelo apoio financeiro. A todas as pessoas que participaram e colaboraram de alguma maneira na realização deste trabalho. AbstractFunctional programming languages, such as SML (Standard Meta Language), Haskell and Lisp, focus on rules and matching of patterns, in contrast to procedural languages in which programs are written as a sequence of instructions. Programs in functional languages may have errors due to the misunderstanding of their properties. Testing is one of the essential activities to identify these errors and to guarantee the quality of the product under development. However, there are few initiatives and tools to support the testing of functional programs. Moreover, an important issue that is often not taken into consideration in this context is to provide a means to quantify the test activity. In this work, we establish mechanisms to investigate the aplicability of Mutation Testing for testing functional programs, written in SML. Mutation Testing is a test criterion that allows to evaluate the quality of a test set and to guide the generation of test sets. The existence of a tool to support this criterion is essential due to the large amount of information related to its application. The web tool PROTEUM/SML, developed with the aim of applying the Mutation Testing to SML, implements the mutation operators defined in this work. An example is provided to illustrate the concepts and PROTEUM/SML tool. xiii CAPÍTULO i Introdução Neste capítulo, são apresentados o contexto no qual este trabalho está inserido, os fatores que motivam a sua realização e os objetivos atingidos durante o seu desenvolvimento.

show abstract