testes de unidade pro model com tamanho alterado, usando randoop