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

Detalhes bibliográficos
Autor(a) principal: Simão,Adenilso da Silva
Data de Publicação: 2002
Outros Autores: Maldonado,José Carlos
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Journal of the Brazilian Computer Society
Texto Completo: http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002002000100007
Resumo: Mutation Testing is an approach for assessing the quality of a test case suite by analyzing its ability in distinguishing the product under test from a set of alternative products, the so-called mutants. The mutants are generated from the product under test by applying a set of mutant operators, which produce products with slight syntactical differences. The mutant operators are usually based on typical errors that occur during the software development and can be related to a fault model. In this paper, we propose a language - named MuDeL, - for describing mutant operators aiming not only at automating the mutant generation, but also at providing precision and formality to the operator descriptions. The language was designed using concepts that come from transformational and logical programming paradigms, as well as from context-free grammar theory. The language is illustrated with some examples. We also describe the mudelgen system, developed to support this language.
id UFRGS-28_31af8e68f8c9d57ea27f5285bd21089a
oai_identifier_str oai:scielo:S0104-65002002000100007
network_acronym_str UFRGS-28
network_name_str Journal of the Brazilian Computer Society
repository_id_str
spelling MuDeL: a language and a system for describing and generating mutantsTestingProgramming LanguageMutation TestingMutant GenerationMutation Testing is an approach for assessing the quality of a test case suite by analyzing its ability in distinguishing the product under test from a set of alternative products, the so-called mutants. The mutants are generated from the product under test by applying a set of mutant operators, which produce products with slight syntactical differences. The mutant operators are usually based on typical errors that occur during the software development and can be related to a fault model. In this paper, we propose a language - named MuDeL, - for describing mutant operators aiming not only at automating the mutant generation, but also at providing precision and formality to the operator descriptions. The language was designed using concepts that come from transformational and logical programming paradigms, as well as from context-free grammar theory. The language is illustrated with some examples. We also describe the mudelgen system, developed to support this language.Sociedade Brasileira de Computação2002-07-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersiontext/htmlhttp://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002002000100007Journal of the Brazilian Computer Society v.8 n.1 2002reponame:Journal of the Brazilian Computer Societyinstname:Sociedade Brasileira de Computação (SBC)instacron:UFRGS10.1590/S0104-65002002000100007info:eu-repo/semantics/openAccessSimão,Adenilso da SilvaMaldonado,José Carloseng2004-01-12T00:00:00Zoai:scielo:S0104-65002002000100007Revistahttps://journal-bcs.springeropen.com/PUBhttps://old.scielo.br/oai/scielo-oai.phpjbcs@icmc.sc.usp.br1678-48040104-6500opendoar:2004-01-12T00:00Journal of the Brazilian Computer Society - Sociedade Brasileira de Computação (SBC)false
dc.title.none.fl_str_mv MuDeL: a language and a system for describing and generating mutants
title MuDeL: a language and a system for describing and generating mutants
spellingShingle MuDeL: a language and a system for describing and generating mutants
Simão,Adenilso da Silva
Testing
Programming Language
Mutation Testing
Mutant Generation
title_short MuDeL: a language and a system for describing and generating mutants
title_full MuDeL: a language and a system for describing and generating mutants
title_fullStr MuDeL: a language and a system for describing and generating mutants
title_full_unstemmed MuDeL: a language and a system for describing and generating mutants
title_sort MuDeL: a language and a system for describing and generating mutants
author Simão,Adenilso da Silva
author_facet Simão,Adenilso da Silva
Maldonado,José Carlos
author_role author
author2 Maldonado,José Carlos
author2_role author
dc.contributor.author.fl_str_mv Simão,Adenilso da Silva
Maldonado,José Carlos
dc.subject.por.fl_str_mv Testing
Programming Language
Mutation Testing
Mutant Generation
topic Testing
Programming Language
Mutation Testing
Mutant Generation
description Mutation Testing is an approach for assessing the quality of a test case suite by analyzing its ability in distinguishing the product under test from a set of alternative products, the so-called mutants. The mutants are generated from the product under test by applying a set of mutant operators, which produce products with slight syntactical differences. The mutant operators are usually based on typical errors that occur during the software development and can be related to a fault model. In this paper, we propose a language - named MuDeL, - for describing mutant operators aiming not only at automating the mutant generation, but also at providing precision and formality to the operator descriptions. The language was designed using concepts that come from transformational and logical programming paradigms, as well as from context-free grammar theory. The language is illustrated with some examples. We also describe the mudelgen system, developed to support this language.
publishDate 2002
dc.date.none.fl_str_mv 2002-07-01
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002002000100007
url http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002002000100007
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 10.1590/S0104-65002002000100007
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv text/html
dc.publisher.none.fl_str_mv Sociedade Brasileira de Computação
publisher.none.fl_str_mv Sociedade Brasileira de Computação
dc.source.none.fl_str_mv Journal of the Brazilian Computer Society v.8 n.1 2002
reponame:Journal of the Brazilian Computer Society
instname:Sociedade Brasileira de Computação (SBC)
instacron:UFRGS
instname_str Sociedade Brasileira de Computação (SBC)
instacron_str UFRGS
institution UFRGS
reponame_str Journal of the Brazilian Computer Society
collection Journal of the Brazilian Computer Society
repository.name.fl_str_mv Journal of the Brazilian Computer Society - Sociedade Brasileira de Computação (SBC)
repository.mail.fl_str_mv jbcs@icmc.sc.usp.br
_version_ 1754734669576798208