Buscar este blog

jueves, 24 de febrero de 2011

Especificacion basada en modelos

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 anteriormente 
        
      Técnicas de validación de requerimientos:
    • Técnicas manuales:
      1. Lectura del DDR y DER
      2. Verificación de las referencias cruzadas entre ambos documentos
      3. Entrevistas
      4. Revisión de requerimientos
      5. Listas de chequeo o verificación
      6. Modelos manuales para verificar funciones y relaciones
      7. Escenarios
      8. Pruebas matemáticas
         
    Técnicas automatizadas:
  •   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