Ташки лойихалаш. ДТ архетектурасини конструкциялаш. «Ташки спецификация» хужжати - Informatika va AT - Referatlar

Ташки лойихалаш. ДТ архетектурасини конструкциялаш. «Ташки спецификация» хужжати

Yuklangan vaqt:

20.09.2019

Ko'chirishlar soni:

0

Hajmi:

92.5 KB

Ko'chirib olish

Ташки лойихалаш. ДТ архетектурасини конструкциялаш. «Ташки спецификация» хужжати Режа: 1. Ташки спецификатция хужжати. 2. Ташки лойихалаш 3. Дастур воситаларини ишлаб чикишнинг умумий принциплари. Дастур воситаларини ишлаб чикариш спецификацияси 4. Дастурлаш. Алгоритм.Дастурлашни режалаштириш.Кадамма- кадам деталлаштириш булимии. Дастур мураккаблиги. 5. Кадамма-кадам деталлаштириш ва псевдокод хакида тушунча.

Ташки спецификатция хужжати. Хужжтларда агар бирор бир сатхларни аникликловчи максадлар келтирилган булса улар спецификатциялар дейилади. Специфиткация – узига хосликдир. Спецификатция – йенгил укилувчан киска, аник аммо тугал ахборот берувчи хужжатдир. Дастурий махсулотни ташки спецификциясида бу махсулотни ташки ишини тавсиф килувчи хужжатлар келтирилади. Бу хужжатлар дастурнинг ички тузилиши билан боглик эмас. Парнас коидалари. 1. Чакирилаётган модул хисоблашдаги ахборот шу модулни узига карашли булган ташки спецификацияга тегишли булиши лозим. 2. Ташки спецификациялаш фойдаланувчи ва дастурчи билан биргаликда ёзилиши лозим. 3. Модуллар шу куринишда ёзилган булиши лозимки, улар бирор бир узгартириш киритилганда бу узгаришлар модулларга боглик булган бошка бошка модулларга таъсир курсатмасин. 4. Ташки спецификацияни бахоловчи шахс ретсензент. 5. Чекланишлар тугал ва аник куринишга эга булиб, уларнинг келиб чикиш сабабларини курсатиши керак. 6. Ташки спейификацияни тугаллиги ва аниклигини текшириш, дастурлаш жараёнидан олдин бажарилиши тасия килинади. Ташки спецификация хужжати техник топширикнинг давоми сифатида расмийлаштириладиган хужжат булиб, уни одатда техник лойиха даб юритилади. Спецификацияларни яратишда уларнинг кискалигини, аник ват улик маълумотларги эга булишини таъьинлаш лозим. Бу хужжатда дастур модулининг ташки хусусиятлари тавсифланмаслиги лозим. Бу хужжат куйидагилардан иборат. 1. Дастур модулининг ном ива тавсифи. 2. Фойдаланувчи билан мулокотни амалга ошириш. 3. Минимум ва фукционал клавишларнинг ишларини тавсифлаш. 4. Барча экран куринишларини тавсифлаш.

5. Дастур модулини ишлаши жараёнида фойдаланувчига бериладигин саволлар ва уларга жавоб бериш йуллари. 6. Хатоликлар хакидаги маълумотлар. 7. Фойдаланувчи харакатларини бошкариб туриш учун бериладиган йуналиш тавсифлари. 8. маълумотлар базасини ташкил кили шва унинг тузилиши. 9. ташки куринишларни тавсифлаш. Ташки лойихалаш Конструкциалаш ёки ташки лойихалаш. Маълум бир максадлар аниклангандан сунг бошланади. Бу боскичда фойдаланувчи билан мулокотнинг барча томонлари текширилади. Системани архетектурасини аниклаш жараёнида эса бир бутун лойихаларни ташкил килувчи дастурлар, модуллар, процедуралар ва улар орасидаги богликлик аникланади. Уларнинг барчаси дастур архитектурасини лойихалашга, модулларни ташки лойихалашга ва маълумотлар базасини лойихалашга олиб келади. Ташки лойихалаш, мураккаб тизимлар, иерархик (дарахтсимон) тизимга эга Мураккаб тизимни кичикрок тизимларга бўлиш жараёни текомпозиция дейилади. Бу кичкина кисмлардан катта система (обьект) хосил килиш учун текомпозиция усулида кисмлар аро алокаларни аниклаш шарт, мураккаб обьектни яратиш учун текомпозиция усули бир неча марта ишлатилади. Бундай услуб кадамма-кадам деталлаштириш усули дейилади. Текомпозиция жараёнинг натижасини иерархик кўринишда бериш мумкин. Дастурлаш таъминотини кайта ишлаш асосий этаплари куйидагилар( кавс ичида ГОСТ 19:102-77 стандарти бўйича русча номлари берилади): 1) Масала берилиш (Техническое задание) 2) Талабларни тахлили ва спецификациялар (Эскизний проект) 3) Лойихалаш (Технический проект) 4) Реализация (Рабочий проект)

