Atenção: Todas as denúncias são sigilosas e sua identidade será preservada.
Os campos nome e e-mail são de preenchimento opcional
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Vergilio, Silvia Regina, 1966- | - |
Autor(es): dc.contributor | Universidade Federal do Paraná. Setor de Ciencias Exatas. Programa de Pós-Graduaçao em Informática | - |
Autor(es): dc.creator | Toaldo, Juliano Rogerio | - |
Data de aceite: dc.date.accessioned | 2019-08-22T00:05:53Z | - |
Data de disponibilização: dc.date.available | 2019-08-22T00:05:53Z | - |
Data de envio: dc.date.issued | 2011-02-10 | - |
Data de envio: dc.date.issued | 2011-02-10 | - |
Data de envio: dc.date.issued | 2011-02-10 | - |
Fonte completa do material: dc.identifier | http://hdl.handle.net/1884/25116 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/1884/25116 | - |
Descrição: dc.description | Resumo: 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.format | application/pdf | - |
Formato: dc.format | application/pdf | - |
Palavras-chave: dc.subject | Teses | - |
Palavras-chave: dc.subject | Programas de computador - Testes | - |
Palavras-chave: dc.subject | Prolog (Linguagem de programação de computador) | - |
Título: dc.title | Utilizando análise de mutantes no teste de programas prolog | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositório Institucional - Rede Paraná Acervo |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: