Testes da class ATM