Roger S. Pressman Ingeniera de Software, un enfoque prctico HERRAMIEN AS PARA RE'"ERIMIEN #S !A A" #MA I$A%I#N &E! ANA!

ISIS &E

Los mtodos de anlisis de requerimientos del software presentados en las secciones precedentes se desarrollaron originalmente para ser aplicados manualmente. Sin embargo, la aplicacin manual del anlisis estructurado, DSED o DSJ puede ser pesado y propenso a error cuando se anali an grandes sistemas. !oy, cada uno de estos mtodos, "unto con una clase de tcnicas espec#ficamente dise$adas para el procesamiento automtico, esta disponible en un formato de %ayuda por computadora&. Las 'erramientas para automati ar el anlisis son un primer paso 'acia la ingenier#a del software ayudada por computadora y estn me"orando ya la calidad y producti(idad de los analistas. Las 'erramientas para el anlisis automati ado de los requerimientos pueden clasificarse de (arias formas diferentes. )lgunas 'erramientas 'an sido dise$adas para automati ar la generacin y mantenimiento de lo que era originalmente un mtodo manual y estas 'erramientas normalmente 'acen uso de una notacin grfica para el anlisis. Esta clase de 'erramientas produce diagramas, ayuda a la subdi(isin del problema, mantiene una "erarqu#a de informacin sobre el sistema y aplica 'eur#sticas para descubrir problemas con la especificacin. *s importante, tales 'erramientas facilitan al analista actuali ar la informacin y anotar las cone+iones entre las nue(as y antiguas representaciones del sistema. ,or e"emplo, el sistema -)SE ./// de 0astec 12igura 3.445 facilita al analista la generacin de diagramas de flu"o de datos y un diccionario de datos y mantiene a stos en una base de datos que puede ser anali ada para comprobar la correccin, consistencia y completitud. De 'ec'o, el (erdadero beneficio de esto, y de la mayor#a de las 'erramientas de requerimientos automati ados, esta en el %procesamiento inteligente& que la 'erramienta aplica a la especificacin del problema. 6tra clase de 'erramientas para el anlisis automati ado de requerimientos, 'acen uso de una notacin especial 1en la mayor#a de los casos esto es un lengua"e de especificacin de requerimientos5 que es procesada de una manera automtica. Los requerimientos se describen con un lengua"e de especificacin, que combina indicadores de palabras cla(e con e+plicaciones en lengua"e natural 1p. e"., ingls5. El lengua"e de especificacin se manda a un procesador que produce una especificacin de requerimientos y, ms importante, un con"unto de informes de diagnsticos sobre la consistencia y organi acin de la especificacin. En las secciones que siguen, presentamos una (isin general de algunas de las ms importantes 'erramientas para el anlisis automati ado de los requerimientos. Es importante obser(ar que las 'erramientas presentadas a continuacin son slo una muestra representati(a. E+isten muc'as otras 'erramientas y, en el 'ori onte, se perlita una generacin completamente nue(a de 'erramientas de anlisis basadas en el conocimiento o %e+perto&.

Roger S. Pressman Ingeniera de Software, un enfoque prctico

Roger S. Pressman Ingeniera de Software, un enfoque prctico

Roger S. Pressman Ingeniera de Software, un enfoque prctico SA& S)D7 1una marca registrada de Softec', 8nc.5 es una tcnica de anlisis y dise$o estructural, que 'a sido ampliamente usada como 'erramienta para la definicin de sistemas, anlisis de requerimiento de software y dise$o de sistemas9 software :;/S<<, ;/S=>4. Desarrollado originalmente como un mtodo manual, S)D7 consiste en procedimientos que permiten al analista descomponer las funciones del software 1o sistema5? una flotacin grfica, el actigrama y datograma de S)D7, que comunica las relaciones de la informacin con las funciones dentro del software? y unos criterios de control del proyecto para aplicar la metodolog#a. @sando S)D7, el analista desarrolla un modelo que comprende muc'os actigramas y datogramas definidos "errquicamente. @n formato de esta notacin se muestra en la 2igura >..A, y un e"emplo de un actigrama S)D7 en los primeros pasos de la fase de definicin de ingenier#a del software, se describe en 9a 2igura >..< :2;E=6J. -ada ca"a del actigrarna puede ser posteriormente refinada de la misma forma que un diagrama de flu"o de datos sufre modificacionesB

La metodolog#a S)D7 comprende 'erramientas automticas que soportan procedimientos de anlisis y unos utensilios de organi acin bien definidos mediante los que pueden aplicarse las 'erramientas. Las re(isiones y recorridos son especificados, permitiendo la (alidacin de la comunicacin tcnicoC cliente. Las responsabilidades del equipo son similares a las que se encuentran en un equipo con un programador "efe, acentuando un traba"o en equipo para el anlisis, dise$o y re(isin. SREM S;E* 1del inglsD Software ;equeriments Engineering *et'odology5 :EL2=>F es una 'erramienta para el anlisis automati ado de los requerimientos, que 'ace uso de un lengua"e de declaracin de los requerimientos 1;SL5 para describir %elementos, atributos, relaciones y estructuras&. Los elementos 1en la termino4o la S;E*5 comprenden un

