Testing ML systems: procedures, methods and metrics