create abstract tests the program ATM