MuDeL: a language and a system for describing and generating mutants
Autor(a) principal: | |
---|---|
Data de Publicação: | 2002 |
Outros Autores: | |
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 |