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

Uma familia de criterios de teste estrutural baseada em analise de fluxo de dados, denominada Familia de Criterios Potenciais Usos e definida, com a introducao do conceito Potencial Uso. Essa familia de criterios estabelece uma hierarquia de criterios entre os criterios todos os ramos e todos os caminhos, e ainda satisfaz o requisito minimo de cobertura do ponto de vista de fluxo de dados, mesmo na presenca de caminhos nao executaveis. Mostra-se que a complexidade desses criterios, assim como a dos demais criterios baseados em analise de fluxo de dados e de ordem exponencial. Sao caracterizados alguns modelos basicos para automatizacao desses criterios com o objetivo de estabelecer um nucleo basico para a automatizacao de criterios 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 especificacao, projeto e implementacao de uma ferramenta multilinguagem, denominada POKE- TOOL, para suporte ao teste estrutural baseado em fluxo de dados de programas, sao apresentados. Os resultados da aplicacao de um benchmark, com o uso da POKE- TOOL, para avaliacao empirica dos criterios Potenciais Usos sao discutidos. A analise dos resultados obtidos indica que, do ponto de vista pratico, esses criterios demandam um baixo numero de casos de teste e contribuem para demonstrar que os criterios de teste estrutural baseados em analise de fluxo de dados sao exequiveis. Varios modelos de estimativas para previsao do numero de casos de teste requeridos sao analisados e sao explorados alguns modelos para previsao do numero de caminhos nao executaveis. Sao tambem discutidos alguns aspectos de medidas de complexidade de software relacionados com as atividades de teste de soft ware Abstract