Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
1.4.Weryfikacjaizatwierdzanie
33
sposóbdziałaniaoprogramowaniawidzianyprzezużytkownikóworazobiektypodle-
gającetemudziałaniu,nieokreślająnatomiastbudowyprogramów.
Projektowanieprogramupoleganaodwzorowaniuklastrwałychwtabelebazy
danych,zdefiniowaniusposobuwykonaniaprzypadkówużyciaprzezwspółdziałające
obiektyróżnychklasipotraktowaniudiagramuklasjakodiagramuhierarchiidziedzi-
czeniajęzykaobiektowego.
Siłąmetodobiektowychjestelastycznośćiłatwośćwprowadzaniazmian,wyni-
kającazdwóchczynników.Pierwszymczynnikiemjestbrakradykalnejzmianymodelu
tworzonegoprzezdziałaniaanalityczneiprojektowe.Modelempodstawowym,używa-
nymodwczesnejanalizywymagańdoimplementacji,jestdiagramklas,obudowany
pewnąliczbąmodelipomocniczych.Jednorodnośćnotacjipozwalauniknąćkłopotliwej
weryfikacjizgodnościmodeluprojektowegozmodelemanalitycznym.Drugimczynni-
kiemjestdostępnośćmechanizmudziedziczenia,pozwalającegonadodawanienowych
zachowańbezzmienianiapozostałejczęścimodelulubnawetprogramu.
Łatwośćwprowadzaniazmianumożliwiaefektywnewykorzystaniemetodobiek-
towychwiteracyjnymprocesieprojektowym,wktórym:
Swfazieopracowaniapowstająscenariuszeprzypadkówużycia,diagramklas
dziedzinyzastosowania,opisarchitekturyorazplanwykonaniaiteracjifazy
konstrukcji;
Swfaziekonstrukcjipowstajediagramklasprogramu,modelwspółdziałania
obiektówiwkońcuprogramrealizującyfunkcjonalnośćsystemu.
Podejścieobiektowemateżswojesłabości.Modeleobiektowemniejintuicyj-
neodstrukturalnych,adużaliczbaróżnychmodelipomocniczychzwiększazłożoność
projektu.Iteracyjnystylpracypowodujekoniecznośćmodyfikowaniawcześniej
opracowanegokodupodczasintegrowaniazkodemwytworzonymwkolejnejiteracji.
Obiektowemetodyopracowaniaoprogramowaniadokładnieopisanewroz-
dziale4.
1.4.
Weryfikacjaizatwierdzanie
Każdyprogrampowinienbyćpoprawnywdwojakimsensie:powinienbyćzbudowa-
nyzgodniezregułamisztuki,bezbłędówiukrytychusterek,orazpowinienzaspo-
kajaćpotrzebyużytkownikawtychzastosowaniach,doktórychjestprzeznaczony.
Abyzapewnićosiągnięcieobydwutychcelów,potrzebnedwarodzajedziałań
kontrolnych,wplecionychwróżnefazyprocesuwytwórczego.
SWeryfikacja(verification).Błędnedziałanieprogramumożebyćwynikiem
pomyłekpopełnionychprzezróżnychludziwróżnychfazachprocesuwy-