Geração automatica de dados e tratamento de não executabilidade no teste estrutural de software

Detalhes bibliográficos
Autor(a) principal: Bueno, Paulo Marcos Siqueira
Data de Publicação: 1999
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1587722
Resumo: Orientador: Mario Jino
id UNICAMP-30_0f0387d8f25c4ab315ca26705d07db56
oai_identifier_str oai::175903
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Geração automatica de dados e tratamento de não executabilidade no teste estrutural de softwareSoftwareAlgoritmos genéticosEngenharia de softwareSoftware - ValidaçãoOrientador: Mario JinoDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de ComputaçãoResumo: Este trabalho apresenta uma ferramenta e técnicas para automação da geração de dados e identificação de não executabilidade para a técnica estrutural de teste de software. A ferramenta baseia-se na Técnica Dinâmica; na busca utilizando Algoritmos Genéticos; e no reuso de soluções passadas através do Raciocínio Baseado em Casos. O objetivo é gerara automaticamente dados de entrada que executem caminhos completos no programa em teste e identificar a não executabilidade desses caminhos quando for o caso; o que é feito através da Heurística de Identificação Dinâmica de Potencial não Executabilidade proposta. Um experimento conduzido mostra a validade das soluções elaboradas e do benefício da utilização da ferramenta. Os resultados alcançados sugerem que, apesar da indecidibilidade geral desses problemas, soluções parciais podem ser úteis à prática do teste de softwareAbstract: A tool and techniques are presented for test data generation and infeasibility identification in structural software testing technique. The tool is based on: the Dynamic Technique; using Genetic Algorithms; and reusing of solutions through Case Based Reasoning. The objective is to automatically generate input data which execute complete paths in a program and identify path infeasibility when this is the case ; this is done through the Potential Infeasibility Dynamic Identification Heuristic proposed. An experiment shows the validity of the developed solutions and the benefit of using the tool. Results attained indicate that, despite the general undecidability of the problems, partial solutions may be useful to software testing practiceMestradoMestre em Engenharia Elétrica[s.n.]Jino, Mario, 1943-Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica e de ComputaçãoPrograma de Pós-Graduação em Engenharia ElétricaUNIVERSIDADE ESTADUAL DE CAMPINASBueno, Paulo Marcos Siqueira19991999-02-06T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf163p. : il.(Broch.)https://hdl.handle.net/20.500.12733/1587722BUENO, Paulo Marcos Siqueira. Geração automatica de dados e tratamento de não executabilidade no teste estrutural de software. 1999. 163p. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1587722. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/175903porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2014-04-18T17:02:31Zoai::175903Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2014-04-18T17:02:31Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Geração automatica de dados e tratamento de não executabilidade no teste estrutural de software
title Geração automatica de dados e tratamento de não executabilidade no teste estrutural de software
spellingShingle Geração automatica de dados e tratamento de não executabilidade no teste estrutural de software
Bueno, Paulo Marcos Siqueira
Software
Algoritmos genéticos
Engenharia de software
Software - Validação
title_short Geração automatica de dados e tratamento de não executabilidade no teste estrutural de software
title_full Geração automatica de dados e tratamento de não executabilidade no teste estrutural de software
title_fullStr Geração automatica de dados e tratamento de não executabilidade no teste estrutural de software
title_full_unstemmed Geração automatica de dados e tratamento de não executabilidade no teste estrutural de software
title_sort Geração automatica de dados e tratamento de não executabilidade no teste estrutural de software
author Bueno, Paulo Marcos Siqueira
author_facet Bueno, Paulo Marcos Siqueira
author_role author
dc.contributor.none.fl_str_mv Jino, Mario, 1943-
Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica e de Computação
Programa de Pós-Graduação em Engenharia Elétrica
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Bueno, Paulo Marcos Siqueira
dc.subject.por.fl_str_mv Software
Algoritmos genéticos
Engenharia de software
Software - Validação
topic Software
Algoritmos genéticos
Engenharia de software
Software - Validação
description Orientador: Mario Jino
publishDate 1999
dc.date.none.fl_str_mv 1999
1999-02-06T00:00:00Z
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 (Broch.)
https://hdl.handle.net/20.500.12733/1587722
BUENO, Paulo Marcos Siqueira. Geração automatica de dados e tratamento de não executabilidade no teste estrutural de software. 1999. 163p. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1587722. Acesso em: 2 set. 2024.
identifier_str_mv (Broch.)
BUENO, Paulo Marcos Siqueira. Geração automatica de dados e tratamento de não executabilidade no teste estrutural de software. 1999. 163p. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1587722. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1587722
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/175903
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
163p. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809188826059374592

Registros relacionados