Baixe o app para aproveitar ainda mais
Prévia do material em texto
Au la 9 - 19 /0 5/ 20 06 3 Te st es Ca ix a- Pr et a e Ca ix a- B ra n ca • Te st e s Ca ix a - Pr e ta – Sã o co n du zi do s n a in te rfa ce do so ftw a re , se m pr e o cu pa çã o co m a e st ru tu ra ló gi ca in te rn a do so ftw a re . • Te st e s Ca ix a - Br a n ca – Sã o ba se a do s e m u m e xa m e rig o ro so do de ta lh e pr o ce di m e n ta l. – Ca m in ho s ló gi co s e co la bo ra çõ e s e n tre co m po n e n te s sã o te st a da s. So ftw ar e En tr ad a Sa íd a So ftw ar e En tr ad a Sa íd a Au la 9 - 19 /0 5/ 20 06 4 Té cn ic as de Te st e Ca ix a- B ra n ca • Us a n do m ét o do s de te st e ca ix a - br a n ca , po de m o s de riv a r ca so s de te st e qu e : 1. G a ra n ta m qu e to do s o s ca m in ho s in de pe n de n te s de u m m ód u lo se jam e xe cu ta do s pe lo m e n o s u m a ve z. 2. Ex e rc ite m to da s a s de ci sõ e s ló gi ca s de se u la do ve rd a de iro e fa ls o . 3. Ex e cu te m to do s o s ci cl o s (lo o ps )n o s se u s lim ite s e de n tro de se u s in te rv a lo s o pe ra ci o n a is . 4. Ex e rc ite m a s e st ru tu ra s de da do s in te rn a s. • Ti po s de te st e ca ix a - br a n ca : – Te st e de Ca m in ho Bá si co – Te st e de Es tru tu ra de Co n tro le Au la 9 - 19 /0 5/ 20 06 5 Te st e de Ca m in ho B ás ic o • Pe rm ite a o pr o jet is ta de ca so de te st e m e di r a co m pl e xi da de ló gi ca de u m pr o jet o pr o ce di m e n ta l. – Es sa m e di da é u sa da co m o gu ia pa ra de fin ir u m co n jun to bá si co de ca m in ho s de e xe cu çã o . – Ca so s de te st e de riv a do s pa ra e xe rc ita r o co n jun to bá si co e xe cu ta m ga ra n tid a m e n te ca da co m a n do pe lo m e n o s u m a ve z. Au la 9 - 19 /0 5/ 20 06 6 N o ta çã o de G ra fo de Fl u x o • Se rv e co m o n o ta çã o út il pa ra e n te n de r o flu xo de co n tro le e ilu st ra r a a bo rd a ge m de ca m in ho bá si co . Se qü ên ci a Se W hi le R e pe a t.. . Un til N ós d o gr a fo de flu xo Ar e st a s do gr a fo de flu xo Au la 9 - 19 /0 5/ 20 06 7 D e Fl u x o gr am a pa ra G ra fo de Fl u x o 1 2 3 6 4 5 8 7 1 2, 3 6 7 9 8 4, 5 10 11 9 10 11 Ár e a s lim ita da s po r a re st a s e n ós s ão ch a m a da s de re gi õe s.R 1 R 2 R 3 R 4 Au la 9 - 19 /0 5/ 20 06 8 Ló gi ca Co m po st a S E a O U b E N T ÃO pr o c e di m e n t o x S E N ÃO pr o c e di m e n t o y F I M - SE S E a E b E N T ÃO pr o c e di m e n t o x S E N ÃO pr o c e di m e n t o y F I M - SE a b y x x a b y x y N ós Pr e di ca do s Au la 9 - 19 /0 5/ 20 06 9 Ca m in ho s In de pe n de n te s de Pr o gr am a • Um co n jun to de ca m in ho s in de pe n de n te s pa ra o gr a fo da fig u ra é: – Ca m in ho 1: 1- 11 – Ca m in ho 2: 1- 2- 3- 4- 5- 10 - 1- 11 – Ca m in ho 3: 1- 2- 3- 6- 8- 9- 10 - 1- 11 – Ca m in ho 4: 1- 2- 3- 6- 7- 9- 10 - 1- 11 • Um ca m in ho in de pe n de n te de ve in cl u ir pe lo m e n o s u m a a re st a n o va . 1 2, 3 6 7 9 8 4, 5 10 11 R 1 R 2 R 3 R 4 Au la 9 - 19 /0 5/ 20 06 10 Co n jun to - B as e • É u m co n jun to de ca m in ho s in de pe n de n te s e m qu e ca da a re st a a pa re ce pe lo m e n o s u m a ve z. • Te st e s pr o jet a do s pa ra fo rç a r a e xe cu çã o do co n jun to - ba se ga ra n te m qu e : – To do co m a n do do pr o gr a m a te rá si do e xe cu ta do pe lo m e n o s u m a ve z. – Ca da co n di çã o te rá si do e xe cu ta da n o se u la do ve rd a de iro e n o se u la do fa ls o . • O co n jun to - ba se n ão é ún ic o . – D iv e rs o s co n jun to s- ba se di fe re n te s po de m se r de riv a do s pa ra u m da do pr o jet o pr o ce di m e n ta l. Au la 9 - 19 /0 5/ 20 06 11 Co m pl ex id ad e Ci cl o m át ic a • É u m a m ét ric a de so ftw a re qu e fo rn e ce u m a m ed id a qu a n tit a tiv a da co m pl e xi da de ló gi ca de u m pr o gr a m a . – Fo rn e ce u m lim ite su pe rio r pa ra o n úm e ro de ca m in ho s in de pe n de n te s n u m co n jun to - ba se . – Fo rn e ce u m limite su pe rio r pa ra a qu a n tid a de de te st e s qu e de ve se r co n du zi da pa ra ga ra n tir qu e to do s o s co m a n do s se jam e xe cu ta do s pe lo m e n o s u m a ve z. Au la 9 - 19 /0 5/ 20 06 12 Cá lc u lo da Co m pl ex id ad e Ci cl o m át ic a • Po de se r ca lc u la da de trê s m a n e ira s e qu iv a le n te s: 1. V( G ) = R o n de R é o n úm e ro de re gi õe s do gr a fo de flu xo . 2. V( G ) = E – N + 2 o n de E é o n úm e ro de a re st a s e N é o n úm e ro de n ós d o gr a fo G . 3. V( G ) = P + 1 o n de P é o n úm e ro de n ós -p re di ca do s co n tid o s n o gr a fo G (só fu n ci o n a se o s n ós -p re di ca do tiv e re m n o m áx im o du a s a re st a s sa in do ) Au la 9 - 19 /0 5/ 20 06 13 Co m pl ex id ad e Ci cl o m át ic a 1. O gr a fo de flu xo te m qu a tro re gi õe s. 2. V( G ) = 11 a re st as – 9 n ós + 2 = 4. 3. V( G ) = 3 n ós - pr e di ca do + 1 = 4 1 2, 3 6 7 9 8 4, 5 10 11 R 1 R 2 R 3 R 4 Au la 9 - 19 /0 5/ 20 06 14 D er iv aç ão de Ca so s de Te st e • O m ét o do de te st e de ca m in ho bá si co po de se r a pl ic a do a u m pr o jet o pr o ce di m e n ta l o u a o có di go - fo n te . • O s se gu in te s pa ss o s de ve m se r se gu id o s: 1. D e se n ha r o gr a fo de flu xo co rr e sp o n de n te a o pr o jet o o u có di go - fo n te . 2. D e te rm in a r a co m pl e xi da de ci cl o m át ic a do gr a fo de flu xo re su lta n te . 3. D e te rm in a r u m co n jun to - ba se de ca m in ho s in de pe n de n te s. 4. Pr e pa ra r ca so s de te st e qu e vã o fo rç ar a e xe cu çã o de ca da ca m in ho do co n jun to - ba se . Au la 9 - 19 /0 5/ 20 06 15 Ex em pl o : Pa ss o 1 Pr o ce di m en to m éd ia (va lo r[]) i= 1; so m a = 0; to ta l.e n tra da = 0; to ta l.v ál id a s= 0 Fa ça - En qu an to (va lo r[i] � - 99 9 E to ta l.e n tra da < 10 0) in cr e m e n te to ta l.e n tra da de 1; Se (va lo r[i] � m in E va lo r[i] � m a x) En tã o in cr e m e n te to ta l.v ál id a s de 1; so m a = so m a + va lo r[i] Fi m - Se in cr e m e n te i d e 1; Fi m - En qu an to Se to ta l.v ál id a s> 0 En tã o m éd ia = so m a /to ta l.v ál id a s; Se n ão m éd ia = - 99 9; Fi m - Se Fi m m éd ia 2 3 10 12 13 11 4 9 8 1 65 7 1 2 3 4 5 6 8 9 10 11 12 13 7 Au la 9 - 19 /0 5/ 20 06 16 Ex em pl o : Pa ss o 2 • V( G ) = 6 re gi õe s • V( G ) = 17 a re st a s – 13 n ós + 2 = 6 • V( G ) = 5 n ós - pr e di ca do s + 1 = 6 2 3 10 12 13 11 4 9 8 1 65 7R 1 R 2 R 3 R 4 R 5 R 6 Au la 9 - 19 /0 5/ 20 06 17 Ex em pl o : Pa ss o 3 • Te m o s qu e e sp e ci fic a r 6 ca m in ho s in de pe n de n te s: 1. 1- 2- 10 - 12 - 13 2. 1- 2- 10 - 11 - 13 3. 1- 2- 3- 10 - 11 - 13 4. 1- 2- 3- 4- 5- 8- 9- 2- . . . 5. 1- 2- 3- 4- 5- 6- 8- 9- 2- . . . 6. 1- 2- 3- 4- 5- 6- 7- 8- 9- 2- . . . 2 3 10 12 13 11 4 9 8 1 65 7 Au la 9 - 19 /0 5/ 20 06 18 Ex em pl o : Pa ss o 4 • Ca so de Te st e do Ca m in ho 1 – va lo r[1 ] = - 99 9 – R e su lta do es pe ra do : m éd ia = - 99 9 e o u tro s to ta is co m va lo re s in ic ia is • Ca so de Te st e do Ca m in ho 2 – va lo r[1 ] = 1, va lo r[2 ]=3 , va lo r[3 ]=2 , va lo r[4 ]=- 99 9, m in = 0, m a x= 10 – R e su lta do es pe ra do : m éd ia = 2, to ta l.v ál id a s= 3, to ta l.e n tra da s= 3. • Ca so de Te st e do Ca m in ho 3 – va lo r[1 ]=v a lo r[2 ]=. . . = va lo r[1 00 ]=v a lo r[1 01 ]=1 , m in = 0, m a x= 10 – R e su lta do es pe ra do : m éd ia = 1, to ta l.v ál id a s= 10 0, to ta l.e n tra da s= 10 0 Au la 9 - 19 /0 5/ 20 06 19 Te st e de Es tr u tu ra de Co n tr o le • O te st e de ca m in ho bá si co é si m pl e s e a lta m e n te e fic a z, m a s n ão é su fic ie n te po r si só . • Ex ite m o u tro s tip o s de te st es qu e fo ca m n a s es tru tu ra s de co n tro le : – Te st e de Co n di çã o – Te st e de Fl u xo de D a do s – Te st e de Ci cl o Au la 9 - 19 /0 5/ 20 06 20 Te st e de Co n di çã o • Ex e rc ita to da s as co n di çõ e s ló gi ca s co n tid a s e m u m m ód u lo de pr o gr a m a pa ra ga ra n tir qu e e la s n ão con té m e rr os . – Co n di çã o si m pl e s: é u m a va riá ve l b o o le a n a o u u m a e xp re ss ão re la ci o n a l, po ss iv e lm e n te pr e ce di da po r u m N ÃO . – Co n di çã o co m po st a : du a s o u m a is co n di çõ e s si m pl e s lig a da s po r u m o pe ra do r O U, E o u N ÃO . Au la 9 - 19 /0 5/ 20 06 21 Te st e de Fl u x o de D ad o s • Se le ci o n a ca m in ho s de te st e de a co rd o co m a lo ca liz a çã o da s de fin içõ e s e do s u so s da s va riá ve is n o pr o gr a m a . • D a do u m co m a n do S, de fin im o s: – D EF (S ) = { X | c o m a n do S co n té m u m a de fin içã o de X} – US O (S ) = { X | c o m an do S co n té m u m u so de X} • Um a va riá ve l X de fin id a e m S é co n si de ra da vi va e m S’ , se e xi st ir u m ca m in ho de S pa ra S’ qu e n ão co n te n ha n e n hu m a o u tra de fin içã o de X. • Um a ca de ia de fin içã o - u so (D U) da va riá ve l X é da fo rm a [X , S, S’ ], X pe rte n ce a D EF (S ) e US O (S ’) e a de fin içã o de X n o co m a n do S e st á vi va n o co m a n do S’ . • Es tra té gi a : e xi gi r qu e ca da ca de ia D U se ja co be rta pe lo m e n o s u m a ve z. Au la 9 - 19 /0 5/ 20 06 22 Te st e de Ci cl o • Fo ca liz a e xc lu si va m e n te n a va lid a de de co n st ru çõ e s de ci cl o s (lo o ps ). – Ci cl o s si m pl e s – Ci cl o s co n ca te n a do s – Ci cl o s a n in ha do s – Ci cl o s de se st ru tu ra do s Au la 9 - 19 /0 5/ 20 06 23 Ci cl o s Si m pl es • O se gu in te co n jun to de te st es po de se r a pl ic a do a ci cl os si m pl e s e m qu e n é o n úm e ro m áx im o de pa ss a ge n s pe rm iti da s: 1. Pu le o ci cl o co m pl e ta m e n te . 2. Ap e n a s u m a pa ss a ge m pe lo ci cl o s. 3. D u a s pa ss a ge n s pe lo ci cl o . 4. m pa ss a ge n s pe lo ci cl o e m m < n . 5. n - 1, n , n + 1 pa ss a ge n s pe lo ci cl o . Au la 9 - 19 /0 5/ 20 06 24 Ci cl o s A n in ha do s • Pa ra e vi ta r qu e o n úm e ro de te st e s cr e sç a ge o m e tri ca m e n te , de ve se gu ir a se gu in te a bo rd a ge m : 1. Co m e ce te st a n do o ci cl o m a is in te rn o , a jus ta n do o s o u tro s ci cl o s pa ra va lo re s m ín im o s. 2. Tr a ba lh e e m di re çã o a o e xt e rio r, co n du zi n do te st e s pa ra o ci cl o se gu in te , m a s m a n te n do to do s o s ci cl o s e xt e rn o s n o s va lo re s m ín im o s e o s in te rn o s n o s va lo re s “ típ ic o s” . 3. Co n tin u e a té qu e to do s o s ci cl o s se jam te st a do s. Au la 9 - 19 /0 5/ 20 06 25 Ci cl o s Co n ca te n ad o s • D o is po ss ív e is ca so s: – Co n ta do re s in de pe n de n te s • Us a r a a bo rd a ge m de ci cl o s si m pl e s pa ra ca da u m de le s. – Co n ta do r de ci cl o pa ra o ci cl o 1 é u sa do co m o va lo r in ic ia l p a ra o ci cl o 2. • Us a r a a bo rd a ge m de ci cl o s a n in ha do s. Au la 9 - 19 /0 5/ 20 06 26 Ci cl o s D es es tr u tu ra do s • D e ve m se r re pr o jet a do s.
Compartilhar