ESPECIFICACIONES BASADAS EN MODELOS:
Consisten en especificar un sistema en términos de su estado y las transformaciones de ese estado:
- El estado del sistema se define por un conjunto de variables
- Las transformaciones del estado se definen mediante un conjunto de operaciones.
- El estado del sistema es modelado usando entidades matemáticas
- Ej., conjuntos, funciones, relaciones, secuencias, etc.
Lenguajes de especificación basados en modelos:
- VDM (Vienna Development Method)
- Notación Z
LA NOTACION Z:
- Está basada en la teoría de conjuntos y la lógica de predicado ó1er. orden.
- Desarrollada por el Grupo de Programación de la Universidad de Oxford, Inglaterra.
- Una especificación elaborada en Z consiste de una colección de esquemas.
- Un esquema en Z es un constructo usado para representar las propiedades estáticas o dinámicas de los tipos de objetos del dominio de aplicación del sistema.
Se emplean dos tipos de esquemas para cada tipo de objeto modelado:
- Un esquema estático que modela las propiedades estáticas del tipo de objetos, incluyendo sus estados y las relaciones invariantes que se preservan ante los cambios de estado.
- Uno o más esquemas dinámicos, cada uno de los cuales modela una operaciones del tipo de objeto.
Validación de requerimientos
- "...es el proceso de determinar que la especificación es consistente con la definición de los requerimientos; esto es, la validación asegura que los requerimientos satisfacerán las necesidades del cliente". [PFL98].
- Involucra, al menos, tres pasos:
- Asegurar que cada especificación del DER está asociado a un requerimiento del DDR.
- Verificar el DDR para asegurarse que cada requerimiento está vinculado con las especificaciones del DER.
- Asegurarse, a través de una revisión de requerimientos, que tanto la definición (DDR) como la especificación (DER) cumple los criterios de calidad de requerimientos indicados anteriormenteTécnicas de validación de requerimientos:
-
-
- Técnicas manuales:
- Lectura del DDR y DER
- Verificación de las referencias cruzadas entre ambos documentos
- Entrevistas
- Revisión de requerimientos
- Listas de chequeo o verificación
- Modelos manuales para verificar funciones y relaciones
- Escenarios
- Pruebas matemáticas
-
-
- Verificación automática de referencias cruzadas
- Prototipos
Aspectos de la Revisión de Requerimientos:
- Revisar las metas y objetivos establecidos para el sistema en desarrollo
- Comparar los requerimientos definidos con las metas y objetivos establecidos.
- Describir el ambiente en el cual operará el sistema,
- Revisar las interfaces del sistema con otros sistemas, sus flujos de información, su estructura funcional y sus restricciones.
- Establecer los riesgos involucrados en el desarrollo del sistema.
- Definir los medios y las técnicas para verificar los requerimientos
Modelos del proceso de software
- Cascada: Separa y distingue las diferentes fases de especificación y desarrollo
- Evolutivo: La especificación y el desarrollo son alternados.
- Transformaciones Formales: Un modelo matemático del sistema se trasforma formalmente en una implementación
- Basados en Reusabilidad: El sistema se ensamble a partir de componentes existentes
No hay comentarios:
Publicar un comentario