anÁlisis’ - wordpress.com · anÁlisis’ elizabeth*suescún*monsalve* d.sc. eng.*informáca*...
TRANSCRIPT
-
ANÁLISIS
Elizabeth Suescún Monsalve D.Sc. Eng. Informá
-
Agenda
• Definición • Verificación • Validación
-
Modelo SADT para Ingeniería de Requisitos
[Leite 07]
Analizar
Donde estamos?
-
Introducción
• La palabra análisis
-
En el contexto de la Ingeniería de Requisitos
• Iden
-
Iden
-
Verificación
• Se refiere a un conjunto de tareas que garan
-
Verificación
Idealmente la verificación debería ser ejecutada sin ayuda humana. La verificación del soXware también aplica a la elicitación y las tareas posibles son: • Inspecciones • Uso de formalismos • Reusando dominios
-
Inspecciones • Es un método de revisión de soXware que es es estructurado para que sea ejecutado de forma coopera
-
El método de Inspeccionar
• Planear • Visión general • Preparación • Inspección • Corregir • Seguimiento
-
Lista de verificación para validar requisitos (1)
Con frecuencia es úKl analizar cada requisitos en comparación con preguntas de verificación. A conKnuación se presentan algunas:
• Los requisitos están enunciados con claridad? Podrían interpretarse mal?
• Está iden
-
Lista de verificación para validar requisitos (2)
• Puede someterse a prueba el requisito? Si es así, es posible especificar pruebas (en ocasiones se denominan criterios de validación) para ensayar el requisito?
• Puede rastrearse el requisito hasta cualquier modelo del sistema que se haya creado?
• Es posible seguir el requisito hasta los obje
-
Validación
• La validación es un conjunto diferente de tareas que aseguran que el soXware que se construye sigue los requisitos del cliente.
• Validación: “Construimos el producto correcto?”
-
Validación Es la comprobación de que el producto es aquel deseado por el usuario. Ocurre generalmente cuando se
-
Puntos de Vista
• Estamos modelando las expecta
-
Referencias 1. Leite, J.C.S.P., Livro Vivo : Engenharia de Requisitos, hdp://
livrodeengenhariaderequisitos.blogspot.com/, 2007 2. Notas de clase Julio Cesar Sampaio do Prado Leite hdp://
www-‐di.inf.puc-‐rio.br/~julio/ 3. Pressman, Roger S. Ingeniería del So3ware: Un enfoque
prác