• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  Bookmark and Share
Master's Dissertation
Full name
Thaise Yano
Knowledge Area
Date of Defense
São Carlos, 2004
Maldonado, José Carlos (President)
Delamaro, Márcio Eduardo
Martins, Eliane
Title in English
Mutation Testing Study in SML functional programs
Keywords in English
Not available
Abstract in English
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. Testing is one of the essential activities to identify these errors and to guarantee the quality of the product under development. However, there are few initiatives and tools to support the testing of functional programs. Moreover, an important issue that is often not taken into consideration in this context is to provide a means to quantify the test activity. 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. An example is provided to illustrate the concepts and PROTEUM/SML tool.
Title in Portuguese
Estudo do teste de mutação em programas funcionais SML
Keywords in Portuguese
Não disponível
Abstract in Portuguese
Ao contrário das linguagens procedimentais, em que os programas são escritos como uma sequência de instruções, as linguagens de programação funcional, tais como SML (Standard Meta Language), Haskell e Lisp, enfatizam regras e casamento de padrões. Os programas em linguagens funcionais podem conter erros pela falta de entendimento de suas propriedades. Assim, a atividade de teste é de grande importância na identificação desses erros, podendo fornecer evidências da qualidade do produto em teste. No entanto, existem poucas iniciativas para o teste de programas funcionais bem como no desenvolvimento de ferramentas de apoio a essa atividade. Além disso, os trabalhos existentes não possuem uma medida de cobertura da atividade de teste. Assim, motiva-se a investigação de novas formas de se realizarem testes em programas funcionais. 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 é o Teste de Mutação. Neste trabalho, estabelecem-se subsídios para a investigação da aplicabilidade do Teste de Mutação para o teste programas funcionais, escritos em SML. 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. Um exemplo é fornecido para ilustrar os conceitos e a ferramenta PROTEUM/SML.
WARNING - Viewing this document is conditioned on your acceptance of the following terms of use:
This document is only for private use for research and teaching activities. Reproduction for commercial use is forbidden. This rights cover the whole data about this document as well as its contents. Any uses or copies of this document in whole or in part must include the author's name.
ThaiseYano_ME.pdf (2.88 Mbytes)
Publishing Date
WARNING: Learn what derived works are clicking here.
All rights of the thesis/dissertation are from the authors
Digital Library of Theses and Dissertations of USP. Copyright © 2001-2023. All rights reserved.