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óźnionymbłę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).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łuibyćmożekierownictwalubprzedstawicieliza-
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ńcodozakresuzastosowaniaprzedmiotemocenyprzezekspertów
mogąbyćwszystkieproduktyiwszystkiepracepodejmowanepodczaspro-
cesuwytwórczego.Doświadczeniawielufirmdowodzą,żesystematyczne
przeglądyiinspekcjeskuteczną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