Melhorando testes da maquina de estados