O documento discute técnicas e estratégias para testes de software, enfatizando a importância de: 1) testar o código sistematicamente durante o desenvolvimento, 2) verificar limites e pré-condições, e 3) automatizar testes para validação contínua e prevenção de regressões.

1. Testes Prof. Dr. Alfredo Goldman Prof. Dr. Fabio Kon Departamento de Ciência da Computação IME / USP Lab. XP

6. Exemplo: int i; char s[MAX]; for(i=0; s[i] = getchar() != ‘’ && i < MAX - 1; i++); s[--i]=‘’; Primeiro erro fácil: // o = tem precedência menor do que o != for(i=0; (s[i] = getchar()) != ‘’ && i < MAX - 1; i++);

7. Exemplo: int i; char s[MAX]; for(i=0; i < MAX - 1; i++) if ((s[i] = getchar()) == ‘’) break; s[i]=‘’; Testes: linha vazia ok; 1 caractere ok; 2 caracteres ok; MAX caracteres ok e se o primeiro caractere já é o de fim de arquivo ?

8. Exemplo: int i; char s[MAX]; for(i=0; i < MAX - 1; i++) if (s[i] = getchar()) == ‘’ || s[i]==EOF) break; s[i]=‘’; Testes: ok. Mas o que se deve fazer se a string s fica cheia antes do ‘’ Depende, estes caracteres são necessários, ou não ?

14. Exemplo: int fatorial( int n){ int fac = 1; while (n--) { fac *= n; } return fac; }

21. Automação de testes Exemplo de script: for i in Ka_data.* # laço sobre os testes do old_ka $i > out1 # versao antiga new_ka $i > out2 # nova versao if !cmp -s out1 out2# compara then echo $i: Erro # imprime mensagem fi done

26. Testes de estresse Exemplos de erros que podem ser encontrados: char *p; p = (char *) malloc (x * y * z); Conversão entre tipos diferentes: Ariane 5 conversão de double de 64 bits em int de 16 bits => BOOM

45. O único conceito mais importante de testes é DO IT