Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/260444
Type: TESE
Degree Level: Doutorado
Title: Criterios potenciais usos : uma contribuição ao teste estrutural de Software
Author: Maldonado, José Carlos
Advisor: Jino, Mario, 1943-
Abstract: 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.
Subject: Software - Desenvolvimento
Engenharia de sistemas
Language: Português
Editor: [s.n.]
Date Issue: 1991
Appears in Collections:FEEC - Tese e Dissertação

Files in This Item:
File SizeFormat 
Maldonado_JoseCarlos_D.pdf13.36 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.