Pruebas de Estructura de Control

“PRUEBAS – PRUEBAS DE ESTRUCTURA DE CONTROL”

Curso

:

COMPROBACION DE SOFTWARE

Ciclo

:

VII

Tutores

:

Jorge Carmona Espinoza

Carre arrera ra Profe rofesi sion onal al :

Ingeniería de Sistemas

Alumnos

:

Agsto Cesar !"erena Espinoza Espinoza

:

Jan Car"os Cri""o Rodrígez

Ara!ecimiento A Dios por permitirnos segir sper#ndonos sper#ndonos en e" día a día $ por dotarnos de sa"d% A nestros &ami"iares m#s 'er'anos por s apo$o apo$o in'ond in'ondi'i i'iona ona"" $ s 'ompre 'omprensi nsi(n) (n) por 2014 ser e""os esa moti*a'i(n +e nos imp"san a ser me,ores 'ada día%

Universidad Privada

"ND#CE P#g% -% INTROD.CCION

/0

1% PR PR.EBAS DE SOFTWARE

/2

3% OBJETI4OS DE !A PR.EBA

-/

5% CASOS DE PR.EBA

--

0% 4ERIFICACION 6 4A!IDACION

--

2% NI4E NI4E!E !ES S DE PR.E PR.EBA BAS S

-3

2%-% PR.EBAS .NITARIAS 2%1% PR.EBAS DE INTE7RACION 2%3% PR.EBAS DE! SISTEMA 2%5% PR.EBAS DE IMP!ANTACION 2%0% PR.EBAS DE ACEPTACION 2%2% PR.EBAS DE RE7RESION 8% DISE DISE9O 9O DE CASO CASOS S DE DE PR.E PR.EBA BA

-<

8%-% PR.EBA DE CAJA B!ANCA 8%1% PR.EBA DE! CAMINO BASICO 8%3% PR.EBA DE ESTR.CT.RA DE CONTRO! 8%5% PR.EBA DE CAJA NE7RA 8%0% PR.EBA DE ENTORNOS ESPECIA!I:ADOS) AR;.ITECT.RAS 6 AP!ICACIONES AP!ICACIONES <% CONC!.SIONES Comprobación de Software

18 1

Universidad Privada

=% WEB 7RAF>A

Comprobación de Software

1<

2

Universidad Privada

De!icatoria Dedi'amos este tra?a,o a nestros &ami"iares m#s 'er'anos por s apo$o in'ondi'iona" $ s 'omprensi(n) por ser e""os esa moti*a'i(n +e nos imp"san a ser me,ores 'ada día) gra'ias por entendernos en a+e""os momentos +e dedi'amos a nestros estdios $


3

Universidad Privada

Ara!ecimiento Agrade'emos a Dios en primer "gar por darnos "a *ida) por permitirnos ser me,or 'ada día@ a "a ni*ersidad por darnos "a oportnidad de sperarnos en e" aspe'to pro&esiona" $ 'omo persona)


$

n

agrade'imiento

4

Universidad Privada

%$#NTRODUCC#ON En n pro$e'to de desarro""o de so&tare "os errores ?gs en ing"s peden presentarse en 'a"+iera de "as etapas de" 'i'"o de *ida de" so&tare% An 'ando se intente dete'tar"os desps de 'ada &ase ti"izando t'ni'as 'omo "a inspe''i(n) a"gnos errores permane'en sin ser des'?iertos% Por "o tanto es m$ pro?a?"e +e e" '(digo &ina" 'ontenga errores de re+erimientos $ diseo) adi'iona"es a "os introd'idos en "a 'odi&i'a'i(n !as pre?as de so&tare son na parte importante pero m$ 'ostosa de" pro'eso de desarro""o de so&tare% Peden ""egar a representar entre e" 3/ $ 0/  de" 'osto tota" de" desarro""o de" so&tare% Sin em?argo) "os 'ostos de "as &a""as en n so&tare en opera'i(n peden ""egar a ser m'Gos ma$ores 'atastr(&i'os% Se 'o"apsa e" aeroperto de !os Hnge"es 1//8 M#s de -8 mi" personas se +edaron en tierra por n pro?"ema de so&tare +e pro*o'( 'on&"i'tos en na tar,eta de red +e ?"o+e( toda "a red in&orm#ti'a Como peden o?ser*ar "as pre?as de so&tare tienen n ro" m$% Importante en e" asegramiento de "a 'a"idad $a +e permiten dete'tar "os errores introd'idos en "as &ases pre*ias de" pro$e'to% Ana"izaremos a"gnas de "as estrategias $ t'ni'as m#s importantes para e&e'tar "as pre?as de so&tare%


