5.13.10 SE/Métodos Formales.

Tópicos

• Conceptos de métodos formales.
• Lenguajes de especificación formal.
• Model checking.
• Especificaciones ejecutables y no ejecutables.
• Pre-aserciones y post-aserciones.
• Verificación formal.
• Tools en el soporte a métodos formales.

Objetivos

• Aplicar técnicas de verificación formal a segmentos de software con baja complejidad.
• Discutir el rol de las técnicas de verificación formal en el contexto de la validación de software y comparar los beneficios con los de model checking.
• Explicar los beneficios potenciales y los defectos de usar lenguajes de especificación formal.
• Crear y evaluar pre y post-aserciones para una variedad de situaciones desde lo simple hasta lo complejo.
• Usar un lenguaje de especificación formal común, formular la especificación de un sistema de software y demostrar los beneficios desde una perspectiva de calidad.