Métodos Formales

Equipo 4

Conceptos Métodos formales: son técnicas de base

matemática para desarrollar sistemas de computadora.

Contradicciones: conjunto de sentencias que difieren entre sí.

Ambigüedades: sentencias que se pueden interpretar de varias maneras.

Vaguedad: se produce cuando la documentación es muy voluminosa

Matemáticas en el desarrollo del software

Una de sus ventajas es que proporciona una transición suave entre las actividades de ingenieria del sw

Las matemáticas proporcionan un elevado nivel de verificación cuando son usadas como medio de desarrollo del sw.

Preliminares matemáticos

El ingeniero de sw debe de tener un conocimiento razonable de la notación matemática asociada a los conjuntos y a las sucesiones.

Conjuntos y especificación constructiva

Un conjunto es una colección de objetos o elementos que se utiliza como la piedra angular de los métodos formales. Forman un grupo pequeño de elementos dentro de llaves, separando mediante comas sus elementos. Por ejemplo,

{C++, Pascal, Ada, Cobol, Java}

Operadores de conjuntos, lógicos

Se utiliza el mismo conjunto de símbolos en lo que es la representación de las operaciones conjuntos y las operaciones lógicas.

Cualquier ingeniero del sw entenderá el significado de los operadores lógicos comunes,

Operadores de conjunto: Є, ⊂, ⊆, ⋂, ⋃, Ø, \, × Operadores Logicos: ¬, ⋁, ⋀, ➾ Sucesión: cabeza, cola, frente, ultimo

Métodos Formales y Programación

El conjunto de asignaturas que los alumnos cursan en el área de programación y metodología de la programación se distingue de las demás porque

los programas obtenidos no pueden probarse por ejecución, pues se utiliza un pseudocódigo,

contradice en cierta forma el modo en el que los estudiantes han aprendido a programar en su primer año de carrera,

los métodos que se explican no se aplican habitualmente en otras asignaturas.

Lenguajes Formales De Especificación

Componentes primarios: Sintaxis.- define la notación específica con la cual

se representa la especificación. Semántica.- ayuda a definir un «universo de

objetos». Conjunto de relaciones.- define las reglas que

indican cuales son los objetos que satisfacen correctamente la especificación.

Mitos Sobre Los Métodos Formales

1. Garantizan la perfección del sw y hacen innecesaria su verificación.

2. Solo sirven para demostrar que los programas son correctos.

3. Sólo es necesario aplicarlos en sistemas donde la seguridad es crítica.

4. Sólo pueden ser aplicados por expertos en matemáticas.

5. La aplicación de métodos formales aumentan los costes de desarrollo.

6. No son bien vistos por los usuarios.7. No se aplican en sistemas reales de gran tamaño.8. Retrasan el desarrollo.

Los 10 Mandamientos De Los Métodos Formales

1. Seleccionaras la notación adecuada.2. Formalizaras, pero no de mas.3. Estimaras los costes.4. Poseerás un experto en métodos formales a tu

disposición.5. No abandonarás tus métodos formales de

desarrollo.6. Documentarás suficientemente.7. No comprometerás los estándares de calidad.8. No serás dogmático.9. Comprobarás, comprobarás y volverás a

comprobar.10. Reutilizarás cuanto puedas.

Ventaja

Ofrece un fundamento para entornos de especificación que dan lugar a modelos de análisis más completos, consistentes y carentes de ambigüedad, que aquellos que se producen empleando métodos convencionales u orientados a objetos.

Conclusiones

Los métodos formales se centra fundamentalmente en las funciones y los datos.

La especificación mediante métodos formales es más difícil de aprender que otros métodos de análisis.

Las especificaciones formales se pueden estudiar matemáticamente, mientras que las informales no pueden estudiarse de esta manera.