Pruebas

Pruebas que atrapan invariantes rotos

Un invariante roto se nota en la operación siguiente, no en la que lo rompe. Las pruebas que lo atrapan encadenan operaciones o comprueban el invariante entre ellas.

¿Qué pruebas atraparían el borrar_último que no baja cantidad?Borrar el último de un chat con un solo mensaje y comprobar que no hay errorBorrar el último y comprobar que ese mensaje ya no se muestraLlamar a comprobar(chat) después de cada operación de una secuencia al azarAgregar tres mensajes y leerlosBorrar el último, agregar uno y leer todos los mensajes en orden