
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 | Vergilio, Silvia Regina, 1966- | - |
| 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 | Ascari, Luciano Cesar | - |
| Data de aceite: dc.date.accessioned | 2025-09-01T13:15:55Z | - |
| Data de disponibilização: dc.date.available | 2025-09-01T13:15:55Z | - |
| Data de envio: dc.date.issued | 2024-11-10 | - |
| Data de envio: dc.date.issued | 2024-11-10 | - |
| Data de envio: dc.date.issued | 2009 | - |
| Fonte completa do material: dc.identifier | https://hdl.handle.net/1884/20118 | - |
| Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/1884/20118 | - |
| Descrição: dc.description | Inclui apendices | - |
| Descrição: dc.description | Orientadora: Profa. Dra. Silvia Regina Vergilio | - |
| 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, 25/05/2009 | - |
| Descrição: dc.description | Inclui bibliografia | - |
| Descrição: dc.description | Resumo: Esse trabalho apresenta uma abordagem de teste de software orientado a objetos baseado em especificações OCL e Programação Orientada a Aspectos (POA) a abordagem utiliza as pré e pós-condições definidas para os métodos das classes, e possui dois usos principais: a geração de dados de teste a partir da especificação para o teste da implementação; e a validação da especificação e da implementação por meio da análise de especificações que sofreram mutação. O teste de software baseado na especificação contribui para identificar defeitos na especificação relacionados a caminhos ausentes. O teste de software utilizando a técnica baseada em defeitos e instrumentado com a POA apresenta como vantagens a não alteração da classe em teste, e um menor custo de execução. Para validar a abordagem proposta foi implementada a ferramenta MuSA (teste de Mutação baseado em especificações OCL e Aspectos). A ferramenta MuSA foi utilizada em um experimento de avaliação que comprovou a aplicabilidade da abordagem e permitiu a comparação com critérios estruturais. | - |
| Descrição: dc.description | Abstract: This work presents a testing approach for object oriented software, which is based on OCL and Aspect-Oriented Programming (AOP). It uses pre and post-conditions defined to the class methods under test. Two main uses are introduced to the approach: to generate test data from the specification to test the implemented code, and to validade the especification and the implementation by considering mutated specifications. The test data based on the specification aim at the discovering of missing paths in the program. The use of AOP to instrument the fault based testing is advantageous because the code of the classes do not need to be altered and a lower number of executions is required. To validate the proposed approach, a tool named MuSA (Mutation testing based on OCL Specifications and Aspects) was implemented and used in an evaluation experiment. The evaluation results show the applicability of the approach and allow comparasion with structural criteria. | - |
| Formato: dc.format | viii, 93f. : il., tabs. | - |
| Formato: dc.format | application/pdf | - |
| Formato: dc.format | application/pdf | - |
| Relação: dc.relation | Disponível em formato digital | - |
| Palavras-chave: dc.subject | Software - Testes | - |
| Palavras-chave: dc.subject | Software - Desenvolvimento | - |
| Palavras-chave: dc.subject | Linguagem orientada a objetos (Computação) | - |
| Palavras-chave: dc.subject | Ciência da computação | - |
| Título: dc.title | Teste baseado em defeitos de classses Java utilizando aspectos e mutação de especificações OCL | - |
| 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: