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.