Professional Documents
Culture Documents
Versin 0.4.8
23 de diciembre de 2006
ndice general
1. Introduccin a la Ingeniera del Software
IFIF il softwre F F F F F F F F F F F F F F F F F F F F F F F F F F F F IFPF grterstis del softwre F F F F F F F F F F F F F F F F F F F IFQF ivoluin del desrrollo del softwre F F F F F F F F F F F F F F IFQFIF rimer er @prinipio de los SH medidos de los THA IFQFPF egund er @medidos de los TH (nles de los UHA F IFQFQF erer er @(nles de los UH prinipios de los WHA F F IFQFRF gurt er @de los WH en delnteA F F F F F F F F F F F IFRF rolems soidos l desrrollo de softwre F F F F F F F F F IFSF vs uss de los prolems en el desrrollo del softwre F F F IFTF elgunos mitos del desrrollo del softwre F F F F F F F F F F F F IFUF v sngenier del oftwreX de(niionesD elementos y ojetivos IFVF isin generl del proeso de l sngenier del oftwre F F F F IFVFIF pse de plni(in F F F F F F F F F F F F F F F F F F F IFVFPF pse de desrrollo F F F F F F F F F F F F F F F F F F F F IFVFQF pse de mntenimiento F F F F F F F F F F F F F F F F F F IFWF ituin tul de l sngenier del oftwre F F F F F F F F F PFIF PFPF PFQF PFRF gonepto de sistem F F F F F F F F F F F F F F F F F F F F snformin y dtos F F F F F F F F F F F F F F F F F F F F infoque sistmio u holstio pr el estudio de sistems istem de snformin @sA F F F F F F F F F F F F F F F F PFRFIF he(niin F F F F F F F F F F F F F F F F F F F F F F PFRFPF ilementos de un s F F F F F F F F F F F F F F F F F PFRFQF istrutur de l informin en un s F F F F F F PFSF istems de snformin eutomtizdos @seA F F F F F PFTF istems de snformin sios en ls orgniziones F PFUF v sngenier del oftwre en un orgnizin F F F F F QFIF il proeso softwre F F F F F F F F F QFPF wdurez del proeso softwre F F F QFQF istndres del proeso softwre F F QFQFIF istndr siii IHUR F F F F QFQFPF istndr syGsig IPPHUEI F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F generles F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F R R S S T T T T U U V W W W W IH
11
II II IP IP IQ IQ IR IS IT IT IU IV IW PH PI
17
QFQFQF istndr syGsig ISSHSEP F F F F F F F F F F F QFRF wodelos de proesos del softwre F F F F F F F F F F F F QFRFIF wodelo en sd o linel seuenil F F F F F QFRFPF wodelo en sd on prototipdo desehle QFRFQF wodelos evolutivos F F F F F F F F F F F F F F F F QFRFRF wodelo de desrrollo forml F F F F F F F F F F F QFRFSF nis de Ra generin F F F F F F F F F F F F
F F F F F F F F F F F F F F F F F F F F
F F F F F F F F F F F F F F F F F F F F
F F F F F F F F F F F F F F F F F F F F
F F F F F F F F F F F F F F F F F F F F
F F F F F F F F F F F F F F F F F F F F
F F F F F F F F F F F F F F F F F F F F
F F F F F F F F F F F F F F F F F F F F
F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F
F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F
F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F
F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F
PP PP PQ PR PR PV PW
F F F F F F F F F F F F F
F F F F F F F F F F F F F
F F F F F F F F F F F F F
F F F F F F F F F F F F F
F F F F F F F F F F F F F
F F F F F F F F F F F F F
F F F F F F F F F F F F F
F F F F F F F F F F F F F
F F F F F F F F F F F F F
F F F F F F F F F F F F F
F F F F F F F F F F F F F
F F F F F F F F F F F F F
30
QH QH QI QQ QQ QQ QR QR QR QS QS QS QT
5. Ingeniera de Requisitos
SFIF equisitos F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F SFIFIF ipos de requisitos F F F F F F F F F F F F F F F F F F F F F F F SFIFPF rolems omunes F F F F F F F F F F F F F F F F F F F F F F SFPF sngenier de equisitos F F F F F F F F F F F F F F F F F F F F F F F F SFQF il proeso de sngenier de equisitos F F F F F F F F F F F F F F F F SFRF sdenti(in de requisitos F F F F F F F F F F F F F F F F F F F F F F F SFRFIF nis o yuds pr l identi(in de requisitos F F F F SFSF enlisis y negoiin de requisitos F F F F F F F F F F F F F F F F F F SFTF ispei(in de requisitos F F F F F F F F F F F F F F F F F F F F F F SFTFIF xturlez de l espei(in de requisitos F F F F F F F F F SFTFPF grterstis de l espei(in de requisitos F F F F F F F SFTFQF istrutur de un doumento de espei(in de requisitos SFTFRF elguns tnis de espei(in de requisitos F F F F F F F SFUF lidin de requisitos F F F F F F F F F F F F F F F F F F F F F F F F SFVF il uso de prototipos F F F F F F F F F F F F F F F F F F F F F F F F F F SFVFIF he(niin de prototipo F F F F F F F F F F F F F F F F F F F F SFVFPF ipos de prototipos F F F F F F F F F F F F F F F F F F F F F F SFVFQF nis y herrmients F F F F F F F F F F F F F F F F F F F F SFVFRF fene(ios de los prototipos F F F F F F F F F F F F F F F F F F
38
QV QV QV QW QW RH RH RP RQ RQ RQ RR RS RS RS RT RT RT RU
48 49
pundmentos de l prue F F F F F F rinipios de l prue F F F F F F F F nis de prues F F F F F F F F F hiseo de sos de prue F F F F F F VFRFIF rues de j ln F F F VFRFPF rues de j negr F F F F VFSF istrtegis de prue del softwre F VFTF v depurin F F F F F F F F F F F F F VFTFIF infoques pr l depurin
F F F F F F F F F
F F F F F F F F F
F F F F F F F F F
F F F F F F F F F
F F F F F F F F F
F F F F F F F F F
F F F F F F F F F
F F F F F F F F F
F F F F F F F F F
F F F F F F F F F
F F F F F F F F F
F F F F F F F F F
F F F F F F F F F
F F F F F F F F F F F F F F F F F F F F F F F F F F F
F F F F F F F F F F F F F F F F F F F F F F F F F F F
F F F F F F F F F F F F F F F F F F F F F F F F F F F
F F F F F F F F F F F F F F F F F F F F F F F F F F F
F F F F F F F F F F F F F F F F F F F F F F F F F F F
F F F F F F F F F F F F F F F F F F F F F F F F F F F
F F F F F F F F F F F F F F F F F F F F F F F F F F F
F F F F F F F F F F F F F F F F F F F F F F F F F F F
50
SH SI SI SQ SQ ST SU SV SW
WFIF sntroduin F F F F F F F F F F F F F F F F F F F F F F F F F F F WFIFIF ivoluin histri de ls herrmients F F F F F F F WFPF yjetivos F F F F F F F F F F F F F F F F F F F F F F F F F F F F WFQF grterstis F F F F F F F F F F F F F F F F F F F F F F F F F WFRF ilementos sios F F F F F F F F F F F F F F F F F F F F F F F WFSF il repositorio F F F F F F F F F F F F F F F F F F F F F F F F F F WFSFIF puniones del repositorio F F F F F F F F F F F F F F F WFSFPF gontenido del repositorio F F F F F F F F F F F F F F F WFTF xonoms de herrmients F F F F F F F F F F F F F F F F F WFTFIF glsi(in por tegors F F F F F F F F F F F F F F WFTFPF glsi(in por el nivel de integrin F F F F F F F WFTFQF glsi(in por su funionlidd F F F F F F F F F F F WFUF ln pr l dquisiin e implntin de un herrmient WFUFIF lni(in F F F F F F F F F F F F F F F F F F F F F F WFUFPF edquisiin F F F F F F F F F F F F F F F F F F F F F F F WFUFQF sntroduin o implntin en un proyeto piloto F WFUFRF tilizin o implntin en tod l orgnizin F WFVF ituin tul F F F F F F F F F F F F F F F F F F F F F F F F F
60
TH TI TI TI TI TP TP TP TQ TQ TQ TQ TS TS TS TT TT TT
Captulo 1
Aquellos programas de computador, procedimientos, reglas y documentacin posible asociada con la computacin, as como los datos pertenecientes a las operaciones de un sistemas de computacin.
llmdo digo hereddoF il nmero de fllos sigue un urv teri en l queD en l denomind fse iniE ilD inmeditmente posterior l implntinD se detetn muhos fllos queD on el tiempoD se vn orrigiendoD de form que d vez se detetn menosF en sD sigue siendo neesrio un mntenimiento pr orregirlosD espeilmente unE do existe un grn volumen de miosD omo suede en el softwre de gestinF ero en l reliddD d vez que se resuelven un nmero determindo de errores se puli un nuev versin sore l que se detetn msD yD despus de preE er vrisD l urv rel super stnte l teriD neesitndo d vez ms mntenimientoF
trtmiento se reliz por lotes @proesos batchAF in un proeso se ejeutn todos los movimientos sin intertur on el usurioF e est er l rteriz l flt de doumentinF
ixisten dos rzones fundmentles que provonD on freueniD l instisfin del lienteF v j produtividdD que produe un umulin de trjoF v lidd del softwre desrrolldo es uestionleF in isp se dnD demsD otrs situionesX e desrroll demsido softwre l medid y poos pquetesF xo se desrroll softwre de seX yyD qfhD etF
n onoimiento generl de los requisitos es su(iente pr empezr esriir los progrmsF n ml de(niin iniil es l prinipl us del trjo ldo en softwreF e deen nlizr de form omplet los requisitosF vos mios pueden omodrse filmenteD y que el softwre es )exileF vos mios plidos sore los resultdos otenidos en un fse ms premtur umentn tmin el osteF is deirD si se plin sore l implementin sern ms rtos que sore el diseoD y en ste lo sern ms que sore el nlisisF e h de tener en uentD demsD que el impto del mio vr segn el momenE to en que se introduzF i se pone uiddo l dr l de(niin iniilD los mios soliitdos l prinipio pueden omodrse filmenteF gundo los mios se soliE itn durnte el diseo del softwreD el impto en el oste ree rpidmenteF se hn orddo los reursos utilizr y se h estleido un mro de trjo del diE seoF vos mios durnte l implementin @odi(in y prueA pueden tener un impto importnte sore el osteF gundo se soliitn l (nl de un proyetoD los mios pueden produir un orden de mgnitud ms ro que el mismo mio pedido l prinipioF xo se puede ompror l lidd hst que los progrms no estn ejeutndoseF e deen ir relizndo prues mientrs se desrrollF edemsD desde el prinipio del proyeto se puede plir uno de los menismos ms efetivos pr grntizr l lidd del softwreX l revisin tni formlF vo nio que se entreg l terminr el proyeto es el progrm funionndoF n progrm que funion es slo un prte de un on(gurin del softwre que inluye muhos elementosF v doumentin proporion el fundmento pr un uen desrrollo yD lo que es ms importnteD proporion gus pr l tre de mntenimiento del softwreF n vez que esriimos el progrm y hemos que funioneD nuestro trjo h termindoF vos grupos de desrrollo de softwre no se disuelven hst que ste no est implnE tdoF
La Ingeniera del Software es una disciplina que integra mtodos, tcnicas y herramientas para el desarrollo de software de computadora.
us elementos sonX V
wtodosX gonjunto de tres ordends pr onseguir un (nF vos mtodos se desE rrollron pr d un de ls fses del desrrollo @nlisisD diseoD implementinD etFAD y un onjunto de vrios on un (losof omn omponen un metodologF nisX eyudn on ls di(ultdes pr llevr o lo que se indi en los mtodosF rerrmientsX rogrms que menizn los mtodos y ls tnisF sus ojetivos fundmentles son
productiva.
gorretivoX gmi el softwre pr orregir los defetosF ivolutivoX sntrodue mejors en el softwreF edpttivoX wodi( el softwre pr omodrlo los mios de su entorno externoF erfetivoX vlev l softwre ms ll de sus requisitos funionles originlesF
El reto de lo heredado
ixiste demsido softwre ntiguo que es fundmentl pr empress de hoy y queD l deteriorrseD posee un myor ndie de fllos y neesit un mntenimiento muy ltoF
El reto de la heterogeneidad
il softwre dee orrer en muhs rquiteturs y sore sistems opertivos distintosF isto fet l (ilidd del softwreD es ms fil que flleF
El reto de la entrega
e neesitn prender tnisD herrmientsD etFD pr ser ms produtivos y entregr los proyetos tiempoF in emrgoD este prendizje redue el tiempo que se puede dedir l desrrolloF
IH
Captulo 2
ompletr su signi(do si es inompletoF e hn de tener en uent dos onsideriones reltivs l informinX su ntidd y su liddD siendo est ltim ms importnte que l primerF egn l teor de l omuniin de glude hnnon l ntidd de informin que se omuni se de(ne en funin del onjunto totl de mensjes que se pueden envirF v omuniin ms elementl onsiste en el envo de dos posiles mensjesX verddero o flsoD s o noF v ntidd de informin que se trnsmite l omunir lguien un de ests dos lterntivsD eliminin de l inertidumreD l denominmos itF gundo existe l posiilidd de envir no dosD sino un ntidd n de diferentes menE 1 sjes equiprolesD d uno por lo tnto on un proilidd p = n D l ntidd de informin I medid en its que se omuni undo se env uno de los n mensjes esX I = log2 nF La cantidad de informacin de un mensaje es equivlente l nmero de dgitos inrios neesrios pr odi(r todos los posiles mensjes envirF or calidad de la informacin se entiende l onjunto de uliddes que dems de disminuir l inertidumre yudn l reeptor tomr l deisin ms ventjosF vs propieddes que indin l lidd sonX elevnte pr el prolem onsiderdoF reisD es deirD ext on l relidd y tulizdF gompletF vo idel es disponer de tod l informin relevnteD pero esto nun ourreD por lo tnto deemos de tener l menos l informin sore los elementos lveF e omuni l person deudD es deirD quien tiene que tomr l deisinF e tiempo pr que pued ser tilF xivel de detlle deudoF gomprensile pr el reeptorF
IP
e prinipios del siglo sD l evoluin sndustril mi el onepto de trjo rtesnl por l espeilizin y divisin del trjoF vs persons se orgnizE ron en seiones o deprtmentos que se oordinn medinte el intermio de informinF e emple el ppelD el lpiz y los rhivdores omo sistems de informinF e prinipios del siglo D el tmo y omplejidd de ls empress hizo que l gestin de l informin empler multitud de o(inists o dministrtivos que mnejn ingentes ntiddes de impresosD (hs lsi(ds en rhivdoresD etF e emple l mquin de esriirD luldors menisFFF il (nl del siglo y prinipios del siglo s se rterizn por el empleo de so(stids tenologs de l informin pr los tules sistems de informinF vos sistems menios se sustituyen por los informtiosF
2.4.1. Denicin
Un Sistema de Informacin es un conjunto integrado de personas, procedimientos, informacin y equipos diseados, construdos, operados y mantenidos para recoger, registrar, procesar, almacenar, recuperar y visualizar informacin.
2.4.2. Elementos de un SI
n istem de snformin posee los siguientes elementosX gomponentesX
vos proedimientos y ls prtis hitules que se siguen l ejeutr tod lse de tividdes neesris pr el uen funionmiento de l empresF n proedimiento es l regulrizin de ls iones pr llevr o un tividd de l empresF xo existen proedimientos pr todsD y en tles sos lo que existe son prtis hitulesF v informin y que es el omponente fundmentlF vs persons o usurios que introduenD mnejn o usn l informin pr relizr sus tividdesF il equipo de soporte pr l entrdD el proesmientoD el lmenmiento y l omuniin de informinF
istruturX n istem de snformin indiX
v informin que neesitF min se dee tener en uent l informin de l que se disponeF vs persons ls que v dirigidoF vos equipos @que pueden ser informtiosAF
yjetivo u ojetivosX eyudr l desempeo de ls tividdes produtivs y de deisin en todos los niveles de l orgnizinD medinte el suministro de l inE formin deudD on l lidd su(ienteD ls persons propidsD en el momento y lugr oportunosD y on el formto ms til pr el reeptorF IQ
e ontinuin se desrien ls diferentes prtes de l pirmideX yperiones y trnsionesX snluye el proesmiento de ls tividdes diris o trnsionesD los onteimientos rutinrios que fetn l orgnizin @fE turinD pgosD entreg de produtosD etFAD uys rterstis son que hy un grn volumen de trnsiones y pos exepiones los proedimientos normlesF e emplen proesos intertivosF xivel opertivoX e trj on informin del proesmiento de ls tividdes diris o trnsionesD pr tomr deisiones orto plzo y de onseuenis limitdsF vs rterstis de est informin sonX
is repetitivD informes peridiosF gon dtos origindos internmenteF qrn volumen de dtosF vos dtos uentn on un formto ien estruturdoD son detlldos y preisosF
e utilizn proesos thF xivel ttioX e oup de l signin efetiv de los reursos medio plzo pr mejorr el rendimiento de l empresF e s en nlisis de informesX
esmenes on medids estdstisD on medisD desviionesD etF he exepionesD por ejemploD entros on prdidsF
IR
ispe(osD que no se hn pedido ntesD y que los diretivos neesitn on rpidez pr resolver un prolem muy onretoF
e nivel ttio no es neesrio que los dtos estn tulizdos instntnementeD se pueden utilizr los de poos ds ntesD lo ul permite relizr ls operiones prlelmente ls deD por ejemploD el nivel opertivoF xivel estrtgioX rj on plzos lrgos pr ometer l difil tre de deE idir ls lnes mestrs que dee seguir l empres en el futuroF e trj on informin del tipoX
in formto muy resumidoF in formtos muy vriles y proedente de ls fuentes externs ms inespeE rdsF vs deisiones estn poo formlizds y on un fuerte omponente sujetivoF
e nivel ttio y estrtgio he to de preseni lo que se denomin un entro de informinD que desrroll pliiones pr otener informinD explotndo ls ses de dtos no tulizds instntnementeD y que se hn itdo en los prrfos superioresF
IS
gomo notinD indir que l myor de empress no tienen personl dedido exlusivmente l sngenier del oftwreF
IT
Captulo 3
il ontexto del prolem resolver @lmites del prolemAF vs funionliddes que se esper que resuelv el sistemF vs restriiones y ondiiones de usoF
ispei(in de requerimientosX n nlist intent omprender los requisitos y de(ne ls espei(iones que los stisfen y que desrien l ondut extern del sistemD lo qu se supone que dee herD no mo lo heF ry que segurrse de que onuerdn on los requisitosD puesto que son el punto de prtid pr el diseoF hiseoX (nlidd fundmentl es desriir mo v desrrollr ls espei(E iones el sistem onstruirF il resultdo (nl es un espei(in preis de l estrutur del softwre que stisfg los requerimientos on l lidd neesriF gomprendeX
istrutur de los dtos implementrF erquitetur del softwreF epresentiones de interfzF heterminr los lgoritmosF
gonstruinX gd unidd (nl es odi(d y se inluye en est fse l prue individul pr veri(r su orreto funionmientoF r l onstruinD el enE rgdo reie un uderno de rg on l desripin del progrmF in funin de su ontenidoD se ps relizr un de ls siguientes tividdesX
rogrmrX e reien slo ls uniddes de progrminD y se deen relizr los digrmsD orgnigrmsD etF godi(rX qenerr digo propimente dihoF
ruesX e omprue que se est onstruyendo el produto orretoD y que se est onstruyendo orretmente el produtoF snluye ls prues de integrin @ompror que tods ls prtes del sistem funionn orretmente en onjuntoAD de eptin y del sistemF smplntinX e elor l doumentin neesri pr l operin y uso del sistemD se imprte l formin preisD se reliz l rg iniil de dtos y se pone el sistem en funionmientoF
Nivel 1: Inicial
il proeso softwre se reliz en d so de un mner e inluso de form tiF il xito depende de esfuerzos personles ms que de proesos deudmente de(nidosF xo hy un proeso de(nido implit o explitmenteF
Nivel 2: Repetible
e estleen unos proesos sios de gestin del proyeto pr her un seguimiento del oste y lendrioF e estleen ierts tividdes pr llevr o un proyeto neesris pr repetir xitos nteriores en proyetos similresF n funin de lidd segur que se relizn dihs tividdesF e otienen niveles de lidd preidos proyetos nterioresF
Nivel 3: Denido
il proeso softwre est doumentdo y onstituye el proeso estndr de l orgE nizinF v orgnizin tiene de(nidos sus proesos y existe un proedimiento forml que segur que el proeso se sigue en todos los proyetosF ixisten pos orgniziones que supern este nivelD deido l oste que supone lnzr el siguienteF
Nivel 4: Gestionado
e reopiln medids del proeso softwre y de l lidd del produtoF e gestion l lidd del proeso y del produtoF e pueden usr dihs medids @mtris del softwreA pr detetr situiones exepionles y orregirlsF
Nivel 5: Optimizado
is posile un mejorD un optimizin ontinu del proesoD unti(ndo el efeto que un proeso nuevo o herrmient tienen sore un proyeto y omprndolo on proE yetos nteriores que no utilizron ese proeso o herrmientF iste nivel represent un iert nlog en l supervisin y ontrol de l lidd del sofE twre on los menismos de ontrol que existen en otrs industris on myor mdurezF
IW
Procesos integrales
on los proesos que se neesitn pr ompletr on xito ls tividdes del desE rrollo de un proyetoF gomprende los proesos deX eri(in y vlidinF qestin de l on(gurin del softwreF hesrrollo de l doumentinF intrenmientoF il estndr requiere l selein de un modelo de ilo de vid pero no impli ninguno determindo @ninguno de los estndres lo heAF gd orgnizin dee seleionr y soir ls tividdes de(nids en el estndr l modelo del ilo de vid del softwre seleiondoF il seguimiento del estndr no impli el uso de ningn mtodo espe(oD ni l rein de determindos doumentosF resrie los proesos del ilo de vidD no los produtos del mismoF il requisito de onformidd on el estndr es l relizin de tods ls tividdes oligtorisF PH
Procesos principales
tiles ls persons que iniin o relizn el desrrolloD l explotin o el mnteniE miento del softwreX omprdoresD suministrdoresD personl de desrrolloD operdores y personl de mntenimiento del softwreF ijemplo de proesos de desrrollo son el nlisis de requisitosD el diseo softwreD l onstruin y ls pruesF
Procesos de soporte
irven de poyo l resto y ontriuyen l xito y lidd del proyeto softwreF vos proesos que perteneen est tegor son l doumentinD l gestin de on(gurE inD el segurmiento de liddD l veri(in y l vlidinF
PI
Procesos generales
ueden estleerse dos nivelesX e nivel orgnizinX irven pr estleerD implementr y mejorr l orgnizE in @gestinD formin del personlD mejor del proesoD etFAF istos proesos se relizn fuer de proyetos espe(osD nivel orgniztivoF e nivel proyetoX min onsider los proesos de gestin del proyetoD gestin de l lidd y gestin del riesgoF e relizn pr d proyetoF syGsig IPPHUEI no impli un modelo de ilo de vid determindoD o un mtodo de desrrollo de softwreF v orgnizin que plique el estndr es responsle de seleioE nr un modelo de ilo de vid y relionr los proesosD tividdes y tres del estndr en ese modeloF e esto se denomin proeso de dptinF il seguimiento del estndr no impli el uso de ningn mtodo espe(oD ni l rein de determindos doumentosF resrie los proesos del ilo de vidD no los produtos del mismoF il requisito de onformidd on el estndr es l relizin de todos los proesosD E tividdes y tres seleiondos en el proeso de dptin pr un proyeto onretoF gulquier orgnizin que quier imponer el estndr dee espei(r y her plios los proesosD tividdes y tres que onstituyen l onformidd on el estndrF
Podemos denir un modelo de procesos del software como una representacin abstracta de alto nivel de un proceso software.
gd modelo es un desripin de un proeso softwre que se present desde un persE petiv prtiulrF elterntivmenteD vees se usn los trminos ilo de vid y woE delo de ilo de vidF gd modelo desrie un suesin de fses y un endenmiento entre ellsF egn ls fses y el modo en que se produz este endenmientoD tenemos diferenes modelos de proesoFn modelo es ms deudo que otro pr desrrollr un proyeto dependiendo PP
de un onjunto de rterstis de steF ixiste un grn vriedd de modelos diferentes entre los que tenemos los que se desriE en ontinuinF
Modelo incremental
iste modelo entreg el softwre en prtes pequesD pero utilizlesD llmds inreE mentosF in generlD d inremento se onstruye sore qul que y h sido entregdoF grterstis del modeloX gomin elementos del modelo linel seuenil on l (losof itertiv propi de los modelos evolutivosF e relizn un serie de iteriones sore el propio modelo en sdF gd iterin produe un inrementoD un versin ms re(nd del sistemD hst lnzr un que stisfg plenmente los requisitos del usurio F gd inremento es un produto totlmente opertivo que se entreg l usurio @se pone en explotinAF n vez estleid l rquitetur glol el sistem se desrroll inremento inrementoF
us ventjs son queX ermite otener un produto ejeutle lo ntes posileF hisminuye el perodo de ongelin de requisitosF sus inonvenientesD que los sistems estn menudo poremente estruturdosX l introduir mios el softwre qued muy prhedoF vs rterstis del proyeto que hen deudo el uso de este modelo son queX heemos ser pes de diser un rquitetur de inrementos pr el proyeto desrrollrF v ventj que report el delntr l puest en explotin de prte del proyeto justi(que lo poremente estruturdo que qued el digoF PS
i existen lterntivs @por ejemplo desrrollr d susistem por seprdoA es mejor utilizr otros modelosF
Modelo en espiral
ropuesto por foehm y tulmente muy onoidoD es un modelo evolutivo que onE jug spetos sistemtios del modelo linel seuenil on l nturlez itertiv propi de este tipo de modelosF in el modelo en espirlD el softwre se desrroll en un serie de versiones inrementlesF hurnte ls ltims iterionesD se produen versiones d vez ms omplets del sistemF
Un modelo de procesos guiado por el riesgo que se emplea para desarrollar sistemas. Tiene dos caractersticas principales: Un enfoque cclico para el crecimiento incremental del grado de denicin e implementacin de un sistema mientras disminuye su grado de riesgo. Fija un conjunto de puntos para asegurar el compromiso del usuario con soluciones que sean factibles y mutuamente satisfactorias.
v seueni de tividdes del proeso softwre se represent omo un espirl y d ule represent un fse del proesoF gd ule se divide en utro setoresF e omienz por el ule ms interior y se vnz hi el exteriorF
PT
xo hy fses (jds de ntemno en este modeloF e pueden usr fses del modelo de prototipos pr resolver un prolem on los requisitos y disminuir el riesgoD seguido de fses del modelo en sd u otroF resent omo ventjsX v onsiderin expliit del riesgoF rer uso de los mejores elementos de los restntes modelosF omo inonvenientes queX hepende en exeso de l hilidd personl pr identi(r riesgosF smpli stnte trjo diionlF vs rterstis del proyeto que hen deudo el uso de este modelo son queX e quier disminuir el riesgoF e se pz de evlur el riesgo y se teng l pidd su(iente pr resolverloF e sum el trjo diionl que generF
PU
PW
Captulo 4
Un mtodo de desarrollo de software es un enfoque sistemtico y disciplinado para desarrollar software de calidad y de forma productiva.
vos mtodos son importntes por vris rzonesX snuln un disiplin en el proeso de desrrolloF he(nen los produtos generrF romueven el uso de determinds tnisF he(nen los hitos neesrios pr medir el progreso y gestionr el riesgoF
he l dd de los TH los UHD el desenso de los preios del hrdwre y el umento de poteni de los ordendores propii un umento en l omplejidd de ls pliionesF e propusieron muhos mtodos pr enfrentrse ellD y los ms in)uyentes fueron los mtodos estruturdos orientdos l )ujo de los dtos @ourdon y gonstntineAF he l dd de los UH l VSD surgieron los mtodos orientdos l estrutur de los dtos @tksonD rnierEyrrA queD junto los mtodos estruturdos orientdos l )ujo de los dtosD se hn plido on xito un serie de dominios omplejosD prtiulrmente los sistems de gestin de l informinF he IWVS IWWHD se llevn o mpliionesD omo por prte de rd y wellorD pr el desrrollo de pliiones de tiempo relD donde los mtodos estruturs no se mostrn omo un soluin ptimF he IWWH en delnte se hn extendido los mtodos orientdos ojetosD mtodos formlesD etF
xo se se relmente undo puede r el proyetoD y los resultdos pueden ser muy distintos proyetos similresF el no existir fses estleids ni produtos onretos otener sore los que relizr veri(ionesD no se pueden estleer puntos de ontrolF xo es fil integrr nuevos reursosF
wtodos estruturdosX epreen (nles de los UHD y representn tnto los proE esos omo ls estruturs de dtosD de un mner jerrqui desendenteF en el sistem omo entrdsEproesoEslidsF on mtodos senillosD files de entender y prenderD y tienen un mpli difuE sinX estn presentes en muhs metodologs @wtriD ehwD weriseAD existen muhs herrmients gei disponiles y l myor prte del softwre existente se h desrrolldo on ellosF e pueden selr los siguientes tiposX
yrientdos l )ujo de los dtosG proesosX e entrn en el )ujo de informE inF st puede representrse omo un )ujo ontinuo que sufre un serie de trnsformiones @proesosA onforme v de l entrd l slidF istos mE todos de(nen un onjunto de psos que trnsformn el )ujo de informin en un estrutur de progrmD y son espeilmente tiles undo l informin se proes seuenilmente y no existe un estrutur de dtos jerrquiF or ejemploD en softwre ient(o y de gestinF vs notiones que utilizn sonX hph @higrms de plujo de htosAD iE @intiddEelinA y hi @higrms de rnsiin de istdosAF ijemplos de estos mtodos sonX he wroDqne 8 rson y ourdonF
QI
yrientdos l estrutur de los dtosG dtosX e entrn en l estrutur de los dtos en vez de en el )ujo de stosF e utilizn pr desrrollr softwre de se omo sistems opertivos y pliiones de gestin undo utilizn ses de dtos jerrquisF eunque d mtodo tiene un enfoque y un notin distintD todos poseen rterstis omunesX esumen que l estrutur de l informin es jerrquiF equieren que se represente l estrutur de los dtos usndo ls estruE turs sis itertivD seletiv y seuenilF roporionn un onjunto de psos pr trnsformr un estrutur jeE rrqui de dtos en un estrutur de progrmF
vs notiones que utilizn dependen del mtodoD pr el hih @hesrrollo de istems istruturdos de htosA se utilizn digrms de rnier y de entiddes @muy preidos los hphAD y pr el ht @hesrrollo de istems de tksonAD digrms de tkson y de espei(in del sistemF
epliiones de tiempo relX e medidos de los VH omenzron herse eviE dentes ls de(ienis de los mtodos estruturdos undo se intentn utiE lizr en pliiones de tiempo relAF vs mpliiones derivron en el mtodo de rd y wellor en IWVSD y ms trde en el de rtley y irhi en IWVUF in unto notionesD l de rd 8 wellor inorpor los hphs )ujos de ontrol que se representn medinte )ehs de trzo disontinuo y proesos de ontrolF lo mnejn )ujos de ontrolD que tmin se representn on urujs de trzo disontinuoF
yrientdos ojetosX e difereni de los mtodos estruturdosD que onsidern los sistems de informin omo entrdsEproesoEslidsD en l yy se identi(n los ojetosD que son ojetos del mundo relD y que enpsuln dtos y proesosF in el nlisis se trt de onstruir un modelo strto de ojetosD que se trduen ojetos del sistem durnte el diseoD y que su vez son trduidos ojetos softwre @rutinsA durnte l onstruinF v orrespondeni ms diret entre el progrm que funion y los requisitos originles filit el mntenimientoF istos mtodos son muy deudos pr el desrrollo de sistems intertivosF xo existe un notin estndrD sino que es espe( pr d mtodoF gon wv @Unied Modeling LanguageA tenemosD entre otrosD digrms de lsesD de ojetosD de seueniD de sos de usoFFF ijemplos de estos mtodos sonX foohD ywD yjetoryGyyiD psyxD yyrmD roeso ni(doD Rational Unied ProcessFFF wtodos formlesX tilizn tnis de se mtemti pr desriir ls propieE ddes del sistemF istos mtodos permiten espei(rD desrrollr y veri(r los sistems de mner sistemti en vez de herlo ad hocF e die que un mtodo es forml si posee un se mtemti estleD que normlmente vendr dd por un lenguje de espei(in formlF oos desrrolldores tienen los onoimientos neesrios pr plirlosD y se utilizn pr desrrollr softwre muy seguroF gomo ejemplos de lgunos lengujes de espei(in forml se enuentrnX vGe @Problem Statement Language/ Problem Statement AnalyzerAD yftig y g @Communicating Sequential ProcessesAF QP
4.4. Metodologas
4.4.1. Denicin
n metodolog es un onjunto de mtodos plidos lo lrgo del ilo de vid del desrrollo de softwreD uni(dos por lgun proximin generl o (los(F
or ejemploD pr d proeso priniplD wtri vQ espei( un desripin del proE eso y un digrm de tividdesF r d tividd espei(X hesripin de l tividdF res de que onstF rodutos generdos por l tividdF nis utilizdsF rtiipntesF vs tres ltims se espei(n nivel de treD pero no de tividdF r d tre espei(X hesripin de l treF rodutosF QQ
4.4.3. Caractersticas
vs metodologs dn un oertur totl del ilo de vid del desrrolloD son )exiles on relin l tmo del proyeto desrrollrD permiten un fil formin y estn soportds por herrmients utomtizdsF edemsD son personlizlesX se preis un proeso de personlizin pr dptr un metodolog forne un orgnizinF xo es rzonle pensr que dos orgniziones utilien l mism metodolog sin relizr mios sore ellF or ltimoD presentn enles @interfesA on proesos de gestinD segurmiento de l liddD gestin de l on(gurinFFF
4.4.4. Objetivos
vos ojetivos generles de ls metodologs sonX hesrrollr mejores pliionesD es deirD de ms liddD unque un metodolog no st pr segurr l liddD y que hy otros ftores que pueden in)uirF wejorr l produtividdX vs pliiones se desrrolln ms rpidmente y on los reursos propidosF los ojetivos espe(osX osiilitr un gestin @estiminD plni(in y ontrolA deud del desrrolloF gonstruir un sistem ien doumentdoF hisponer de un medio onsistente de omuniinF osiilitr l utilizin ptim de todos los reursosF pilitr l inorporin de nuevs personsF
4.4.5. Clasicacin
vs metodologs se pueden lsi(r enX istruturdsF yrientds proesosF yrientds dtosF r el desrrollo de sistems de tiempo relF
QR
4.5.1. Merise
is l metodolog o(il frnesF s ses fueron reds por un pequeo grupo universitrio de ingenieros hi (nles de IWUTD pero el proyeto de desrrollr un metodolog prte del Centre Technique Informatique @gsA del winisterio de sndustri frns y su lnzmiento se reliz en IWUWF gomo portionesD onsider un ilo de vid ms lrgo que los existentesD inorporndo un nuev tividd de plni(in previ l desrrolloD que denomin esquem direE torF edemsD onsider tres niveles de strinX IF xivel oneptulX e oup de de(nir el quF PF xivel orgniztivoX he(ne l orgnizin implntr pr lnzr los ojetivos signdos l sistemF QF xivel fsioX e oup de los medios tnios neesrios pr el proyetoF r d nivel de(ne dos modelosD un modelo de dtos y un modelo de trtmientosF uvo lgun difusin en isp y h in)uido en wtriF
4.5.2. SSADM
xi prinipios de l dd de los VHD promovid por el goierno ritnioF e desrroll de form onjunt por l Central Computing and Telecomunications Agency y Learmonth and Burchett Management SystemsF hesde su nimiento h ido evoluionnE do pr dptrseD de form muy iertD los mios tenolgiosY sD l vQ inorpor l tni diseo del dilogo pr diser l interfz de usurio y frontr el reimiento del intertivoF lo ure el nlisis y el diseoD onsiderndo ls fses deX istudio de viiliddF istudio ompletoX enlisis de requisitosD espei(in de requisitos y espei(in lgi del sistemF hiseo fsioF
QS
hej fuer l onstruinD prues e implntinD y por supuesto ls tividdes de plni(in y mntenimientoF gomo spetos lve present el nfsis en l prtiipin de los usuriosD y l lire disposiin tnto en entornos industriles omo dmiosD lo que h sido ene(ioso pr l priin de numeross herrmients que soportn l metodologF el igul que weriseD h in)uido en wtriF
4.5.3. Mtrica v3
uesto que wtri es l metodolog o(il espolD ser l que se trte en myor profundiddF
Objetivos
gomprte los ojetivos de tods ls metodologsD que se pueden onsultr en el prtdo RFRFQF edemsD los ojetivos espe(os de wtri vQ sonX wntener l senillezD )exiilidd y dptilidd de l versin PFIF snorporr nuevs tnis y mtodos presentes en los desrrollos tulesX glienteE servidorD orientin ojetosFFF rer nfsis en el uso de estndresF
Interfaces
snorpor interfes on gestin de proyetosD lidd @qqgD Plan General de Garanta de CalidadAD gestin de l on(gurin del softwre y seguridd @weqisAF
mbito de aplicacin
romovido por el gonsejo uperior de snformti del winisterio pr ls edmiE nistriones lis @rgno interministeril responsle de l polti informti del qoiernoAF in orden desendenteD se pli enX edministrin gentrl del istdoF edministrin eutonmiF edministrin volF esto de empress e instituionesF
Alcance de la metodologa
wtri h sido oneid pr rr el desrrollo ompleto de sistems de inE formin se ul se su omplejidd y mgnitudD por lo ul su estrutur responde desrrollos mximos y deer dptrse ls dimensiones y rterstis de d proyeto en prtiulr y l modelo de proesos esogidoF
QT
Versiones
IF ht de IWVWF PF ht de IWWQF v versin PFI fue pulid en IWWSF QF ht de PHHHF
Inuencias
he los mtodos ehw vR y weriseF he los estndres sy IPPHUD siii tdF IHUREIWWVD syGsig ISFSHR @sgiAD sy WHHHEQD siii tdF TIHFIPEIWWV y el estndr wv de ywqF in unto referenis espe(sD qqg y weqisF
Aportaciones
is un metodolog mixtD ure los enfoques estruturdo y yyAD l ontrrio que werise y ehwD que son estruturdsF gontempl l rquitetur lienteEservidor y ls qs @Graphical User InterfaceAF hesrroll los proesos priniples de plni(inD desrrollo y mntenimientoF
Estructura
e ompone de proesos priniples que su vez se dividen en proesosD stos en tividdes @omunesD estruturds u orientds ojetosAD y ests ltims en tresF e ontinuin se detllr l informin que suministr de d unoF roeso priniplX hesripin generlF roesoX hesripin generl y produtos generdosF etividdX hesripin y tres de que onstF rodutos generdos por l tiviE ddD tnis utilizds y prtiipntes @estos tres ltimos dtos se indin nivel de treD no de tividdAF reX hesripinD produtos de entrd y de slidD tnis y prtiipntesF
Procesos
lni(in de istems de snformin @sAF hesrrollo de istems de snforminX
istudio de iilidd del istem @iAF enlisis del istem de snformin @esAF hiseo del istem de snformin @hsAF gonstruin del istem de snformin @gsAF smplntin y eeptin del istem @seAF
wntenimiento de istems de snformin @wsAF
QU
Captulo 5
Ingeniera de Requisitos
5.1. Requisitos
gundo se reliz un proyetoD el primer pso es l otenin de requisitosD pregunE tndo l usurio qu serviios quiere que lleve oD y ls ondiiones en que se v ejeutrD lo que se denominn ondiiones de usoF v primer de ls tividdes en muhos modelos del ilo de vid es l otenin de los requisitosF vos requisitos de(nenX los serviios que el sistem dee proporionr los usuriosD y ls restriiones y ondiiones de usoF v de(niin de los requisitos dee ser el fruto del trjo onjunto de ls prtes invoE lurds omo son los desrrolldores y usuriosF vos usurios son los nios que tienen poder pr modi(rD dirD quitrD etFD un requisitoF il desrrolldor slo t omo notrioF n usurio es el onoedor del dominio de pliinD del re del proyetoF or ejemploD si se desrroll un proyeto de ontiliddD el usurio dee onoerlF i el dominio es ordle desde diferentes puntos de vistD d uno que lo onoe es un usurioF or otr prteD los enrgdos de elorr los requisitos son los nlists funionlesD que no neesitn ser informtios ni onoedores del dominio porque el nlisis no form prte de ls tividdes tnis informtisD que omienzn en l fse de diseoF
QV
vos requisitos no re)ejn ls neesiddes reles de los usurios del sistem softwreF vos requisitos son inonsistentes yGo inompletosF is difil introduir mios en los requisitos un vez estos hn sido onsensudos entre usurios y desrrolldoresF v us de estos prolems es un flt de entendimiento entre los usurios y qullos que desrrolln el sistem softwreF
QW
Examen de archivos
ni si pr otener informin untittivX volmenesD freuenisD tenE denisD rtiosD etF min proporion yud pr medir el nivel de on(nz que se puede depositr en ls estimiones untittivs dds por el usurioF
Muestreos
is til undo se pide informin reltiv un grn volumen de doumentos o tividdes que se repiten on muh freueniF in este so es eptle exminr doumentos o tividdes esogids l zrF or lo menosD deer relizr un muestreo letorio simple on un tmo de muestr de QH individuosF RH
Cuestionarios
on difiles de diser y de interpretrD por lo que su uso dee restringirse los sos de loliddes remots o undo l informin de proporionrl un nmero elevdo de personsF
Entrevistas
is l tni prinipl y l que ms se usF in ellsD un o vris personsD desrroE lldores y usuriosD se renen pr que estos ltimos indiquen los serviios que quieren y ls ondiiones de uso en ls que se desrrollrnF il nlist deer tomr un opi de ulquier doumento que le pued proporionr el usurioF gon sus puntesD doumentosD etFD dee elorr un t que despus ser prod por ms prtesF n nlist dee ontr on ls siguientes rterstisX smprilF onderdoF fuen oyenteF rilidd en el trtoF gordilidd y esiiliddF ieniF vs entrevists requieren de un mtodo que podemos estleer en los siguientes psosX lni(in de l entrevist @ntes de relizr l entrevistAX pijr quin se dee entrevistrD ontndo on l proin previF e inform l entrevistdo on ntelin del ontenido de l entrevistD y se rene tod l informin existente sore el ontenido ntes de relizr l entrevistF pinlmenteD onvenir dD hor y lugrF elizin de l entrevistX heer llevrse o en un miente propido y lo ms exento posile de interrupionesF gonviene ser puntulD identi(rse y explir el ojetivo de l entrevistF in el desrrolloD se dee ir de lo generl spetos ms detlldosD empezndo porX
puniones E entrds E slids @lo que heA lids E funiones E entrds @los doumentos que mnejA
e dee utilizr un estilo propido y evitr l tentin de rgumentrD dr onE sejos o envolver emoionlmente l entrevistdo @esto ltimo modi(r su titud de r prxims entrevistsAF pinlizin de l entrevistX eri(remos ls nots on l person entrevistdD le expresremos nuestro grdeimiento y dejremos el mino ierto pr nuevos onttosF gonsolidin @despus de l entrevistAX e dee orgnizr y ompletr si fuer preiso ls nots reogidsD elorr un t que dee ser entregd todos los prE tiipntesD rer unts onsideriones sen preiss en relin su ontenido y onseguir que el usurio lo prueeF RI
Reuniones
gundo los diferentes spetos en relin un tem son onoidos por distints perE sons es preiso reunirls pr otener un informin lo ms omplet posile sore diho temF il responsle de l reunin suele ser el desrrolldorF ixisten un serie de prolems espe(os pr l pliin de est tniD fundmenE tlmente los derivdos de l dinmi de gruposF
i el requisito es neesrioF i lgn requisito tiene un nivel de detlle inpropidoF i el requisito est ien delimitdo y sin migeddF i existen requisitos inomptiles on otrosF i se puede pror el requisito un vez implntdoF i d requisito tiene un origen onoidoF
y tipos de entrds de dtos en ulquier situin que pued presentrseF ry que tener presente que esto supone que deen espei(rse tnto ls respuests entrds vlids omo ls que no lo sonF gonsistentesX v onsisteni se re(ere l onformidd de l i on doumentos de ms lto nivel o de lgunos prtdos de l i on otrosF glsi(ds por su importniF eri(lesX n espei(in de requisitos es veri(le si y slo si d uno de los requisitos de(nidos es veri(leF e su vezD un requisito es veri(le si y slo si existe lgn proedimiento por el que un person o mquin pued ompror posteriormente que el sistem softwre umple el requisitoF in generlD un requisito miguo es no veri(leF esD quellos que inluyen exE presiones del tipoX trj ienD uen interfzD ourre usulmenteD etFD no pueden ser veri(dos porque es imposile de(nir trminos omo uenoD ienD usulmenteF wodi(lesX n i es modi(le si y slo si su estrutur y estilo es tl que puedn herse numerosos mios de los requisitos de form filD omplet y onsistentementeD mnteniendo l mism estrutur y estiloF isto requiere que l i est orgnizd de mner oherente y fil de usrD on un tl de ontenidosD un ndieD referenis ruzdsD etFY que no se redundnteD es deirD el mismo requisito no dee preer ms de un vezD y d requisito dee estr desrito de form seprdF rzlesX n i es trzle si el origen de d requisito es lro y si filit l refereni del mismo pr futuros desrrollos o modi(ionesF on reomendles dos tipos de trziliddX
ri trsX gundo d requisito refereni explitmente su fuente u origen en doumentos nterioresF ri delnteX smpli que d requisito tiene un nio nomre o nmero de refereniF
RR
RS
Por la robustez
rototipo funionl @Keep-itAX il prototipo es su(ientemente rousto y e(iente pr que se pued trspsr produin diretmenteF istos prototipos permiten l usurio lmenr dtos y relizr operiones on esos dtosF rototipdo desehle @Throw-awayAX il prototipo se us slo pr ptr y vlidr los requisitos del sistemF
RU
Captulo 6
RV
Captulo 7
RW
Captulo 8
La prueba de software es el proceso que se realiza sobre un producto software con la intencin de descubrir errores.
vos errores pueden empezr desde el primer momento del proeso softwreF
gundo hlmos de l prue del softwre hlmos de l prue de ls espei(E ionesD del diseoD del digoFFF xo es un tividd seundriD sino que suele suponer un QHERH 7 del esfuerzo de desE rrolloD y en pliiones rtis @ontrol de vueloD retores nuleresFFFAD de Q S vees ms que el resto de proesos juntosF v prue no puede segurr l useni de defetosX slo puede demostrr que existen defetos en el softwreF Una prueba tiene xito si descubre un error no detectado SH
hasta entonces.
in ls prues se deen distinguir dos trminos importntesX eri(inX e orresponde on tividdes pr ompror si un produto sofE twre est tnimente ien onstruidoD es deirD si funionF lidinX in generlD se trt de ompror si el softwre onstruido stisfe los requisitos del usurioF
Recorridos
n equipo de reorrido onst de un person revisd y de tres ino revisoresF v person revisd reorre el produto y los revisores preguntn sore spetos relioE ndos on lF vos revisores pueden ser el jefe del proyetoD otros miemros del equipo de desrrolloD del grupo de ontrol de liddD personl tnioD el usurioFFF il ojetivo es SI
desurir errores que no se resuelven durnte l sesin de reorridoF gomo prinipios generles se dee tener en uentX lni(r ls sesiones de reorridoF n sesin de reorrido es pr detetr erroresD no pr orregirlosF e deen tender spetos priniplesF n sesin no dee durr ms de dos horsF il xito depende muho del estleimiento de un tmsfer grdleF xo deen usrse pr evlur l revisdoF
Inspecciones
egn siiiFFF
Una inspeccin es una tcnica de evaluacin o prueba en la cual las especicaciones de requisitos, las especicaciones funcionales, las especicaciones tcnicas, cuadernos de carga, los manuales de usuario y explotacin, etc., se examinan en detalle, por una persona o grupo distintos del autor, para detectar defectos, disconformidades con las normas de desarrollo y otros problemas.
vos grupos de inspein onstn de uno utro miemrosD inspetoresD preprdos pr relizr est lorF vs inspeiones deen ser dirigids por moderdores preprdos y entrendos pr tl (nF gd inspetorD si son vriosD tiene un tre onret pr inrementr l efetividdD y trjn prtir de lists preprds pr su tre on el (n de inrementr el desurimiento de defetosF
Anlisis esttico
irve pr vlorr ls rterstis estruturles de ulquier representin que siE g uns regls sinttis ien de(nidsF in el digo fuente es un tni pr vlorr sus rterstis estruturlesF e exmin l estrutur del digoD pero ste no se ejeutF il ojetivo es detetr prtis de odi(in uestionles y el no umplimiento de estndresD s omo vriles no iniilizdsD digo isldoD etF xormlmente se utilizn herrmients utomtizds denominds nlizdores esttiE osF SP
Ejecucin simblica
is un tni de vlidin en l que ls vriles de entrd un progrm se les signn vlores simlios en vez de vlores literlesF n progrm se nliz propgndo los vlores simlios de ls entrds trvs de los lulosD y ls expresiones simlis resultntes se simpli(n d pso del luloD de mner que los resultdos se expresn siempre en trminos de ls entrds simlisF
Vericacin formal
v veri(in forml impli el uso de tnis mtemtis riguross pr demosE trr que los progrms tienen ierts propieddes deselesF hentro de ls tnis de veri(in forml ls ms empleds sonX e(rmiones de iGX e soin predidos @(rmionesA on un punto de entrE dD de slid y vrios puntos intermedios en el digo fuente de un progrmF v notin (P )S(R) signi( que si el predido @(rminA P es verddero ntes de ejeutr el segmento de digo S D entones el predido R ser verddero despus de l ejeuin de S si ls ondiiones de veri(in intermedis son verdders lo lrgo de l rut de ejeuin S F v regl de omposiin die queD si ls ondiiones de veri(in intermedis son verdders lo lrgo de un rut de ejeuinD entones un ondiin de entrd verdder implir l verdd de l ondiin de slidF snduin estruturlX e poy en el prinipio generl de l induin mtemtiD que onsiste en demostrr que un ondiin es verdder pr vlores mnimosF uponiendo que l ondiin es verdder pr nD demostrr que es verdder pr n + 1F
prue que los ejeutenD o seD generr sos de prue que ejeuten exhustivmente l lgi del progrmF hesgridmenteD inluso pr progrms pequeos el nmero de minos lgios puede ser enormeD sin emrgoD no se dee desehr l prue de l j ln omo imprE tileF vo que tenemos que her es elegir un serie de minos lgios importntes queX qrntien que se ejeute l menos un vez d senteniF ue se ejeuten tods ls deisiones lgis en sus vertientes verdder y flsF ue se ejeuten todos los ules en sus lmitesF intre ls prues de l j ln vmos onsiderr ls que se detlln ontinuinF
QF heterminmos un onjunto sio de hst @qA minos linelmente independienE tesF RF reprmos los sos de prue que forzrn l ejeuin de d mino del onE junto sioF
Prueba de condiciones
e entr en l prue de d un de ls ondiiones de un progrmF i un ondiin es inorretD l menos un omponente de l ondiin lo esF gomo oneptosD son dignos de destrX gondiin simpleX es un vrile lgi o un expresin relionl que tom l form de dos expresiones ritmtisD y un operdor relionl entre ellsD es deirD E1 < operadorrelacional > E2F `D bD aD etFD son operdores relionlesF gondiin ompuestX pormd por dos o ms ondiiones simplesD operdores lE gios y prntesisF yD exhD xyD etFD son operdores lgiosF vos omponentes de un ondiin sonX yperdor lgioF rntesisF yperdor relionlF ixpresin ritmtiF n error en un ondiin puede ser por un error en ulquier de dihos omponentesF r un ondiin simpleD se deen generr sos de prue que ejeuten l menos un vez ls rms verdder y fls de l ondiinF r un ondiin ompuestD se deen generr sos de prue que ejeuten l menos un vez ls rms verdder y fls de l ondiin ompuest y ls rms verdder y fls de d ondiin simpleF
Prueba de bucles
v prue de ules se entr exlusivmente en l vlidez de l onstruin de ulesF vos ules preen en l myor de los lgoritmos implementdos en el softwre y es por ello que deemos prestrles tenin undo llevmos o l prue del softwreF odemos onsiderr utro tipos de ulesX simplesD niddosD ontendos y no estruturdosF r d uno de ellos se deen otener unos sos de prueF fules simplesX i n es el nmero mximo de iteriones del uleD generr sos de prue que permitnX
sr por lto totlmente el uleF sr un sol vez por el uleF sr dos vees por el uleF rer m psos por el uleD on m < nF
SS
Particin equivalente
e divide el dominio de vlores de entrd en un nmero limitdo de lses de equivE leniF v prue de un vlor representtivo de l lse permite suponer rzonlemente que el resultdo otenido ser el mismo que prondo ulquier otro vlor de l lseF intre los oneptosD dest el de lse de equivleniD un onjunto de estdos vlidos o de estdos invlidos pr un ondiin de entrdF pimenteD un ondiin de entrd puede serX un vlor numrio espe(oD un rngo de vloresD un onjunto de vlores o un ondiin lgiF vs lses de equivleni que se pueden de(nir son ls siguientesX i un ondiin de entrd es un vlor se de(ne un lse de equivleni vlid @diho vlorA y dos invlids @los vlores menores y los myoresAF i un ondiin de entrd espei( un rngo de vloresD se espei( un lse vlid @diho rngoA y dos no vlids @rngo inferior y rngo superiorAF
ST
i un ondiin de entrd espei( un miemro de un onjunto se de(ne un lse vlid @elementos del onjuntoA y un invlid @elementos que no perteneen l onjuntoAF i un ondiin de entrd espei( un ondiin lgi se de(ne un lse vlid @vlores que dn lugr verdderoA y un invlid @vlores que dn lugr flsoAF r otener los sos de prue se deen identi(r ls lses de equivleni y despus rer los sos de prue orrespondientesF
SU
v prue de unidd he uso intensivo del enfoque de j lnF v prue de integrin utiliz prues de l j ln y de l j negrF v prue de vlidin us exlusivmente prues de l j negrF v prue del sistem qued fuer de los lmites de l sngenier del oftwreD entrndo en el ontexto de l sngenier de istemsF
8.6. La depuracin
v depurin pree omo un onseueni de un prue efetivF gundo un so de prue desure un errorD l depurin es el proeso resultnte pr l eliminE in de diho errorF il desrrolldorD l evlur los resultdos de un prue se enuentr on un indiE in sintomti de un prolem en el softwreF il sntom es l mnifestin del errorF gonetr un sntom on un us es l tre fundmentl de l depurinF La ma-
nifestacin externa de un error y la causa interna del error pueden no estar relacionados de forma obvia.
il proeso de depurin siempre tiene uno de los dos resultdos siguientesX e enuentr l usD se orrige y se eliminF
xo se enuentr l usD en uyo so se sospeh unD se disen sos de prueE que yuden on(rmr l sospeh y el trjo vuelve hi trs de form itertivF v depurin es difil deido dos ussF
Aspectos humanos
odo pree indir que l hilidd en l depurin es un rsgo innto en lguns personsF
SV
Vuelta atrs
rtiendo del lugr donde se desure el sntom se reorre mnulmente hi trs el digo fuente hst llegr l posiin de errorF i en l vuelt trs el nmero de minos ree muho est tni se he imprtileF
Eliminacin de causas
e he un list de posiles ussD se llevn o prues pr eliminr d unD y si lgun prue indi que lgun us en prtiulr pree prometedor se re(nn los dtos on el (n de islr el errorF
SW
Captulo 9
Un conjunto de herramientas que proporcionan asistencia automatizada a las diferentes actividades del proceso software. CASEF
gei es el rnimo de Computer-Aided Software EngineeringD e sEgei de Integrated
vs herrmients gei rn lguns tividdes del proeso softwre por seprdoD sin emrgoD l verdder poteni de gei solmente se puede logrr medinte l inE tegrinF vs sEgei ontempln ls tividdes de todo el ilo de desrrolloF il trmino inteE grin impli un ominin de un gm de herrmients e informin que hg posile l omuniin entre stsD ls persons y los proesos softwreF r que un herrmient se sEgei deeX gomprtir l informin entre tods ls herrmientsF rer posile que un mio en un elemento de informin se sig los elementos reliondosF ermitir eso direto ulquier herrmientF ermitir que los usurios de d herrmient tengn un visin onsistente de l interfz personEmquinX epresentiones onsistentes de l informinD inE terfes estndrizds entre herrmients y un menismo homogneo pr l omuniinF
TH
9.2. Objetivos
wejorr l produtividd y l lidd del softwre trvs deX impli(r el uso de tnisF vierr los desrrolldores de tres rutinrisF pilitr l generin de doumentinD l relizin de prototiposD el uso de estndresD l gestin del desrrollo del proyetoFFF
9.3. Caractersticas
oporte multiusurioD personlizin y poyo utomtizdo ls tres de l metoE dolog en usoF
TI
9.5. El repositorio
il repositorio es un se de dtos que t omo entro pr el lmenmiento de informinF is el nleo o orzn de l herrmientF il ppel del desrrolldor es intertur on el repositorio emplendo herrmients inteE grds on lF
Compartir informacin
roporion menismos pr omprtir informin entre mltiples herrmientsD y ontrol el eso multiusurio loquendo y desloquendo ojetosF
Estandarizacin de documentos
v dopin de estndres pr los distintos soportes d lugr diretmente un enfoque estndr pr l rein de doumentosF
Herramientas grcas
molosD estruturs y formsF
Herramientas omticas
rtmiento de textosD orreo eletrnioD luldors de soremesFFF
Herramientas de documentacin
on herrmients de produin de doumentosF is freuente que se inviert hst un PH 7EQH 7 del esfuerzo glol del desrrollo en el proeso de doumentinD por lo que ests herrmients suponen un importnte mejor de l produtividdF TQ
Herramientas de programacin
gompildoresD editores y depurdores pr poyr l myor de los lengujes de progrmin onvenionlesF vRqF vengujes de onsult ses de dtos vF qenerdores de digoX e prtir de estruturs sis o de pseudodigoF
Herramientas de reingeniera
vs herrmients pr el softwre hereddo r un onjunto de tividdes de mntenimiento que tulmente soren un porentje signi(tivo de todo el esfuerzo reliondo on el softwreF vs herrmients de reingenier se pueden sudividir en ls funiones siguientesX rF de ingenier inversX e tom el digo fuente omo entrd y se genern modeE los gr(os de nlisis y diseo estruturdosD lists de utilizin y ms informin sore el diseoF rF de reestruturinX e nliz l sintxis del progrmD se gener un gr( de ontrol de )ujo y se gener utomtimente un progrm estruturdoF rF de ingenier diretF
Herramientas de prueba
edquisiin de dtosX edquieren los dtos que se utilizrn durnte l prueF wedids esttisX enlizn el digo fuente sin ejeutr sos de prueF wedids dinmisX enlizn el digo fuente durnte l ejeuinF qestin de pruesX restn su sisteni en l plni(inD desrrollo y ontrol de ls pruesF
9.7.1. Planicacin
e dee vlorr el nivel de mdurez de l orgnizin hiendo espeil nfsis en l metodolog y tnis que se plin en el desrrolloD relizr un pln de gestin de riesgos y seleionr el grupo de persons pr llevr o l implntinF
9.7.2. Adquisicin
hepende en grn medid de l situin en l que se enuentre l empresD pero en generl se tendrn en uent vrios riteriosX wetodolog y tnis soportds por l herrmientF ipo de omputdor @minfrmeD gD FFFAF
TS
osiiliddes de integrin on otrs pltforms @presentes y futursAF griterios hitules en l selein de softwreX preioD sisteni tniD forminD etF ener en uent que el oste de dopin de l herrmient puede llegr ser hst oho vees el oste de dquisiinF
TT