Exemplo de automatização de testes e BDD