5

Universidad Privada

&% PRUEBAS DE SO'T(ARE !as pre?as de so&tare son "os pro'esos +e permiten *eri&i'ar $ re*e"ar "a 'a"idad de n prod'to so&tare antes de s pesta en mar'Ga% B#si'amente) es na &ase en e" desarro""o de so&tare +e 'onsiste en pro?ar "as ap"i'a'iones 'onstridas% !as pre?as de so&tare se integran dentro de "as di&erentes &ases de" 'i'"o de *ida de" so&tare dentro de "a Ingeniería de so&tare% En este sentido) se e,e'ta e" ap"i'ati*o a pro?ar $ mediante t'ni'as eperimenta"es se trata de des'?rir + errores tiene% Para determinar e" ni*e" de 'a"idad se de?en e&e'tar nas medidas o pre?as +e permitan 'ompro?ar e" grado de 'mp"imiento respe'to de "as espe'i&i'a'iones ini'ia"es de" sistema% Otros espe'ia"istas de pre?as mani&iestan +e "as pre?as de so&tare son a'ti*idades '"a*es para +e "os pro'esos de *a"ida'i(n $ *eri&i'a'i(n tengan ito) $a +e a$dan a entregar e" prod'to 'on "a 'a"idad s&i'iente para satis&a'er "as ne'esidades de" '"iente $ 'on "a 'erteza de +e e" prod'to 'mp"e "as espe'i&i'a'iones de&inidas% En este sentido) "as pre?as peden 'onsiderarse 'omo n pro'eso +e intenta propor'ionar 'on&ianza en e" so&tare $ '$o o?,eti*o &ndamenta" es demostrar a" desarro""ador $ a" '"iente +e e" so&tare satis&a'e ss re+isitos% A"go +e "os espe'ia"istas de pre?as de?en 'onsiderar es +e "as pre?as de so&tare nn'a se de?en rea"izar en n entorno de prod''i(n% Es ne'esario pro?ar "os ne*os sistemas en n entorno de pre?as separado &ísi'amente de" de prod''i(n% Para 'rear n entorno de pre?as en na m#+ina independiente de "a m#+ina de prod''i(n) es ne'esario 'rear "as mismas 'ondi'iones +e eiste en "a de prod''i(n%


6

Universidad Privada

Como parte de" pro'eso de *a"ida'i(n $ *eri&i'a'i(n) se de?ería tomar de'isiones so?re +in de?ería ser responsa?"e de "as di&erentes etapas de "as pre?as% Di'Gas etapas de pre?as se integran dentro de "as di&erentes &ases de" 'i'"o de" so&tare dentro de "a Ingeniería de So&tare% En "a figura 1 se o?ser*a n mode"o de '(mo "as etapas de pre?as se integran en e" 'i'"o de *ida de desarro""o de so&tare genri'o% Drante "a etapa de p"ani&i'a'i(n es importante esta?"e'er na ?ena estrategia de pre?as $ se"e''ionar "as t'ni'as ade'adas de estima'i(n en &n'i(n de "os &a'tores +e a&e'ten a "as pre?as de" pro$e'to% !a sigiente &ase de desarro""o es e" diseo de" prod'to) +e trae 'onsigo e" diseo de 'asos de pre?a% Drante "as sigientes &ases de 'odi&i'a'i(n $ pre?as de" prod'to) se e,e'tan "as pre?as nitarias) de sistemas) de integra'i(n) et'%

Figura 1 - Proceso de pruebas en el ciclo de vida de desarrollo de software

.n so&tare de?e ser &#'i" de pro?ar) para "o 'a" se pede tener en 'enta "as sigientes 'ara'terísti'as +e propone Pressman Comprobación de Software

7

Universidad Privada

Caracter)stica Operati*idad

