mudelgen: A Tool for Processing Mutant Operator Descriptions

Adenilso da Silva Simão; Auri Marcelo Rizzo Vincenzi; José Carlos Maldonado

doi:10.5753/sbes.2002.23970

Adenilso da Silva Simão USP
Auri Marcelo Rizzo Vincenzi USP
José Carlos Maldonado USP

DOI: https://doi.org/10.5753/sbes.2002.23970

Resumo

Mutation Testing is a testing approach for assessing the adequacy of a set of test cases by analyzing their 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 systematically yield products with slight syntactical differences. Aiming at automating the generation of mutants, we have designed a language — named MuDeL — for describing mutant operators. In this paper, we describe the mudelgen system, which was developed to support the language MuDeL. mudelgen was developed using concepts that come from transformational and logical programming paradigms, as well as from context-free grammar and denotational semantics theories.

Palavras-chave: Mutation Testing, Transformational Paradigms, Denotational Semantics, SML

Referências

A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1985.

L. Allison. A Practical Introduction to Denotational Semantics. Cambridge University Press, Cambridge, U. K., 1986.

I. Bratko. Prolog Programming for Artificial Intelligence. Addison-Wesley, 2 edition, 1990.

A. T. Budd. Mutation Analysis: Ideas, Examples, Problems and Prospects, pages 129-148. Computer Program Testing. North-Holland Publishing Company, 1981.

M. E. Delamaro, J. C. Maldonado, and A. P. Mathur. Interface mutation: An approach for integration testing. IEEE Transactions on Software Engineering, 27(3):228-247, March 2001.

R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. IEEE Computer, 11(4):34-41, April 1978.

M. R. Hansen and H. Rischel. Introduction to Programming using SML. Addison-Wesley, 1999.

T. Mason and D. Brown. Lex & Yacc. O'Reilly, 1990.

J. Neighbors. The Draco approach to constructing software from reusable components. IEEE Transactions on Software Engineering, 10(5):564-574, September 1984.

A. Salomaa. Formal Languages. Academic Press, New York, 1973.

A. S. Simão and J. C. Maldonado. MuDeL: A language and a system for describing and generating mutants. In Anais do XV Simpósio Brasileiro de Engenharia de Software, pages 240-255, Rio de Janeiro, Brasil, October 2001.

A. S. Simão, J. C. Maldonado, and S. C. P. F. Fabbri. Proteum-RS/PN: A tool to support edition, simulation and validation of Petri nets based on mutation testing. In Anais do XIV Simpósio Brasileiro de Engenharia de Software, pages 227-242, João Pessoa, PB, October 2000.