Gerar casos de teste a partir de critérios de aceitação