Roger S. Pressman Ingeniera de Software, un enfoque prctico con"unto de ob"etos y conceptos usados para desarrollar una especificacin de requerimientos. Las relaciones entre ob"etos se especifican como parte del ;SE y los atributos se utili an para modificar o cualificar elementos. Las estructuras se utili an para describir flu"o de informacin. Estas primiti(as ;S8. Se combinan con informacin e+plicati(a para dar los detalles de una especificacin de requerimientos. La potencia de una 'erramienta para automati ar los requerimientos puede ser medida por el software de soporte que 'a sido desarrollado para anali ar la especificacin. S;E* se aplica a la ingenier#a de requerimientos y sistemas de (alidacin 1;EGS5. El software ;EHS utili a una combinacin de informes y grficos de computadora para estudiar el flu"o de la informacin, determinar la consistencia en el uso de la informacin a tra(s del sistema y simular las interrelaciones dinmicas entre los elementos. 8gual que S)D7, S;E* incorpora un con"unto de procedimientos que gu#an al analista a lo largo de los pasos de requerimientos. Los procedimientos incluyenD 4. Traduccin. @na acti(idad que transforma los requerimientos iniciales del software descritos en una Especificacin del Sistema en un con"unto ms detallado de descripciones de datos y pasos de procesamiento. .. Descomposicin. @na acti(idad que e(alIa la informacin de la interface entre el elemento software y los resultados, en un con"unto completo de requerimientos computacionales 1funcionales5. 3. Asignacin. @na acti(idad que considera mtodos alternati(os a los requerimientos que 'an sido establecidos? son reali ados estudios de compromiso y anlisis sensiti(os. J. Demostracin de factibilidad analtica. @na acti(idad que intenta simular los requerimientos de procesamiento cr#ticos para determinar la factibilidad ;SL se usa fuertemente en los primeros dos procedimientos y ;EGS se utili a para reali ar los procedimientos 3 y J. S;E* fue desarrollado para sistemas de computadoras empotrados. ;ecientes e+tensiones permiten aplicarlos a sistemas concurrentes distribuidos. PSE(PSA ,SLC,SE 1del inglsD ,roblem Statemen LanguageC,roblem Statement )naly er5 fue desarrollado por el proyecto 8SD6S :7E4<<F en la @ni(ersidad de *ic'igan y es parte de un sistema mayor llamado -omputer )ided Design and Specification )nalysis 7ool, -)DS)7. ,SLC,S) proporciona al analista capacidades que incluyenD 45 descripcin del sistema de informacin, independientemente del rea de aplicacin? .5 creacin de una base de datos conteniendo descriptores para los sistemas de informacin? 35 adicin, supresin y modificacin de descriptores, y J5 produccin de documentacin formateada y una (ariedad de informes sobre la especificacin. La estructura del modelo ,SLC,S) tiene la forma mostrada en la 2igura >..3. El modelo se desarrolla usando descriptores de ,SL para el flu"o de informaciAn del sistema, estructura

Roger S. Pressman Ingeniera de Software, un enfoque prctico del sistema, estructura de datos, deri(acin de datos, tama$o y (olumen del sistema, dinmica del sistema, propiedades del sistema y gestin del proyecto. Las 'erramientas se 'an desarrollado :0)S=AF para facilitar que otras representaciones de requierimientos 1p. e"., diagramas de flu"os de datos y diccionarios de datos5 sean traducidos a la representacin ,SL. @na (e que se establece una descripcin completa del sistema en ,SL, se llama al anali ador de los problemas 1,S)5. ,S) produce (arios informes que incluyen un registro de todas las modificaciones 'ec'as a la base de datos de especificaciones, informes de referencia que presentan la informacin de la base de datos en (arios formatos, resImenes que dan informacin de gestin del proyecto e informes de anlisis que e(alIan las caracter#sticas de la base de datos. A)S 7)KS 1del inglsD 7ec'nology for t'e )utomated Keneration of Systems5 fue desarrollado por 7eledain Lrown Engineering, 8nc. :SE4=>F como un mtodo automati ado para la aplicacin de mtodos de ingenier#a de sistemas. 8gual que S;E* y ,SLC,S), 7)KS esta compuesto de tres componentes cla(eD un lengua"es de especificacin llamado Lengua"e de ;equerimientos de EntradaC Salida 186;L5, un con"unto de 'erramientas de programacin para el anlisis de requerimientos y procesamiento de J6;L y una metodolog#a 7)KS subyacente. ) diferencia de S;E* y ,SLC,S), el lengua"e de especificacin 7)KS fue dise$ado para acomodar representaciones grficas y te+tuales creadas por el analista usando una 'erramienta interacti(a. El ni(el superior de una representacin 86;L es un diagrama de bloque esquemtico 1SLD5. Los SLD identifican las componentes primarias del sistema y las interfaces de datos entre ellas. ,ararnetersD L6+,S)DL.DL2 80,@7MN S6@;-EBL8S780K 06-;6SSB;E2E;E0-E @,D)7E D*)B L)SEB ;E2E;E0-E L80E > 7 * 7 8D 28ELD 4 O Este programa en ,SL describe los siguientes aspectos del e"emplo . O del sistema de tratamiento de nminaD 3O J O Estructura de datos >O AO < O 80,@7 informacinBempleado? = O -60S8S7S 62 cdigoBoperacin, informacinBrequerida? P 4/ O ELE*E07 cdigoBoperacin? 44 O G)L@ES );E 4 7!;@ 3? 4.O 43 O K;6@, informacinBrequerida? 4JO

Roger S. Pressman Ingeniera de Software, un enfoque prctico 4> O 80,@7 fic'asBtipo? 4A O -60S7S7S 62 unaBfic'aBtiempo? 4<O 4= O K;6@, unaBfic'aBtiempo? 4P O -60S8S7S 62 nImeroBempleado, 'oras regulares, 'orasBe+tras? ./O .4 O 6@7,@7 c'eque? .. O -60S8S7S 62 nombreBempleado, sueldoBneto, deduccin? .3O .J O K;6@, nombreBempleado? .> O -60S8S7S 62 apellidos, iniciales? 1AO .< O K;6@, deduccin? .= O -60S8S7S 62 sueldoBbruto, impuestos, seguroBdesempleo? .P O pensin, dbitos, sueldoBneto? 3/O 34 O SE7 arc'i(oBmaestroBantiguo, arc'i(oBmaestroBnue(o? 3. O -60S8S7S 62 nImero de empleados arc'i(o maestro? 33 O S@LSE7780KB-;87E;8) );E pro(incia? 3JO 3> O E0787H registroBarc'i(oBmaestro? 3A O -60SJS7S 62 cla(e registro, nImeroBempleado, nombreBempleado? 3< O pro(incia, cdigoBimpuesto? 3= O 8DE07828ED SH cla(eBregistro? 3P J/ O ELE*E07 pagaBpor.'oras? J4 O G)L@ES );E > 7!;@ ./? J. J3 3 ELE*E07 nImeroBempleado, apellidos, cdigoBimpuesto? 'oras regulares, 'orasBe+tras, sueldoBbruto, impuestos? O seguroBdesempleo, pensin, dbitos, JA O sueldoBneto, cdigoBtasas, pro(incia? J4O J= O E62 28K@;) >..=. Listado fuente en ,SL. 12uenteD ,SLC,S) ,rimer, 8SD6S ,ro"ect. @ni(crsity of *ic'igan. ;eproducido con permiso5. -ada componente del sistema en un SLD puede ser refinada representando las relaciones de entradaCsalida, tiempo y otras informaciones suplementarias. La especificacin J6;L es anali ada usando (arias 'erramientas de programacin. Estas incluyen un anali ador de diagnstico que ayuda a descubrir los errores estticos 1p. e"., errores sintcticos, (iolaciones rango5 en la especificacin y un compilador de simulacin que ayuda a descubrir los errores dinmicos, simulando el sistema modelado con 86;L. La salida combinada del anali ador y compilador es un cdigo fuente en el lengua"e de programacin )da, el cual se utili a para crear la simulacin del sistema.

Roger S. Pressman Ingeniera de Software, un enfoque prctico Herramientas de an*isis + un resumen El mtodo automtico para el anlisis de requerimientos dados por S)D7, S;E*, ,SLC,S), 7)KS y otras 'erramientas no es una panacea, pero tienen ciertos beneficios entre los que se incluyenD *e"ora la calidad de la documentacin a tra(s de la estandari acin e informes. *e"or coordinacin entre lo analistas a los que est disponible la base de datos. Los ol(idos, omisiones e inconsistencias se descubren ms fcilmente mediante aplicaciones e informes de referencias cru adas. El impacto de las modificaciones puede ser tra ado ms fcilmente. Se reducen los costes de mantenimiento para la especificacin.

@n lector precepti(o notar que estas 'erramientas tienen muc'as caracter#sticas en comIn. 7odas demandan un mtodo formal de especificacin 1grfico o te+tual5? todas dan mecanismos automticos o semiautomticos para anali ar la especificacin? todos crean una base de datos que representa los requerimientos en trminos de informacin del sistema, componentes y procesos? y todos se utili an para ayudar al analista, aunque se basan en la informacin dada por el analista y el cliente. Las 'erramientas de anlisis automticas de 'oy son el anuncio de 'erramientas ms a(an adas que abarcarn el dise$o de programas y, finalmente, la generacin y (erificacin automtica de programas. Los sistemas basados en el conocimiento 1e+pertos5 se aplicarn probablemente a las tareas de anlisis de requerimientos. Sin embargo, la definicin de la base de conocimiento 1'ec'os, regias e inferencias necesarias para e"ecutar el anlisis5 permanecer como un desafi significati(o en un pre(isible futuro.