2.16.10 SE/Métodos Formales

Temas:
Electivo

• Los tópicos listed a continuación tienen una fuerte dependencia con el material del Área de Conocimiento de Estructuras Discretas (DS).
• El rol de la especificación formal y técnicas de análisis en el ciclo de desarrollo de software
• Lenguajes controlar (assert) en un programa y abordajes de análisis (incluyendo lenguajes para escribir y analizar pre y post condiciones tales como OCL, JML)
• Abordajes formales para modelamiento y análisis de software.
  1. Verificadores de modelos Model checkers
  2. Buscadores de Modelo Model finders
• Herramientas para el soporte de métodos formales.

Objetivos de Aprendizaje (Learning Outcomes):
Elective:

1. Describir la especificación formal del rol y técnicas de análisis que pueden jugar en el desarrollo de software complejo y comparar su uso como técnicas de validación y verificación con pruebas [Familiarizarse]
2. Aplicar especificación formal y técnicas de análisis para diseños de software y programas con baja complejidad [Usar]
3. Explicar los beneficios potenciales y desventajas de usar lenguajes de especificación formal [Familiarizarse]
4. Crear y evaluar validaciones de programa para una variedad de comportamientos que van desde lo simple hasta lo complejo [Usar]
5. Usando un lenguaje de especificación formal, formular la especificación de un sistema de software simple y derivar ejemplos de casos de prueba a partir de la especificación [Usar]