jgjkgh

Requisitos del software: propiedades y atributos

Propiedades deseables de los requisitos del software
• Propiedades que deben tener todos los requisitos para estar bien especificados
• Al inspeccionar los requisitos deben cuestionarse estas propiedades
o Utilizar cuestionarios de validación para inspeccionar requisitos
• Dos tipos: o
Propiedades globales
: completitud,consistencia
o
Propiedades
individuales
: tamaño, claridad, comprobabilidad, condiciones de
error, trazabilidad (funcionales, no funcionales)
No confundir con los
atributos
de los requisitos: toman un valor distinto en cada
caso
o
Necesidad, prioridad y riesgo
Tamaño
Para manejar con mayor facilidad un requisito, debe
rá tener un
tamaño adecuado
:
o
ni tan grande que seainmanejable
o
ni tan pequeño que no valga la pena seguirle la pis
ta por separado
Es posible aplicar los principios de
modularidad
y
anidamiento
a los requisitos
Nivel de
granularidad
: la misma cantidad de información puede repartirse
en un
número grande/pequeño de requisitos (grano fino/gru
eso)
Nivel de
detalle
: los requisitos contienen más detalles, globalment
e másinformación
Completitud
Significa que
no hay omisiones
que comprometan la integridad de los requisitos
o
No faltan requisitos (propiedad global)
o
No faltan detalles en la especificación de cada req
uisito (propiedad individual)
Es una propiedad
difícil de determinar
(tan sólo podemos alcanzar una aproximación)
o
Contrastar con el cliente
o
Comparar con proyectossemejantes
Buscar la
visión de conjunto
, detectar huecos o partes infra-especificadas
o
Una manera de comprobarlo: para cada requisito, com
probar que están
presentes los demás requisitos relacionados
La buena
organización
facilita la detección de faltas
o
Ejemplo:
organización por tipos de requisitos
Técnicas estadísticas para estimar el número de req
uisitos aún nodescubiertos
o
Ritmo temporal de creación/modificación de requisit
os
o
Ajustar la “nube de puntos” (tiempo-requisitos cono
cidos) a una curva
monótona creciente acotada (¿hipérbola?)
Consistencia (o coherencia)
Significa que
no hay contradicciones
entre requisitos (ni acoplamientos-redundancias)
Contradicción
≠
Ambigüedad, pero las ambigüedades difultan detecta
r contradicciones
Esmás difícil de comprobar si el número de requisi
tos crece
Una buena organización facilita la detección de con
tradicciones
Ejemplo:
tabla de referencia cruzadas
, que además facilita la detección de requisitos
afectados por la modificación de uno dado (distinta
de la tabla de composición F-NF)
o
Conflicto: contradicción, no se pueden satisfacer s
imultáneamente
oAcoplamiento: hablan de lo mismo (si cambia uno, pu
ede afectar al otro)
o
Redundancia: dicen lo mismo (sobra uno de los dos)
o
Independencia
En la versión final no puede haber Conflictos ni Re
dundancias, sí Acoplamientos
Ingeniería del Software 1 – Curso 2005-2006
16
Claridad
Significa que
no hay ambigüedad
en la especificación de cada requisito
Utilizar un
vocabulario controlado, y tabla de términos equivalentes (
sinónimos
)
Para cualquier labor de escritura
o
Tenga siempre a mano
diccionarios
(normal, sinónimos, estilo, idiomas,
corrector ortográfico y sintáctico)
o
Escribir, corregir, escribir, corregir... y hacerlo
entre varios
(uno escribe, otro
corrige)
o
Respetar
normas
ortográficas, sintácticas, gramaticales, estilístic
as... no esun
capricho: lo que no está bien escrito no se entiend
e
o
Estructurar bien, proceder con orden, proporcionar
las referencias necesarias
o
Sintetizar, resaltar ideas importantes, resaltar má
s lo menos obvio
Comprobabilidad
Incluye dos tipos distintos de defectos que se dese
a
descubrir y eliminar
:
o
Validación
: defectos de interpretación (
do the right thing
)
o...