Una especificación formal usa notación matemática para describir de manera precisa las propiedades que un sistema de información debe tener, sin preocuparse por la forma de obtener dichas propiedades. Describe lo que el sistema debe hacer sin decir cómo se va a hacer.[1]
Esta abstracción hace que las especificaciones formales sean útiles en el proceso de desarrollar un sistema, porque permiten responder preguntas acerca de lo que el sistema hace con confianza, sin la necesidad de tratar con una gran cantidad de información no relevante que se encuentra en el código de programa del sistema en un lenguaje de programación cualquiera, o especular sobre el significado de frases en un impreciso pseudocódigo.[1]
Un especificación formal pueden servir como un punto de referencia fiable para quienes se dedican a investigar sobre los requerimientos del cliente que solicita el sistema, o para que los desarrolladores de este sepan satisfacer esos requerimientos, y también para los que redactan manuales de instrucciones para el sistema. Debido a que es independiente del código del programa, las especificaciones formales de un sistema pueden ser elaboradas a principios de su desarrollo; y puede ser un medio valioso para promover un entendimiento común entre todos los interesados en el sistema.[1]
Ventajas de una Especificación formal
A continuación se detallan algunas de las ventajas de realizar una especificación formal para el desarrollo de un sistema:[2]
Se proporciona información detallada sobre los requisitos del software y del diseño.
Las especificaciones formales pueden ser analizadas matemáticamente y puede demostrarse la consistencia y completitud de la especificación; luego es posible demostrar que la implementación corresponde a la especificación.
Las especificaciones formales pueden ser usadas como guía para el testing en la identificación de casos de prueba apropiados.
Las especificaciones formales pueden ser procesadas usando herramientas de software, esto hace posible efectuar animaciones de la especificación, proveyendo de esta forma un prototipo del software.
↑ J. Michael Spivey (1992). (Segunda edición). Prentice Hall International Series in Computer Science. ISBN9780139785290. Archivado desde el original el 9 de octubre de 2008. Consultado el 30 de abril de 2010.
(en inglés). Archivado desde el original el 4 de marzo de 2007. Consultado el 25 de abril de 2010.
Datos:Q1437424
Febrero 05, 2023
especificación, formal, especificación, formal, notación, matemática, para, describir, manera, precisa, propiedades, sistema, información, debe, tener, preocuparse, forma, obtener, dichas, propiedades, describe, sistema, debe, hacer, decir, cómo, hacer, esta, . Una especificacion formal usa notacion matematica para describir de manera precisa las propiedades que un sistema de informacion debe tener sin preocuparse por la forma de obtener dichas propiedades Describe lo que el sistema debe hacer sin decir como se va a hacer 1 Esta abstraccion hace que las especificaciones formales sean utiles en el proceso de desarrollar un sistema porque permiten responder preguntas acerca de lo que el sistema hace con confianza sin la necesidad de tratar con una gran cantidad de informacion no relevante que se encuentra en el codigo de programa del sistema en un lenguaje de programacion cualquiera o especular sobre el significado de frases en un impreciso pseudocodigo 1 Un especificacion formal pueden servir como un punto de referencia fiable para quienes se dedican a investigar sobre los requerimientos del cliente que solicita el sistema o para que los desarrolladores de este sepan satisfacer esos requerimientos y tambien para los que redactan manuales de instrucciones para el sistema Debido a que es independiente del codigo del programa las especificaciones formales de un sistema pueden ser elaboradas a principios de su desarrollo y puede ser un medio valioso para promover un entendimiento comun entre todos los interesados en el sistema 1 Ventajas de una Especificacion formal EditarA continuacion se detallan algunas de las ventajas de realizar una especificacion formal para el desarrollo de un sistema 2 Se proporciona informacion detallada sobre los requisitos del software y del diseno Las especificaciones formales pueden ser analizadas matematicamente y puede demostrarse la consistencia y completitud de la especificacion luego es posible demostrar que la implementacion corresponde a la especificacion Las especificaciones formales pueden ser usadas como guia para el testing en la identificacion de casos de prueba apropiados Las especificaciones formales pueden ser procesadas usando herramientas de software esto hace posible efectuar animaciones de la especificacion proveyendo de esta forma un prototipo del software Vease tambien EditarMetodos formales Lenguajes formales Lenguajes de especificacion Implementacion de referenciaReferencias Editar a b c J Michael Spivey 1992 The Z Notation A reference manual Segunda edicion Prentice Hall International Series in Computer Science ISBN 9780139785290 Archivado desde el original el 9 de octubre de 2008 Consultado el 30 de abril de 2010 Why formal specification en ingles Archivado desde el original el 4 de marzo de 2007 Consultado el 25 de abril de 2010 Datos Q1437424 Obtenido de https es wikipedia org w index php title Especificacion formal amp oldid 143784559, wikipedia, wiki, leyendo, leer, libro, biblioteca,
