Inferencia Inductiva de la Especificación: una propuesta para evaluar pruebas de caja negra