Utilizando análise de mutantes no teste de programas prolog

Detalhes bibliográficos
Autor(a) principal: Toaldo, Juliano Rogerio
Data de Publicação: 2003
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFPR
Texto Completo: https://hdl.handle.net/1884/25116
Resumo: Orientadora : Silvia Regina Vergilio
id UFPR_0649bcc47779fbd2e33e90ad4eacb8eb
oai_identifier_str oai:acervodigital.ufpr.br:1884/25116
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str 308
spelling Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em InformáticaVergilio, Silvia Regina, 1966-Toaldo, Juliano Rogerio2024-03-28T17:24:03Z2024-03-28T17:24:03Z2003https://hdl.handle.net/1884/25116Orientadora : Silvia Regina VergilioDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em InformáticaResumo: Diversos critérios e ferramentas de teste têm sido propostos ultimamente com o objetivo de auxiliar a seleção e a avaliação de um conjunto de dados de teste. Dentre esses critérios, destacam-se os critérios baseados em análise de mutantes, que têm se mostrado um dos mais eficazes em revelar defeitos. Entretanto, esses trabalhos tratam do teste de programas escritos em linguagens procédurals e/ou orientadas a objeto. São poucos os trabalhos da literatura que abordam o teste de programas lógicos, tais como os escritos em Prolog, e a maioria deles não tem como objetivo a quantificação da atividade de teste e o estabelecimento de medidas de cobertura. Este trabalho trata da aplicação do critério Análise de Mutantes no teste de programas Prolog. Um conjunto de operadores de mutação para essa linguagem é proposto. O conjunto está baseado nas principais características do Prolog e em erros comuns que os programadores podem cometer nesse paradigma. Uma ferramenta de teste chamada MutProlog é descrita e resultados de experimentos com essa ferramenta mostram a aplicabilidade dos operadores propostos e permitem a comparação com a abordagem estrutural.Abstract: Several testing criteria and tools have been proposed lately, with the goal of selecting and evaluating test data sets. The mutation analysis is one of the most important and efficacious testing criterion. However, most of the literature works focus procedural and object-oriented programs and little has been said about logic programming, such as Prolog. Some works address the test of Prolog programs, however does not introduce a testing criterion and do not offer coverage testing metrics. This work investigates the aplication of the mutation analysis criterion for testing Prolog programs. A set of mutation operators for this language is proposed, based on the common mistakes maden by the programmers using this paradigm. A tool, named MutProlog, is described and, results from an experiment, using this tool, show the applicability of the proposed operators and allow comparison with structural criteria.Viii, 62p. : il.application/pdfDisponível em formato digitalProgramas de computador - TestesProlog (Linguagem de programação de computador)Ciência da ComputaçãoUtilizando análise de mutantes no teste de programas prologinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALD - TOALDO, JULIANO ROGERIO.pdfapplication/pdf1411969https://acervodigital.ufpr.br/bitstream/1884/25116/1/D%20-%20TOALDO%2c%20JULIANO%20ROGERIO.pdfacc95d017ac09d15d5e913f42d894bf6MD51open accessTEXTD - TOALDO, JULIANO ROGERIO.pdf.txtExtracted Texttext/plain97931https://acervodigital.ufpr.br/bitstream/1884/25116/2/D%20-%20TOALDO%2c%20JULIANO%20ROGERIO.pdf.txt73dbba4890d2b8f865059330a9a6d1ddMD52open accessTHUMBNAILD - TOALDO, JULIANO ROGERIO.pdf.jpgGenerated Thumbnailimage/jpeg1172https://acervodigital.ufpr.br/bitstream/1884/25116/3/D%20-%20TOALDO%2c%20JULIANO%20ROGERIO.pdf.jpgcfcc655d0499d28d905df33072b7994bMD53open access1884/251162024-03-28 14:24:03.886open accessoai:acervodigital.ufpr.br:1884/25116Repositório de PublicaçõesPUBhttp://acervodigital.ufpr.br/oai/requestopendoar:3082024-03-28T17:24:03Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Utilizando análise de mutantes no teste de programas prolog
title Utilizando análise de mutantes no teste de programas prolog
spellingShingle Utilizando análise de mutantes no teste de programas prolog
Toaldo, Juliano Rogerio
Programas de computador - Testes
Prolog (Linguagem de programação de computador)
Ciência da Computação
title_short Utilizando análise de mutantes no teste de programas prolog
title_full Utilizando análise de mutantes no teste de programas prolog
title_fullStr Utilizando análise de mutantes no teste de programas prolog
title_full_unstemmed Utilizando análise de mutantes no teste de programas prolog
title_sort Utilizando análise de mutantes no teste de programas prolog
author Toaldo, Juliano Rogerio
author_facet Toaldo, Juliano Rogerio
author_role author
dc.contributor.other.pt_BR.fl_str_mv Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática
dc.contributor.advisor1.fl_str_mv Vergilio, Silvia Regina, 1966-
dc.contributor.author.fl_str_mv Toaldo, Juliano Rogerio
contributor_str_mv Vergilio, Silvia Regina, 1966-
dc.subject.por.fl_str_mv Programas de computador - Testes
Prolog (Linguagem de programação de computador)
Ciência da Computação
topic Programas de computador - Testes
Prolog (Linguagem de programação de computador)
Ciência da Computação
description Orientadora : Silvia Regina Vergilio
publishDate 2003
dc.date.issued.fl_str_mv 2003
dc.date.accessioned.fl_str_mv 2024-03-28T17:24:03Z
dc.date.available.fl_str_mv 2024-03-28T17:24:03Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/1884/25116
url https://hdl.handle.net/1884/25116
dc.language.iso.fl_str_mv por
language por
dc.relation.pt_BR.fl_str_mv Disponível em formato digital
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv Viii, 62p. : il.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPR
instname:Universidade Federal do Paraná (UFPR)
instacron:UFPR
instname_str Universidade Federal do Paraná (UFPR)
instacron_str UFPR
institution UFPR
reponame_str Repositório Institucional da UFPR
collection Repositório Institucional da UFPR
bitstream.url.fl_str_mv https://acervodigital.ufpr.br/bitstream/1884/25116/1/D%20-%20TOALDO%2c%20JULIANO%20ROGERIO.pdf
https://acervodigital.ufpr.br/bitstream/1884/25116/2/D%20-%20TOALDO%2c%20JULIANO%20ROGERIO.pdf.txt
https://acervodigital.ufpr.br/bitstream/1884/25116/3/D%20-%20TOALDO%2c%20JULIANO%20ROGERIO.pdf.jpg
bitstream.checksum.fl_str_mv acc95d017ac09d15d5e913f42d894bf6
73dbba4890d2b8f865059330a9a6d1dd
cfcc655d0499d28d905df33072b7994b
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)
repository.mail.fl_str_mv
_version_ 1813898746284474368

Registros relacionados