Docsity
Docsity

Prepara tus exámenes
Prepara tus exámenes

Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity


Consigue puntos base para descargar
Consigue puntos base para descargar

Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium


Orientación Universidad
Orientación Universidad

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

Primera entrega de la materia de análisis y verificación del algoritmos - virtual

Tipo: Exámenes

2023/2024

Subido el 24/06/2024

malcom-andres
malcom-andres 🇨🇴

1 / 1

Toggle sidebar

Esta página no es visible en la vista previa

¡No te pierdas las partes importantes!

bg1

Vista previa parcial del texto

¡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