A pair-wisegarante que todas as combinações de valores sejam exercitadas por, no mínimo, um caso de testes.
B each-choice(cada escolha) garante que cada valor definido para cada bloco é exercitado por, no mínimo, um caso de testes.
C base-choice(escolha base) gera casos de testes a partir de uma escolha base, variando todos os elementos da tupla de teste, exceto um, por elementos não base.
D multiple-base-choice(escolha base múltipla) permite que sejam gerados casos de testes a partir de uma escolha base, variando múltiplos valores.