Buenas, mi duda es sobre la letra, no entiendo que pregunta, a que se refiere con parciales o totales?
En respuesta a Pablo Javier Paris Romero
Re: Practico 3 Ej1)b)
Por lo que entiendo de la letra cuando dice (que contemplan precondiciones), me imagino que Totales es cuando tenés que hacer todas las verificaciones, por ejemplo que una lista no este vacía, que un puntero no sea null, etc.;y Parciales cuando asumís precondiciones y no tienes que hacer dichas verificaciones.
Hola Pablo, primero aclaremos qué es una precondición y postcondición.
La precondición expresa lo que debe ser cierto antes que comience la ejecución de la función o procedimiento para que la postcondición sea válida. La postcondición hace referencia a cómo queda el sistema luego de ejecutada la función o procedimiento.
Cuando una función o procedimiento tiene precondiciones decimos que es parcial y no total, ya que en caso de no cumplirse las precondiciones no podemos asegurar que el resultado final sea correcto (que se cumpla la postcondición).
Por ejemplo, en la parte III (insOrd) se aclara que la lista l de entrada debe estar ordenada. Qué pasa si la lista no está ordenada? Cómo quedaría la lista luego de ejecutado el procedimiento?
Analiza esos casos, te ayudará a determinar si dicho procedimiento es parcial o total.
La precondición expresa lo que debe ser cierto antes que comience la ejecución de la función o procedimiento para que la postcondición sea válida. La postcondición hace referencia a cómo queda el sistema luego de ejecutada la función o procedimiento.
Cuando una función o procedimiento tiene precondiciones decimos que es parcial y no total, ya que en caso de no cumplirse las precondiciones no podemos asegurar que el resultado final sea correcto (que se cumpla la postcondición).
Por ejemplo, en la parte III (insOrd) se aclara que la lista l de entrada debe estar ordenada. Qué pasa si la lista no está ordenada? Cómo quedaría la lista luego de ejecutado el procedimiento?
Analiza esos casos, te ayudará a determinar si dicho procedimiento es parcial o total.