Ташки лойиха- лойихани режа асосида бирор-бир кўринишга келтириш, дастурлаш воситаларини лойихалаш иерархик текомпозиция асосида олиб борилади. Бунда бирор бир мураккаб лойихани оддий кўринишга эга бўлган кичикрок кўринишга эга бўлган муаммоларга бўламиз. Иерархик текомпозиция куйидаги конунларга бўйсунади: 1) Иерархиянинг хар бир этапда, боскичда келтирилган режа ёки лойиха бу боскичда тугалланган бўлиши шарт 2) Иерархиянинг ихтиёрий этапда келтирилган ахборот маълум бир функция ёки муаммодан ташкил топган бўлиб бу боскичга мос бўлиши керак Дастурлаш воситасининг иерархик текомпозицияси куйидаги номлардан бирига эга бўлади: модулли, структурали, юкоридан пастга караб дастурлаш. "Дастурлаш воситаларини лойихалаш уни ташкил килишда асосий боскичлардан иборат бўлади. Яхши лойихаланган дастурни ёмон ёзиш мумкин, лекин ёмон лойихаланган дастурни яхши ёзиш мумкин эмас"-Хант "Искуство программирование" Ташки лойихаларни хосил килишда ишлаб чикарувчиларнинг программавий махсулот ишончлилигини оширувчи учта факторни кўзда тутиш мумкин" 1) Фойдаланувчини хатоларини минимумга келтириш 2) Хатоликлар мавжуд бўлса уларни аниклаш 3) Дастур мураккаблигини камайтириш Агар ташки лойихаларда фойдаланувчи билан мулокот диалог кўринишда амалга оширилиши кўзда тутилган бўлса, унда куйидагиларни хисобга оламиз" 1) Натижавий кийматлар талаб киланаётган кийматга эга бўлиб имконият борича улар изохланмоги лозим 2) Фойдаланувчи томонидан киритилаётган ахборот иложи борича киска бўлиши лозим 3) Фойдаланувчи иложи борича клавиатурадан камрок фойдалансин 4) Киритилаётган ва чикарилаётган кийматлар учун имконият борича концептуал бирлик таъминланмоги лозим

Ташки лойихалаш деганда фойдаланувчи ёки тузатувчи нуктаи назаридан ишлаб чикарилаётган махсулотнинг харакати тушунилади. У жараённинг максади хакида хосил килинаётган махсулотнинг кисмлари орасидаги ўзаро богликлик ташки муаммоларини амалга оширишни келтириш мумкин. Концептуал бирлик фойдаланувчи биалан мулокот мзони хисобланади. 5) Монитордан унумли фоёдалансин 6) Фойдаланувчи томонидан киритилган хар бир ахборот тасдикланиши ёки инкор этилиш лозим 7) Тизим шу кўринишдан лойихалаштирилган бўлиши лозимки фойдаланувчи ишлатган вактида иши тугалланиши ёки дастлабки холатига кайтиши лозим 8) Тизим фойдаланувчининг кириш ахборотларини ўзгартирмаслиги лозим 9) Фойдаланувчининг хар бир харкати система томонидан текшириб турилиши лозим 10) Фойдаланувчининг хатоликлари аникланиши лозим, иложи борича система ёрдам берувчи таъминотга эга бўлиши шарт Битта масалани ечиш учун мутахасислар гурухи ташкилойихалаш дастурлаш билан умуман боглик эмас. Бунда кўпрок атроф мухитни кўзда тутиш, инсон психологиясини, фойдаланувчи муаммоларини хисобга олиш ва шунга ўхшаш эътиборга олинади. Дастур воситаларини ишлаб чикишнинг умумий принциплари. Дастур воситаларини ишлаб чикариш спецификацияси. Дастур воситасининг хаётий цикли. Дастур воситасининг сифат тушунчаси. Ишончлиликни таъминлаш-дастур воситаларини ишлаб чикишнинг асосий мавзуи. кийинчиликлар билан кураш усуллари.Таржима аниклигини таъминлаш. Фойдаланувчи ва ишлаб чикувчи орасидаги тусикни йукотиш. кабул килинаётган ечимлар тугрилигини назорат килиш.

