P2: generador de tests y el tester