Teste de Software 06: Adequação do Teste Marcelo d’Amorim

2 Resumo desta aula Apresentar terminologia sobre adequação e seleção de teste –Requisito e critério de adequação –Seleção e minimização de testes –Força (subsumption) do critério –Tipos de critério

3 Teste é incompleto É necessário uma medida que indique quão completo é o teste –Indica quando o testador deve parar de testar

4 Definição: Adequação Requisito de adequação (RA) –Condição sobre uma suíte de teste Critério de adequação –Uma suíte de teste é adequada quando (i) todos os testes passam e (ii) todo RA é satisfeito por pelo menos um caso de teste

5 Exemplo 01: public static String collapseSpaces(String argStr) { 02: char last = argStr.charAt(0); 03: StringBuffer argBuf = new StringBuffer(); 04: for (int i = 0; i < argStr.length(); i++) { 05: char ch = argStr.charAt(i); 06: if (ch != ’ ’|| last != ’ ’) { 07: argBuf.append(ch); 08: last = ch; 09: } 10: } 11: return argBuf.toString(); 12: } Velocity version 1.3, Apache Jakarta project.

6 Exemplo RA1: Não executar statements 7 e 8 RA2: Não executar statement 5 RA3: Executar statement 5

7 Exemplo Suíte adequada TC1: collapseSpaces(“ ”); TC2: collapseSpaces(“”); TC3: collapseSpaces(“adequacao do teste”);

8 Exemplo Suíte adequada TC1: collapseSpaces(“ ”); TC2: collapseSpaces(“”); TC3: collapseSpaces(“adequacao do teste”); TC1 sat. RA1 TC2 sat. RA1 e RA2 TC3 sat. RA3

9 Exemplo Outra suíte adequada TC1: collapseSpaces(“ ”); TC2: collapseSpaces(“”); TC3: collapseSpaces(“adequacao do teste”); TC1 sat. RA1 TC2 sat. RA1 e RA2 TC3 sat. RA3 ×

10 Exemplo Outra suíte adequada TC1: collapseSpaces(“ ”); TC2: collapseSpaces(“”); TC3: collapseSpaces(“adequacao do teste”); TC1 sat. RA1 TC2 sat. RA1 e RA2 TC3 sat. RA3 Minimização (Seleção) de suíte de teste preocupa-se em reduzir o número de testes necessários para atender os requisitos de adequação.

11 Notas importante O conceito de critério de adequação não é aplicado apenas para código! Nem sempre é viável obrigar uma teste suíte atender a todos os requisitos (RA)!

12 Força de critérios de adequação Uma definição: –revela mais erros Em geral, não é possível medir se uma suite é mais forte que outra TC_a TC_b incomparáveis

13 Definiçao: Ca mais forte que Cb se e somente se para qualquer programa P, qualquer suíte que satisfaz Ca também satisfaz Cb. Força de critérios de adequação

14 Quiz Lembrar –RA1: Não executar statements 7 e 8 –RA2: Não executar statement 5 –RA3: Executar statement 5 Dados C1 = {RA2, RA3} e C2 = {RA1, RA3} C1 é mais forte que C2?

15 Quiz Lembrar –RA1: Não executar statements 7 e 8 –RA2: Não executar statement 5 –RA2: Executar statement 5 Dados C1 = {RA2, RA3} e C2 = {RA1, RA3} C1 é mais forte que C2? –RA2 => RA1 –RA2 é mais forte que RA1

16 Resumo desta aula Apresentar terminologia sobre adequação e seleção de teste –Requisito e critério de adequação –Seleção/minimização –Força (subsumption) do critério –Tipos de critério