Documente Academic
Documente Profesional
Documente Cultură
formales
Métodos
Formales
1
Especificaciones formales
“Las especificaciones formales usan notación matemática para describir de
forma precisa las propiedades que debe tener un sistema de información, sin
restringirse indebidamente por la forma en que se logran estas propiedades”
(Spivey, 1989, p. 1).
comportamiento funcional;
estructura interna;
estados del sistema.
Requisitos Código
Requisitos Especificación/modelo Código
Notación matemática.
Estructuras de datos definidas:
o conjuntos;
o relaciones;
o funciones.
2
Especificación del comportamiento basado en expresiones lógicas
(lógica de primer orden) y en el álgebra.
Todo esto es lo que nos va a permitir razonar acerca de las propiedades del
sistema así (matemáticamente) expresadas. Estos razonamientos tienen
como fin probar la adecuación a los requisitos; se pueden probar, entre
otros, los siguientes:
3
Lo hasta aquí expresado es válido para métodos formales, con sus
correspondientes formas de especificar formalmente, como Z, VDM o
Larch, que hacen foco principalmente en modelar el comportamiento de
sistemas secuenciales. Los sistemas secuenciales son aquellos en que las
salidas dependen de los valores de entrada y de los valores de las variables
internas que forman el estado. El estado interno, o estado de un sistema,
es la unión de la información que posee en dicho momento, o dicho de
otra forma, el valor que asumen sus variables. Por lo tanto, los estados
posibles pueden ser infinitos.
Referentes al estado:
4
Referentes al comportamiento:
Los conjuntos:
Nombres Fechas
. Juan M. . 12/05/1990
. Lucas E. . 21/07/1985
. Marcela J. . 04/01/2001
5
Figura 3: Relación entre los conjuntos
Nombres Fechas
. Juan M. . 12/05/1990
. Lucas E. . 21/07/1985
. Marcela J. . 04/01/2001
6
Bibliografía de referencias
Kemmerer, R. A. (1985). Testing Formal Specifications to Detect Design
Errors. IEEE Transactions on Software Engineering, 11(1), 32-43.
Recuperado de
https://www.computer.org/csdl/trans/ts/1985/01/01701896.pdf