|
Strukturalıq programmalastırıw
Moduldı programmalastırıwda programma tekǵana kompyuter ushın, bálki joqlıq ushın de túsinikli bolıwı kerekligini esta saqlaw kerek: de moduldı islep shıǵıwshı, de moduldı tekseretuǵın shaxslar, sonıń menen birge moduldı qátelerin tekseriw ushın testler tayarlaytuǵınlar hám modulǵa kerekli o'zgerislerdi kirgizgen DT texnikalıq xizmetkerleri modul mantig'ini qayta -qayta analiz etedi. Zamanago'y programmalastırıw tillerinde bul logikanı qálegenshe shálkestirib jiberiw ushın etarli qurallar ámeldegi, usınıń menen moduldı adamlar túsiniwi qıyınlasadı hám nátiyjede onı isenimsiz yamasa saqlawdı qıyınlastıradı. Sal sebepli tiyisli til quralların tańlaw hám anıq programmalastırıw ıntızamına ámel qılıw ilajların ko'riw zárúr. Sal munasábet penen Dijkstra programmanı logikalıq túsiniklerin sezilerli dárejede asırıwı múmkin bolǵan bir neshe túrdegi basqarıw strukturaları (strukturaları ) dıń quramı retinde programma dúziwdi usınıs etdi. Tek sanday konstruktsiyalardan paydalanǵan halda programmalastırıw sistemalı shaqırildi.
Strukturalıq programmalastırıwdıń tiykarǵı konstruktsiyalari to'mendegilerden ibarat : ámel qılıw, tarmaqlaw hám tákirarlaw. Bul konstruktsiyalarning strukturalıq bólimleri ulıwmalastırılǵan operatorlar (qayta islew túyinleri) hám shárt (predikat). Ulıwmalastırılǵan operator yamasa paydalaniletuǵın programmalastırıw tiliniń ápiwayı operatorı (belgilew, kirgiziw, shıǵıw, proceduranı shaqırıw operatorları ) yamasa programma bo'legi bolıwı múmkin, bul tiykarǵı dúzilgen programmalastırıwdı basqarıw konstruktsiyalarining quramı. Bul dızaynlardıń hár biri basqarıw ushın tek bir kirisiw hám bir shıǵıwǵa ıyelewi júdá zárúrli bolıp tabıladı. Sanday etip, ulıwmalastırılǵan operatorda tek bir kirisiw hám bir shıǵıw bar. Bul konstruktsiyalar qashannan berli
matematikalıq ob'ektler bolıwı júdá zárúrli bolıp tabıladı (bul mánisan sistemalı programmalastırıw tabıslı bolıwınıń sebebin túsintiredi). Hár bir strukturaǵan programma ushın funktsional ekvivalenti (yaǵnıy birdey máseleni tarqatıp alıw ) dúzilgen programmanı qurıw múmkinligi tastıyıqlanǵan. Strukturalıq programmalar ushın siz birpara ayrıqshalıqlardı matematikalıq túrde tastıyıqlashingiz múmkin, bul programmadaǵı birpara qátelerdi anıqlawǵa múmkinshilik beredi. Bul máselege bo'lek lekciya baǵıshlanadı.
Strukturalıq programmalastırıw geyde " GO TO-less programmalastırıw" dep ataladı. Biraq, gáp GO TO bayanatında emes, bálki onıń tártipsiz isletiliwinde. Ko'binese, birpara programmalastırıw tillerinde dúzilgen programmalastırıwdı ámelge asırıwda, dúzilgen konstruktsiyalarni ámelge asırıw ushın o'tiw operatorı (GO TO) isletiledi, bul bolsa dúzilgen programmalastırıw principlerıni buzmaydi. Programmanı shálkestirib jiberetuǵın áyne " sistemalı bolmaǵan" operatorlar, ásirese joqarıdaǵı modul tekstinde jaylasqan operatorǵa o'tiw (aldınlaw ) o'tiw operatorı atqarılıp atır. Soǵan qaramay, birpara ápiwayı jaǵdaylarda filial operatorınan shaǵılısıwǵa urınıw júdá qolaysız dúzilgen programmalarǵa alıp keliwi múmkin, bul alardıń ayqınlıǵın jaqsılamaydi hám modul tekstinde qosımsha qáteler qáwpin óz ishine aladı. Sal sebepli programmanıń ayqınlıǵı ornına emes, ılajı bolsa, o'tiw operatorınan paydalanıwdı aldın alıw usınıs etiliwi múmkin.
Ótiw operatorınan paydalanıwdıń paydalı jaǵdayları arasında cikl yamasa proceduradan málim bir cikl yamasa berilgen procedura jumısın " erta" tugatadigan, yaǵnıy birpara strukturalıq bolındiniń (ulıwmalastırılǵan operator ) jumısın tugatadigan hám usınıń menen programmanıń dúzilisin tek jergilikli dárejede buzatuǵın arnawlı shárt penen shıǵıw kiredi. Úlken qıyınshılıqlar (hám strukturanıń quramalılasıwı ) payda balatuǵın esaptan tısqarı (ko'binese nadurıs ) jaǵdaylarǵa reakciyanı sistemalı túrde ámelge asırıw nátiyjesinde júzege keledi, sebebi bul tekǵana strukturalıq bolındinen erte shıǵıp ketiwdi, bálki bul jaǵdaynı zárúr qayta islewdi (shıǵarıp taslawdı ) de talap etedi (mısalı, uyqas diagnostika beriw) má 'lumot). Esaptan tısqarı isleytuǵınsı programma dúzilisiniń qálegen dárejesinde bolıwı múmkin hám oǵan hár túrlı to'men dárejelerden kirisiw múmkin. Esaptan tısqarı jaǵdaylarına reakciyanı to'mendegi " strukturalıq bolmaǵan" ámelge asırıw texnologiyalıq kózqarastan júdá maqul túsetuǵın bolıp tabıladı. Esaptan tısqarı
isleytuǵınları al yamasa bul konstruktiv blokdıń aqırına jaylastırıladı hám hár bir ishlov beretuǵındı sanday etip programmalastırıw kerek, al jumısın tamamlaǵannan keyin al jaylastırılǵan struktura bolındinen shıǵadı. Bunday ishlov beretuǵınǵa qońırawdı o'tiw operatorı bul strukturalıq birlikten (sanday-aq, hár qanday ishki dúzilgen bolındinen) ámelge asıradı.
Do'stlaringiz bilan baham: |
