Analisis

Análisis
INGENIERÍA de REQUERIMIENTOS

Verificación y Validación de Requerimientos
Identificación
de requisitos
(ELICITAR)

Unidad IV
Análisis de Requerimientos – Verificación
– Validación – Negociación - Trazabilidad
Quality Function Deployment (QFD)

Representación
de requisitos
(MODELAR)

Análisis de
requisitos
(ANALIZAR)

Comunicación
de requisitos

1

2

AnálisisPartes del Análisis

Analizar
Hace

Hace
Hace

Identificación de
Partes

• Verificación

Validación
Usa

• Validación

Usa

• Negociación

Verificación

Usa

Personal

Depende
de

Métodos

Herramientas
Puntos de
Vista

3

4

Análisis: V & V
Universo
de
Información

Validación

Universo de
Informaciones

Verificación

Modelo 1

Modelo 2Colecta de
hechos

Comunicación

*

Verificación

VERIFICACIÓN
Estamos construyendo
el producto
correctamente?

Modelo
**

VALIDACIÓN

Problemas

Estamos construyendo el
producto correcto?

Si

¿problemas?

Comunicación

No
Modelo

Entre Modelos

* de colecta de hechos al modelo, existe un proceso de modelado.
** identificación de partes.

Entre el UdI y unModelo

5

Ciclo del Análisis

6

1

Verificación

Análisis
Técnicas de Verificación
• análisis de consistencia
• chequeo contra
estándares
• análisis de checklists
• inspecciones

Técnicas de Validación

• Si quisiéramos ser estrictos, sólo podríamos
entender verificación entre modelos y si es posible
sin ayuda humana.

• comprobación informal
• uso de prototipos
•análisis de puntos de vista

• Se considera verificación a un análisis de modelos
sin que haya una comparación directa con el
Universo de Información.
• Sin embargo, este análisis podría ser desempeñado
tanto por el hombre como por software con reglas
bien definidas.

7

Verificación: Algunas estrategias

Verificación: Algunas estrategias

•Uso de formalismos:
En el uso de formalismos,donde el ingeniero de software hace el
papel de un probador de teoremas, la verificación ocurre dando
una posibilidad de identificar inconsistencias.
Δ= inconsistencias (hechos, información)

• Inspecciones:
Es un método de revisión de software que puede
ser aplicada a la definición de requisitos.
Ventaja: Estructura de trabajo cooperativo.
No usa el software sino los documentos delsoftware, por ende se puede aplicar al DR.
Las inspecciones son hechas basadas en criterios
predeterminados y en un conjunto de preguntas
claves.
Δ= defectos (hechos, checklist, información)

8

9

• Reusando Dominios:
Es una técnica en la cual se usan las estrategias y heurísticas de
Inteligencia Artificial.
Se debe tener un dominio previamente codificado.
Entonces es posible verificarhechos incorrectos y hechos
faltantes:
⎧ hechos incorrectos (hechos del dominio, hechos)
Δ=⎨
⎩ hechos faltantes (hechos del dominio, hechos)
Se pueden ver problemas de certeza y completitud.
10
Desventajas: alto costo, y complejidad.

Validación: Algunas estrategias

Validación

•Comprobación informal:
La validación o la revisión de los requisitos es básicamente una tarea de lecturade
descripciones en lenguaje natural y de uso de los clientes para detectar problemas
en la expresión de los requisitos, no es automatizado.

• La validación de software, o sea la confirmación de
que el producto es aquel deseado por el usuario,
ocurre normalmente al final del ciclo de vida …

Δ= lista de errores (hechos,información)
• Prototipo:

Test del sistema: test integrado de losprogramas del
sistema por el usuario.

La idea básica es que por el prototipo es posible validar los
requisitos/especificaciones contra las expectativas el usuario.

Δ= comportamientos de los hechos (expectativas del usuario,
información)

• En nuestro caso la validación es hecha en el propio
proceso de elicitación de requisitos, será una
validación anterior a la propia especificación...