Diagnóstico

Un fallo que aparece en el lugar equivocado

En un programa, leer(chat, i) devuelve a veces un mensaje vacío. Las pruebas de leer pasan todas. El fallo solo aparece después de usar borrar_último y luego agregar.

leer devuelve a veces un mensaje vacío, sus pruebas pasan y el fallo solo aparece tras borrar_último y luego agregar. ¿Qué hipótesis y verificación eliges?El fallo depende de la máquina o de la memoria; ejecutar el programa en otro equipo y comparar los resultadosleer tiene un error propio que sus pruebas no cubren; ampliarlas con más posiciones y chats de distinto tamañoUna operación anterior deja el estado inválido; comprobar el invariante tras cada operación de la secuencia que fallaagregar escribe mal el mensaje cuando sigue a otra operación; leer el casillero justo después de cada agregar