Instituto Politécnico Nacional

Escuela Superior de Ingeniería Mecánica y Eléctrica

Unidad Culhuacán

3.6 TÉCNICAS FORMALES

DE ESPECIFICACIÓN
MÉTODOS FORMALES

Se usa para referirse a cualquier actividad

relacionada con representaciones
matemáticas del software, incluyendo la
especificación formal de sistemas, análisis y
demostración de la especificación, el
desarrollo transformacional y la verificación
de programas. Todas estas actividades
dependen de una especificación formal del
software.
 INGENIERÍA DE SOFTWARE
(MÉTODOS FORMALES)
Los métodos formales se utilizan para:
La política de los requisitos
La especificación
Las pruebas correspondientes entre la especificación y los requisitos
Las pruebas correspondientes entre el código fuente y la
especificación
Pruebas de correspondencia entre el código maquina y el código
fuente
¿QUÉ ES UN MÉTODO FORMAL?

• Son modelos matemáticos

Diseñar.
Especificar.
Sistema
Implementar. informático

Verificar.
ESPECIFICACIÓN DE
REQUERIMIENTOS

Escribir en un documento, las peticiones de una cosa que se

considera necesaria de usuario y de sistema.
 Sin ambigüedades
Fáciles de entender
Completos
Consistentes
 NO incluye arquitectura o
diseño del sistema
FORMAS DE ESCRIBIR UNA
ESPECIFICACIÓN
DE REQUERIMIENTOS DE SOFTWARE

3
ESPECIFICACIÓN EN LENGUAJE
NATURAL

•Expresivo
•Intuitivo
•Universal
•Vago
•Ambiguo
LINEAMIENTOS SENCILLOS

•Formato estándar
•Lenguaje claro
•Texto resaltado
•No deducir que el lector entiende lenguaje
técnico
•Asociar una razón al requerimiento
ESPECIFICACIONES
ESTRUCTURALES

Este enfoque conserva la mayoría de

la expresividad y comprensibilidad
del lenguaje natural, asegura que
haya cierta uniformidad sobre la
especificación.
 ESPECIFICACIÓN FORMAL

 Es una descripción sin ambigüedades de qué debe hacer

el sistema.
 Son aproximaciones con base matemática.
 Se define un modelo formal del software.
 Funciona para probar si un programa es congruente.
 Elimina fallas de software que resultan errores de
programación.
 ESPECIFICACIÓN FORMAL

• Se desarrollan con frecuencia como parte de un

proceso de software basado en un
plan(especificación anticipada).
• Retroalimentación entre la especificación detallada
de requerimientos y la especificación formal.
• Es costoso, es posible limitar el uso en
componentes críticos.
TÉCNICAS DE ESPECIFICACIÓN
FORMAL
 Aproximación algebraica (Interfaces del sistema): donde el
sistema se describe en términos de sus operaciones y sus
relaciones.
 La especificación de la interfaz proporciona información para los
desarrolladores de sistemas parciales para que sepan qué
servicios estarán disponibles en otros subsistemas y cómo estos
pueden ser visitada.
EL CUERPO DE LA ESPECIFICACIÓN

<NOMBRES DE ESPECIFICACIONES>
Ordenar <nombre>
Importaciones <LISTA DE NOMBRES DE ESPECIFICACIONES>

Descripción informal del género y sus operaciones.

Firmas de operaciones que establecen los nombres y los tipos de
parámetros para las operaciones definidas en la clasificación

Axiomas que definen las operaciones sobre el ordenamiento.

 CONCLUSIÓN

Como se ha ido observando la especificación de

requerimientos, es el proceso de escribir en un
documento las necesidades del usuario y del sistema
que sean fáciles de entender y claros, sin embargo en
la practica es difícil de logarlo ya que los participantes
los interpretaran de formas diferentes, lo cual provoca
conflictos.
 REFERENCIAS

• Somerville,Ian. (2011). Ingeniería de Software, 9a

edición. México: PEARSON