O*ser+aci,n C#nto me,or &n'ione) m#s e&i'ientemente se pede pro?ar 

E" sistema tiene po'os errores%



NingKn error ?"o+ea "a e,e''i(n de "as pre?as%

E" prod'to e*o"'iona en &ases &n'iona"es% !o +e se *e es "o +e se pre?a 

O?ser*a?i"idad



Se genera na sa"ida distinta para 'ada entrada%



Todos "os &a'tores +e a&e'tan a "os res"tados est#n *isi?"es%



.n

res"tado

in'orre'to

se

identi&i'a

internos

se

dete'tan

&#'i"mente% 

!os

errores

atom#ti'amente% 

Se in&orma atom#ti'amente de "os errores internos%

E" '(digo &ente es a''esi?"e% C#nto me,or se peda 'ontro"ar e" so&tare) m#s 

Contro"a?i"idad

se pede atomatizar $ optimizar 

Todo e" '(digo es e,e'ta?"e a tra*s de a"gna 'om?ina'i(n de entrada%



E" ingeniero de pre?as pede 'ontro"ar "os estados $ "as *aria?"es de" Gardare $ so&tare%



Capa'idad

!os &ormatos de "as entradas $ "os res"tados

son 'onsistentes $ estr'trados% de Contro"ando e" #m?ito de "as pre?as) podemos

des'omposi'i(n

ais"ar m#s r#pidamente "os pro?"emas $ ""e*ar a 'a?o pre?as de regresi(n


8

Universidad Privada



E" so&tare est# 'onstrido 'on m(d"os independientes



!os m(d"os de so&tare se peden pro?ar

independientemente% C#nto menos Ga$a +e pro?ar) m#s r#pidamente

Simp"i'idad

se pede pro?ar 

Simp"i'idad &n'iona"%



Simp"i'idad estr'tra"%

Simp"i'idad de" '(digo% Canto menos 'am?ios) menos interrp'iones a "as 

Esta?i"idad

pre?as 

!os 'am?ios de" so&tare son in&re'entes%



!os 'am?ios de" so&tare est#n 'ontro"ados%



!os 'am?ios de" so&tare no in*a"idan "as pre?as eistentes%

E" so&tare se re'pera ?ien de "os &a""os% de Canta m#s in&orma'i(n se tenga) m#s inte"igentes 

Fa'i"idad 'omprensi(n

eran "as pre?as 

E" diseo se Ga entendido per&e'tamente%



!as dependen'ias entre "os 'omponentes internos) eternos $ 'ompartidos se Gan entendido per&e'tamente%

-%



Se Gan 'omni'ado "os 'am?ios de" diseo%



!a do'menta'i(n t'ni'a es a''esi?"e%

OB.ET#/OS DE LA PRUEBA 

!a pre?a es n pro'eso de e,e''i(n de n programa 'on "a inten'i(n de des'?rir n error%



.n ?en 'aso de pre?a es a+e" +e tiene na a"ta pro?a?i"idad de mostrar n error no des'?ierto Gasta enton'es%


9

Universidad Privada



.na pre?a tiene ito si des'?re n error no dete'tado Gasta enton'es%

E" o?,eti*o es disear 'asos de pre?a +e) sistem#ti'amente) sa+en a "a "z di&erentes '"ases de errores) Ga'indo"o 'on "a menor 'antidad de tiempo $ de es&erzo% !a pre?a no pede asegrar "a asen'ia de errores@ s("o pede demostrar +e eisten de&e'tos en e" so&tare%

0%

CASOS DE PRUEBA E" pro'eso de pre?a tiene dos entradas 

Con&igra'i(n de" so&tare In'"$e "a espe'i&i'a'i(n de re+isitos de" so&tare) "a espe'i&i'a'i(n de" diseo $ e" '(digo &ente%



Con&igra'i(n de pre?a In'"$e n p"an $ n pro'edimiento de pre?a%

Si e" &n'ionamiento de" so&tare pare'e ser 'orre'to $ "os errores en'ontrados son &#'i"es de 'orregir) podemos 'on'"ir 'on +e 

!a 'a"idad $ "a &ia?i"idad de" so&tare son a'epta?"es) o +e



!as pre?as son inade'adas para des'?rir errores serios%

Figura 2 – Diagrama de casos de prueba


10

Universidad Privada

1%

/ER#'#CAC#ON 2 /AL#DAC#ON !os pro'esos de *a"ida'i(n $ *eri&i'a'i(n determinan si n prod'to so&tare satis&a'e "as ne'esidades de" nego'io $ si se est# 'onstr$endo a'orde a "as espe'i&i'a'iones% Con respe'to a "as tareas aso'iadas a estos pro'esos) "as pre?as est#n m#s re"a'ionadas 'on e" pro'eso de *a"ida'i(n) mientras +e "as re*isiones son tareas m#s orientadas a" pro'eso de *eri&i'a'i(n% E" o?,eti*o prin'ipa" de "a *a"ida'i(n $ *eri&i'a'i(n es 'ompro?ar +e e" sistema est# Ge'Go para n prop(sito) es de'ir) +e e" sistema de?e ser "o s&i'ientemente ?eno para s so pre*isto% E" ni*e" de 'on&ianza re+erido depende de tres &a'tores 

E" prop(sito o &n'i(n de" sistema% E" ni*e" de 'on&ianza ne'esario depende de "o 'ríti'o +e sea e" so&tare para na organiza'i(n%



!as epe'tati*as de" sario% A'ta"mente) es menos a'epta?"e entregar sistemas no &ia?"es) por "o +e "as 'ompaías de?en in*ertir m#s es&erzo en ""e*ar a 'a?o "as a'ti*idades de *eri&i'a'i(n $ *a"ida'i(n%



Entorno de mer'ado a'ta"% Cando n sistema se 'omer'ia"iza) "os *endedores de" sistema de?en tener en 'enta "os sistemas 'ompetidores) e" pre'io +e ss '"ientes est#n dispestos a pagar por e" sistema $ "os p"azos re+eridos para entregar di'Go sistema% Cando na 'ompaía tiene po'os 'ompetidores) pede de'idir entregar n programa antes de +e Ga$a sido 'omp"etamente pro?ado $ deprado) de?ido a +e +iere ser e" primero en e" mer'ado% Cando "os '"ientes no est#n dispestos a pagar pre'ios


11

Universidad Privada

a"tos por e" so&tare) peden estar dispestos a to"erar m#s de&e'tos en "% Todos estos &a'tores peden 'onsiderarse a &in de de'idir '#nto es&erzo de?ería in*ertirse en e" pro'eso de *a"ida'i(n $ *eri&i'a'i(n%

/ali!aci,n% 

E" prop(sito de "a 4a"ida'i(n en CMMI es demostrar +e n prod'to o 'omponente de" mismo satis&a'e e" so para e" +e se 're( a" sitar"o so?re e" entorno pre*isto%



SegKn BoeGm) "a *a"ida'i(n responde "a sigiente pregnta LSe est# 'onstr$endo e" prod'to 'orre'to

/erificaci,n% 

E" prop(sito de "a 4eri&i'a'i(n en CMMI es asegrar +e "os prod'tos se"e''ionados 'mp"en "os re+isitos espe'i&i'ados%



Para di&eren'iar esta tarea 'on "a *a"ida'i(n) BoeGm indi'a +e de?e responderse a "a sigiente pregnta LSe est# 'onstr$endo e" prod'to de "a manera 'orre'ta

3% N#/ELES DE PRUEBAS !os ni*e"es de pre?a son di&erentes #ng"os de *eri&i'ar $ *a"idar n prod'to de so&tare% Es 'omo e" tomar na radiogra&ía a n 'erpo Gmano desde di&erentes "ados $ ?s'ar donde Ga$ n pro?"ema en "os


12

Universidad Privada

Gesos%

3%$% PRUEBAS UN#TAR#AS !as pre?as nitarias 'onstit$en "a pre?a ini'ia" de n sistema $ "as dem#s pre?as de?en apo$arse so?re e""as% Tipos 

En&o+e estr'tra" o de 'a,a ?"an'a% Se *eri&i'a "a estr'tra interna de" 'omponente 'on independen'ia de "a &n'iona"idad esta?"e'ida para e" mismo% Por tanto) no se 'ompre?a "a 'orre''i(n de "os



res"tados si stos se prod'en% En&o+e &n'iona" o de 'a,a negra% Se 'ompre?a e" 'orre'to &n'ionamiento de "os 'omponentes de" sistema de in&orma'i(n) ana"izando "as entradas $ sa"idas $ *eri&i'ando +e e" res"tado es e" esperado%


13

Universidad Privada

Figura3 - Flujo de control de pruebas unitarias

3%&% PRUEBAS DE #NTE4RAC#ON E" o?,eti*o de "as pre?as de integra'i(n es *eri&i'ar e" 'orre'to ensam?"a,e entre "os distintos 'omponentes na *ez +e Gan sido pro?ados nitariamente 'on e" &in de 'ompro?ar +e intera'tKan 'orre'tamente a tra*s de ss inter&a'es) tanto internas 'omo eternas) '?ren "a &n'iona"idad esta?"e'ida $ se a,stan a "os re+isitos no &n'iona"es espe'i&i'ados en "as *eri&i'a'iones 'orrespondientes%


14

Universidad Privada

Figura 4 - Flujo de control de pruebas de integracin

3%-% PRUEBAS DEL S#STE5A !as pre?as de" sistema tienen 'omo o?,eti*o e,er'itar pro&ndamente e" sistema 'ompro?ando "a integra'i(n de" sistema de in&orma'i(n g"o?a"mente) *eri&i'ando e" &n'ionamiento 'orre'to de "as inter&a'es entre "os distintos s?sistemas +e "o 'omponen $ 'on e" resto de sistemas de in&orma'i(n 'on "os +e se 'omni'a% 

Prue*as funcionales% Dirigidas a asegrar +e e" SI rea"iza 'orre'tamente todas "as &n'iones +e se Gan deta""ado en "as



espe'i&i'a'iones dadas por e" sario de" sistema% Prue*as !e comunicaciones % Determinan +e "as inter&a'es entre "os 'omponentes de" sistema &n'ionan ade'adamente) tanto a tra*s de dispositi*os remotos) 'omo "o'a"es% Asimismo) se Gan de pro?ar "as inter&a'es Gom?rem#+ina%