Дастур воситаларини ишлаб чикиш спецификацияси. Дастур воситаларини ишлаб чикиш, узининг, кагор специфик хусусиятларига эга: -Энг аввал, куйида келтирилган кандайдир карама-каршиликни эътиборга- олиш керак: ДВсига талабнинг ва ундаги хатоларни, тушуниш характерининг формал эмас (масаланинг куйилиши), лекин, ДВси дастгох сари-ишлаб чикишнинг, формаллаштирилган, асосий объектидир. Шундай булса хам ДВ сини ишлаб чикиш-формаллаштиришнинг асосий этапларини уз ичига олади, ноформалликдан формалликга утиш, жиддий ноформалдир. -ДВларини ишлаб чикиш, ижодий характерга эга (хар бир кадамда ниманидир танлаш, кандайдир ечим кабул килиш керак булади) ва кандайдир, аник, белгилаб берилган, харакатлар кетма-кетлигини бажаришга олиб келмайди. Демак, бу ишлаб чикиш, кандайдир мураккаб тузилмаларни куплаб ишлаб чикаришга эмас, уларни проектлаш жараёнига якинрокдир. ДВларини ишлаб чикишнинг ижодий характери, шу ишлаб чикишнинг охиригача сакданади. -ишлаб чикиш махсулининг узига хослигини эътиборга олиш керак. У матнларнинг (яъни статистик объектларни) кандайдир туплами куринишида булади; бу матнларнинг маъноси (семантикаси), шу жараёнларни утказадиган, берилганларни кайта ишлаш жараёнлари ва фойдаланувчилар харакатлари оркали ифодаланади(яъни динамик равишда булади). Бу эса ишлаб чикувчилар томонидан катор специфик усул, метод ва воситаларни танлашни олдиндан аникдайди. -Ишлаб чикариш махбули бошка специфик хусусиятга хам эгадир: ДВ си узининг фойдаланиш жараёнида (эксплуатациясида) сарф килинмайди ва фойдаланилаётган ресурсларни сарфламайди. Дастурлаш. Алгоритм.Дастурлашни режалаштириш.Кадамма- кадам деталлаштириш булимии. Дастур мураккаблиги. Дастур модулини ишлаб чикиш тартиби.

Дастур модулини ишлаб чикишда куйидаги кридага амал килиш максадга мувофикдир. • Модул спецификациясини урганиш ва текшириш, дастурлаш тилини танлаш; ' • Алгоритмни ва маълумотлар таркибини танлаш ; • модулни дастурлаш(кодлаш); • модул матнини силликдаш; • модулни текшириш; • модулни компиляциялаш; Дастур модулини ишлаб чикишдаги биринчи кадам, бу-дастур тузилмасини куйидан кушма назорат килишдир яъни, ишлаб чикувчи, модул спецификациясини урганиш жараёнида, у узига тушунарли эканлигини ва шу • модулни ишлаб чика олишига ишонч хосил килиши керак. Бу кадам охирида дастурлаш тили танланади. Бирок барча ДВлар учун дастурлаш тили олдиндан аникланган булиши мумкин булса хам, баъзи холларда (агар дастурлаш системасига тугри келса) шу модулни амалга ошириш учун кулайрок булган бошка тилни танлаш мумкин. Дастур модулини ишлаб чикишдаги иккинчи кадамдадаралаетган ёки шунга ухшаш масалани ечиш учун бирор-бир алгоритмларнинг маълум ёки маълум эмаслигини аниклаб олиш зарур. Агар тугри келадиган алгоритм топилса, ундан фойдаланиш максадга мувофикдир.Модул узининг функцияларини бажариши Алгоритм бажарилишида узларининг функцияларининг модуллари сифатида фойдаланиладиган-мос келувчи берилганлар тузилмасини танлаш, ишланма килинаётган модулнинг логикаси ва сифат курсатгичларини кандайдир даражада олдиндан аниклайди. Шунинг учун уни танлашга катта маъсулият юкланади. Модуллар спецификациясида курсатилган, функциянинг амалга ошишида эътиборга олинадиган, хар хил деталларнинг куплиги купдан-куп хато ва ноаникликларга эга былган: жуда тушуниб булмайдиган тестни тузишга олиб келади. Бундай модулда

