Mapulogalamu yokha akhoza kumva. Choyamba, kuti zochita onse ayenera sizinatchulidwe sitepe ndi sitepe. Koma chifukwa chomuvutitsa, pali zinthu zingapo zimene kwambiri atsogolere kukwaniritsa ntchito yomwe ayenera pulogalamu ( "Pascal", "C", "assembler" - palibe kanthu chimene chinenero ntchito). Chimodzi cha zida izi ndi kulenga m'zinthu.
Kufunika m'zinthu mapulogalamu
Kodi mkombero? Chifukwa chake ofunika ndi zimene ubwino wokhala mapulogalamu pamene inu ntchito? The mkombero ndi yofunika structural chigawo cha pulogalamu, amene amalola kuti automate kuphedwa kwa nambala inayake zochita, malinga kugwilizana ndi magawo anakhazikitsa. Kotero, chitsanzo zosavuta kayendedwe ka ntchito - podnesenie nambala inayake kwa mphamvu. Palibe kufunika mankhwala mizere mpaka sadzakhala zokwanira, chifukwa makina akhoza zonse zichitike basi ndi izo. Mu mchitidwe m'zinthu komanso angapulumutse nthawi yambiri ndi khama, choncho Sikuti nthawi zonse ndi zinthu zonse kulembetsa malamulo ntchito mkombero. Mwachidule kulowa zimasintha zosintha ndi kuyamba kukhazikitsa. Koma ngati anamanga-mkombero chiwembu? Kapena kuposa? Okha embodiments a kuzungulira ndithu kwambiri - zambiri pa bukhu lokhudza mapulogalamu, "Pascal," tikambirana kapena "assembler". Choncho, pazifukwa zolinga pazankhani disassemble kupereka ongolankhula chiwembu cha ziwiri ntchito wotchuka:
- Mkombero ndi postcondition.
- Kuzungulira ndi precondition a.
ena onse Pamlingo waukulu wa Kusiyana kwawo ndi zina zapadera, kotero iwo ayenera kuimvetsa ndi zolinga zenizeni. Pakali pano, tiyeni tione wotchuka kwambiri. M'zinthu zosiyanasiyana ndi preconditions ndi postconditions? Apa ndi kuzungulira ndi precondition ndi:
pamene «chikhalidwe» kuchita «malamulo»
General ongolankhula chimango mkombero ndi postcondition
mawonekedwe kulemba kachidindo pamene woyendetsa mkombero ndi ndalama postcondition kukhazikitsa thupi. Koyamba zingaoneke zachilendo: kwenikweni, chifukwa kuika zinthu zilili pambuyo popereka code? Koma palibe chachilendo kumeneko: Mbali fomu iyi ndi kuti malamulo ndi kuphedwa kaya zinthu zimapezeka kapena sakutsatira. Koma nthawi 1 yekha. Ndiye kutsatira mayeso, kaya zonse, monga chiyenera kukhala, kapena ayi. Ndipo, pakalibe zinthu chokwanira thupi la mkombero adzakhala ananyalanyaza. Izi ndi zofunika kwambiri ndi zothandiza mbali lomwe lili ndi mkombero ndi postcondition. Chitsanzo cha zimene anauzidwa ndi kumene inu mukhoza kuwona kukhazikitsa othandiza utoto pano? Pano pali chitsanzo cha mkombero ndi postcondition:
kubwereza
"Ndondomekozi"
mpaka «zokwaniritsa»
General ongolankhula mkombero maziko ndi precondition ndi
Koma mwina wotchuka kwambiri ndi chimodzimodzi imeneyi. peculiarity ake kwagona kuti kuphedwa kwa chikhalidwe zofunika, popanda m'ndondomekozi konse anaphedwa. Childs, malamulowo kwambiri lonse ndi mphamvu okwana amadza chifukwa cha zoipa ntchito kompyuta. Choncho, ntchito kwambiri dongosolo kuchenjera: kwambiri za zidutswa za malamulo anaikidwa zingwe zopota kapena makalasi munthu kuti ndikaonekere Amabwera pa nthawi yoyenera. Onse a nthawi ndondomekozi ndi, koma musati ntchito kompyuta. chiwembu Zimenezi zimathandiza kupulumutsa processing mphamvu kudzapereka pulogalamu kapena mapulogalamu ena.
Othandiza kukhazikitsa zinenero zosiyanasiyana mapulogalamu
mawu ochepa za mphamvu yeniyeni ya m'zinthu lapansi. Tikumbukenso woyamba wa zonse amapulumutsa nthawi, wosuta ndi mapulogalamu. Pa wachiwiri zanenedwa, chifukwa, n'chifukwa chiyani mawu ochepa kunena za makasitomala. chakuti kugawanika m'magulu osiyana amalola mapulogalamu mwamsanga kutsegula ndi kuthamanga ndi moyenera, wosuta adzakhala akusangalala kwambiri kugwiritsa ntchito pulogalamu amenewa. Komanso, njira imeneyi, pamene malamulo kusungidwa mu mkombero kapena kalasi osiyana (zomwe nthawi zambiri kumachitika m'thupi), ndipo walola Mwachangu ntchito. Muyeneranso kubweretsa mbiri liwiro mu maselo kukumbukira payekha. Choncho, ngati chirichonse zinkayenera kuti zichitidwe pamanja, iko kuyenera kuti wina pali kulowa yoyenera. kuzungulira A amalola kangapo mwinanso ambiri kuchepetsa kuchita zonse nokha. Ndipo amachotsa chinthu anthu, tingayambe maola muyenera kuyang'ana mabvuto code.
Pomaliza
Choncho, mwachidule onse olembedwa, tikhoza kunena kuti mkombero ndi postcondition kapena chisanadze chimathandiza njira yabwino ndalama popanda nsembe khalidwe. Ndipo polemba mapulogalamu zovuta ndi mmodzi wa abwenzi mapulogalamu, kumuthandiza kuti malamulo kosavuta kuchita ndi kuwerenga. Choncho polemba malamulo awo sangaone kunyozeka ntchito mkombero ndi postcondition kapena precondition - iwo mwapadera kuti atsogolere ndondomeko ya chilengedwe mapulogalamu, ndipo ntchito ndi iye - osati kutenga ntchito mwayi umenewu.