Saltar al contenido

Fuera del código

En una biblioteca, la ficha de cada libro dice en qué estantería está. El invariante: la ficha coincide con el sitio real del libro. Si alguien cambia un libro de estantería sin actualizar la ficha, nadie lo nota hasta que otra persona lo busca.

En un hospital, la ficha de cada cama dice qué paciente la ocupa. Un paciente se traslada y nadie actualiza la ficha de su cama anterior. ¿Qué comprobación detectaría el fallo en el traslado y no horas después?