Alguns testes para TxTCP