Partição de equivalência, valor limite, tabela de decisão, transição de estado, pairwise. ← rever o módulo