хатоларни кидириш ва бунга узгартиришларни киритиш, жуда кийин масала булиб колади. Шунинг учун матнни тузишда технологик асосланган ва амалда текширилган дастурлашдан фойдаланиш керак. Бунга биринчи булиб Дейкстра уз эътиборини каратди ва дастурлаш тузилмасининг асосий принципларини ифодалаб ва асослаб берди. Дастурлашнинг амалда тенг фойдаланиладиган куп сохалари шу принципларга асосланади ва батафсил мухокама килинадиган кадамма-кадам деталлаштириш энг кенг таркалган хисобланади.Дастурлашни кайта ишлаётганида, матнда бор шархларга тузатиш киритиш ва талаб килинаётган сифат примитивларини таъминлаш учун, унга кушимча шархлар хам киргизиш мумкин. Шу максадда матнда стилистик талабларнинг бажарилиши учун, уни кайта ишланади.Модулни текшириш кадамида модулнинг ички мантикини, отладкаси бошланишидан олдин кулда текширишни тушунилади, асосий принципни амалга оширади, ДВининг хар бир этапида кабул килинаётган ечимларни назорат килиш зарурлигини дастурлаш технологияси мухокамаси учун ифодаланган. Ва нихоят, модул ишланмасидаги охирги кадам модулни текшириш тугаганлигини ва модул отладкаси жараёнига утишини билдиради. Тузилмали дастурлаш. Модулни дастурлашда дастур факат компьютерга эмас, одамга хам тушунарли булишига эътибор беришимиз керак. Модул ишлаб чикувчи хам, модул текширувчи шахслар хам, модул отладкаси учун тест таёрлайдиган тестчилар хам модулга талаб килинаётган узгартиришларни киритадиган, ДВини узатиб борувчилар хам, модул мантики ишини куп марта синчиклаб текшириб куришга мажбур буладилар. Замонавий дастурлаш тилларида, бу дастурлашни чалкаштириш учун (етарли воситалар), бу мантикни жуда кучли равишда чалкаштириш учун ва бу билан модулни одамга тушуниш учун кийинлаштириб куядиган етарли воситалар борки, бунинг натижасида бу дастурлаш ишончсиз ва кийин узатиладиган булиб колади. Шунинг учун, мос келадиган тил воситаларини тугри танлаш чораларини куриш ва дастурлашнинг аник бир турига амал килиш керак. Шундай хол учун

Дейкстра дастур ишини мантикини тушунарлилигини кучли оширадиган дастурини бир нечта бошкарувчи тузилмалар турлари ёрдамида куришини таклиф килди. Факат курилмалардан фойдаланиладиган дастурлаш тузилмали деб айтилади. Кетма-кет уланиш Тармокланиш конструкцияларнинг компоненталарининг S , S ,, S 2 умумлашган операторидир ёки тузилмали дастурлаш конструкциялирининг асосий бошкарувчиларидан тузилган курилма-дастур кисмидан фойдаланиш мумкин. Аникли бу конструкциялардан хар бири бошкариш буйича битта кириш ва битта чикишга эгадир. Шунингдек умумлашган оператор хам битта кириш ва битта чикишга эгадир. Яна шуниси мухимки бу конструкциялар математик объектларга киради. Хар бир тузилмали булмаган дастур учун унга функционал эквивалент булган (яъни худди шу масалани ечадиган) тузилмали дастур куриш мумкин. Тузилмали дастурлаш (учун баъзи бир хоссаларни) дастурлашда баъзи бир хатоларни топишга имкон яратадиган баъзи бир хоссаларни математик жихатдан исботлаш мумкин. Бу масала мухокамаси учун бошка лекция багишланади. Тузилмали дастурлашни баъзида GOTO сиз дастурлаш хам деб юритилади. Лекин бу ерда масала GOTO операторида эмас, унинг тартибсиз ишлатилишида куп холларда дастурлашнинг бошка тилларига тузилмали дастурлашни куллаётганимизда (масалан фортранда) GOTO утиш оператори тузилмаси дастурлаш принципларига амал киладиган тузилмали конструкцияларни бажаришда фойдаланилади. Дастурни тузилмали булмаган утиш операторлари, айникса утиш операторидан модул матнида юкорида жойлашадиган операторга утиш чалкаштирилади. Шундай булса хам, баъзи бир оддий холларда утиш операторидан фойдаланмаслик жуда катта тузилмали дастурга олиб келиш мумкин. Бу эса уларга аниклик киритмайди ва модул матнида кушимча хатолар келиб чикиши хатарини тугдиради. Шунинг учун дастур аниклигини саклаган холда, утиш операторидан иложи борича фойдаланмаганимиз маъкулдир. Утиш операторидан фойдаланишнинг фойдали томонига махсус шарт асосида

