Підтримка
www.wikidata.uk-ua.nina.az
Zhittye vij cikl progra mnogo zabezpe chennya sukupnist okremih etapiv robit sho provodyatsya u zadanomu poryadku protyagom periodu chasu yakij pochinayetsya z virishennya pitannya pro rozroblennya programnogo zabezpechennya i zakinchuyetsya pripinennyam vikoristannya programnogo zabezpechennya Ponyattya zhittyevogo ciklu programnogo zabezpechennya vidnosyat do disciplini Programna inzheneriya Zagalni ponyattyaV zagalnomu vipadku zhittyevij cikl viznachayetsya modellyu j opisuyetsya u formi metodologiyi metodu Model abo paradigma zhittyevogo ciklu viznachaye zagalnu organizaciyu i yak pravilo osnovni jogo fazi ta principi perehodu mizh nimi Metodologiya metod viznachaye kompleks robit yih detalnij zmist i rolovu vidpovidalnist specialistiv na vsih etapah vibranoyi modeli Zhittyevij cikl programnogo zabezpechennya suprovodzhuyetsya rozroblennyam obigom ta vikoristannyam programnoyi dokumentaciyi Programna dokumentaciya sukupnist dokumentiv sho mistyat vidomosti neobhidni dlya rozrobki vigotovlennya suprovodu ta ekspluataciyi program Programna dokumentaciya ye odnim z vidiv tehnichnoyi dokumentaciyi Kompleks derzhavnih standartiv sho vstanovlyuyut vzayemopov yazani pravila rozrobki oformlennya ta obigu program i programnoyi dokumentaciyi nazivayetsya Yedina sistema programnoyi dokumentaciyi YeSPD Modeli zhittyevogo ciklu programnogo zabezpechennyaModel zhittyevogo ciklu ce struktura sho skladayetsya iz procesiv robit ta zadach yaki vklyuchayut v sebe rozrobku ekspluataciyu i suprovid programnogo produktu ohoplyuye zhittya sistemi vid viznachennya vimog do neyi do pripinennya yiyi vikoristannya Na sogodni najbilshogo rozpovsyudzhennya nabuli dvi modeli kaskadna model spiralna model Kaskadna model Dokladnishe Kaskadna model Kaskadna model ZhC programnih sistem Odniyeyu z pershih z yavilas kaskadna model v yakij kozhen etap roboti vikonuyetsya lishe raz Na kozhnomu etapi robota vikonuyetsya nastilki retelno shob potrebi povertatis do poperednogo ne vinikalo Rezultat vikonannya kozhnogo etapu pered peredacheyu v nastupnij piddayetsya verifikaciyi Spiralna model Dokladnishe Spiralna model Rozrobka iteraciyami vidobrazhaye ob yektivno isnuyuchij spiralnij cikl stvorennya sistemi Nepovne zavershennya robit na kozhnomu etapi dozvolyaye perehoditi na nastupnij etap ne chekayuchi povnogo zavershennya roboti na potochnomu Pri iterativnomu sposobi rozrobki vidsutnyu robotu mozhna bude vikonati na nastupnij iteraciyi Golovne zh zavdannya shonajshvidshe pokazati koristuvacham sistemi pracezdatnij produkt tim samim aktivizuyuchi proces utochnennya i dopovnennya vimog Vihodyachi z mozhlivosti vnesennya zmin yak v proces tak i v promizhnij produkt bulo stvoreno spiralnu model ZhC ris 3 Vnesennya zmin oriyentovane na zadovolennya potrebi koristuvachiv odrazu yak tilki bude vstanovleno sho stvoreni artefakti abo elementi dokumentaciyi ne vidpovidayut dijsnomu stanu rozrobki Dana model ZhC dopuskaye analiz produktu na vitku rozrobki jogo perevirku ocinku pravilnosti ta prijnyattya rishennya pro perehid na nastupnij vitok abo povernennya na poperednij vitok dlya doopracyuvannya na nomu promizhnogo produktu Vidminnist ciyeyi modeli vid kaskadnoyi polyagaye v mozhlivosti bagato raziv povertatisya do procesu formulyuvannya vimog i do povtornoyi rozrobki versiyi sistemi z bud yakogo procesu modeli Ris 3 Spiralna model ZhC rozrobki programnih sistem Dlya programnogo produktu taka model ne duzhe pidhodit z dekilkoh prichin Po pershe vislovlennya vimog zamovnikom nosit sub yektivnij harakter vimogi mozhut bagatorazovo utochnyuvatisya protyagom rozrobki PS i navit pislya zavershennya ta viprobovuvannya i chasom mozhe z yasuvatisya sho zamovnik hotiv zovsim inshe Po druge zminyuyutsya obstavini ta umovi vikoristannya sistemi tomu zagalnoviznanim zakonom programnoyi inzheneriyi ye zakon evolyuciyi yakij sformulyuyemo tak kozhna diyucha PS z chasom potrebuye vnesennya zmin abo vivoditsya z ekspluataciyi Pri neobhidnosti vnesennya zmin do sistemi na kozhnomu vitku z metoyu otrimannya novoyi versiyi sistemi obov yazkovo vnosyatsya zmini v zazdalegid zafiksovani vimogi pislya chogo povertayutsya na poperednij vitok spirali dlya prodovzhennya realizaciyi novoyi versiyi sistemi z urahuvannyam usih zmin Evolyucijna model U razi evolyucijnoyi modeli sistema poslidovno rozroblyayetsya z blokiv konstrukcij Na vidminu vid inkrementnoyi modeli v evolyucijnij modeli vimogi vstanovlyuyutsya chastkovo i utochnyuyutsya v kozhnomu nastupnomu promizhnomu bloci strukturi sistemi Vikoristannya evolyucijnoyi modeli pripuskaye provedennya doslidzhennya predmetnoyi oblasti dlya vivchennya potreb yiyi zamovnika i analizu mozhlivosti zastosuvannya ciyeyi modeli dlya realizaciyi Model vikoristovuyetsya dlya rozrobki neskladnih i nekritichnih sistem de golovnoyu vimogoyu ye realizaciya funkcij sistemi Pri comu vimogi ne mozhut buti viznacheni vidrazu i povnistyu Tomu rozrobka sistemi zdijsnyuyetsya iteracijnim shlyahom yiyi evolyucijnogo rozvitku z otrimannyam deyakogo varianta sistemi prototipu na yakomu pereviryayetsya realizaciya vimog Inshimi slovami takij proces za svoyeyu suttyu ye iteracijnim z etapami rozrobki sho povtoryuyutsya pochinayuchi vid zminenih vimog i zakinchuyuchi otrimannyam gotovogo produktu V deyakomu rozuminni do cogo tipu modeli mozhna vidnesti spiralnu model Rozvitkom ciyeyi modeli ye model evolyucijnogo prototipuvannya v ramkah usogo ZhC rozrobki PS ris 4 Ris 4 Model evolyucijnogo prototipuvannya U literaturi vona chasto nazivayetsya modellyu shvidkoyi rozrobki program RAD Rapid Application Development U danij modeli navedeni diyi yaki pov yazani z analizom yiyi zastosovnosti dlya konkretnogo vidu sistemi a takozh obstezhennyam zamovnika dlya viznachennya potreb koristuvacha pri rozrobci planu stvorennya prototipu U modeli ye dvi golovni iteraciyi rozrobki funkcionalnogo prototipu proyektuvannya i realizaciyi sistemi z metoyu perevirki chi zadovolnyaye vona vsi funkcionalni i nefunkcionalni vimogi Osnovnoyu ideyeyu ciyeyi modeli ye modelyuvannya okremih funkcij sistemi v prototipi i postupove evolyucijne jogo doopracyuvannya do vikonannya vsih zadanih funkcionalnih vimog Iteracij z otrimannya promizhnih variantiv prototipu mozhe buti dekilka v kozhnij z yakih dodayetsya funkciya i povtorno modelyuyetsya robota prototipu I tak do tih pir poki ne budut promodelovani vsi funkciyi zadani u vimogah do sistemi Pislya cogo vikonuyetsya she odna iteraciya ostatochne programuvannya dlya otrimannya gotovoyi sistemi Cya model zastosovuyetsya dlya sistem v yakih najbilsh vazhlivimi ye funkcionalni mozhlivosti i yaki neobhidno shvidko prodemonstruvati na CASE zasobah Oskilki promizhni prototipi sistemi vidpovidayut realizaciyi deyakih funkcionalnih vimog yih mozhna pereviryati i pid chas suprovodu i ekspluataciyi tobto razom z procesom rozrobki chergovih prototipiv sistemi Pri comu dopomizhni i organizacijni procesi mozhut vikonuvatisya razom z procesom rozroblennya i nakopichuvati vidomosti za danimi kilkisnih i yakisnih ocinok na procesah rozroblennya Pri comu vrahovuyutsya taki chinniki riziku realizaciya vsih funkcij sistemi odnochasno mozhe prizvesti do gromizdkosti obmezheni lyudski resursi zajnyati rozrobkoyu protyagom trivalogo chasu Perevagi zastosuvannya danoyi modeli ZhC taki shvidka realizaciya deyakih funkcionalnih mozhlivostej sistemi i yih aprobaciya vikoristannya promizhnogo produktu v nastupnomu prototipi vidilennya okremih funkcionalnih chastin dlya realizaciyi yih u viglyadi prototipu mozhlivist zbilshennya finansuvannya sistemi zvorotnij zv yazok iz zamovnikom dlya utochnennya funkcionalnih vimog sproshennya vnesennya zmin u zv yazku iz zaminoyu okremih funkciyi Model rozvivayetsya u napryamu dodavannya nefunkcionalnih vimog do sistemi pov yazanih iz zahistom i bezpekoyu danih nesankcionovanim dostupom do nih i in Viznachennya vimog do programnih sistemAktor pochinaye zadanij scenarij pri zvertanni do avtomatizovanoyi sistemi obslugovuvannya biblioteki Usi scenariyi sho mistyatsya u sistemi obvedeni ramkoyu yaka viznachaye mezhi sistemi a aktor znahoditsya poza ramkoyu yak zovnishnij chinnik sistemi Vidnoshennya mizh scenariyami Mizh scenariyami vidnoshennya zadayutsya strilkami z ukazivkoyu nazvi tipu vidnosin Harakteristika oblastej znan z inzheneriyi programnogo zabezpechennya SWEBOK U pidrozdili rozglyadayetsya teoretichnij i intelektualnij bazis proyektuvannya metodi principi zasobi i metodologiyi predstavleni oblastyami v yadri znan programnoyi inzheneriyi SWEBOK Yadro znan SWEBOK osnovnij naukovo tehnichnij dokument sho vidobrazhaye znannya ta dosvid bagatoh inozemnih i vitchiznyanih fahivciv z programnoyi inzheneriyi 1 10 i uzgodzhuyetsya z reglamentovanimi procesami ZhC standartu ISO IEC 12207 Dokument mistit u sobi opis 10 oblastej kozhna z yakih predstavlena vidpovidno do prijnyatoyi vsima uchasnikami formuvannya yadra SWEBOK zagalnoyi shemi opisu sho mistit u sobi viznachennya ponyatijnogo aparatu metodiv i zasobiv a takozh instrumentiv pidtrimki inzhenernoyi diyalnosti Stosovno kozhnoyi oblasti viznacheno kolo znan yaki povinni praktichno vikoristovuvatisya pri vikonanni procesiv zhittyevogo ciklu Dlya podannya ponyatijnogo aparatu oblastej znan SWEBOK provedemo umovne rozdilennya oblastej na golovni p yat oblastej dlya rozroblennya PS ris 1 7 i dopomizhni organizacijni oblasti p yat oblastej sho zabezpechuyut inzheneriyu keruvannya rozrobkoyu PS ris 1 8 U kozhnij oblasti navedeni klyuchovi ponyattya pidhodi i metodi proyektuvannya riznih tipiv PS Rozpodil oblastej na osnovni i dopomizhni vidpovidaye strukturi rozpodilu procesiv standartu ISO IEC 12207 div rozdil 2 vikonannya yakih viznachayetsya metodami i zasobami zaproponovanimi v yadri znan SWEBOK Dali podayetsya oglyad kozhnoyi oblasti cogo yadra viznachayetsya yiyi rol u proyektuvanni i realizaciyi programnih produktiv U deyakih pidrozdilah pokazanij zv yazok z polozhennyami vidpovidnih standartiv sho reglamentuyut i regulyuyut vikonannya procesiv proyektuvannya programnih sistem Suprovid programnogo zabezpechennya Dokladnishe Suprovid programnogo zabezpechennya Suprovid programnogo zabezpechennya sukupnist dij iz zabezpechennya jogo roboti vnesennya zmin pri viyavlenni pomilok adaptaciyi PZ do novogo seredovisha funkcionuvannya a takozh pidvishennya produktivnosti abo polipshennya deyakih harakteristik PZ U zv yazku z virishennyam tak zvanoyi problemi 2000 roku pov yazanoyi z koduvannyam dat u novomu tisyacholitti zokrema u dvohsimvolnomu formati suprovid pochav rozglyadatisya yak bilsh vazhlivij proces sho zdijsnyuyut rozrobniki Pislya zmin sistema maye virishuvati ti sami zadachi a takozh mati plan perenesennya informaciyi v inshi BD Suprovid vidpovidno do standartiv ISO IEC 12207 i ISO IEC 14764 provoditsya z metoyu vikonannya i modifikaciyi programnogo produktu v procesi ekspluataciyi za umovi zberezhennya jogo cilisnosti Oblast znan Suprovid PZ Software Maintenance skladayetsya z takih rozdiliv osnovni koncepciyi Basic Concepts proces suprovodzhennya Process Maintenance klyuchovi pitannya suprovodu PZ key Issue in Software Maintenance tehniki suprovodu Techniques for Maintenance Suprovid rozglyadayetsya z tochki zoru zadovolennya vimog spozhivacha u gotovomu PZ korektnosti jogo vikonannya procesiv navchannya j operativnogo obliku jogo procesu Osnovni koncepciyi ce bazovi viznachennya i terminologiya pidhodi do evolyuciyi i suprovodu PZ do ocinki vartosti suprovodu tosho Do osnovnih koncepcij mozhna vidnesti ZhC PZ standart ISO IEC 12207 i skladannya dokumentaciyi Golovne priznachennya ciyeyi oblasti znan polyagaye u vikonanni gotovoyi programnoyi sistemi fiksaciyi pomilok sho vinikayut pri vikonanni doslidzhenni yih prichin analizi neobhidnosti modifikaciyi sistemi z metoyu usunennya pomilok ocinci vartosti robit iz provedennya zmin funkcij i sistemi v cilomu Rozglyadayutsya problemi pov yazani z uskladnenistyu produktu pri velikij kilkosti zmin i metodi yiyi podolannya Proces suprovodzhennya mistit u sobi modeli procesu suprovodu i planuvannya diyalnosti lyudej sho provodyat zapusk PZ perevirku pravilnosti jogo vikonannya i vnesennya v nogo zmin Cej proces zgidno z standartom ISO IEC 14764 provoditsya shlyahom koriguvannya tobto zmini produktu dlya usunennya viyavlenih pomilok abo nerealizovanih zadach adaptaciyi tobto nastroyuvannya produktu v umovah ekspluataciyi sho zminilisya abo v novomu seredovishi vikonannya polipshennya tobto evolyucijnoyi zmini produktu dlya pidvishennya produktivnosti abo rivnya suprovodu perevirki PZ poshuku i vipravlennya pomilok pri ekspluataciyi sistemi Klyuchovi pitannya suprovodu PZ ce upravlinski vimiryuvalni i vartisni Sut upravlinskih pitan kontrol PZ pri modifikaciyi j udoskonalyuvanni funkcij i nedopushennya znizhennya produktivnosti sistemi Pitannya vimiryuvannya pov yazane z ocinkoyu harakteristik sistemi pislya yiyi modifikaciyi a takozh povtornogo testuvannya dlya ocinki pokaznikiv yakosti Vartisni pitannya pov yazani z ocinkoyu vitrat na suprovid zalezhno vid jogo tipu kvalifikaciyi personalu platformi j in Tehnika suprovodu cej rozdil nazivayut takozh evolyuciyeyu PZ Vidomij fahivec v oblasti PZ Dzh Leman 1970 r zaproponuvav rozglyadati suprovid yak evolyucijnu rozrobku programnih sistem oskilki zdana v ekspluataciyu sistema ne zavzhdi cilkom zavershena yiyi treba zminyuvati protyagom terminu ekspluataciyi Vnaslidok zmin sistema staye bilsh skladnoyu i pogano kerovanoyu U zv yazku z cim vinikaye problema zmenshennya yiyi skladnosti Do tehnologij evolyuciyi PZ vidnosyat reinzheneriyu reversnu inzheneriyu i refaktoring Reinzheneriya ce udoskonalennya zastarilogo PZ shlyahom jogo reorganizaciyi abo restrukturizaciyi a takozh pereprogramuvannya okremih elementiv abo nastroyuvannya parametriv na inshu platformu seredovishe vikonannya zi zberezhennyam zruchnosti jogo suprovodu Reversna inzheneriya polyagaye u vidnovlenni specifikaciyi grafiv viklikiv potokiv danih i in za otrimanim kodom sistemi dlya yiyi analizu na bilsh visokomu rivni Vidnovlyuyetsya identifikaciya komponentiv i zv yazkiv mizh nimi dlya zabezpechennya pereprogramuvannya sistemi na novu platformu Najchastishe reversna inzheneriya zastosovuyetsya pislya togo yak u kod PZ bulo vneseno bagato zmin i vono stalo nekerovanim abo zminilasya platforma komp yutera Refaktoring ce reorganizaciya kodu dlya polipshennya harakteristik i pokaznikiv yakosti ob yektno oriyentovanih i komponentnih program bez zmini yih povedinki Cej proces realizuyetsya shlyahom postupovoyi zmini okremih operacij nad tekstami interfejsami seredovishem programuvannya i vikonannya PZ a takozh nastroyuvannya abo vnesennya zmin v instrumentalni zasobi pidtrimki PZ Yaksho pri zmini zberigayetsya format isnuyuchoyi sistemi to refaktoring odin z variantiv reversnoyi inzheneriyi Inzheneriya vimog Vimogi do PZ sukupnist vlastivostej yaki povinno mati PZ Priznacheni dlya adekvatnogo viznachennya funkcij umov i obmezhen vikonannya PZ a takozh obsyagiv danih tehnichnogo zabezpechennya i seredovisha jogo vikonannya Vimogi vidbivayut potrebi lyudej zamovnikiv koristuvachiv rozrobnikiv zacikavlenih u stvorenni PZ Zamovnik i rozrobnik spilno viyavlyayut vimogi analizuyut pereglyadayut viznachayut neobhidni obmezhennya i umovi a takozh opisuyut yih Rozriznyayut vimogi do produktu i do procesu a takozh funkcionalni ne funkcionalni i sistemni vimogi Funkcionalni vimogi viznachayut priznachennya i funkciyi sistemi a ne funkcionalni umovi stosovno vikonannya PZ jogo perenosnosti i dostupu do danih Sistemni vimogi opisuyut vimogi do programnoyi sistemi yaka skladayetsya z vzayemozalezhnih programnih i aparatnih pidsistem i riznih zastosuvan Oblast znan Vimogi do PZ Software Requirements skladayetsya z takih rozdiliv inzheneriya vimog Requirement Engineering viyavlennya vimog Requirement Elicitation analiz vimog Requirement Analysis specifikaciya vimog Requirement Specification validaciya vimog Requirement validation keruvannya vimogami Requirement Management Inzheneriya vimog do PZ ce disciplina analizu i dokumentuvannya vimog do PZ sho polyagaye v peretvorenni zaproponovanih zamovnikom vimog do sistemi na opis vimog do PZ i yih validaciyi Viyavlennya vimog ce proces vityaguvannya informaciyi z riznih dzherel dogovoriv materialiv analitikiv z dekompoziciyi zadach i funkcij sistemi j in provedennya tehnichnih zahodiv spivbesid zbirannya propozicij i in dlya formuvannya okremih vimog do produktu i do procesu rozroblennya Analiz vimog proces vivchennya potreb i cilej koristuvachiv klasifikaciya i peretvorennya yih na vimogi do sistemi aparaturi i PZ vstanovlennya i virishennya konfliktiv mizh vimogami viznachennya prioritetiv mezh sistemi i principiv vzayemodiyi iz seredovishem funkcionuvannya Specifikaciya vimog do PZ proces formalizovanogo opisu funkcionalnih i nefunkcionalnih vimog vimog do harakteristik yakosti vidpovidno do standartu yakosti ISO IEC 9126 yaki budut vidpracovuvatisya na procesah ZhC PZ Verifikaciya vimog ce proces perevirki pravilnosti specifikacij vimog shodo yih vidpovidnosti potrebam nesuperechnosti povnoti i mozhlivosti realizaciyi a takozh uzgodzhenosti zi standartami Keruvannya vimogami ce keruvannya procesami formuvannya vimog na vsih procesah ZhC a takozh zminami j atributami vimog provedennya monitoringu vidnovlennya dzherela vimog Proyektuvannya programnogo zabezpechennya Proyektuvannya PZ ce proces viznachennya arhitekturi naboru komponentiv yih interfejsiv inshih harakteristik sistemi i kincevogo skladu programnogo produktu Oblast znan Proyektuvannya PZ Software Design skladayetsya z takih rozdiliv bazovi koncepciyi proyektuvannya PZ Software Design Basic Concepts klyuchovi pitannya proyektuvannya PZ Key Issue in Software Design struktura j arhitektura PZ Software Structure and Architecture analiz i ocinka yakosti proyektuvannya PZ Software Design Quality Analysis and Evaluation notaciyi proyektuvannya PZ Software Design Notations strategiya i metodi proyektuvannya PZ Software Design Strategies and Methods Bazova koncepciya proyektuvannya PZ ce metodologiya proyektuvannya arhitekturi za dopomogoyu riznih metodiv ob yektnogo komponentnogo j in procesi ZhC standart ISO IEC 12207 i tehniki dekompoziciya abstrakciya inkapsulyaciya j in Na pochatkovih stadiyah proyektuvannya predmetna oblast dekompozuyetsya na okremi ob yekti pri ob yektno oriyentovanomu proyektuvanni abo na komponenti pri komponentnomu proyektuvanni Klyuchovi pitannya proyektuvannya ce dekompoziciya program na funkcionalni komponenti dlya nezalezhnogo i odnochasnogo yihnogo vikonannya rozpodil komponentiv u seredovishi funkcionuvannya i yih vzayemodiya mizh soboyu zabezpechennya yakosti i zhivuchosti sistemi j in Proyektuvannya arhitekturi PZ provoditsya arhitekturnim stilem zasnovanim na viznachenni osnovnih elementiv strukturi pidsistem komponentiv ob yektiv i zv yazkiv mizh nimi Analiz i ocinka yakosti proyektuvannya PZ ce zahodi shodo analizu sformulovanih u vimogah atributiv yakosti funkcij strukturi PZ z perevirki yakosti rezultativ proyektuvannya za dopomogoyu metrik funkcionalnih strukturnih i in i metodiv modelyuvannya i prototipuvannya Notaciyi proyektuvannya dozvolyayut predstaviti opis ob yekta elementa PZ i jogo strukturu a takozh povedinku sistemi za cim ob yektom Isnuye dva tipi notacij strukturna povedinkova ta mnozhina yih riznih predstavlen Strategiya i metodi proyektuvannya PZ Do strategij vidnosyat proyektuvannya vgoru vniz abstraguvannya vikoristannya karkasiv i in Konstruyuvannya programnogo zabezpechennya Oblast znan Konstruyuvannya PZ Software Construction mistit u sobi taki rozdili znizhennya skladnosti Reduction in Complexity poperedzhennya vidhilen vid stilyu Anticipation of Diversity strukturizaciya perevirok Structuring for Validation vikoristannya standartiv Use of External Standards Znizhennya skladnosti ce minimizaciya zmenshennya i lokalizaciya skladnosti konstruyuvannya Poperedzhennya vidhilen vid stilyu Dlya rozv yazannya riznih zadach konstruyuvannya zastosovuyutsya rizni stili konstruyuvannya lingvistichnij formalnij vizualnij Strukturizaciya perevirok pripuskaye sho pobudova PS strukturovana takim chinom sho sproshuyetsya poshuk pomilok defektiv i riznih zboyiv u procesi perevirok yak na stadiyi nezalezhnogo testuvannya tak i v procesi ekspluataciyi Vikoristannya zovnishnih standartiv Konstruyuvannya PZ zalezhit vid zastosovnih zovnishnih standartiv pov yazanih z movami programuvannya instrumentalnimi zasobami j interfejsami Keruvannya konstruyuvannyam ce keruvannya procesom konstruyuvannya PZ planuvannya ocinka vikonannya planu i rozroblennya zahodiv shodo vnesennya zmin Testuvannya programnogo zabezpechennya Testuvannya PZ ce proces perevirki gotovoyi programi v statici pereglyadi inspekciyi nalagodzhennya vihidnogo kodu i v dinamici progin na nabori testovih danih z metoyu perevirki riznih shlyahiv vikonannya programi i porivnyannya otrimanih rezultativ iz zazdalegid zadanimi Oblast znan Testuvannya PZ Software Testing mistit u sobi taki rozdili osnovni koncepciyi i viznachennya testuvannya Testing Basic Concepts and definitions rivni testuvannya Test Levels tehniki testuvannya Test Techniques metriki testuvannya Test Related Measures keruvannya procesom testuvannya Managing the Test Process Osnovna koncepciya testuvannya ce bazovi termini klyuchovi problemi i yihnij zv yazok z inshimi oblastyami znan Testuvannya viznachayetsya yak proces perevirki pravilnosti programi v dinamici yiyi vikonannya za testovimi danimi Rivni testuvannya testuvannya okremih elementiv integracijne testuvannya testuvannya sistemi Tehniki testuvannya bazuyutsya na pevnih teoretichnih i praktichnih polozhennyah shodo proyektuvannya komponentnogo ob yektno oriyentovanogo servisnogo i t in Metriki testuvannya Dlya vimiryuvannya rezultativ testuvannya PZ j ocinki yakosti vikoristovuyutsya metriki Vimir yak chastina planuvannya i rozrobki testiv bazuyetsya na rozmiri program yih strukturi i kilkosti viyavlenih pomilok i defektiv Metriki testuvannya ce vimiryuvannya procesu planuvannya proyektuvannya i testuvannya a takozh rezultativ testuvannya na osnovi taksonomiyi vidmov i defektiv pokrittya granic testuvannya perevirki potokiv danih i in Suprovid programnogo zabezpechennya Suprovid PZ sukupnist dij iz zabezpechennya jogo roboti vnesennya zmin pri viyavlenni pomilok adaptaciyi PZ do novogo seredovisha funkcionuvannya a takozh pidvishennya produktivnosti abo polipshennya deyakih harakteristik PZ Oblast znan Suprovid PZ Software Maintenance skladayetsya z takih rozdiliv osnovni koncepciyi Basic Concepts proces suprovodzhennya Process Maintenance klyuchovi pitannya suprovodu PZ key Issue in Software Maintenance tehniki suprovodu Techniques for Maintenance Osnovni koncepciyi ce bazovi viznachennya i terminologiya pidhodi do evolyuciyi i suprovodu PZ do ocinki vartosti suprovodu tosho Klyuchovi pitannya suprovodu PZ ce upravlinski vimiryuvalni i vartisni Sut upravlinskih pitan kontrol PZ pri modifikaciyi j udoskonalyuvanni funkcij i nedopushennya znizhennya produktivnosti sistemi Tehnika suprovodu cej rozdil nazivayut takozh evolyuciyeyu PZ Vidomij fahivec v oblasti PZ Dzh Leman 1970 r zaproponuvav rozglyadati suprovid yak evolyucijnu rozrobku programnih sistem oskilki zdana v ekspluataciyu sistema ne zavzhdi cilkom zavershena yiyi treba zminyuvati protyagom terminu ekspluataciyi Vnaslidok zmin sistema staye bilsh skladnoyu i pogano kerovanoyu Metodi ob yektnogo analizu i modelyuvannyaOglyad ob yektno oriyentovanih metodiv analizu i pobudovi modelej Na danij chas stvoreno ponad 50 ob yektno oriyentovanih metodiv yaki zastosovuyutsya praktichno yak mehanizmi rozroblennya ob yektnih modelej i pobudovi na yihnij osnovi programnih sistem Golovnim ponyattyam cih metodiv ye ob yekt a takozh inshi oznachennya elementiv predmetnoyi oblasti yaka stvoryuyetsya Metod ob yektno oriyentovanogo modelyuvannya peredbachaye poslidovne vikonannya dvoh etapiv ob yektno oriyentovanogo analizu ta ob yektno oriyentovanogo proyektuvannya Ob yektnij analiz doslidzhennya ob yektiv predmetnoyi oblasti Predmetna oblast mistit v sobi ti ob yekti i vzayemozv yazki mizh nimi yaki istotno znachemi pri opisi vimog ta umov v rozv yazanni zadach V procesi ob yektno oriyentovannogo proyektuvannya viznachayut programni ob yekti ta sposobi yihnoyi vzayemodiyi i shemi baz danih Osnovni ponyattya ob yektno oriyentovanih metodiv analizu Do osnovnih ponyat metodiv ob yektno oriyentovanogo analizu predmetnoyi oblasti PrO nalezhat nastupni Ob yekt ce abstraktnij element sho maye povedinku obumovlenu jogo harakteristikami i vidnoshennyami z inshimi ob yektami predmetnoyi oblasti Vidpovidno do teoriyi Frege specifikaciyu ob yekta mozhna traktuvati yak trijku lt im ya ob yekta gt lt denotat gt lt koncept gt de lt im ya ob yekta gt identifikator ryadok z liter i chisel lt denotat gt sutnist realnoyi PrO sho poznachayetsya cim identifikatorom lt koncept gt semantika zmist denotata PrO Shematichno ce mozhna podati za dopomogoyu trikutnika Frege ris 1 V nomu mistyatsya elementi realnogo svitu yaki mayut taki vlastivosti i harakteristiki znak identifikator yakij poznachaye denotat denotat sutnist znaku poznachenogo cim identifikatorom koncept semantika denotatu Voni viznachayutsya na rivnyah ob yektnogo analizu iz zaluchennyam matematichnih formalizmiv yihnogo opisu ta utochnennya vidriznyayuchih odin ob yekt vid inshogo ris 1 Podannya ob yektiv PrO za trikutnikom Frege Tobto ob yekt ye imenovana chastina dijsnoyi realnosti z pevnim rivnem abstrakciyi za navedenimi harakteristikami vidnosno vibranoyi PrO Yak ponyatijna struktura ob yekt vidobrazhaye zmist konceptu za ob yektnim modelyuvannyam predmetnoyi oblasti Odnomu ob yektu mozhut vidpovidati kilka konceptiv zalezhno vid vibranogo rivnya abstrakciyi Div takozhKoristuvacke programuvannyaPrimitkiDSTU 2844 94 Programni zasobi EOM Zabezpechennya yakosti Termini ta viznachennya GOST 19 101 77 Edinaya sistema programmnoj dokumentacii Vidy programm i programmnyh dokumentov GOST 19 001 77 Edinaya sistema programmnoj dokumentacii Obshie polozheniya Lavrisheva K M Programna inzheneriya http www programsfactory univ kiev ua content books 2 28 26 lyutogo 2012 u Wayback Machine PosilannyaModeli zhittyevogo ciklu programnogo zabezpechennya 5 listopada 2012 u Wayback Machine SDLC 9 lipnya 2014 u Wayback Machine angl
Топ