Definicin de Requerimientos y Especificacin Son tcnicas para definir y especificar requerimientos en sistemas de software.

Objetivos:

Ilustrar el mtodo basado en formas para escribir la definicin de

requerimientos.

Describir formas de escribir especificaciones precisas. Explicar la importancia de los requerimientos no funcionales. Describir diferentes tipos de requerimientos no funcionales y la forma en que
pueden ser especificados. Definicin y especificacin Definicin de Requerimientos: Descripciones orientadas al cliente de las funciones del sistema y de las restricciones en su operacin Especificacin de Requerimientos: descripciones detalladas de la funcionalidad del sistema y sus restricciones. Pretende comunicar lo que los desarrolladores del sistema requieren y sirve de base como contrato para el desarrollo del sistema. Definicin de Requerimientos Se debe especificar el comportamiento externo del sistema de forma que los requerimientos no sean definidos usando un modelo computacional. Se incluyen requerimientos funcionales y no funcionales

Los Requerimientos funcionales son estatutos de servicios que el sistema debe

proveer. Los Requerimientos no funcionales son restricciones son los servicios y las funciones ofrecidas por el sistema.

Escritura de definiciones de requerimientos Se usa lenguaje natural, adems de diagramas y tablas. Esta es la forma natural de escribir definiciones de requerimientos. Es universalmente entendible, pero tres tipos de problemas se pueden presentar:

Falta de claridad: Hace que el documento sea difcil de leer. Confusin en los requerimientos: Los requerimientos funcionales y no
funcionales tienden a estar mezclados. forma conjunta.

Mezcla de requerimientos: Varios requerimientos pueden estar expresados en

Racionalidad en los requerimientos Es importante proveer racionalidad en los requerimientos, ya que esto ayuda al desarrollador a entender el dominio de la aplicacin y el por qu los requerimientos se encuentran en su forma actual. Esto es importante para el momento en que los

requerimientos tienen que ser cambiados. La disponibilidad de una racionalidad reduce el riesgo de tener efectos inesperados. Especificacin de requerimientos La especificacin aade detalles a la definicin de los requerimientos, por lo que debe se consistente con estos. Usualmente es presentada mediante modelos de sistema los cuales son desarrollados mediante el anlisis de requerimientos. Estos modelos pueden definir parte del sistema a desarrollarse y a menudo son escritos en lenguaje natural, lo cual puede causar problemas. Problemas con el lenguaje natural:

El lenguaje natural se basa en la especificacin dada por los que lo escriben. La especificacin del lenguaje natural es demasiado flexible y sujeta a distintas
interpretaciones.

Los requerimientos no son particionados por estructuras del lenguaje.

Alternativas al lenguaje natural:

Lenguaje natural estructurado. Lenguajes de descripcin del diseo. Lenguajes de descripcin de requerimientos. Notaciones grficas. Especificaciones matemticas.

Rastreo de requerimientos El rastreo de requerimientos (traceability) significa que los requerimientos relacionados deben estar ligados de alguna manera y que quizs deben estar ligados a sus fuentes. El rastreo es una propiedad de la especificacin de los requerimientos que refleja las facilidades en encontrar requerimientos relacionados. Algunas herramientas de CASE proveen soporte de rastreo. Por ejemplo, pueden ser capaces de encontrar todos los requerimientos que usen los mismos trminos. Tcnicas de rastreo

Asignar un nmero nico a todos los requerimientos Hace un referencia cruzada (cross-reference)

de los requerimientos relacionados utilizando este nmero nico Producir una matriz de referencias cruzadas para cada documento de requerimientos mostrando los requerimientos relacionados. Varias matrices pueden ser necesarias para diferentes tipos de relaciones

Especificaciones en Lenguaje estructurado

Una forma limitada de lenguaje natural puede utilizarse para expresar los
requerimientos

 Esto evita algunos problemas que resultan de la ambigedad y la flexibilidad e

impone un grado de uniformidad en la especificacin Soportada mediante en enfoque basado en formas.

Especificaciones basadas en formas Definicin de una funcin o entidad Descripcin de entradas y de donde provienen Descripcin de salidas y hacia donde van Indicacin de otras entidades requeridas Condiciones pre y post (si es que son apropiadas) Efectos co-laterales (si es que existen)

Ejemplo:

Especificacin de requerimientos basado en PDL

Los requerimientos pueden estar definidos operacionalmente usando un

lenguaje como los lenguajes de programacin pero con ms flexibilidad de expresin. Es ms apropiada en dos situaciones: Donde una operacin es especificada como una secuencia de acciones y el orden es importante. Cuando las interfaces de hardware y software tienen que especificarse. Las desventajas son: El PDL puede no ser suficientemente expresivo para definir conceptos de dominios. La especificacin se tomara como diseo en vez de cmo especificacin.

Especificacin de Interfaces

Casi todos los sistemas de software operan en un ambiente en donde existen

otros sistemas. Pueden ser interfaces a estos sistemas de muchas formas.

 Tres tipos de sistemas pueden definirse en la especificacin de requerimientos

Interfaces procedurales. Interfaces de datos Interfaces de representacin

Requerimientos no-funcionales

Define propiedades del sistema y restricciones, por ejemplo, confiabilidad,

tiempos de respuesta y requerimientos de almacenamiento. Las restricciones pueden ser capacidades de dispositivos de E/S, representaciones del sistema, etc. Los requerimientos de procesos pueden ser especificados utilizando un sistema CASE, lenguaje de programacin o mtodo de desarrollo. Los requerimientos no-funcionales pueden ser ms crticos que los requerimientos funcionales. Si estos no se cumplen, el sistema no es til.

Clasificaciones no-funcionales Requerimientos del Producto Requerimientos que especifican que los productos entregados deben tener un comportamiento especfico, por ejemplo, Velocidad de ejecucin, confiabilidad, etc. Requerimientos organizacionales Requerimientos que son consecuencia de polticas organizacionales y procedimientos, por ejemplo, Procesos estndares usados, requerimientos del implementacin, etc. Requerimientos externos Requerimientos que se derivan de factores que son externos al sistema y a su proceso de desarrollo, por ejemplo, requerimientos de interoperabilidad, requerimientos legislativos, etc. Tipos de requerimientos no-funcionales

Verificabilidad de los requerimientos

Los requerimientos deben estar escritos de forma que pueden ser

objetivamente verificados

El problema con estos requerimientos es el uso de trminos vagos tales como

los errores deben ser minimizados. Los promedios de errores deben de estar cuantificados

Medidas de los requerimientos

Separacin de Requerimientos

Los requerimientos funcionales y no-funcionales deben en principio, ser

distinguidos en la especificacin de requerimientos Este es un requisito difcil de llevar a cabo ya que los requerimientos pueden estar expresados como requerimientos del sistema en vez de cmo restricciones en funciones individuales Es difcil a veces decidir si un requerimientos es funcional o no-funcional

Requerimientos a nivel del sistema

Algunos requerimientos ponen restricciones en todo el sistema como un todo,

en vez de poner restricciones a funciones especficas del sistema

Ejemplo: El tiempo requerido para entrenar a un operador del sistema para que
sea eficiente no debe exceder ms de 2 das