Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
2.podStaWoWedefinicje
1functionSortBąbelkowe(intT[])
2n=liczba_elementów_T
3do
4
for(i=1;i<n-1;i++)do
5
if(T[i]>T[i+1])then
6
zamieńmiejscamiT[i]zT[i+1]
7
endif
8
endfor
9
n=n-1
10while(n>1)
11returnT
12end
Listing2.1.Algorytmsortowaniabąbelkowego
Wpierwszymprzypadkupodojściusterowaniadolinii4.nastąpiosiągnięciede-
fektu(reachability).Wtymsamymmomenciestanprogramu,niezależnieodpostaci
wejścia,staniesiębłędny(infekcja),gdyżlicznikzmiennejipowinienwskazywaćna
0,aniena1.Wrezultacie,tablicabędziesortowanaoddrugiegoelementu.Jednak
taksięszczęśliwiezłożyło,żenajmniejszymelementemtablicyjestjejpierwszyele-
ment,dlategonietrzebagosortować.Programzwrócipoprawnieposortowanątabli-
cę(1,2,3,4,6).
Wdrugimprzypadkuosiągnięciedefektuiinfekcjasąanalogiczne.Różnicajest
taka,żepierwszyelementtablicyniejestnajmniejszy,dlategonastąpipropagacjaza-
infekowanegostanu(pierwszyelementniebędziepodlegałsortowaniu).Wrezultacie
programulegnieawarii,gdyżzwrócinieprawidłowywynik(5,1,2,4,7).
ModelRIPodgrywabardzoważnąrolęwkryteriachpokryciastosowanych,zwłasz-
czawtestowaniumutacyjnym(opiszemyjedokładniewpodrozdz.9.15)iautomatycznej
generacjidanychtestowych[27].
Omówimyterazpozostałepodstawowepojęcia,którychbędziemyużywaćwko-
lejnychrozdziałach.Pierwszymznichjestpojęciejakości.Jakośćjestcechątrudnądo
zmierzeniailościowego,jednakjejpoziommożnaodnieśćdowartościróżnychmetryk
stosowanychwprocesietestowym,takichjakstopieńpokryciaprzeztestyryzykaziden-
tyfikowanegowprodukcie.Imwięcejryzykjestpokrytychprzeztesty,tymwiększąmo-
żemymiećpewność,codopoziomujakościtestowanegoprogramu.Zagadnieniainży-
nieriijakościsąomówionewrozdziałach38–49.
jakość(ang0quality)–stopień,wjakimmoduł,systemlubprocesspełniaokreślone
wymagania,potrzebyluboczekiwania(wg[7])
Testytworzysięnabazietzw.podstawytestu,czyliwszelkiegorodzajudokumentów
opisującychwymaganiadlaprojektu,np.specyfikacji:wymagań,projektu,architektury.
27
