Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Teste Funcional
Teste funcional aquele onde o objetivo verificar se uma dada implementao est de acordo com a sua respectiva especificao; Tambm conhecido como teste Black-Box; Um tipo de teste funcional o chamado teste formal. Nele, tanto as especificaes como os procedimentos de gerao de casos de teste so formalizados; A identificao dos casos de teste devem se basear nica e exclusivamente nas especificaes dos componentes de implementao.
Teste Funcional
As principais tcnicas de teste funcional so:
Testes Derivados de Especificao; Partio por Equivalncia; Anlise de Valores Limites; Teste Baseado em Estado-Transio.
Caso 2: Entrada -10, Retorno 0, Sada Erro Entrada Invlida atravs de PrintLine.
Testa a segunda e a terceira expresso da especificao;
Caso 2: Entrada -10, Retorno 0, Sada Erro Entrada Invlida atravs de PrintLine.
Testa i e b;
Caso 2: Entrada {Nmero prximo a e menor que 0}, Retorno 0. Sada Erro Entrada Invlida atravs de PrintLine.
Testa o limite superior de (i);
Caso 4: Entrada {Nmero prximo a e maior que 0}, Retorno {Raiz Positiva}.
Testa um valor prximo ao limite inferior de (ii);
Teste de Classe
MCGREGOR, J. D., AND SYKES, D. A. A Practical Guide to Testing ObjectOriented Software. Object Technology Series. Addison-Wesley, 2001.
Teste de Classe
Teste de classe compreende em verificar se uma dada implementao est de acordo com sua respectiva especificao; Caso a implementao da classe esteja correta, suas instncias se comportaro como especificado; Trataremos aqui de teste de classes (relativamente simples) baseado em execuo; Assumimos que a classe possui uma especificao correta e completa.
Execues:
Existem casos onde um grande esforo para identificao dos casos de teste requerido; Existem casos onde um grande esforo para construo dos drivers de teste requerido.
Contribuio (true, Post) (1, Post) (not 1, Exception) (not 1, Post) (1, Exception) (1 and 2, Post) (not 1 and 2, Exception) ... ... (1 and 2, Post) (not 1 and 3, Post) ...
Prog. Defensiva
X X X X ...
Contribuio
(Pr, 1 and 2) (Pr, 1) (Pr, 2) (Pr, 1 and 2) ... (Pr and , 2) (Pr and not , 3) ...
Velocity:: setDirection( dir: Direction) pre: 0 <= dir and dir < 360 post: direction = dir and speed = speed@ pre
O Algoritmo
Requisitos Para os Casos de Teste
Construir casos de teste para todos os mtodos de acesso da classe; Construir casos de teste que produzam todas as pscondies de um mtodo; Cada caso de teste dever conter uma expresso para verificar invariantes de classe; Construir casos de teste que comecem com cada estado inicial da representao de estados; Construir casos de teste que passem por todas as transies da representao de estados.
O Algoritmo
Fim!