2.13.21 SE/Métodos Formales

Temas:
Non Core

• Especificación formal de interfaces
  1. Especificación de pre y post condiciones
  2. Lenguajes formales para escribir y analizar pre y post condiciones.
• áreas de problemas bien atendidas por los métodos formales
  1. Programación libre de bloqueos (lock-free), condiciones de carrera de datos
  2. Sistemas asíncronos y distribuidos, bloqueos (deadlock), bloqueos vivos (livelock), etc.
• Comparación con otras herramientas y técnicas para la detección de defectos
  1. Pruebas
  2. Fuzzing
• Enfoques formales para el modelado y análisis de software
  1. Verificadores de modelos (model checkers)
  2. Buscadores de modelos (model finders)

Aprendizaje esperado (Learning Outcomes):
NonCore:

1. Describir el papel que las técnicas de especificación y análisis formal pueden desempeñar en el desarrollo de software complejo y comparar su uso como técnicas de validación y verificación con las pruebas [Describir]
2. Aplicar técnicas de especificación y análisis formal a diseños y programas de software de baja complejidad [Aplicar]
3. Explicar los beneficios y desventajas potenciales del uso de lenguajes de especificación formal [Explicar]