Unidade VI. Técnicas de Teste de Software Teste Estrutural. Profa. Dra. Sandra Fabbri

Transcrição

1 Unidade VI Técnicas de Teste de Software Profa. Dra. Sandra Fabbri Os requisitos de teste são extraídos de uma implementação em particular Teste dos detalhes procedimentais A maioria dos critérios dessa técnica utiliza uma representação de programa conhecida como grafo de programa ou grafo de fluxo de controle

2 Existem duas categorias de teste estrutural: Baseado em Fluxo de Controle Baseado em Fluxo de Dados Critérios: - Todos os Comandos (ou Todos os Nós) - Todos os Ramos (ou Todos os Arcos) - Caminhos Básicos Grafo de Fluxo de Controle ou Grafo de Programa consiste de nós conectados por arcos com setas que mostram sua direção os nós representam blocos de comandos bloco de comando: é um conjunto de comandos tal que se o primeiro comando for executado, então todos os comandos subseqüentes também o serão os arcos indicam precedência, ou transferência de controle essa representação permite que o programa seja examinado independentemente de sua função

3 Construções Básicas do Grafo de Fluxo de Controle seqüência if while repeat case Exemplo de Construção do Grafo de Fluxo de Controle início fim leia nro raiz = raiz-quadrada(nro) escreva raiz Programa com um caminho

4 Exemplo de Construção do Grafo de Fluxo de Controle início fim leia nro se nro > 0 raiz = raiz-quadrada(nro) escreva raiz senão escreva mensagem de erro fim-se Programa com dois caminhos Exemplo de Construção do Grafo de Fluxo de Controle início fim leia nro enquanto nro 0 se nro > 0 raiz = raiz-quadrada(nro) escreva raiz senão escreva mensagem de erro fim-se leia nro fim-enqto Programa com loop 8

5 program exemplo(input, output); var a: array[..0] ofchar; x, i: integer; c, resposta: char; achou: boolean; begin writeln ( entre com um inteiro entre e 0 ); Programa com blocos marcados 8 readln (x); 9 while (x < ) or (x > 0) do 0 begin writeln ( entre com um inteiro entre e 0 ); readln (x) end; writeln ( digite, x, caracteres ); for i := to x do read (a[ i ]); readln; 8 repeat 9 writeln ( digite o caracter a ser pesquisado: ); 0 readln (c); 8 achou := FALSE; i := ; while (not(achou)) and (i <= x) do 9 begin if a[ i ] = c then 0 achou := TRUE else 8 i := i + 9 end; 0 ifachou then writeln ( o caracter,c, aparece na posicao, i) else writeln ( o caracter, c, não ocorre na string fornecida ); writeln; writeln ( deseja fazer a procura para outro caracter? [s/n] ); readln (resposta); until (resposta = n ) or (resposta = N ); 8 end. 8 Grafo de fluxo de controle r d h l f a b 8 9 e 0 n o q s u v i j 8 k w g t c m p 9 Teste de Comandos (Todos os Nós) Descrição: Estabelece como requisito de teste que sejam executados todos os comandos do programa ao menos uma vez Aplicação: é necessário concentrar-se nos comandos que são controlados por condições fornecer um valor para x que esteja fora do intervalo para forçar a execução dos comandos no loop (linhas -) quando x está dentro do intervalo, ele será no mínimo e o comando dentro do for (linha ) será executado 0

6 Teste de Comandos Aplicação (cont.): o comando if (linha ) precisa ser executado, com as alternativas then e else (linhas e 8) procurar por um caracter que esteja na cadeia e que force a procura dentro dela a entrada no while (linha ) é garantida o comando if (linha 0) precisa ser executado, com as alternativas then e else (linhas e ) um caracter que pertença e outro que não pertença à cadeia (combinando com o if anterior uma cadeia de caracteres a, de um caracter e valores para a variável c que ocorra e que não ocorra em a) por fim, é preciso terminar o loop para executar o comando end Teste de Comandos Dados de teste para o Teste de Comandos entrada x a c resposta saída esperada entre com um inteiro entre e 0 x x o caracter x aparece na posicao y a o caracter a não ocorre na string fornecida n Observação: é o nível mínimo de cobertura esperado no teste estrutural

7 Teste de Ramos (Todos os Arcos) Descrição: Estabelece como dados de teste exercitar todas as saídas verdadeiro e falso de todas as decisões Aplicação: é conveniente observar o grafo do programa observando o grafo, é necessário gerar dados de teste que causem as duas saídas verdadeiro e falso que ocorrem nos nós,, 9, 0, e para o nó, um valor da variável x menor que ou maior que 0 causa a saída pelo ramo verdadeiro e um valor de x dentro desse intervalo causa a saída pelo ramo falso o nó, comando for (linha ), terá as saídas verdadeiro e falso, desde que o valor de x seja ao menos (e terá que ser para chegar nesse ponto) Teste de Ramos Aplicação (cont.): para o nó 9, loop while (linha ), a saída verdadeiro (arco k) é garantida devido aos comandos das linhas e ; a saída falso (arco q) é garantida ou quando o caracter que está sendo procurado é encontrado ou quando o final da cadeia é encontrado o nó 0, if (linha ), requer uma comparação que encontre o caracter que está sendo procurado (arcos l, n) e uma outra que cause o incremento de i (arcos m, o) o nó (linha 0) precisa de um caracter que seja encontrado e um outro que não seja encontrado o nó requer pelo menos mais uma iteração do loop repeat (arco r) antes que o final do programa seja encontrado (arco w)

8 Teste de Ramos Dados de teste para o Teste de Ramos entrada x a c resposta saída esperada entre com um inteiro entre e 0 x x o caracter x aparece na posicao y a o caracter a não ocorre na string fornecida n Observação: o conjunto de dados de testes é o mesmo do Teste de Comandos, mas neste, o caracter a poderia ser fornecido através de outra execução do programa já no Teste de Ramos, a execução do loop repeat é obrigatória Teste do Caminho Base Descrição: esse critério fornece uma maneira de determinar um conjunto básico de caminhos linearmente independentes, de modo que executando-os garantese a execução de todos os comandos ao menos uma vez Esse número é determinado pela fórmula da Complexidade Ciclomática de Mc Cabe V(G) = a n + ou V(G) = P + ou V(G) = n o. de regiões sendo: G: um grafo direcionado a: arestas (ramos) n: nós P: no. de nós predicativos externa Região -Externa -Todo espaço cercado de nós e arestas Um caminho linearmente independente é aquele que contém ao menos um novo nó 8

9 Teste do Caminho Base Aplicação: V(G) = = V(G) = + = V(G) = n o. de regiões = a partir desse número deve-se escolher caminhos linearmente independentes do grafo: Teste do Caminho Base Observação: esse conjunto é conhecido como conjunto base a partir do qual qualquer outro caminho pode ser construído Por exemplo, o caminho: é uma combinação dos caminhos,, ( vezes) e neste caso, o conjunto de dados de teste é o mesmo do Teste de Ramos 8 9