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

AUTOR(ES)

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

FONTE

Journal of the Brazilian Computer Society

DATA DE PUBLICAÇÃO

2002-07

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.

Documentos Relacionados

• A basis for a visual language for describing, archiving and analyzing functional models of complex biological systems
• A simplified system for generating recombinant adenoviruses
• LINDAX: UMA LINGUAGEM DE DESCRIÇÃO DE SISTEMAS DE COMUNICAÇÃO ADAPTÁVEIS
• Temperature-sensitive mutants of reovirus type 3: evidence for aberrant mu 1 and mu 2 polypeptide species.
• Hypergeometric generating functions for values of Dirichlet and other L functions