Atenção:
O eduCAPES é um repositório de objetos educacionais, não sendo responsável por materiais de terceiros submetidos na plataforma. O usuário assume ampla e total responsabilidade quanto à originalidade, à titularidade e ao conteúdo, citações de obras consultadas, referências e outros elementos que fazem parte do material que deseja submeter. Recomendamos que se reporte diretamente ao(s) autor(es), indicando qual parte do material foi considerada imprópria (cite página e parágrafo) e justificando sua denúncia.
Caso seja o autor original de algum material publicado indevidamente ou sem autorização, será necessário que se identifique informando nome completo, CPF e data de nascimento. Caso possua uma decisão judicial para retirada do material, solicitamos que informe o link de acesso ao documento, bem como quaisquer dados necessários ao acesso, no campo abaixo.
Todas as denúncias são sigilosas e sua identidade será preservada. Os campos nome e e-mail são de preenchimento opcional. Porém, ao deixar de informar seu e-mail, um possível retorno será inviabilizado e/ou sua denúncia poderá ser desconsiderada no caso de necessitar de informações complementares.
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Peres, Leticia Mara, 1972- | - |
Autor(es): dc.contributor | Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática | - |
Autor(es): dc.creator | Porn, Alex Mateus | - |
Data de aceite: dc.date.accessioned | 2025-09-01T10:33:00Z | - |
Data de disponibilização: dc.date.available | 2025-09-01T10:33:00Z | - |
Data de envio: dc.date.issued | 2024-11-10 | - |
Data de envio: dc.date.issued | 2024-11-10 | - |
Data de envio: dc.date.issued | 2014 | - |
Fonte completa do material: dc.identifier | https://hdl.handle.net/1884/36298 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/1884/36298 | - |
Descrição: dc.description | Orientadora: Profª. Drª. Letícia Mara Peres | - |
Descrição: dc.description | Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 15/07/2014 | - |
Descrição: dc.description | Inclui referências | - |
Descrição: dc.description | Resumo: 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. | - |
Descrição: dc.description | 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. | - |
Formato: dc.format | 112f. : il., tabs., color. | - |
Formato: dc.format | application/pdf | - |
Formato: dc.format | application/pdf | - |
Relação: dc.relation | Disponível em formato digital | - |
Palavras-chave: dc.subject | Ciência da computação | - |
Palavras-chave: dc.subject | Ontologia | - |
Palavras-chave: dc.subject | Modelagem de dados | - |
Palavras-chave: dc.subject | Software - Testes | - |
Título: dc.title | Teste de mutação para ontologias OWL | - |
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: