laftiisa mashaariiceed noqon kartaa mid adag. Si aad u bilowdo, in falalka oo dhan waa in la caddeyn talaabo talaabo. Laakiin lagama maarmaan noocan oo kale ah, waxaa jira dhowr muuqaalada in si weyn loo fududeeyo gaaritaanka hawlaha u baahan in barnaamijka ( "Pascal", "C", "ururiyaha" - iyadoo aan loo eegayn waxa afka loo isticmaalo). Mid ka mid ah qalabka waa in la abuuro wareegyo.
Muhiimadda wareegyada barnaamijyada
Waa maxay wareeg? Waa maxay sababta loo baahdo iyo waxa faa'iidada ah in barnaamijyada marka aad u isticmaali? Wareegga waa qayb muhiim ah oo dhismaha ah ee barnaamijka, kaas oo u ogolaanaya in aad qalabayn fulinta dhowr ah oo qaar ka mid ah falalka, la siiyaa waafaqsan in la soo koobin aasaasay. Sidaas daraaddeed, tusaalaha ugu fudud ee wareega shaqada - podnesenie tiro gaar ah si xoog ah. Ma jirto baahi loo qabo in qori saf ilaa ma noqon doonto in ku filan, maxaa yeelay, mashiinada oo dhan si toos ah la samayn karaa waxa la. In dhaqanka ee wareegyada sidoo kale badbaadin karo waqti badan iyo dadaal, sidaa daraadeed waxa aan lagama maarmaan ah mar kasta iyo dhammaan tallaabooyinka ay u diiwaan code isticmaalaya wareegga. Si fudud u galaan doorsoomayaasha isbedel iyo bilaabaan fulinta. Laakiin sida nidaamka dhisay-wareegga? Ama xitaa dheeraad ah? Isu embodiments ee wareegga badan ilaa xad ah - macluumaadka ku qoran buug ku saabsan barnaamijyada, "Pascal," waxaan ka fiirsan doonaa ama "ururiyaha". Sidaa darteed, Gaarna ujeedooyin macluumaad guuriso bixiyaan nidaamka akhriska ee labada isticmaalka ugu caansan:
- Cycle la postcondition.
- Loop la shardi ah.
Dhammaan dadka kale waa in ay inta badan oo kala duwan iyo xaalado gaar ah, sidaa darteed waa in loo tixgaliyo ee macnaha iyo lagu gaarayo ujeedooyinka gaarka ah. Dhanka kale, aynu soo noqdaan si ay ugu caansan. The wareegyo kala duwan la shuruud iyo postconditions? Halkan waxaa ku qoran loop la shardi ah:
halka «xaalad» samayn «code»
wareegga General qaab af leh postcondition
Qaabkan code qoraal marka wareegga wadaha kharashka hirgalinta postcondition ee jirka. Ugu jaleecada hore u muuqato mid la yaab leh, runtii, sababta geliyey xaalad ka dib markii fulinta ee xeerka? Laakiin wax la yaab leh waxaa: feature a foomkan waa in code waxaa toogasho loo eegin in shuruudaha la buuxiyo ama uma muuqdaan. Laakiin waqti 1 keliya. Markaas raaci doonaan imtixaanka, haddii oo dhan, sida ay noqon waa, ama ma. Oo ay ka maqan yihiin xaaladaha jidhka ku filan ee wareegga la iska indho tiri doonaa. Tani waa muujinta aad u muhiim ah oo waxtar leh, taas oo uu leeyahay wareegga la postcondition. On tusaale ahaan ka mid ah waxa loo sheegay iyo halka aad ka arki kartaa fulinta wax ku ool ah halkan rinji? Halkan waxaa ku qoran tusaale ka mid ah wareegga la postcondition:
celiyaan
"Code The"
ilaa «Xaaladaha»
salaysan General wareegga teori la shardi ah
Laakiin ikhtiyaarka ugu caansan waa dhab this. Its peculiarity been in xaqiiqda ah in fulinta xaalad loo baahan yahay, iyada oo aan code this marna toogasho ah. Sida caadiga ah, code waa qiyaasta aad iyo kaakicin ay wadarta saamaynta xun ku leh computer. Sidaa darteed, loo isticmaalaa ilaa xad qorshe lagu daabacay: inta badan oo gogo 'oo code meeleeyay siddo ama xitaa saacado keli keli ah in racfaan yimaado kaliya ee daqiiqado midig. Dhamaan inta kale ee waqtiga code tani waa, laakiin ha isticmaalin computer ah. Qorshahani wuxuu kuu ogolaanayaa inaad si loo badbaadiyo u xoogga baaraandegidda si ay u fuliyaan barnaamijka ama barnaamijyada kale.
fulinta wax ku ool ah oo ku qoran luqado kala duwan barnaamijyada
A ereyo kooban oo ku saabsan waxtarka la taaban karo ee wareegyada ee. Waa in la ogaadaa ugu horreeya oo dhan badbaadiyay waqti, labadaba user iyo barnaamijyada ah. On labaad ayaa la sheegay in, sababta, sababta waa in dhawr eray in la yidhaahdo oo ku saabsan macaamiisha. Xaqiiqada ah in kala galay qaybo gaar ah oo kuu ogolaanaya software in ay si deg deg ah ku shuban oo ay maamulaan, oo sidaas, user waxay noqon doontaa oo kaliya sidoo kale ku faraxsan in ay isticmaalaan software sida. Waxaa intaa dheer, this hab, marka xeerka lagu kaydiyaa wareegga ama class gaar ah (oo inta badan sababa jidhka ka), oo kuu ogolaanaya tayada shaqada. Sidoo kale waa inaad soo dejin record xawaaraha ee unugyada xusuusta shaqsi. Sidaas daraaddeed, haddii ay wax walba lahaa in la sameeyo gacanta, waxa ay leeyihiin lahaa si aad u hesho kasta oo waxaa jira entry ku habboon. loop A ogolaanaya dhowr jeer ama xitaa daraasiin loo yareeyo baahida loo qabo in wax walba oo aad naftaada u samayn. Oo waxay ka saaraysaa factor aadanaha, taasoo keeni karta in saacadaha u baahan tahay si ay u eegaan code dhibaato.
gunaanad
Sidaas daraaddeed, Munaasabad oo dhan ku qoran, waxaan dhihi karaa in wareegga la postcondition ama pre a awood hab ku haboon si loo badbaadiyo lacag aan ku allabaryaya tayo leh. Oo markii qoraal barnaamijyada adag, waa mid ka mid ah saaxiibada barnaamijyada ugu fiican, caawinta isaga u code ka fudud si ay u fuliyaan iyo akhriska. Sidaa darteed, marka qoraal ay code ma kibriyo in ay isticmaalaan wareeg la postcondition ama shardi - ay si gaar ah waxaa loogu talagalay si loo fududeeyo habka abuurniinta software, oo waxay ka shaqayn doonaa isaga ka gees ah - ma in ay ka faa'idaystaan fursaddan.