Teste de mutação para ontologias OWL

Detalhes bibliográficos
Ano de defesa: 2014
Autor(a) principal: Porn, Alex Mateus
Orientador(a): Peres, Leticia Mara, 1972-
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Ciência da computação
Ontologia
Modelagem de dados
Software - Testes
Link de acesso: https://hdl.handle.net/1884/36298
Resumo: Orientadora: Profª. Drª. Letícia Mara Peres
id UFPR_366d9b44df29c011ee0dcac90b2c8e05
oai_identifier_str oai:acervodigital.ufpr.br:1884/36298
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str
spelling Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em InformáticaPeres, Leticia Mara, 1972-Porn, Alex Mateus2024-11-11T19:20:30Z2024-11-11T19:20:30Z2014https://hdl.handle.net/1884/36298Orientadora: Profª. Drª. Letícia Mara PeresDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 15/07/2014Inclui referênciasResumo: Ontologias representam especificações formais sobre conceitos de um domínio e as relações entre eles. Elas desempenham um papel fundamental para descrever semânticas de dados e atuam como uma espinha dorsal em sistemas baseados em conhecimentos. A diversidade de métodos de modelagem de ontologias proporciona que defeitos sejam inseridos durante o desenvolvimento, possibilitando a ocorrência de falhas sintáticas e semânticas. Métodos de testes já foram propostos visando revelar falhas em ontologias, entretanto não possibilitam identificar os defeitos existentes. Com a finalidade de diminuir o número de defeitos na modelagem de ontologias, é apresentada neste trabalho a definição de um processo para a aplicação do teste de mutação para ontologias OWL, visando revelar defeitos em ontologias, assim como os seus tipos. Para a geração dos mutantes foram propostos 25 operadores de mutação, porém, neste trabalho 19 foram aplicados nos modelos em teste. Para a aplicação do teste foi realizado um estudo de caso no contexto de registros eletrônicos de saúde, onde arquétipos openEHR definidos na linguagem ADL, foram convertidos para ontologias OWL e submetidos ao processo de teste. Para auxiliar o processo de geração dos mutantes e execução dos dados de teste, utilizou-se a ferramenta Protege de criação e edição de ontologias. O método de teste mostrou-se eficaz para determinar a corretude de ontologias, sendo possível gerar um alto número de mutantes e um alto escore de mutação através dos operadores propostos e dos dados de teste utilizados, podendo-se identificar e analisar os defeitos inseridos durante o desenvolvimento.Abstract: Ontologies represent formal specifications about the domain concepts and the relation between them. They have a fundamental role to describe data semantics and act as a backbone in systems knowledge-based. The insertion of defects during an ontology development is common, causing the occurrence of syntactics and semantics faults. Test methods have been proposed aiming to show faults in ontologies. However these methods does not identify the faults sources. In order to decrease the number of these defects in an ontology design, the definition of a process for the application of mutation test to OWL ontologies is presented. It is possible to show existing defects and their types. To generate the mutants, 25 mutation operators have been proposed, but on this paper 19 were applied on models being tested. The application of the test is done by a case study. It was conducted on the context of electronic health records, with openEHR archetypes. These archetypes were written in ADL language, converted to OWL ontologies and submitted to the testing process. It was used Protege, a tool of creation and edition of ontologies, to assist the process of mutants generation and test data execution. The test method was efficacious to determine the correctness of ontologies and was possible to generate a sufficient number of mutants and a high mutation score. Through the proposed operators and the test data used, it was possible identify and analyze the defects inserted during the development.112f. : il., tabs., color.application/pdfDisponível em formato digitalCiência da computaçãoOntologiaModelagem de dadosSoftware - TestesTeste de mutação para ontologias OWLinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALR - D - ALEX MATEUS PORN.pdfapplication/pdf4005183https://acervodigital.ufpr.br/bitstream/1884/36298/1/R%20-%20D%20-%20ALEX%20MATEUS%20PORN.pdf73fc0a9265cf056621d5f9aa167f5b10MD51open accessTEXTR - D - ALEX MATEUS PORN.pdf.txtExtracted Texttext/plain204936https://acervodigital.ufpr.br/bitstream/1884/36298/2/R%20-%20D%20-%20ALEX%20MATEUS%20PORN.pdf.txte9794b7ba085c73101ed3e4607a4208bMD52open accessTHUMBNAILR - D - ALEX MATEUS PORN.pdf.jpgGenerated Thumbnailimage/jpeg1132https://acervodigital.ufpr.br/bitstream/1884/36298/3/R%20-%20D%20-%20ALEX%20MATEUS%20PORN.pdf.jpg7ef732885cb269a4cc015ee005bcf093MD53open access1884/362982024-11-11 16:20:30.517open accessoai:acervodigital.ufpr.br:1884/36298Repositório InstitucionalPUBhttp://acervodigital.ufpr.br/oai/requestinformacaodigital@ufpr.bropendoar:3082024-11-11T19:20:30Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Teste de mutação para ontologias OWL
title Teste de mutação para ontologias OWL
spellingShingle Teste de mutação para ontologias OWL
Porn, Alex Mateus
Ciência da computação
Ontologia
Modelagem de dados
Software - Testes
title_short Teste de mutação para ontologias OWL
title_full Teste de mutação para ontologias OWL
title_fullStr Teste de mutação para ontologias OWL
title_full_unstemmed Teste de mutação para ontologias OWL
title_sort Teste de mutação para ontologias OWL
author Porn, Alex Mateus
author_facet Porn, Alex Mateus
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 Peres, Leticia Mara, 1972-
dc.contributor.author.fl_str_mv Porn, Alex Mateus
contributor_str_mv Peres, Leticia Mara, 1972-
dc.subject.por.fl_str_mv Ciência da computação
Ontologia
Modelagem de dados
Software - Testes
topic Ciência da computação
Ontologia
Modelagem de dados
Software - Testes
description Orientadora: Profª. Drª. Letícia Mara Peres
publishDate 2014
dc.date.issued.fl_str_mv 2014
dc.date.accessioned.fl_str_mv 2024-11-11T19:20:30Z
dc.date.available.fl_str_mv 2024-11-11T19:20:30Z
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/36298
url https://hdl.handle.net/1884/36298
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 112f. : il., tabs., color.
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/36298/1/R%20-%20D%20-%20ALEX%20MATEUS%20PORN.pdf
https://acervodigital.ufpr.br/bitstream/1884/36298/2/R%20-%20D%20-%20ALEX%20MATEUS%20PORN.pdf.txt
https://acervodigital.ufpr.br/bitstream/1884/36298/3/R%20-%20D%20-%20ALEX%20MATEUS%20PORN.pdf.jpg
bitstream.checksum.fl_str_mv 73fc0a9265cf056621d5f9aa167f5b10
e9794b7ba085c73101ed3e4607a4208b
7ef732885cb269a4cc015ee005bcf093
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 informacaodigital@ufpr.br
_version_ 1847526033172987904

Registros relacionados