Pruebas

Probar un diccionario ordenado

Un diccionario ordenado se puede probar contra un modelo simple: una lista sin orden donde buscar es recorrer. Si las dos estructuras dan las mismas respuestas tras miles de operaciones al azar, es muy probable que el orden se mantenga.

¿Qué pruebas comprueban el invariante del array ordenado?Comparar buscar y rango con una búsqueda lineal sobre los mismos datos, al azarTras cada inserción, comprobar que cada clave es menor que la clave siguienteInsertar una clave menor que todas, otra mayor y otra en medio, y recorrer comprobando el ordenInsertar claves que ya llegan en orden creciente y comprobar después la longitud del arrayBuscar una clave que sí está y comprobar que se encuentra, haciéndolo una sola vez