Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
34
1.Wprowadzenie
twórczego,np.pomyłekprojektantalubprogramisty.Dlategonakażdymeta-
pieprojektutrzebasprawdzaćpoprawnośćjegowynikówwzględemwyników
poprzedniegoetapu,odpowiadającnapytaniatypu:czyprojektzapewnia
spełnieniewymagańzapisanychwspecyfikacji?Albo:czyimplementacja
programujestzgodnazustaleniamiprojektu?
SZatwierdzanie(validation).Nawetpoprawniezbudowanyprogrammożenie
zaspokoićpotrzebużytkownika,jeżelitepotrzebyzostanąźlerozpoznanelub
wymaganianiezostanązrealizowanewcałości.Dlategopoanaliziewymagań
orazpoimplementacjioprogramowaniatrzebasprawdzićpoprawnośćobu
tychproduktów,odpowiadającnapytaniatypu:czyspecyfikacjaoprogramo-
waniaokreślatefunkcje,którychoczekujeużytkownik?Oraz:czygotowe
oprogramowaniedziaławsposóbzgodnyzoczekiwaniamiipotrzebamiużyt-
kownika?
Wymaganiadotyczącepoprawności,awśladzatymrodzajiintensywność
działańzwiązanychzweryfikacjąizatwierdzaniemoprogramowaniazależąodcha-
rakteruzastosowaniaitymwyższe,imwiększestratymogąpowstaćwwyniku
błędnegodziałaniaprogramu.
SNajwyższewymaganiastawiamyprogramomwtychdziedzinach,wktórych
błędnedziałaniemożezagrozićżyciulubzdrowiuludzi,np.wsterowaniu
przemysłowym,transporcie,energetyce,medycynietuniedopuszczalne
nawetpojedynczebłędy.
SNiższewymaganiaobowiązująwtakichdziedzinach,wktórychbłędyniero-
dząpoważnychnastępstw,np.błądedytoratekstualbogrykomputerowejteż
jestoczywiścieniepożądany,aledrobneusterkiniedyskwalifikujątucałkiem
produktu.
Możnapowiedzieć,żeprogrammusidziałaćpoprawniewstopniuakceptowal-
nymwswojejdziedziniezastosowania.
Poprawnośćniejestjedynąpożądanącechąoprogramowania.Przykładamiin-
nychtakichcechmogabyćłatwośćużycia,wydajność,niezawodnośćlubłatwość
konserwacji.Wszystkietecechyskładająsięłącznienapojęciejakościoprogramowa-
nia.Celemstosowaniaróżnychmetodinżynieriioprogramowaniajestwytworzenie
produktuoodpowiedniowysokiejjakości.Przedmiotemweryfikacjiizatwierdzenia
powinnawięcbyćnietylkopoprawność,lecztakżewszystkieinnecechydecydujące
ojakościoprogramowania.
Weryfikacjaizatwierdzaniemająinaczejokreślonyceliniecoinnenastawienie.
Wpraktycejednakobydwarodzajedziałańużywająpodobnychmetodocenyiwtym
aspekcieniemamiędzynimiwyraźnegorozgraniczenia.Większywpływnarodzaj
stosowanychmetodocenymapostaćocenianegoproduktu.Dokumentypowstające
wprocesiewytwórczymmożnaoceniaćstatycznie,tzn.analizowaćichtreść,korzystając