En un tipo abstracto de datos, un invariante es:
- A.Un dato que nunca cambia.Respuesta correcta
- B.Es una propiedad que siempre se cumple, durante toda la existencia de las instancias del tipo abstracto de datos.
- C.Es la especificación lógica y matemática de sus mecanismos de persistencia.
- D.Ninguna de las anteriores.
Explicación
La respuesta correcta es A. En un tipo abstracto de datos, un invariante es una propiedad que debe mantenerse constante durante toda la vida de una instancia del tipo. Esta garantía es fundamental para asegurar la corrección y consistencia del comportamiento del tipo abstracto.