Primera entrega semana 4, Exámenes de Algoritmos y Programación

¡Descarga Primera entrega semana 4 y más Exámenes en PDF de Algoritmos y Programación solo en Docsity!

LÓGICA DE HOARE Marco lógico para razonar sobre la corrección de pragromos, Elementos Clave: + Triple de Hoore: (PJ € (Q) > P Precondición + C: Comando o programa + Q Postcondición VERIFICACIÓN FORMAL DE PROGRAMAS Es este el proceso de utilizar métodos mat demostrar lo corrección de programas 'máticos para TEOREMA DE INVARIANZA Utllizado poro verificar bucles. Propiedades del Invarionte + Debe ser verdadero antes de la primera iteración + Si es verdodero antes de uno iteración, sigue siendo después de la verdadero iteración + Combinado con la condi dido, implica ta postcondi f (métoDOS DE VERIFICACIÓN + Verificación Automatizada: Uso de herromientos y softwore pora verificar lo corrección de progromos. + Verificación Manual: Proc de verificación realizado por humanos mediante pruebas y revisiones ¡APLICACIONES Y BENEFICIOS » Fiabilidad: Garantiza que los progromos funcionen según lo esperado. Seguridad Importante en sistemas críticos donde los errores pueden catastróficos TIPOS DE CORRECCIÓN + Correctitud Funcional. Verificación de que el programa produce los resultados correctos. + Correctitud Temporal Verificación de que el programa cumple con restricciones temporales