Metodos formales
Descargar como PPT, PDF0 recomendaciones611 vistas
Este documento define los métodos formales como procesos formales para desarrollar programas utilizando notación matemática y pruebas. Explica brevemente la historia de los métodos formales y sus usos en especificaciones, pruebas de correspondencia de código y políticas de seguridad. También resume algunas ventajas como una mejor comprensión del sistema y desventajas como mayor complejidad y costo.
Metodos formales
- 1. HERRAMIENTAS DE SOFTWARE FABIO MARIN JONNATHAN VELASQUEZ
- 2. DEFINICIÓN • En Ingeniería de sistemas un método formal es un proceso que se aplica para desarrollar programas, que explota el poder de la notación y de las pruebas matemáticas. Además los requisitos, la especificación y el sistema completo deben validarse son las necesidades del mundo real.
- 3. HISTORIA • En 1967, Robert Floyd propuso utilizar lo que se denominó método de aserciones intermedias como una manera de estudiar las propiedades de los programas. Destacó la posibilidad de definir la semántica de las operaciones mediante reglas lógicas afirmando que estas aserciones son válidas después de ejecutarse las operaciones basándose en la información de las aserciones que son válidas antes de ejecutarse dichas operaciones. • Estas ideas fueron perfeccionadas por Hoare dando lugar al método axiomático (precondiciones E/S) donde introdujo la idea de "invariante".
- 4. • En 1976, Edsger Dijkstra, presentó un método formal llamado precondición más débil, basado en la transformación de predicados wp (weakest precondition). De esta manera rompía con las ideas de verificación a posteriori de Floyd y Dijkstra. La idea principal era invertir los métodos de ambos de tal manera que se pudiera derivar la precondición a partir de la postcondición.
- 5. USOS METODOS FORMALES • POLITICAS: Es un sistema seguro se convierte en las principales propiedades de seguridad que este debe conservar el modelo de políticas de seguridad formal, como confidencialidad o integridad de datos. • ESPECIFICACIÓN: Es una descripción matemática basada en el comportamiento del sistema, que utiliza tablas de estado o lógica matemática.
- 6. • PUEBAS DE CORRESPONDENCIA DEL CODIGO FUENTE : Aunque muchas técnicas formales se crearon inicialmente para probar la correctitud del código, pocas veces se logra debido al tiempo y el costo implicados, pero pueden aplicarse a los componentes críticos del sistema. • PRUEBAS DE CORRESPONDENCIA ENTRE EL CODIGO DE MAQUINA Y EL CODIGO FUENTE : Este tipo de pruebas raramente se aplica debido al costo, y a la alta confiabilidad de los compiladores modernos.
- 7. MANDAMIENTOS METODOS FORMALES • Adoptada por bowen y hinchley • 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 abandonaras tus métodos formales de desarrollo
- 8. • 6.) Documentaras suficientemente • 7.) No comprometerás los estándares de calidad • 8.) No serás dogmatico • 9.) Comprobaras , comprobaras y volverás a comprobar • 10.) Reutilizaras cuando puedas
- 9. VENTAJAS • Se comprende mejor el sistema. • La comunicación con el cliente ya que se dispone de una descripción clara y no ambigua a lo requisitos del usuario. • El sistema se describe de una manera mas precisa. • Mayor productividad. • Mayor calidad del software respecto al cumplimiento de las especificaciones.
- 10. DESVENTAJAS • Los investigadores por lo general no conocen la realidad industrial. • Se considera que la aplicación de métodos formales encarece los productos y ralentizar su desarrollo. • El desarrollo de herramientas que apoyen la aplicación de métodos formales es complicado y los programas resultantes son incómodos para los usuarios.
- 11. BIBLIOGRAFIA • http://trevinca.ei.uvigo.es/~alma/docencia/mfes /Trabajos/IS_MF.pdf • http://redalyc.uaemex.mx/src/inicio/ArtPdfRed.j sp?iCve=194214476008 • http://www.rodolfoquispe.org/blog/que-son-los- metodos-formales.php