Teste de Integração baseado na dependência de dados

O teste de integração baseado na dependência de dados entre as Unidades envolvidas nesta etapa é preparado com a re-instrumentação dos programas utilizados no teste de unidade.

A re-instrumentação para esta fase acrescenta informações pertinentes ao número de cada unidade e às tuplas, mantendo as demais informações instrumentadas do teste de unidade. Para ilustrar um programa re-instrumentado é apresentado o Exemplo 6.6, o programa do Exemplo 6.2 (unidade Insemp).

A re-instrumentação acrescenta informações sobre as chaves primárias usadas para representar as tuplas das variáveis tabela, exigidas pelos critérios propostos neste trabalho, e um número que é usado para indicar qual unidade foi exercitada durante um caso de teste. Os elementos requeridos pelos critérios de teste de integração são gerados para cada variável tabela. Os elementos requeridos dos critérios todos os t-usos-ciclo1-intra e todos os dtu-caminhos-intra são gerados para todos os pares de Unidades que possuem comandos

Capítulo 6 – Exemplos de Utilização dos Critérios de Teste

de manipulação da SQL de uma mesma tabela e são colocados em diretórios denominados ciclo1 e organizados pelo nome de cada tabela.

int insemp (line) RECORD *line; /* 1 */ {

FILE * path = fopen("insemp/pathint.tes","a"); FILE * key = fopen("insemp/keyint.tes","a");

static int printed_nodes = 0; ponta_de_prova(3001);

fprintf(key,”3001 \n”); ponta_de_prova(1);

/* 1 */ he1 = atoi (line->e_emp_id); /* 1 */ he2 = atoi (line->e_manager_id);

. . .

/* 1 */ EXEC SQL WHENEVER SQLERROR GOTO end1; ponta_de_prova(2);

mhe1=he1; /* INSERT, DELETE, UPDATE */ itoa(mhe1,me_emp_id); /* int para char */

fprintf(key, "EMPLOYEE: %s \n",me_emp_id); /* 2 */ EXEC SQL INSERT INTO EMPLOYEE

( emp_id, manager_id, . . . ) VALUES ( :he1, :he2, . . . ); ponta_de_prova(3); /* 3 */ EXEC SQL COMMIT; /* 4 */ end1: ponta_de_prova(4); ponta_de_prova(5); fclose(path); fclose(key); /* 4 */ return (sqlca.sqlcode); /* 5 */ }

Exemplo 6.6 Função Insemp do Programa Mod3 re-instrumentada para o teste

de integração.

A organização dos arquivos para o teste de integração do Módulo Mod3 é mostrada

na Figura 6.4. Os arquivos dtuassoc.tes e dtupaths_intra.tes contêm os elementos requeridos dos critérios todos os t-usos-ciclo1-intra e todos os dtu-caminhos-intra, respectivamente.

Caminho Tuplas

Os arquivos que contêm os elementos requeridos dos critérios todos os t-usos- ciclo1-intra e todos os dtu-caminhos-intra são mostrados no Exemplo 6.7.

O Exemplo 6.7 mostra parte dos elementos requeridos para os critérios todos os t- usos; <3001,<2,3>,3016,(2,4),{EMPLOYEE}> é a associação entre as unidades 001 e 016 do Módulo 3. No par <2,3> ocorre a definição persistente da variável EMPLOYEE, na Unidade 001, e no arco (2,4) ocorre o uso da variável EMPLOYEE, na Unidade 016. O mesmo ocorre com os elementos requeridos para o critério todos os dtu-caminhos representados pela seguinte seqüência 3011 2 3 4 5 - 3016 1 11 12 18, onde a primeira seqüência 3011 2 3 4 5 é o dtu-caminho (2, 3, 4, 5) da Unidade 011 do Módulo 3 referente à definição-persistente de alguma variável tabela, e a seqüência 3016 1 11 12 18 é o dtu-caminho (1, 11, 12, 18) referente ao uso da variável persistente.

Figura 6.4 Organização dos arquivos utilizados para o teste de integração intra-modular.

