Descomposición Funcional, Verificación e Inspección de Software: Técnicas y Objetivos

Diagramas de Descomposición Funcional (DDF)

Técnica para representar la descomposición de las funciones de un sistema.

Su objetivo es representar la jerarquía de los procesos del sistema en diferentes niveles de abstracción. Se descompone una función de alto nivel en funciones de bajo nivel.

Se utilizan para representar otros tipos de información, como por ejemplo, la estructura de una empresa.

Podemos considerar tres tipos de DDF:

• Funciones del sistema a diferentes niveles de abstracción, pero sin considerar los flujos entre ellas.
• Las funciones y los datos de entrada y salida.
• Funciones y flujos de entrada y salida, pero siguiendo unas reglas definidas mediante fórmulas matemáticas. Se verifican por medio de herramientas CASE.

Comprobaciones a realizar sobre una especificación estructurada:

Revisión mediante 4 aspectos:

• Compleción: Se comprueba si los modelos son completos.
• Integridad: Comprueba que no existen contradicciones entre los diferentes niveles.
• Exactitud: Si los modelos cumplen los requisitos del usuario.
• Calidad: Se comprueba el estilo y la facilidad de mantenimiento de los modelos producidos.

Cuando el tipo de revisión es formal, es necesario establecer una lista de comprobación para orientar a los revisores en la reunión. Cuando se utiliza una herramienta CASE, muchas de estas funciones están automatizadas.

Verificación de Software

La verificación del software está formada por un conjunto de procedimientos, actividades, técnicas y herramientas que se utilizan paralelamente al desarrollo del software, para asegurar que un producto software resuelve el problema inicialmente planteado.

Para ello, es necesario definir un plan de verificación y de validación al inicio del proyecto que determine estas actividades.

Objetivos de la Verificación y Validación

Los objetivos que persigue la verificación y la validación son los siguientes:

• Detectar y corregir los defectos tan pronto como sea posible en el ciclo de vida del software.
• Disminuir los riesgos.
• Mejorar la calidad y la fiabilidad.
• Mejorar la visibilidad de la gestión del proceso de desarrollo. Valorar rápidamente los cambios propuestos y sus consecuencias.

Podemos distinguir las actividades propias de la verificación y de la validación:

• Validación: Su objetivo es determinar la corrección del producto final respecto a las necesidades del usuario. Su principal técnica son las pruebas del software.
• Verificación: El objetivo es demostrar la consistencia y la corrección entre las fases del ciclo de desarrollo de un proyecto. La principal técnica de verificación son las revisiones y las auditorías.

Inspección de Software

Es una técnica de evaluación formal en la cual los requisitos de software, diseño, o la codificación se examinan en detalle por una persona o grupo de personas distintos del autor para detectar defectos, disconformidades con las normas de desarrollo y otros problemas.

La inspección proporciona una indicación inmediata de la calidad.

Reglas para una Inspección Exitosa

Para que una inspección tenga éxito, debe seguir ciertas reglas:

1. Las inspecciones se realizan tanto en el proceso de planificación como en el de desarrollo.
2. Se inspeccionan todas las clases de defectos posibles.
3. En las inspecciones participan todos los niveles jerárquicos de la empresa.
4. Las inspecciones se deben realizar por etapas estrictas.
5. La duración de las reuniones no deberá exceder de dos horas.
6. Deben ser dirigidas por moderadores experimentados, para poder realizar su trabajo con eficacia.
7. Los miembros del equipo de inspección deben tener asignados papeles para incrementar la efectividad.
8. Se usan listas de comprobación para que los miembros tengan tareas asignadas.
9. Se debe inspeccionar el producto con una máxima efectividad en el descubrimiento de los defectos.
10. Se deben archivar las estadísticas obtenidas para un análisis posterior.