Comprende un conjunto de actividades que conducen a la
especificación matemática del software de computadora. Los métodos formales
permiten que un ingeniero de software especifique, desarrolle y verifique un
sistema basado en computadora aplicando una notación rigurosa y matemática.
Algunas organizaciones de desarrollo del software
actualmente aplican una variación de este enfoque, llamado ingeniería del
software de salida limpia.
Cuando se utilizan métodos formales durante el
desarrollo, proporcionan un mecanismo para eliminar muchos de los problemas que
son difíciles de superar con paradigmas de la ingeniería del software. La
ambigüedad, lo incompleto y la inconsistencia se descubren y se corrigen más
fácilmente, no mediante una revisión a propósito para el caso, sino mediante la
aplicación del análisis matemático. Cuando se utilizan métodos formales durante
el diseño, sirven como base para la verificación de programas y por
consiguiente permiten que el ingeniero del software descubra y corrija errores
que no se pudieron detectar de otra manera.
Aunque todavía no hay
un enfoque establecido, los modelos de métodos formales ofrecen la promesa de
un software libre de defectos. Sin embargo, se ha hablado de una gran
preocupación sobre su aplicabilidad en un entorno de gestión.
- El desarrollo de modelos formales actualmente es bastante caro y lleva mucho tiempo.
- Se requiere un estudio detallado porque pocos responsables del desarrollo de software tienen los antecedentes necesarios para aplicar métodos formales.
- Es difícil utilizar los modelos como un mecanismo de comunicación con clientes que no tienen muchos conocimientos técnicos.
No obstante es posible que el enfoque a través
de métodos formales tenga más partidarios entre los desarrolladores del
software que deben construir software de mucha seguridad (por ejemplo: los
desarrolladores de aviónica y dispositivos medíos), y entre los desarrolladores
que pasan grandes penurias económicas al aparecer errores de software.
Figura 1: Modelo de Métodos Formales
No hay comentarios:
Publicar un comentario