PREDTOOL : uma ferramenta para apoiar o teste baseado em predicados

Detalhes bibliográficos
Autor(a) principal: Silva, Edenilson José da
Data de Publicação: 2003
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFPR
Texto Completo: https://hdl.handle.net/1884/24758
Resumo: Orientadora: Silvia Regina Vergilio
id UFPR_5c608036bb733a8014f69d8b5aed2d09
oai_identifier_str oai:acervodigital.ufpr.br:1884/24758
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str 308
spelling Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em InformáticaVergilio, Silvia Regina, 1966-Silva, Edenilson José da2022-11-10T12:35:28Z2022-11-10T12:35:28Z2003Brochhttps://hdl.handle.net/1884/24758Orientadora: Silvia Regina VergilioDissertação (mestrado)- Universidade Federal do Paraná. Setor de Ciências Exatas. Curso de Mestrado em InformáticaInclui bibliografiaResumo: A atividade de teste é fundamental dentro da Engenharia de Software, especialmente para a melhoria da qualidade dos programas criados. Mas esta atividade, apesar de importante, tem sido colocada em segundo plano, muitas vezes em conseqüência da dificuldade de realização de testes de forma manual, devido ao consumo de tempo e a possibilidade de ocorrência de inúmeros erros. Para reduzir os custos e aumentar o número de defeitos revelados no teste, foram propostos diversos critérios de teste. Esses critérios têm como objetivo guiar o testador na seleção e na avaliação de conjuntos de casos de teste. Esta dissertação aborda critérios estruturais de teste, mais particularmente os critérios BOR (Boolean OperatoR testing) e BRO (Boolean and Relational Operator testing), baseados em predicados e que tem como objetivo revelar defeitos presentes em predicados compostos do programa em teste. Uma ferramenta que automatiza os critérios BOR e BRO foi implementada e é descrita. A ferramenta chama-se PredTOOL, e testa especificamente programas desenvolvidos na linguagem C. A implementação da ferramenta tornou possível a realização de um experimento de avaliação dos critérios BOR e BRO cujos resultados permitem a comparação desses critérios com dois outros critérios estruturais, Todos-Arcos e Todos Potenciais-Usos, implementados pela ferramenta Poke-Tool. Da análise dos resultados obtidos, é sugerida uma estratégia para aplicação dos critérios estruturais analisados.Abstract: The testing activity is a fundamental phase in the Software Engineering process, especially for improving the quality of the developed programs. But this activity, in spite of being important, has been put in a second plan, maybe due to the difficulty of accomplishing tests manually. This spents a lot of effort and time, and in general a great number of faults remains. To reduce the costs and to increase the number of defects revealed in the test, several testing criteria were proposed. Those criteria have as objective to guide the tester in the selection and evaluation of test case sets. This works focuses structural testing criteria, more particularly BOR (Boolean OperatoR testing) and BRO (Boolean and Relational Operator testing) criteria, that are based on predicates and have the goal of revealing faults in compound predicates of the program under testing. A tool that implements BOR and BRO criteria was implemented and it is described. The tool calls PredTOOL, and tests C programs. The implementation of the tool makes possible the accomplishment of an experiment for evaluation of BOR and BRO criteria. The obtained results allow the comparison of those criteria with two other structural criteria: All-edges and All Potential-Uses, implemented by the tool Poke-Tool. Those results are used to propose a strategy for application of the studied structural criteria.ix,77f. : il., tabs.application/pdfDisponível em formato digitalTesesEngenharia de software - TestesCiencia da ComputaçãoPREDTOOL : uma ferramenta para apoiar o teste baseado em predicadosinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALD - SILVA, EDENILSON JOSE DA.pdfapplication/pdf2214957https://acervodigital.ufpr.br/bitstream/1884/24758/1/D%20-%20SILVA%2c%20EDENILSON%20JOSE%20DA.pdf5768f1e7373342959136191c58e60ed5MD51open accessTEXTD - SILVA, EDENILSON JOSE DA.pdf.txtExtracted Texttext/plain125716https://acervodigital.ufpr.br/bitstream/1884/24758/2/D%20-%20SILVA%2c%20EDENILSON%20JOSE%20DA.pdf.txtb5b3d9e4fbbdb6790d5a696db225940dMD52open accessTHUMBNAILD - SILVA, EDENILSON JOSE DA.pdf.jpgGenerated Thumbnailimage/jpeg1211https://acervodigital.ufpr.br/bitstream/1884/24758/3/D%20-%20SILVA%2c%20EDENILSON%20JOSE%20DA.pdf.jpg1b58e4133eed29d5598e794c25f0dd8dMD53open access1884/247582022-11-10 09:35:28.777open accessoai:acervodigital.ufpr.br:1884/24758Repositório de PublicaçõesPUBhttp://acervodigital.ufpr.br/oai/requestopendoar:3082022-11-10T12:35:28Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv PREDTOOL : uma ferramenta para apoiar o teste baseado em predicados
title PREDTOOL : uma ferramenta para apoiar o teste baseado em predicados
spellingShingle PREDTOOL : uma ferramenta para apoiar o teste baseado em predicados
Silva, Edenilson José da
Teses
Engenharia de software - Testes
Ciencia da Computação
title_short PREDTOOL : uma ferramenta para apoiar o teste baseado em predicados
title_full PREDTOOL : uma ferramenta para apoiar o teste baseado em predicados
title_fullStr PREDTOOL : uma ferramenta para apoiar o teste baseado em predicados
title_full_unstemmed PREDTOOL : uma ferramenta para apoiar o teste baseado em predicados
title_sort PREDTOOL : uma ferramenta para apoiar o teste baseado em predicados
author Silva, Edenilson José da
author_facet Silva, Edenilson José da
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 Silva, Edenilson José da
contributor_str_mv Vergilio, Silvia Regina, 1966-
dc.subject.por.fl_str_mv Teses
Engenharia de software - Testes
Ciencia da Computação
topic Teses
Engenharia de software - Testes
Ciencia da Computação
description Orientadora: Silvia Regina Vergilio
publishDate 2003
dc.date.issued.fl_str_mv 2003
dc.date.accessioned.fl_str_mv 2022-11-10T12:35:28Z
dc.date.available.fl_str_mv 2022-11-10T12:35:28Z
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.pt_BR.fl_str_mv Broch
dc.identifier.uri.fl_str_mv https://hdl.handle.net/1884/24758
identifier_str_mv Broch
url https://hdl.handle.net/1884/24758
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 ix,77f. : 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/24758/1/D%20-%20SILVA%2c%20EDENILSON%20JOSE%20DA.pdf
https://acervodigital.ufpr.br/bitstream/1884/24758/2/D%20-%20SILVA%2c%20EDENILSON%20JOSE%20DA.pdf.txt
https://acervodigital.ufpr.br/bitstream/1884/24758/3/D%20-%20SILVA%2c%20EDENILSON%20JOSE%20DA.pdf.jpg
bitstream.checksum.fl_str_mv 5768f1e7373342959136191c58e60ed5
b5b3d9e4fbbdb6790d5a696db225940d
1b58e4133eed29d5598e794c25f0dd8d
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
_version_ 1801860772930781184

Registros relacionados