• Capítulo 5. Fundamentos de Verificación de Programas

    Comprender los fundamentos de la verificación formal de programas, diferenciándola de las pruebas de software, mediante el estudio de la correctitud parcial y total, los estados de un programa, las aserciones, las precondiciones y postcondiciones, las tripletas de Hoare, la lógica de Hoare y la razón de correctitud, para analizar y justificar formalmente el comportamiento correcto de los programas.

    • Objetivo específico de la clase

      Aplicar contratos en funciones y métodos mediante precondiciones y postcondiciones, e introducir la lógica de Hoare para analizar la correctitud de los programas.

      Temas

      Contratos en funciones y métodos 

      Precondiciones y postcondiciones en Java

      Validación de condiciones y casos de prueba

      Introducción a las tripletas y la lógica de Hoare 

      Aplicación de contratos a funcionalidades del proyecto

    • Clase 4-C2. Contratos en funciones y metodos File
    • Ejercicios de Participación File