Teste Estrutural de Software utilizando Banco de Dados

Uma abordagem proposta para o teste estrutural de programas de Aplica o de Banco de Dados Relacional (ABDR) com SQL embutida. Uma aplica o vista como um conjunto de programas e cada programa como um conjunto de unidades. Devido natureza da ABDR, dois modelos de fluxo de dados s o propostos: intra-modular e inter-modular. O modelo de fluxo de dados intra-modular aplica-se ao teste de unidade e ao teste de integra o das unidades de um programa. O inter-modular aplica-se integra o dos programas que comp em uma aplica o. O teste de unidade pode ser apoiado por qualquer crit rio de teste estrutural de unidade de programas procedimentais. Duas abordagens s o propostas para o teste de integra o intra-modular: teste baseado no grafo de chamadas e teste baseado em depend ncia de dados. Crit rios baseados nos modelos intra-modular e inter-modular s o apresentados e discutidos com exemplos de sua aplica o; s o tamb m apresentados e discutidos resultados de experimentos. A an lise da complexidade dos crit rios mostra que ela de ordem exponencial, para o pior caso. Por m, em programas reais, demandam um n mero pequeno de casos de teste.