Caminhos não executaveis : caracterização, previsão e determinação para suporte ao teste de programas

Detalhes bibliográficos
Autor(a) principal: Vergilio, Silvia Regina, 1966-
Data de Publicação: 1992
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/1576320
Resumo: Orientadores : Mario Jino, Jose Carlos Maldonado
id UNICAMP-30_18687c1bbb96a340ce683b0817e74367
oai_identifier_str oai::42552
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 Caminhos não executaveis : caracterização, previsão e determinação para suporte ao teste de programasSoftware - DesenvolvimentoEngenharia elétricaOrientadores : Mario Jino, Jose Carlos MaldonadoDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia EletricaResumo: Neste trabalho são discutidos os principais problemas introduzidos por caminhos não executávels nas atividades de teste de programas, já que é indecidível se um caminho é ou não executável. O trabalho enfoca tres aspectos principais: caracterização, previsão e determinação de caminhos não executávels. Os estudos foram realizados baseando-se em trabalhos existentes na literatura e em resultados obtidos durante a condução de um "benchmark". Para Isto, utilizou-se uma ferramenta de testes, denominada POKE-TOOL, que apoia a aplicação dos critérios Potenciais-Usos. São apresentados: as principais causas de não executabilidade encontradas nas rotinas do "benchmark"; modelos para avaliar a influência de várias características de programas, no número de caminhos não executávels e modelos para avaliar a relação entre o número de predicados do caminho e sua executabilidade. A condução do "benchmark" também ressaltou a importância da aplicação das heurístlcas propostas por Frankl [FRA87] para identificação de elementos não executávels; além disto, levou a proposição de extensôes para esta heuristica e viabilizou a identificação de facilidades que foram incorporadas na POKE-TOOL, para tratamento de tais elementos. Adicionalmente, são apresentados: os principais aspectos de implementação das heurísticas e facilidades propostas, um exemplo de utilização das rotinas implementadas e uma avaliação preliminar do desempenho das mesmasAbstract: This work discusses the main problems introduced by Infeasible paths in the activities of program testing, since it is undecidable whether a path is or is not feasible. The work focuses on three major aspects: cIassification, estimation and determination of infeasible paths. The studies were accomplished based on results reported in the literature and on results taken from the application of a benchmark. To conduct the benchmark, the testing tool used was the POKE-TOOL, a tool which supports the Potential-Uses criteria. The main causes for non-feasibility of paths in the benchmark's routlnes are presented. Models which assess the influence of several characteristics of programs on the number of infeasible paths and models to assess the relation between the number of predicates in paths and their feasibility are also presented. The benchmark pointed out the relevance of the Frankl's heuristic application (FRA87) for identification of infeasible paths; more over, has made possible the proposition of extension to this heuristic and of facilities to deal with such paths, which were incorporated into POKE-TOOL. The heuristics and main aspects of implementation of the proposed facilities are presented; an example of utilization and a prelimliary assessment of the effectiveness of the implementation are also shownMestradoMestre em Engenharia Elétrica[s.n.]Jino, Mario, 1943-Maldonado, José CarlosUniversidade Estadual de Campinas. Faculdade de Engenharia ElétricaPrograma de Pós-Graduação em Engenharia ElétricaUNIVERSIDADE ESTADUAL DE CAMPINASVergilio, Silvia Regina, 1966-19921992-01-30T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf[181]f. : il.(Broch.)https://hdl.handle.net/20.500.12733/1576320VERGILIO, Silvia Regina. Caminhos não executaveis: caracterização, previsão e determinação para suporte ao teste de programas. 1992. [181]f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1576320. Acesso em: 14 mai. 2024.https://repositorio.unicamp.br/acervo/detalhe/42552Publicação FEEporreponame: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-17T22:47:12Zoai::42552Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2014-04-17T22:47:12Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Caminhos não executaveis : caracterização, previsão e determinação para suporte ao teste de programas
title Caminhos não executaveis : caracterização, previsão e determinação para suporte ao teste de programas
spellingShingle Caminhos não executaveis : caracterização, previsão e determinação para suporte ao teste de programas
Vergilio, Silvia Regina, 1966-
Software - Desenvolvimento
Engenharia elétrica
title_short Caminhos não executaveis : caracterização, previsão e determinação para suporte ao teste de programas
title_full Caminhos não executaveis : caracterização, previsão e determinação para suporte ao teste de programas
title_fullStr Caminhos não executaveis : caracterização, previsão e determinação para suporte ao teste de programas
title_full_unstemmed Caminhos não executaveis : caracterização, previsão e determinação para suporte ao teste de programas
title_sort Caminhos não executaveis : caracterização, previsão e determinação para suporte ao teste de programas
author Vergilio, Silvia Regina, 1966-
author_facet Vergilio, Silvia Regina, 1966-
author_role author
dc.contributor.none.fl_str_mv Jino, Mario, 1943-
Maldonado, José Carlos
Universidade Estadual de Campinas. Faculdade de Engenharia Elétrica
Programa de Pós-Graduação em Engenharia Elétrica
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Vergilio, Silvia Regina, 1966-
dc.subject.por.fl_str_mv Software - Desenvolvimento
Engenharia elétrica
topic Software - Desenvolvimento
Engenharia elétrica
description Orientadores : Mario Jino, Jose Carlos Maldonado
publishDate 1992
dc.date.none.fl_str_mv 1992
1992-01-30T00: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/1576320
VERGILIO, Silvia Regina. Caminhos não executaveis: caracterização, previsão e determinação para suporte ao teste de programas. 1992. [181]f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1576320. Acesso em: 14 mai. 2024.
identifier_str_mv (Broch.)
VERGILIO, Silvia Regina. Caminhos não executaveis: caracterização, previsão e determinação para suporte ao teste de programas. 1992. [181]f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1576320. Acesso em: 14 mai. 2024.
url https://hdl.handle.net/20.500.12733/1576320
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/42552
Publicação FEE
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
[181]f. : 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_ 1799138281403711488

Registros relacionados