Knoppia

Wiki de Informática y otras historias

Herramientas de usuario

Herramientas del sitio


Barra lateral

Base de datos de juegos
GameBoy Advance (GBA)
Proyecto Integral de Ingeniería del Software
Metodologías Ágiles
Trabajo Fin De Grado
Guía Memoria TFG

Colecciones

Otros

ingenieria_de_requisitos:especificacion_formal

¡Esta es una revisión vieja del documento!


Especificación formal

Es una especificación escrita en notación formal. Es una expresión que utiliza una síntaxis y semántica determinada que esta predefinida. Estos lenguajes están basados en conceptos matemáticos. La ventaja de esta metodología es que no tiene ambigüedad y reduce los costes de pruebas.

No se suele usar por que a partir de los 80 aparece la calidad y la agilidad, lo que resulta en una disminución de la documentación Estas técnicas formales no se adaptan bien a interfaces de usuario y no son escalables, están muy limitadas.

Al estar basadas en formalismos matemáticos son fáciles de corregir, pero difíciles de comprender y usar.

Con la especificación formal las fases de especificación y diseño reducen su coste.

Especificaciones algebraicas. Nos permite especificar componentes que vamos a utilizar y luego agrupar. Las interfaces se conocen como Tipos Abstractos de Datos u objetos en caso de Programación orientada a Objetos. Tiene una estructura predeterminada:

  • Introducción
  • Descripción: Define que hace la especificación (Funciones o Métodos)
  • Signaturas: Define la Sintaxis de dichas operaciones (Atributos)
  • Axiomas: Plan de pruebas, se especifica que pasa o como reaccionan las funciones y capturas de excepciones.
ingenieria_de_requisitos/especificacion_formal.1700035525.txt.gz · Última modificación: 2023/11/15 08:05 por thejuanvisu