Utilizando análise de mutantes no teste de programas prolog

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorVergilio, Silvia Regina, 1966--
Autor(es): dc.contributorUniversidade Federal do Paraná. Setor de Ciencias Exatas. Programa de Pós-Graduaçao em Informática-
Autor(es): dc.creatorToaldo, Juliano Rogerio-
Data de aceite: dc.date.accessioned2019-08-22T00:05:53Z-
Data de disponibilização: dc.date.available2019-08-22T00:05:53Z-
Data de envio: dc.date.issued2011-02-10-
Data de envio: dc.date.issued2011-02-10-
Data de envio: dc.date.issued2011-02-10-
Fonte completa do material: dc.identifierhttp://hdl.handle.net/1884/25116-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/1884/25116-
Descrição: dc.descriptionResumo: 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.-
Formato: dc.formatapplication/pdf-
Formato: dc.formatapplication/pdf-
Palavras-chave: dc.subjectTeses-
Palavras-chave: dc.subjectProgramas de computador - Testes-
Palavras-chave: dc.subjectProlog (Linguagem de programação de computador)-
Título: dc.titleUtilizando análise de mutantes no teste de programas prolog-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Institucional - Rede Paraná Acervo

Não existem arquivos associados a este item.