Shirye-shirye da kanta za a iya wuya. Don fara da, cewa duk ayyuka da ya kamata a rubuta kowace kalma daga mataki zuwa mataki. Amma tare da irin wannan larura, akwai da dama da siffofin da cewa muhimmanci sauƙaƙe nasara daga cikin ayyuka da cewa bukatar Shirin ( "Pascal", "C", "tãra" - ko da abin da harshen da aka yi amfani da). Daya daga cikin wadannan kayan aikin ne don ƙirƙirar hawan keke.
Muhimmancin shirye-shirye hawan keke
Mene ne a sake zagayowar? Me shi ne ake bukata da kuma abin da amfanin da shirye-shiryen a lokacin da ka yi amfani da shi? A sake zagayowar ne wani muhimmin tsarin bangaren na shirin, wanda ba ka damar sanya aiki da kai da kisan wani yawan ayyuka, bayar da yarda da kafa sigogi. Saboda haka, cikin sauki misali na aikin sake zagayowar - podnesenie wasu yawan zuwa wani iko. Babu bukatar rubũta layuka up har ba zai isa ba, domin inji iya duka da za a yi ta atomatik tare da shi. A da al'adar hawan keke ma iya ajiye lokaci mai tsawo da kuma kokarin, don haka ba lallai ba ne kowane lokaci da kuma duk matakai don yin rijista da code ta amfani da zagayowar. Kawai shigar da m canji da kuma fara aiwatar. Amma kamar yadda na gina-zagayowar makirci? Ko ma mafi? Kansu embodiments na sake zagayowar quite mai yawa - da bayani a kan wani littafin game da shirye-shirye, "Pascal," za mu tattauna ko "tãra". Saboda haka, zalla domin bayani dalilai kwakkwance bayar da msar tambayar makirci na biyu mafi mashahuri amfani:
- Da'ira da postcondition.
- Madauki da na kafin lokaci.
All wasu suna zuwa babban har na bambancin da kuma musamman lokuta, don haka dole ne su yi la'akari a cikin mahallin da kuma a cimma musamman a raga. A halin yanzu, bari mu juya zuwa cikin rare. A daban-daban hawan keke tare da preconditions da postconditions? A nan ne madauki da na kafin lokaci:
yayin «yanayin» aikata «code»
Janar msar tambayar tsarin sake zagayowar tare da postcondition
Wannan nau'i na rubuce-rubuce code lokacin da sadarwarka sake zagayowar tare da postcondition aiwatar halin kaka na jiki. A duban farko shi iya ze m: da gaske, don me ya sa shã'aninku bayan da kisa da code? Amma kome ne m akwai: a fasalin da wannan tsari ne da cewa code ne hukuncin kisa ko da kuwa ko da yanayi da ake hadu ko ba sanã'antãwa. Amma kawai 1 lokaci. Sa'an nan za su bi gwajin, ko duk da cewa, kamar yadda ya kamata, ko ba. Kuma in babu isasshen jiki yanayi na sake zagayowar za a yi watsi da. Wannan ne mai matukar muhimmanci da kuma amfani da alama, wanda yana da sake zagayowar tare da postcondition. A cikin misali na abin da aka faɗa da kuma inda za ka iya ganin m aiwatar fentin a nan? Ga wani misali na sake zagayowar tare da postcondition:
sake
"A code"
har «Yanayi»
Janar msar tambayar sake zagayowar-akai tare da na kafin lokaci
Amma mafi mashahuri wani zaɓi ne daidai wannan. Its peculiarity ta'allaka ne da cewa domin gudanar da zama dole yanayin, ba tare da wannan code da aka taba kashe. Yawanci, da code ne sosai sikelin da kuma kunna ta total mummunan tasiri a kan kwamfuta yi. Saboda haka, amfani da quite wani wayo shirin: mafi yawan guda na code sanya shi a cikin madaukai ko mutum azuzuwan cewa roko zo kawai a dama lokacin. Duk sauran lokacin da wannan code ne, amma ba su yi amfani da wata kwamfuta. Wannan makirci ba ka damar ceton sarrafa ikon zartar da shirin ko wasu shirye-shirye.
Practical aiwatar a daban-daban shirye-shirye harsuna
A 'yan kalmomi game da m tasiri na hawan keke. Ya kamata a lura farko na dukkan kubutar da lokaci, da da mai amfani da kuma shirye-shiryen. A karo na biyu da aka ce, dalilin da ya sa, me ya sa ya kamata 'yan kalmomi a ce game da abokin ciniki. Gaskiyar cewa tsaga a cikin raba sassa damar software zuwa da sauri load da gudu, kuma daidai da, da mai amfani da za a yi kawai ma farin ciki don amfani da irin wannan software. Bugu da ƙari, wannan dabarar, a lokacin da code adana a cikin zagayowar ko mai raba aji (wanda aka sau da yawa ya sa daga jiki), da kuma damar da aiki yadda ya dace. Ya kamata ka kuma kawo gudun rikodin a cikin mutum ƙwaƙwalwar Kwayoyin. Saboda haka, idan kome ya za a yi da hannu, shi zai yi don samun kowane kuma akwai wani dace shigarwa. A madauki damar sau da yawa ko ma da dama na rage bukatun su aikata dukan abin da kanka. Kuma ta kawar da mutum factor, wanda zai iya haifar da sa'o'i bukatar duba matsala code.
ƙarshe
Saboda haka, Summing up duk rubuta, zamu iya cewa da sake zagayowar tare da postcondition ko a pre sa m hanyar ajiye kudi ba tare da hadaya quality. Kuma a lõkacin da rubutu rikitarwa shirye-shirye, shi ne daya daga cikin mafi kyau shirye-shiryen abokai, taimaka masa ya yi da code sauki don gudanar da kuma karatu. Saboda haka, lokacin rubuta su code ba ƙyãmar yi amfani da zagayowar tare da postcondition ko na kafin lokaci - su ne musamman tsara don sauƙaƙe aiwatar da software halitta, kuma shi zai yi aiki da shi - ba su dauki amfani da wannan damar.