цикл ёки процедурадан чикишни курсатиш мумкин. Бу чикиш берилган цикл ёки берилган процедуранинг ишини "муддатдан олдин" тухтатади, яъни кайсидир тузилма бирлигини ишини тугатишини ва дастурнинг таркиблилигини локал бузилишига олиб келади. Баъзи махсус холларга реакцияни тузилмали амалга ошириш катта кийинчиликларни тугдиради, чунки, бунда тузилмали бирликдан муддатдан олдин чикиш талаб килибгина колмай, бу вазият масалан, диагностик ахборотни бериш учун зарур булган кайта ишлашни бажариш. Махсус вазиятни кайта ишловчи дастурнинг ихтиёрий даражасида турган булиши мумкин ва унга мурожат эса дастурнинг исталган куйи даражаларидан амалга оширилиши мумкин. Технология нуктаи-назаридан махсус вазиятларга реакцияни "тузилмасиз"амалга оширилиши кулайдир. Махсус вазиятларнинг кайта ишловчилари тузилмалар бирлигининг у ёки бу четида урнатилиши мумкин ва хар бир шундай кайта ишловчи шундай дастурланадики, узининг ишининг охирида кайси тузилмали бирлик сунгида жойлашган булса шундан чикишни бажаради. Бундай кайта ишловчига мурожаат шу берилган тузилмали бирликдан олинган утиш оператори оркали бажарилади. Кадамма-кадам деталлаштириш ва псевдокод хакида тушунча. Тузилмали дастурлаш модул матни кандай булишига курсатма беради. Бундай матнни тузиш учун дастурчи кандай йул тутиш керак деган савол тугилади. Куп холларда модулни дастурини унинг ишининг мантикини умумий холда тафсифловчи блок-схемасини куришдан бошланади. Лекин замонавий дастурлаш техналогияси буни мос келувчи компьютер ёрдамисиз килишни маслахат бермайди. Гарчи блок-схемалар модул ишининг мантикини жуда кургазмали килиб тасвирласа хам уни дастурлаш тилида кулда кодланганда анча специфик булган, хатолар манбаи пайдо булади. Икки улчовли булган блок-схемаларни, модулни ифодалайдиган чизикли матнга акслантириш, модул ишининг мантикини бузиб курсатиш хавфини

келтириб чикаради, айникса уни такрор куриб чикаётганда унга эътибор даражасини психологик жихатдан саклаш жуда кийиндир. Бунда махсус куйидаги хол учун унинг блок-схемасини куриш учун график редактордан фойдаланганда ва у шундай формалаштирилган булиши керакки, у оркали матн дастурлаш тилида автоматик равишда юзага келади (масалан бу Р- технологияда амалга оширилади). Модул матнни тузишда дастурлашнинг замонавий технологияси асосий усул сифатида кадамма-кадам деталлаштиришини тавсия килади. Бу методнинг маъноси куйидагича: модул матнини ишлаб чикиш жараёни бир нечта кадамларга булинади. Биринчи кадамда модул ишининг умумий схемаси кузга куринадиган матн формада тавсифланади (яъни жуда катта тушунчалардан фойдаланган холда), бунинг устига бу тафсифлаш тула формаллашмагандир ва одамнинг идрок килишига мулжаллангандир. Хар бир кейинги кадамда олдинги кадамларда ишлаб чикилган тушунчалардан аниклик киритилаётган бирортаси кандайдир тавсифда деталлаштирилади ва унга аниклик киритилади. Бундай кадам натижасида аниклик киритилаётган танланган тушунча тавсифи дастурлаш база тили терминида ёки биринчи кадамдаги формадагидай факат аниклик киритилаётган янги тушунчаларни фойдаланган холда тузилади. Бу жараён тугатиладики, агар барча аниклик киритилаётган тушунчалар аникликлар булса (яъни улар дастурлашнинг негизи тилида чекли номерда ифодаланган булса). Охирги кадам дастурлашнинг негизи тилида барча аниклик киритилаётган тушунчаларни уларнинг берилган тавсифлари ва тузилмали дастурлаш конструкциялари киритиш ифодаларини шу дастурлаш тилининг дастурлаш воситалари оркали модул матнини олиш хисобланади. Кадамма- кадам деталлаштириш псевдокод номини олган, шу курсатилган тавсифларни тасаввур этиш учун кисман формаллаштирилган тилни фойдаланиш билан богликдир.

O'xshashlar

Дастлабки лойихалаш. Умумлаштирилган модель. «Техник топширик » хужжати

Шахсий компьютернинг умумий куриниши. Ташки курилмалар

Дастур эффективлиги. Дастурни оптималлаштириш. Дастур модификацияси

Маълумотлар базаларини лойихалаш

МББТнинг реляцион назарияси ва уни лойихалаш