Capítulo 6 – Exemplos de Utilização dos Critérios de Teste

ASSOCIACOES REQUERIDAS PELOS CRITERIOS TODAS DEF-T-USOS-INTRA EMPLOYEE Associacoes requeridas pelo Grafo(3001) - insemp

1) <3001,<2,3>,3001,(2,3),{EMPLOYEE}>

2) <3001,<2,3>, 3001,(2,4),{EMPLOYEE}>

. . .

14) <3001,<2,3>, 3016,(12,18),{EMPLOYEE}> Associacoes requeridas pelo Grafo(3006) 15) <3006,<2,3>,3001,(2,3),{EMPLOYEE}> 16) <3006,<2,3>,3001,(2,4),{EMPLOYEE}> . . .

28) <3006,<2,3>,3016,(12,18),{EMPLOYEE}> Associacoes requeridas pelo Grafo(3011) 29) <3011,<2,3>,3001,(2,3),{EMPLOYEE}> 30) <3011,<2,3>,3001,(2,4),{EMPLOYEE}> . . .

42) <3011,<2,3>,3016,(12,18),{EMPLOYEE}>

ASSOCIACOES REQUERIDAS PELOS CRITERIOS TODOS DTU-PATHS-INTRA - EMPLOYEE

Associacoes requeridas pelo Grafo(3001) - insemp 01) 3001 2 3 4 5 - 3001 1 2 3

02) 3001 2 3 4 5 - 3001 1 2 4 . . .

14) 3001 2 3 4 5 - 3016 1 11 12 18

Associacoes requeridas pelo Grafo(3006) - delemp 15) 3006 2 3 4 5 - 3001 1 2 3

16) 3006 2 3 4 5 - 3001 1 2 4 . . .

28) 3006 2 3 4 5 - 3016 1 11 12 18

Associacoes requeridas pelo Grafo(3011) - updemp 29) 3011 2 3 4 5 - 3001 1 2 3

30) 3011 2 3 4 5 - 3001 1 2 4 . . .

42) 3011 2 3 4 5 - 3016 1 11 12 18

Exemplo 6.7: Arquivos dos elementos requeridos pelos critérios todos os t-usos-ciclo1- intra e todos os dtu-caminhos-intra.

As informações de re-instrumentação são utilizadas no teste de integração intra- modular e no teste de integração inter-modular, além das informações sobre as tuplas utilizadas na execução de cada caso de teste.

3001 - Unidade (001) pertencente ao Módulo 3

No caso específico da variável tabela EMPLOYEE foram executados 65 casos de teste para satisfazer os elementos requeridos pelo teste de integração baseado na dependência de dados.

A Figura 6.5 mostra os arquivos Pathint.tes e Keyint.tes, gerados pela execução dos casos de teste referentes à tabela EMPLOYEE no teste de integração baseado na dependência de dados intra-modular. Esses arquivos armazenam as informações referentes aos caminhos e tuplas (para cada unidade envolvida no teste de integração), utilizadas na avaliação da cobertura dos elementos requeridos pelos critérios de teste de integração.

A avaliação da cobertura dos elementos requeridos pelos critérios propostos nesta tese foi realizada manualmente. Os elementos não exercitados são examinados isoladamente, analisando-se a possibilidade de serem exercitados por outros casos de teste. Neste caso, novos casos de teste são incluídos.

Sempre que executamos um mesmo conjunto de casos de teste em programas convencionais obtém-se a mesma cobertura. No caso do teste de programas de ABDR, devido à persistência da variável tabela, a execução de um mesmo conjunto de casos de teste pode ocasionar coberturas distintas. Assim, é necessário restaurar os estados iniciais das tabelas envolvidas no teste antes de iniciarmos a execução dos casos de teste. O estado inicial de cada tabela é denominado de estado “start”, que é o estado em que a tabela deve se encontrar no início do teste. O estado “start” da tabela é preparado com o menor número de elementos que represente todas as dependências e restrições do projeto lógico da base de dados. Para retornar ao estado “start”, após uma sessão de teste é preciso recuperar os valores de todos os elementos que foram modificados durante o teste.

