Siete Mitos De Los Metodos Formales

FACULTAD DE MATEMATICAS

LIC. ING. DE SOFTWARE

METODOS FORMALES EN ESPECIFICACION Y DISEÑO DE SOFTWARE

TAREA 1

“SIETE MITOS DE LOS METODOS FORMALES”

23/AGOSTO/11

En este artículo bastante interesante el autor nos habla de la polémica relacionada con los métodos formales. Existen muchas personas que están a favor debido a los beneficios que les ha proporcionado y muchas otrasestán en contra ya que tiene el conocimiento preconcebido de que las matemáticas son un tanto difíciles; nos dice que no existe evidencia real de que postura es la correcta.
El autor según nos informa ha tenido la oportunidad de tener buenas experiencias implementando los métodos formales y gracias a esta experiencia él se ha dado cuenta de que beneficios que les ha otorgado y también de quecreencias son realmente ciertas acerca de los métodos; todo este conocimiento que adquirieron los han querido redactar en este artículo dando una mirada practica a los métodos formales, para explicarlo mejor decidieron usar como ejemplo un proyecto llamado CASE.
Los siete mitos principales son variaciones de los siguientes:
* Los métodos formales garantizan que el software está perfecto.
* Losmétodos formales se centran en demostrar corrección.
* Los métodos formales son útiles solo para sistemas críticos.
* Los métodos formales requieren matemáticos entrenados.
* Los métodos formales aumentan el costo del desarrollo.
* Los métodos formales son incomprensibles para los usuarios.
* Los métodos formales no se usan en grandes proyectos reales.
A continuación daremosun pequeño resumen de lo que han descubierto en cada uno de los mitos.
1.- Los métodos formales garantizan que el software está perfecto.
Según nos platican un error importante en que desafortunadamente los que están a favor sostienen que los métodos formales ofrecen un garantía absoluta sobre que de ninguna otra forma se podría lograr, pero inmediatamente podemos refutar esto ya que sabemosque ningún software es perfecto.
Para entender mejor lo que es un método formal debemos aceptar que el mundo real no es un sistema formal en consecuencia las cosas no siempre salen como se esperan de modo que nunca se puede estar seguro de que una especificación es correcta no importa cuánto se pruebe acerca de ella.
Los modelos basados en la matemáticas son mejor entendidos para poderconfiarnos de ellos y cuando más experiencia tengamos con los métodos más confianza tendremos en estos modelos. Nos dan un ejemplo de un diseñador de una grúa usa un determinado modelo el cual hay forma de saber cómo se comportara la grúa real y aunque resulte un desastre nadie le sugeriría que los diseñadores abandonen las matemáticas.

2.- Los métodos formales se centran en demostrar corrección.Los métodos formales se tratan de especificaciones, el autor usa el termino métodos formales para describir el uso de las matemáticas en el desarrollo del software.
La verificación de programas solo es uno de los aspectos de los métodos formales no es su principal función como se piensa, mayormente la verificación es un aspecto muy importante en los sistemas críticos y poco importante en los queno lo son ya que el costo de remover errores es demasiado y crece constantemente al avanzar en el proyecto.
En fin la parte mas importante de un desarrollo formal es la especificación del sistema desde el punto de vista económico.

3.- Los métodos formales son útiles solo para sistemas críticos.
Las especificaciones formales son útiles para cualquier tipo de proyecto y se deben de usarsiempre y cuando el costo del fracaso sea alto, los cuales son:
1. De alguna forma críticos.
2. Replicados muchas veces.
3. Fijos en el hardware.
4. Dependientes de la calidad por motivos comerciales.
Cualquier software califica por alguno de estos motivos ya que todos deben garantizar calidad unos de los principales objetivos en la ingeniería de software.
La formalidad ofrece...