15

Universidad Privada



Prue*as !e ren!imiento% Determinar +e "os tiempos de respesta est#n dentro de "os inter*a"os esta?"e'idos en "as espe'i&i'a'iones



de" sistema% Prue*as !e +olumen% Eaminar e" &n'ionamiento de" sistema 'ando est# tra?a,ando 'on grandes *o"Kmenes de datos) sim"ando



"as 'argas de tra?a,o esperadas% Prue*as !e so*recara % Compro?ar e" &n'ionamiento de" sistema en e" m?ra" "ímite de "os re'rsos) sometindo"e a 'argas masi*as% E" o?,eti*o es esta?"e'er "os pntos etremos en "os 'a"es e"



sistema empieza a operar por de?a,o de "os re+isitos esta?"e'idos% Prue*as !e !is6oni*ili!a! !e !atos % Consisten en demostrar +e e" sistema pede re'perarse ante &a""os) tanto de e+ipo &ísi'o



'omo "(gi'o) sin 'omprometer "a integridad de "os datos% Prue*as !e facili!a! !e uso% Consisten en 'ompro?ar "a adapta?i"idad de" sistema a "as ne'esidades de "os sarios) tanto para asegrar +e se a'omoda a s modo Ga?ita" de tra?a,o) 'omo para determinar "as &a'i"idades +e aporta a" introd'ir datos en e"



