Teste baseado em defeitos de classses Java utilizando aspectos e mutação de especificações OCL

Detalhes bibliográficos
Ano de defesa: 2009
Autor(a) principal: Ascari, Luciano Cesar
Orientador(a): Vergilio, Silvia Regina, 1966-
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:
Software - Testes
Software - Desenvolvimento
Linguagem orientada a objetos (Computação)
Ciência da computação
Link de acesso: https://hdl.handle.net/1884/20118
Resumo: Inclui apendices
id UFPR_069922cedfe724cd4752a160e10832e6
oai_identifier_str oai:acervodigital.ufpr.br:1884/20118
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áticaVergilio, Silvia Regina, 1966-Ascari, Luciano Cesar2024-11-11T21:04:41Z2024-11-11T21:04:41Z2009https://hdl.handle.net/1884/20118Inclui apendicesOrientadora: Profa. Dra. Silvia Regina VergilioDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 25/05/2009Inclui bibliografiaResumo: 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.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.viii, 93f. : il., tabs.application/pdfDisponível em formato digitalSoftware - TestesSoftware - DesenvolvimentoLinguagem orientada a objetos (Computação)Ciência da computaçãoTeste baseado em defeitos de classses Java utilizando aspectos e mutação de especificações OCLinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALDissertacao.pdfapplication/pdf842687https://acervodigital.ufpr.br/bitstream/1884/20118/1/Dissertacao.pdf54caf479ff43001338f1a4009eec44edMD51open accessTEXTDissertacao.pdf.txtExtracted Texttext/plain164220https://acervodigital.ufpr.br/bitstream/1884/20118/2/Dissertacao.pdf.txt1b0d5fce5caf713b6d2f8196faa3f28dMD52open accessTHUMBNAILDissertacao.pdf.jpgGenerated Thumbnailimage/jpeg1202https://acervodigital.ufpr.br/bitstream/1884/20118/3/Dissertacao.pdf.jpg507a49eb1e201611ab741a7daa60f0cbMD53open access1884/201182024-11-11 18:04:41.618open accessoai:acervodigital.ufpr.br:1884/20118Repositório InstitucionalPUBhttp://acervodigital.ufpr.br/oai/requestinformacaodigital@ufpr.bropendoar:3082024-11-11T21:04:41Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Teste baseado em defeitos de classses Java utilizando aspectos e mutação de especificações OCL
title Teste baseado em defeitos de classses Java utilizando aspectos e mutação de especificações OCL
spellingShingle Teste baseado em defeitos de classses Java utilizando aspectos e mutação de especificações OCL
Ascari, Luciano Cesar
Software - Testes
Software - Desenvolvimento
Linguagem orientada a objetos (Computação)
Ciência da computação
title_short Teste baseado em defeitos de classses Java utilizando aspectos e mutação de especificações OCL
title_full Teste baseado em defeitos de classses Java utilizando aspectos e mutação de especificações OCL
title_fullStr Teste baseado em defeitos de classses Java utilizando aspectos e mutação de especificações OCL
title_full_unstemmed Teste baseado em defeitos de classses Java utilizando aspectos e mutação de especificações OCL
title_sort Teste baseado em defeitos de classses Java utilizando aspectos e mutação de especificações OCL
author Ascari, Luciano Cesar
author_facet Ascari, Luciano Cesar
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 Vergilio, Silvia Regina, 1966-
dc.contributor.author.fl_str_mv Ascari, Luciano Cesar
contributor_str_mv Vergilio, Silvia Regina, 1966-
dc.subject.por.fl_str_mv Software - Testes
Software - Desenvolvimento
Linguagem orientada a objetos (Computação)
Ciência da computação
topic Software - Testes
Software - Desenvolvimento
Linguagem orientada a objetos (Computação)
Ciência da computação
description Inclui apendices
publishDate 2009
dc.date.issued.fl_str_mv 2009
dc.date.accessioned.fl_str_mv 2024-11-11T21:04:41Z
dc.date.available.fl_str_mv 2024-11-11T21:04:41Z
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/20118
url https://hdl.handle.net/1884/20118
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 viii, 93f. : il., tabs.
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/20118/1/Dissertacao.pdf
https://acervodigital.ufpr.br/bitstream/1884/20118/2/Dissertacao.pdf.txt
https://acervodigital.ufpr.br/bitstream/1884/20118/3/Dissertacao.pdf.jpg
bitstream.checksum.fl_str_mv 54caf479ff43001338f1a4009eec44ed
1b0d5fce5caf713b6d2f8196faa3f28d
507a49eb1e201611ab741a7daa60f0cb
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_ 1847526310940770304

Registros relacionados