Teste estrutural. Teste baseado na estrutura do código Mais precisamente, Critério de adequação baseia-se no código!

Transcrição

1 Teste Estrutural

2 Teste estrutural Teste baseado na estrutura do código Mais precisamente, Critério de adequação baseia-se no código! 2

3 Teste estrutural Estrutura de um programa é um grafo Exemplos: Organização em árvore de pacotes e classes Parser gera uma AST Fluxo de controle de um método define CFG Fluxo de chamada de métodos define CG 3

4 ( CFG ) Control-Flow Graph stmt0; while (conda){ if (condb){ stmt1; stmt2; stmt3; stmt4 4

5 CFG stmt0; while (conda){ if (condb){ stmt1; stmt2; stmt3; stmt4 stmt1; condb stmt0 conda stmt4 stmt2; stmt3 5

6 Simplificação didática Testar a estrutura de um programa equivale a testar um grafo O que é um teste? (Para um grafo) 6

7 Simplificação didática Testar a estrutura de um programa equivale a testar um grafo O que é um teste para um grafo? Sequência de transiçoes a partir do nó inicial que termina em uma folha 7

8 Simplificação didática Testar a estrutura de um programa equivale a testar um grafo Model checkers de programas (ferramentas que geram sistematicamente testes) usam o mesmo princípio. Exemplos: Java PathFinder (Java), Verisoft (C), Spin (Promela). 8

9 Cobertura de Grafos a stmt0 t0 conda t4 t1 b t6 stmt1; condb stmt4 t2 c t5 f stmt2; d stmt3 t3 e 9

10 Cobertura de Grafos t4 t1 a b t0 t6 Exemplo de teste t0, t6 t2 c t5 f d t3 e 10 10

11 Critérios de adequação de grafo Nó Transição Caminho 11

12 Critérios de adequação de grafo Nó Teste suíte TS é adequada a nó se para cada nó n no grafo G existe ao menos um teste t em TS que cobre n Transição Caminho 12

13 Critérios de adequação de grafo Nó Teste suíte TS é adequada a nó se para cada nó n no grafo G existe ao menos um teste t em TS que cobre n Transição Caminho Grafo com ciclo possui número infinito de caminhos 13

14 Ciclos Problema: Como medir cobertura de caminho? Grafo com ciclos contém infinidade de caminhos Solução comum: Limitar o número de iterações! Transforma um grafo em uma árvore 14

15 Exercício Reporte suíte de teste adequada a nó Reporte suíte de teste adequada a transição Existe suíte de teste adequada a caminho? Existe suíte de teste adequada a caminho de até N transições? a t0 t4 b t1 t6 c t2 d t3 f t5 e 15 15

16 Caminhos inalcançáveis Há caminhos inalcançáveis no programa: não há execução que o visite. 16

17 Caminhos inalcançáveis if (a < 0) { a = 0; if (a > 10) { a = 10; skip(); a = 0 a < 0 a = 10 a > 10 skip 17

18 Caminhos inalcançáveis Enumere os caminhos do grafo a < 0 a = 0 a > 10 a = 10 skip 18

19 Caminhos inalcançáveis Enumere os caminhos do grafo a < 0 a = 0 a > 10 a = 10 skip 19

20 Caminhos inalcançáveis if (a < 0) { a = 0; if (a > 10) { a = 10; skip(); Todos estes caminhos são alcancáveis? 20

21 Caminhos inalcançáveis Estes caminhos são alcancáveis? if (a < 0) { a = 0; if (a > 10) { a = 10; skip(); ( 10 > NOT(a a < 0 => 21

22 Lista incompleta de critérios de adequação estruturais para programa Statement Basic-Block Branch Basic condition Compound condition MC/DC Path Boundary-Interior Loop boundary Call 22

23 Lista incompleta de critérios de adequação estruturais para programa Statement Basic-Block Branch Basic condition Compound condition MC/DC Path Boundary-Interior Loop boundary Call Basic-block subsumes Statement Branch subsumes Basic-block 23

24 Cobertura baseada em Condições Lógicas Terminologia Condições básicas e compostas Exemplo: (((a b) && c) d) && e a, b, c, d, e são condições básicas (a b) é uma condição composta 24

25 Cobertura baseada em Condições Lógicas Basic condition Requer que toda condição básica seja satisfeita pela execução de algum teste Compound Condition Requer que toda condição composta seja satisfeita pela execuçao de algum teste MC/DC Requer que para cada condição básica C tenham-se 2 casos de teste que fixem o valor de todas as outras condições básicas. Os testes devem variar o resultado de C e o resultado de toda expressão. RTCA/DO-178B, EUROCAE ED-12b 25

26 MC/DC Objetivo é isolar efeito de cada condição básica no resultado de toda expressão 26

27 Exercício Gerar suíte de teste adequada a (i) basic condition, (ii) compound condition, e (iii) MC/DC para o bloco abaixo { { else{ ( e&&( d ( c&&( b a ))))if 27

28 Solução ( e ((((a b) && c) d) && a b c d e T a b c d e T

29 Resumo Várias formas de se medir cobertura de código Ciclos Caminhos inalcançáveis 29

30 EXERCÍCIO MONTAR A SUITE DE TESTE PARA CALCULO DV CPF

31 Fatorial public int fatorial(int valor){ int fat=1; if (valor<0){ System.out.println("Valor Negativo!!! Não é válido!!!"); fat=-1; else { if (valor==0 valor==1) return fat; else while (valor>0){ fat+=(fat*valor); valor--; return fat;

32 public int fatorial(int valor){ int fat=1; if (valor<0){ System.out.println("Valor Negativo!!! Não é válido!!!"); fat=-1; else { if (valor==0 valor==1) return fat; else while (valor>0){ fat+=(fat*valor); valor--; return fat; Caminhos Básicos 1. 1, 2, , 3, 5, , 3, 4, 5, , 3, 4, 6, , 3, 4, 6, 7, 8,..., 6, 9

33 Caminhos Básicos Entradas 1. 1, 2, 9 1. valor = -2 -> -1 "Valor Negativo!!! Não é válido!!!" 2. 1, 3, 5, 9 2. valor = 0 -> , 3, 4, 5, 9 3. valor = 1 -> , 3, 4, 6, 9 4. Inválido. Deveria entrar no while 5. 1, 3, 4, 6, 7, 8,..., 6, 9 5. valor = 5 -> 120 public int fatorial(int valor){ int fat=1; if (valor<0){ System.out.println("Valor Negativo!!! Não é válido!!!"); fat=-1; else { if (valor==0 valor==1) return fat; else while (valor>0){ fat+=(fat*valor); valor--; return fat;

34 Exercício: Calculo DV CPF public class ValidaCPF { public static boolean iscpfvalido(string CPF) { // considera-se erro CPF's formados por uma sequencia de numeros iguais if (CPF.equals(" ") CPF.equals(" ") CPF.equals(" ") CPF.equals(" ") CPF.equals(" ") CPF.equals(" ") CPF.equals(" ") CPF.equals(" ") CPF.equals(" ") CPF.equals(" ") (CPF.length()!= 11)) return(false); char dig10, dig11; int sm, i, r, num, peso; // "try" - protege o codigo para eventuais erros de conversao de tipo (int) try {

35 Calculo DV CPF try { // Calculo do 1o. Digito Verificador sm = 0; peso = 10; for (i=0; i<9; i++) { // converte o i-esimo caractere do CPF em um numero: // por exemplo, transforma o caractere '0' no inteiro 0 // (48 eh a posicao de '0' na tabela ASCII) num = (int)(cpf.charat(i) - 48); sm = sm + (num * peso); peso = peso - 1; r = 11 - (sm % 11); if ((r == 10) (r == 11)) dig10 = '0'; else dig10 = (char)(r + 48); // converte no respectivo caractere numerico

36 Calculo DV CPF // Calculo do 2o. Digito Verificador sm = 0; peso = 11; for(i=0; i<10; i++) { num = (int)(cpf.charat(i) - 48); sm = sm + (num * peso); peso = peso - 1; r = 11 - (sm % 11); if ((r == 10) (r == 11)) dig11 = '0'; else dig11 = (char)(r + 48); // Verifica se os digitos calculados conferem com os digitos informados. if ((dig10 == CPF.charAt(9)) && (dig11 == CPF.charAt(10))) return(true); else return(false); catch (InputMismatchException erro) { return(false);

37 Calculo DV CPF // Verifica se os digitos calculados conferem com os digitos informados. if ((dig10 == CPF.charAt(9)) && (dig11 == CPF.charAt(10))) return(true); else return(false); catch (InputMismatchException erro) { return(false);