test_TicketManager