Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
1.4.Weryfikacjaizatwierdzanie
35
wraziepotrzebyzpomocyekspertów.Działająceprogramymożnaoceniaćdyna-
micznie,tzn.sprawdzaćwdziałaniu.Biorąctopoduwagę,możnawyróżnićtrzy
podstawowerodzajemetodweryfikacjiizatwierdzania.
STestowanie(testing).Jesttometodaocenyoprogramowaniapolegającana
wykonywaniuprogramuzzadanymzestawemdanychwejściowychorazreje-
strowaniuiocenianiuwyników,np.poprawnościwykonaniafunkcjilubosiąg-
niętejwydajności.Celemprocesutestowaniajestteżzawszewykrycieiusu-
nięcietkwiącychwprogramiedefektów.
Naturatestowaniaograniczazakreszastosowaniatejmetodydoproduktów
wykonalnych,czyliprogramówlubichprototypów.Cowięcej,dawnojużza-
uważono,żetestowaniemożeconajwyżejujawnićobecnośćbłędów,alenie
możeudowodnićichbraku.Testowanieoprogramowania,traktowanejako
metodawykrywaniabłędów,jestteżprocesemmocnospóźnionym–błędy
mogąpowstawaćjużodsamegopoczątkuprojektu,atestowaniupodlegają
dopierogotoweprogramy.Skutkiemtakpóźnegowykryciabłędumożebyć
bardzowysokikosztjegousunięcia(por.podrozdział1.3).Mimotychwadte-
stowaniejestnajważniejsząinajbardziejwiarygodnąmetodąweryfikacji
izatwierdzaniaoprogramowaniaprzeddostawą.
SPrzeglądyiinspekcje(reviewsandinspections).Sąformąocenyjakościprac
iproduktówwykonanychprocesiewytwórczym,polegającąnakontroliioce-
nietreścidokumentówanalitycznychiprojektowych,takichjakspecyfikacja
wymagań,projekt,programlubplantestowania.Przygotowanieprzeglądu
obejmujeczęstoopracowanierecenzjioceniającychbadanydokumentlub
stanprac.Najważniejszymelementemprzeglądujestspotkaniezudziałemin-
nychczłonkówzespołui–byćmoże–kierownictwalubprzedstawicieliza-
mawiającego,podczasktóregonastępujerozpoznanieianalizawszystkich
zgłoszonychproblemówizastrzeżeń.Pozytywnaocenamożeprowadzićdo
zatwierdzeniaproduktu.Wprzeciwnymrazierezultatemprzeglądumożebyć
tylkoocenastanuzaawansowaniapracorazzbióruwagwskazującychnako-
niecznośćdokonaniapoprawek.
Zaletątechnikocenyzapomocąstatycznejanalizydokumentówjestbrak
ograniczeńcodozakresuzastosowania–przedmiotemocenyprzezekspertów
mogąbyćwszystkieproduktyiwszystkiepracepodejmowanepodczaspro-
cesuwytwórczego.Doświadczeniawielufirmdowodzą,żesystematyczne
przeglądyiinspekcjesąskutecznąmetodąocenypostępówprac,zatwierdza-
niaichwynikówipodnoszeniajakości.Inspekcjeprojektulubkodumogąteż
służyćweryfikacjitychproduktów.
SDowodzeniepoprawności(correctnessproving).Metodatapoleganafor-
malnym(matematycznym)wykazaniu,żeprogramlubinnyproduktprocesu
wytwórczegomapożądanewłaściwości.Zteoretycznegopunktuwidzenia