Criterios potenciais usos : uma contribuição ao teste estrutural de Software

Detalhes bibliográficos
Autor(a) principal: Maldonado, José Carlos
Data de Publicação: 1991
Tipo de documento: Tese
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/1575508
Resumo: Orientador : Mario Jino
id UNICAMP-30_f3e0c0676567783a440227e9e625aaa2
oai_identifier_str oai::31806
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 Criterios potenciais usos : uma contribuição ao teste estrutural de SoftwareSoftware - DesenvolvimentoEngenharia de sistemasOrientador : Mario JinoTese (doutorado) - Universidade Estadual de Campinas, Faculade de Engenharia EletricaResumo: Uma família de critérios de teste estrutural baseada em análise de fluxo de dados, denominada Família de Critérios Potenciais Usos é definida, com a introdução do conceito Potencial Uso. Essa família de critérios estabelece uma hierarquia de critérios entre os critérios todos os ramos e todos os caminhos, e ainda satisfaz o requisito mínimo de cobertura do ponto de vista de fluxo de dados, mesmo na presença de caminhos não executáveis. Mostra-se que a complexidade desses critérios, assim como a dos demais critérios baseados em análise de fluxo de dados é de ordem exponencial. São caracterizados alguns modelos básicos para automatização desses critérios com o objetivo de estabelecer um núcleo básico para a automatização de critérios de teste estrutural; investiga-se o uso do conceito de arco essencial [CHU87] no contexto de teste baseado em fluxo de dados. Os principais aspectos da especificação, projeto e implementação de uma ferramenta multilinguagem, denominada POKE- TOOL, para suporte ao teste estrutural baseado em fluxo de dados de programas, são apresentados. Os resultados da aplicação de um benchmark, com o uso da POKE- TOOL, para avaliação empírica dos critérios Potenciais Usos são discutidos. A análise dos resultados obtidos indica que, do ponto de vista prático, esses critérios demandam um baixo número de casos de teste e contribuem para demonstrar que os critérios de teste estrutural baseados em análise de fluxo de dados são exeqüíveis. Vários modelos de estimativas para previsão do número de casos de teste requeridos são analisados e são explorados alguns modelos para previsão do número de caminhos não executáveis. São também discutidos alguns aspectos de medidas de complexidade de software relacionados com as atividades de teste de soft wareAbstract: Potential Uses Criteria Family (PU) - a family of data flow based structural testing criteria - is defined, introducing a new concept: the potential use. This criteria family establishes a hierarchy including all-edges and all-paths criteria, in addition to satisfying the minimum coverage requirements from the data flow point oí view, even in the presence oí unexecutable paths. It is shown that the complexity of these criteria, as well as of the other data flow based criteria, have exponencial order. Some basic models are proposed aiming at establishing a uniíorm mechanism to automate data flow based structural testing criteriaj the essential branch concept [CHU87] is investigated. The main aspects of the specification, design and implementation of a multilanguage tool, named POKE- TOOL, for data flow based structural testing of programs are presented. Results of a benchmark conducted to empirically evaluate Potential Uses Criteria, using POKE- TOOL, are discussed. Analysis of these results points out that, in practice, a small number of test cases are required by these criteria; this contributes to show that data flow based structural testing criteria can be applied in industrial software production environments. Models to estimate the number of test cases and the number of infeasible paths are explored. Some aspects of software complexity metrics related to soítware testing activities are also discussed.DoutoradoDoutor em Engenharia Elétrica[s.n.]Jino, Mario, 1943-Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia ElétricaPrograma de Pós-Graduação em Engenharia ElétricaUNIVERSIDADE ESTADUAL DE CAMPINASMaldonado, José Carlos19911991-07-30T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf[261]f. : il.https://hdl.handle.net/20.500.12733/1575508MALDONADO, José Carlos. Criterios potenciais usos: uma contribuição ao teste estrutural de Software. 1991. [261]f. Tese (doutorado) - Universidade Estadual de Campinas, Faculade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1575508. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/31806Publicaçã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-17T21:30:12Zoai::31806Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2014-04-17T21:30: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 Criterios potenciais usos : uma contribuição ao teste estrutural de Software
title Criterios potenciais usos : uma contribuição ao teste estrutural de Software
spellingShingle Criterios potenciais usos : uma contribuição ao teste estrutural de Software
Maldonado, José Carlos
Software - Desenvolvimento
Engenharia de sistemas
title_short Criterios potenciais usos : uma contribuição ao teste estrutural de Software
title_full Criterios potenciais usos : uma contribuição ao teste estrutural de Software
title_fullStr Criterios potenciais usos : uma contribuição ao teste estrutural de Software
title_full_unstemmed Criterios potenciais usos : uma contribuição ao teste estrutural de Software
title_sort Criterios potenciais usos : uma contribuição ao teste estrutural de Software
author Maldonado, José Carlos
author_facet Maldonado, José Carlos
author_role author
dc.contributor.none.fl_str_mv Jino, Mario, 1943-
Universidade Estadual de Campinas (UNICAMP). 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 Maldonado, José Carlos
dc.subject.por.fl_str_mv Software - Desenvolvimento
Engenharia de sistemas
topic Software - Desenvolvimento
Engenharia de sistemas
description Orientador : Mario Jino
publishDate 1991
dc.date.none.fl_str_mv 1991
1991-07-30T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1575508
MALDONADO, José Carlos. Criterios potenciais usos: uma contribuição ao teste estrutural de Software. 1991. [261]f. Tese (doutorado) - Universidade Estadual de Campinas, Faculade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1575508. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1575508
identifier_str_mv MALDONADO, José Carlos. Criterios potenciais usos: uma contribuição ao teste estrutural de Software. 1991. [261]f. Tese (doutorado) - Universidade Estadual de Campinas, Faculade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1575508. Acesso em: 2 set. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/31806
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
[261]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_ 1809188708934483969

Registros relacionados