Orientador : Mario Jino / Tese (doutorado) - Universidade Estadual de Campinas, Faculade de Engenharia Eletrica / Made available in DSpace on 2018-07-13T23:55:05Z (GMT). No. of bitstreams: 1
Maldonado_JoseCarlos_D.pdf: 13681969 bytes, checksum: b44b673a8acb70911b0a9e0f18585196 (MD5)
Previous issue date: 1991 / Resumo: 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 ware / Abstract: 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. / Doutorado / Doutor em Engenharia Elétrica
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/260444 |
Date | 30 July 1991 |
Creators | Maldonado, José Carlos |
Contributors | UNIVERSIDADE ESTADUAL DE CAMPINAS, Jino, Mario, 1943- |
Publisher | [s.n.], Universidade Estadual de Campinas. Faculdade de Engenharia Elétrica, Programa de Pós-Graduação em Engenharia Elétrica |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | Portuguese |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis |
Format | [261]f. : il., application/pdf |
Source | reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP |
Rights | info:eu-repo/semantics/openAccess |
Relation | (Publicação FEE) |
Page generated in 0.0052 seconds