Ajustes nos testes, inclusão de cabeçalho e formatação do código-fonte