Los distintos tipos de pruebas en software