sistema $ o?tener "os res"tados% Prue*as !e o6eraci,n% Consisten en 'ompro?ar "a 'orre'ta imp"ementa'i(n de "os pro'edimientos de opera'i(n) in'"$endo "a p"ani&i'a'i(n $ 'ontro" de tra?a,os) arran+e $ rearran+e de"



sistema) et'% Prue*as !e entorno % 4eri&i'ar "as intera''iones de" sistema 'on



otros sistemas dentro de" mismo entorno% Prue*as !e seuri!a!% Consisten en *eri&i'ar "os me'anismos de 'ontro" de a''eso a" sistema para e*itar a"tera'iones inde?idas en "os datos%

3%0% PRUEBAS DE #5PLANTAC#ON E" o?,eti*o es 'ompro?ar e" &n'ionamiento 'orre'to de" sistema integrado de Gardare $ so&tare en e" entorno de opera'i(n) $ permitir


16

Universidad Privada

a" sario +e) desde e" pnto de *ista de opera'i(n) re*ise e" sistema en ?ase a" 'mp"imiento de "os re+isitos no &n'iona"es espe'i&i'ados%

3%1% PRUEBAS DE ACEPTAC#ON E" o?,eti*o de "as pre?as de a'epta'i(n es *a"idar +e n sistema 'mp"e 'on e" &n'ionamiento esperado $ permitir a" sario de di'Go sistema +e determine s a'epta'i(n) desde e" pnto de *ista de s &n'iona"idad $ rendimiento%

Figura ! - Flujo de control de pruebas de aceptacin

3%3% PRUEBAS DE RE4RES#ON E" o?,eti*o de "as pre?as de regresi(n es e"iminar e" e&e'to onda) es de'ir) 'ompro?ar +e "os 'am?ios so?re n 'omponente de n sistema Comprobación de Software

17

Universidad Privada

de in&orma'i(n) no introd'en n 'omportamiento no deseado o errores adi'iona"es en otros 'omponentes no modi&i'ados%

7%

D#SE8O DE CASOS DE PRUEBA E" diseo de 'asos de pre?a) tiene n Kni'o o?,eti*o tener "a ma$or pro?a?i"idad de en'ontrar e" ma$or nKmero de errores 'on "a mínima 'antidad de es&erzo $ tiempo posi?"e% Ca"+ier prod'to so&tare pede apro?arse de na "as sigientes &ormas a Cono'iendo "a &n'i(n para "a +e &e diseado e" prod'to% Se peden ti"izar pre?as para 'ompro?ar s &n'i(n operati*a $ ?s'ar errores de 'ada &n'i(n% ? Cono'iendo e" &n'ionamiento de" prod'to% Se peden ti"izar pre?as para 'ompro?ar +e "as opera'iones est# de a'erdo 'on "as espe'i&i'a'iones $ para 'ompro?ar +e "os 'omponentes internos &n'ionan de &orma ade'ada%

7%$% PRUEBA DE CA.A BLANCA


18

Universidad Privada

Esta pre?a se 'entra en "a estr'tra interna de" programa% En este 'aso "a pre?a 'onsiste en pro?ar todos "os posi?"es 'aminos de e,e''i(n a tra*s de "as instr''iones de" '(digo) +e pedan trazarse% Mediante esta pre?a) e" ingeniero de" so&tare pede

a 7arantizar +e se re'orre por "o menos na *ez todos "os 'aminos independientes de 'ada m(d"o% ? Re'orrer todas "as de'isiones "(gi'as en ss 'ondi'iones *erdadera $ &a"sa% ' Re'orrer todos "os ?'"es en ss "ímites $ 'on ss "ímites opera'iona"es% d Re'orrer "as estr'tras internas de datos para asegrar s *a"idez

7%&% PRUEBA DEL CA5#NO BAS#CO Esta pre?a permite o?tener na medida de "a 'omp"e,idad de "a "(gi'a de n diseo pro'edimenta" $ sar sa medida 'omo gía para "a de&ini'i(n de n 'on,nto ?#si'o de 'amino de e,e''i(n% Esta pre?a permite +e se e,e'te por "o menos na *ez 'ada senten'ia de" programa% Comp"e,idad 'i'"om#ti'a% Es na mtri'a +e propor'iona na medi'i(n 'antitati*a de "a 'omp"e,idad "(gi'a de n programa%

7%-% PRUEBA DE ESTRUCTURA DE CONTROL Comprobación de Software

19

Universidad Privada

Comprende "as sigientes pre?as a Prue*a !e con!ici,n% Se 'entra en "a pre?a de 'ada na de "as 'ondi'iones de" programa $ tiene 'omo prop(sito dete'tar "os errores en "as 'ondi'iones de n programa $ "os errores de" programa% Es n mtodo de diseo de 'asos de pre?a +e e,er'ita "as 'ondi'iones "(gi'as 'ontenidas en e" m(d"o de n programa% Esta pre?a asegra en +e 'ada 'ondi'i(n de" programa no 'ontenga errores% !a epresi(n re"a'iona" tiene "a &orma E- operador re"a'iona"Q E1@ donde E- $ E1 son epresiones aritmti'as $ operador re"a'iona"Q pede ser ) ) ) Q) Q) % .na 'ondi'i(n 'ompesta est# &ormada por dos o m#s 'ondi'iones simp"es) operadores "(gi'os o parntesis% !os operadores "(gi'os permitidos en na 'ondi'i(n 'ompesta in'"$en OR U) AND V) NOT% Errores de na 'ondi'i(n  Error en e" operador "(gi'o%  Error en "a *aria?"e "(gi'a%  Error en e" parntesis "(gi'o%  Error en e" operador re"a'iona"%  Error en "a epresi(n aritmti'a% ? Prue*a !el flu9o !e !atos% Se 'entra en "a se"e''i(n de 'aminos de pre?a de n programa de a'erdo 'on "a ?i'a'i(n de "as de&ini'iones $ "os sos de "as *aria?"es de" programa% Esta pre?a es Kti" para se"e''ionar 'aminos de pre?a de n programa +e 'ontenga senten'ias if o *ucles anidados%


20

Universidad Privada

' Prue*a !e *ucles% Se 'entra en "a *a"idez de "as 'onstr''iones de ?'"es% Se de&inen "os sigientes tipos de ?'"es

Bucles Sim6les Se de?e ap"i'ar     

Pasar por a"to tota"mente e" ?'"e Pasar na so"a *ez por e" ?'"e Pasar dos *e'es por e" ?'"e a'er m pasos por e" ?'"e 'on m  n a'er n-) n $ nX- pasos por e" ?'"e

Donde n) es e" nKmero m#imo de pasos permitidos por e" ?'"e%

Bucles Ani!a!os Se de?e



Comenzar por e" ?'"e m#s interior !"e*ar a 'a?o "as pre?as de ?'"es simp"es



para e" ?'"e m#s interior Progresar Ga'ia &era) ""e*ando a 'a?o



pre?as para e" sigiente ?'"e Continar Gasta 'ando se pre?en todos "os



?'"es%

Bucles Concatena!os


21

Universidad Privada

Se peden pro?ar 'on e" mtodo para ?+es simp"es) siempre $ 'ando "os ?'"es sean independientes% Cando "os ?'"es no son independientes se ti"iza e" en&o+e para ?'"es anidados%

Bucles no Estructura!os Estos ?'"es se de?en redisear%

7%0% PRUEBA DE CA.A NE4RA Consiste en estdiar "a espe'i&i'a'i(n de "as &n'iones) "a entrada $ "a sa"ida para deri*ar "os 'asos% A+í) "a pre?a idea" de" so&tare 'onsiste en pro?ar todas "as posi?"es entradas $ sa"idas de" programa% !a pre?a de 'a,a negra) tam?in en'entra errores de   

 

Fn'iones in'orre'tas o asentes% Errores de inter&az% Errores en estr'tras de datos o en a''esos a ?ases de datos eternas% Errores de rendimiento% Errores de ini'ia"iza'i(n $ de termina'i(n%


22

Universidad Privada

7%1% PRUEBA DE ENTORNOS ESPEC#AL#ADOS; AR Se ti"izan "istas de 'Ge+eo Para *entanas 

LSe a?ren "as *entanas mediante (rdenes ?asadas en e"



te'"ado o en n menK LSe pede a,star e" tamao) mo*er $ desp"egar "a *entana LSe regenera ade'adamente 'ando se es'ri?e $ se



*e"*e a a?rir Para menKs emergentes $ opera'iones 'on e" rat(n 

LSe mestra "a ?arra de menK apropiada en e" 'onteto



apropiado LEs 'orre'to e" tipo) tamao $ &ormato de" teto LSi e" rat(n tiene *arios ?otones) est#n apropiadamente



re'ono'idos en e" 'onteto

Entrada de datos 

LSe repiten $ son introd'idos ade'adamente "os datos a"&anmri'os


23

Universidad Privada



LFn'ionan ade'adamente "os modos gr#&i'os de entrada



de datos p%e% ?arra des"izante LSe re'ono'en ade'adamente "os datos no *#"idos LSon inte"igi?"es "os mensa,es de entrada de datos



Prue*a !e ar?uitectura cliente @ ser+i!or%> De?ido a "a 'omp"e,idad de" sistema) ser#n ne'esarias *arias &ases 

Pre?as de &n'iona"idad de "a ap"i'a'i(n% Se pede ""e*ar a 'a?o so?re m#+inas de desarro""o $ esta'iones de tra?a,o

 

 

de &orma para"e"a Pre?as de 'arga de" ser*idor Pre?as de integridad de datos Son espe'ia"mente importantes en e" 'aso de ?ases de datos distri?idas Pre?as transa''iona"es Pre?as de red

Prue*a !e la !ocumentaci,n  facili!a!es !e au!as% Se pede dar en dos sentidos 

Re*isi(n e inspe''i(n eamina "a do'menta'i(n para



'ompro?ar "a '"aridad de "a misma% Pre?a en *i*o se ti"iza "a do'menta'i(n ,nto a" so de" so&tare%

Prue*a !e sistemas !e tiem6o real%> Se pede ap"i'ar "os sigientes pasos 

Pre?a de tareas Se ap"i'an pre?as de 'a,a ?"an'a $ 'a,a negra a 'ada tarea% Pretende des'?rir errores en "a "(gi'a $ en e" &n'ionamiento%


24

Universidad Privada



Pre?a de 'omportamiento Se sim"a e" 'omportamiento de" sistema en tiempo rea" $ se eamina e" 'omportamiento



'omo 'onse'en'ia de s'esos eternos% Pre?a intertareas Se pre?an "as tareas asín'ronas +e se 'omni'an 'on otras) para determinar si se prod'en errores



de sin'ronismo entre "as tareas% Pre?a de" sistema Se rea"izan pre?as 'omp"etas a" sistema

para

des'?rir

errores

en

"a

inter&az

so&tareGardare%


25

Universidad Privada

%

CONCLUS#ONES Se"en 'on&ndirse 'on m'Ga &a'i"idad) "os ni*e"es de pre?as 'on "os tipos de pre?a)

$ a pesar de +e se en'entren íntimamente

re"a'ionadas) tienen 'onnota'iones di&erentes en e" pro'eso% Para entender n po'o m#s) *amos a partir de" Ge'Go de +e "as pre?as peden e,e'tarse en 'a"+ier pnto de" pro'eso de desarro""o de so&tare) $ es a+í donde "os ni*e"es de pre?a nos permiten entender 'on '"aridad "os di&erentes pntos o etapas en donde peden e,e'tarse 'iertos tipos de pre?a% Es 'omKn +e a"gnas personas se re&ieran a "os ni*e"es de pre?as o intenten '"asi&i'ar"os 'omo pre?as de desarro""ador) pre?as &n'iona"es $ pre?as de sario &ina"% Sin em?argo) "a termino"ogía apropiada para re&erirse a "os di&erentes ni*e"es 'orresponde a

"a

sigientes 'atro 5 '"asi&i'a'iones +e son pre?as nitarias) pre?as de integra'i(n) pre?as de sistema $ pre?as de a'epta'i(n% En 'ada no de estos ni*e"es de pre?a) se podr#n e,e'tar di&erentes tipos de pre?a ta"es 'omo pre?as &n'iona"es) no &n'iona"es) de ar+ite'tra $ aso'iadas e" 'am?io de "os prod'tos%


26

Universidad Privada

%

(EB 4RA'"A 

Gttpinda"og%a"%esmtorres!PPre?a%pd& Gttpo'%'3m%esingenieriain&ormati'aingenierade"so&tare



iiimateria"'"aseISIIIY/=YPR.E%pd& Gttpdatate'a%nad%ed%'o'ontenidos3/-5/53/-5/5YContenidoEn



!ineanidadY-Yintrod''inYaY"aYingenieraYdeYso&tare%Gtm" Gttpmaterias%&i%?a%ar805<Pre?asSo&tare%pd&




27

Pruebas de Estructura de Control

Recommend Documents