Requisitos del software: propiedades y atributos

Ingeniería del Software 1 – Curso 2005-2006

15

7. 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 Propiedadesglobales: 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, deberá tener un tamaño adecuado: o ni tan grande que seainmanejable o ni tan pequeño que no valga la pena seguirle la pista 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/grueso) Nivel de detalle: los requisitos contienen más detalles, globalmente más información Completitud Significa queno 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 requisito (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 proyectos semejantes Buscar la visión de conjunto, detectar huecos o partesinfra-especificadas o Una manera de comprobarlo: para cada requisito, comprobar 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 requisitos aún no descubiertos o Ritmo temporal de creación/modificación de requisitos o Ajustar la “nube de puntos”(tiempo-requisitos conocidos) 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 detectar contradicciones Es más difícil de comprobar si el número de requisitos crece Una buena organización facilita la detección de contradiccionesEjemplo: 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 simultáneamente o Acoplamiento: hablan de lo mismo (si cambia uno, puede afectar al otro) o Redundancia: dicen lo mismo (sobra uno de los dos) o Independencia En la versiónfinal no puede haber Conflictos ni Redundancias, sí Acoplamientos

Ingeniería del Software 1 – Curso 2005-2006 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áficoy sintáctico) o Escribir, corregir, escribir, corregir… y hacerlo entre varios (uno escribe, otro corrige) o Respetar normas ortográficas, sintácticas, gramaticales, estilísticas… no es un capricho: lo que no está bien escrito no se entiende o Estructurar bien, proceder con orden, proporcionar las referencias necesarias o Sintetizar, resaltar ideas importantes, resaltar más lo menos obvioComprobabilidad Incluye dos tipos distintos de defectos que se desea descubrir y eliminar: o Validación: defectos de interpretación (do the right thing) o Verificación: defectos de implementación (do the thing right) Muchos defectos se pueden descubrir y eliminar mediante pruebas, pero salvo que se usen métodos formales, las pruebas no garantizan que todos los defectos desaparecen Atención: las pruebas...