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