Estudo do Teste de Mutação para a Linguagem Standard ML
Thaise Yano (1), Adenilso da Silva Simão (1), José Carlos Maldonado (1)
e-mails: tyano@icmc.usp.br, adenilso@icmc.usp.br, jcmaldon@icmc.usp.br
(1) Universidade de São Paulo - Instituto de Ciências Matemáticas e de Computação caixa Postal 668 São Carlos Brasil
Functional 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. Therefore, 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.
Linguagens de programação funcionais, tais como SML
(Standard Meta Language), Haskell e Lisp, enfatizam regras e
casamento de padrões, ao contrário das linguagens
procedimentais em que os programas são escritos como uma
seqüência de instruções. Os programas em linguagens
funcionais podem conter erros pela falta de entendimento de
suas propriedades. Assim, neste trabalho, estabelecem-se
subsídios para a investigação da aplicabilidade do Teste de
Mutação para o teste de programas funcionais, escritos em
SML. O Teste de Mutação é um critério de teste que fornece
uma maneira de auxiliar na geração e na avaliação de um
conjunto de casos de teste. Devido ao grande volume de
informações que estão envolvidas na aplicação do Teste de
Mutação, é essencial a existência de ferramentas de apoio
para o uso desse critério. A fim de viabilizar a aplicação
do Teste de Mutação para SML, foi desenvolvida a ferramenta
web Proteum/SML, que implementa os operadores de mutação
definidos neste trabalho.
Keywords:Mutation Testing, Functional Programming Language, Standard ML
Palabras Clave/Palavras Chave: Teste de Mutação, Linguagem de Programação Funcional, Standard ML
BibTex
@INPROCEEDINGS{yano04:248,
AUTHOR = {Thaise Yano and Adenilso da Silva Simão and José Carlos Maldonado},
TITLE = {Estudo do Teste de Mutação para a Linguagem Standard ML},
BOOKTITLE = {30ma Conferencia Latinoamericana de Informática (CLEI2004)},
YEAR = {2004},
editor = {Mauricio Solar and David Fernández-Baca and Ernesto Cuadros-Vargas},
pages = {734--744},
address = {},
month = Sep,
organization = {Sociedad Peruana de Computación},
note = {ISBN 9972-9876-2-0},
file = {http://clei2004.spc.org.pe/es/html/pdfs/248.pdf}
}
PDF de este artículo
PDF de CLEI2004 (incluye todos los artículos)
Página principal CLEI 2004
Generado por Sociedad Peruana de Computación