Projetar casos de teste inclui tanto o exercitar o software quanto determinar se o comportamento resultante é esperado. Capturar e comparar resultados pode ser complicado e difícil. Um oráculo é o principal mecanismo que usamos para dizer se o software se comporta ou não conforme o esperado. Sete tipos de oráculos e as formas que podem ser aplicados serão discutidos no mini-curso. O mini-curso irá abordar os sete tipos de oráculos (listados abaixo), explicando o que cada um é, e mostrando suas aplicações e mecanismos para usá-los. Os sete tipos são:
1. Completude
2. Heurística
3. Estatística
4. Consistência
5. Auto-verificação
6. Função inversa
7. Nenhum

Os participantes irão aprender:
- O escopo dos possíveis resultados que deverão ser verificados
- Diferentes mecanismos para gerar os resultados esperados
- Lidar com diferenças de potencial "normal" no resultado
- Formas em que os oráculos poderão ser aplicados
- Quando se verificar os resultados

Instrutor:
Douglas Hoffman - Com mais de 30 anos de experiência, Douglas atua como consultor na área de Qualidade de Software. Especialista em planejamento de táticas e estratégias de qualidade, ele é bastente reconhecido na área de testes e tem ministrado palestras em várias conferências internacionais. Profissionalmente, Douglas é líder ativo do ASQ (American Society for Quality) e tem participado do comitê de organização de várias conferências relacionadas com Qualidade.