Capítulo 6 – Exemplos de Utilização dos Critérios de Teste

A cobertura de cada critério é avaliada manualmente. Para simplificar a análise de cobertura foi criado um arquivo denominado aval_int que apresenta todos os elementos requeridos de um critério. A partir dos arquivos da Figura 6.5 é feita uma avaliação de quais elementos requeridos (do arquivo aval_int) foram exercitados. O arquivo aval_his contém as informações relacionadas à cobertura dos elementos requeridos e quais resultados foram obtidos para compará-los com os resultados esperados. O objetivo desse arquivo é simplesmente armazenar a avaliação de cobertura e os resultados do teste. No caso do teste de ABDR, existem elementos requeridos que não são exercitados com a mesma tupla; esses elementos podem ser descartados após algumas tentativas. Esses elementos forçam o testador a exercitar situações que podem revelar defeitos de implementação. Por exemplo, no comando DELETE ao eliminar uma tupla que é chave estrangeira (possui uma referência a outra tabela) neste caso a tupla não é removida.

Pathint.tes #1 3001 1 2 3 4 5 #2 3006 1 2 3 4 5 #3 3001 1 2 3 4 5 #4 3011 1 2 3 4 5 #5 3001 1 2 4 5 #6 3001 1 2 3 4 5 #7 3001 1 2 4 5 . . .

. #número do caso de teste

. número da unidade e seus respectivos caminhos executados Keyint.tes #1 3001 EMPLOYEE: 1900 #2 3006 EMPLOYEE: 1900 #3 3001 EMPLOYEE: 1900 #4 3011 EMPLOYEE: 1900 #5 3001 EMPLOYEE: 1900 . . .

. #número do caso de teste . número das unidades (3xxx)

. variável e tuplas utilizadas (ch primária)

Figura 6.5: Arquivos Pathint.tes e Keyint.tes informações sobre a execução do teste

O critério todos os t-usos-ciclo2-intra, que exercita as dependências múltiplas, foi aplicado ao Módulo Mod3, para a Unidade Selfin (3019) que emite um relatório referente às

tabelas FIN_CODE e FIN_DATE. Os elementos requeridos pelo critério de ciclo2-intra, apresentados no Exemplo 6.8, exercitam as associações ocasionadas pelas variáveis FIN_CODE e FIN_DATE em relação às unidades Insfinc (3005), Insfind (3006), Delfinc (3009), Delfind (3010), Updfinc (3014) e Updfind (3015).

ASSOCIACOES REQUERIDAS PELOS CRITERIOS TODAS DEF-T-USOS-CICLO2-INTRA FIN_CODE/ FIN_DATE

Associacoes requeridas pelo Grafo(3004/3005)

1) <3004, <2,3>, 3005, <2,3>, 3019, (2,3), {FIN_CODE,FIN_DATE}> 2) <3004, <2,3>, 3005, <2,3>, 3019, (2,8), {FIN_CODE,FIN_DATE}> Associacoes requeridas pelo Grafo(3009/3010)

3) <3009, <2,3>, 3010, <2,3>, 3019, (2,3), {FIN_CODE,FIN_DATE}> 4) <3009, <2,3>, 3010, <2,3>, 3019, (2,8), {FIN_CODE,FIN_DATE}> Associacoes requeridas pelo Grafo(3014/3015)

5) <3014, <2,3>, 3015, <2,3>, 3019, (2,3), {FIN_CODE,FIN_DATE}> 6) <3014, <2,3>, 3015, <2,3>, 3019, (2,18), {FIN_CODE,FIN_DATE}>

Exemplo 6.8: Arquivo dtuassoc.tes elementos requeridos do critério Todos os t-usos-ciclo2-intra

Este critério também pode ser aplicado quando existe a necessidade de se definir uma tabela para conseguir a associação-definição-t-uso de outra variável tabela.