Siseto ara le ti wa ni idiju. Lati bẹrẹ pẹlu, pe gbogbo awọn sise yẹ ki o wa sipeli jade igbese nipa igbese. Ṣugbọn pẹlu iru kan tianillati, nibẹ ni o wa ni ọpọlọpọ awọn ẹya ara ẹrọ ti o significantly dẹrọ awọn aseyori ti awọn iṣẹ-ṣiṣe ti o nilo lati eto ( "Pascal", "C", "assembler" - ko si ohun ti ede ti lo). Ọkan ninu awọn wọnyi irinṣẹ ni lati ṣẹda waye.
Pataki ti siseto waye
Ohun ti jẹ a ọmọ? Idi ti o ti wa ni ti nilo ati ohun ti awọn anfani ti jije a komputa nigbati o ba lo o? Awọn ọmọ jẹ ẹya pataki igbekale ẹyaapakankan fun awọn eto, eyi ti o faye gba o lati automate awọn ipaniyan ti kan awọn nọmba ti sise, pese ibamu pẹlu awọn mulẹ sile. Nítorí, awọn alinisoro apẹẹrẹ ti awọn iṣẹ ọmọ - podnesenie awọn nọmba to a agbara. Nibẹ ni ko si ye lati juwe ila soke titi ti yoo ko ni le to, nitori awọn ero le gbogbo awọn ṣee ṣe laifọwọyi pẹlu o. Ni asa ti waye tun le fi kan pupo ti akoko ati akitiyan, ki o jẹ ko wulo ni gbogbo igba ti ati gbogbo awọn igbesẹ lati forukọsilẹ awọn koodu lilo awọn ọmọ. Nìkan tẹ awọn changeable oniyipada ki o si bẹrẹ imuse. Sugbon bi awọn-itumọ ti ọmọ eni? Tabi paapa siwaju sii? Ara embodiments ti awọn ọmọ oyimbo kan Pupo - awọn alaye lori iwe kan nipa siseto, "Pascal," a yoo ro tabi "assembler". Nitorina, odasaka fun eleko ìdí titu nse o tumq si eni ti awọn meji julọ gbajumo lilo:
- Ọmọ pẹlu postcondition.
- Yipo pẹlu kan precondition.
Gbogbo awọn miran ni o wa lati kan ti o tobi iye ti wọn iyatọ ati pato igba, ki nwọn gbọdọ wa ni kà ni o tọ ati ninu iyọrisi kan pato afojusun. Ni àkókò, jẹ ki a tan si gbajumo julo. Awọn ti o yatọ waye pẹlu preconditions ati postconditions? Eyi ni awọn lupu pẹlu kan precondition:
nigba ti «majemu» ṣe «koodu»
General o tumq si ilana ọmọ pẹlu postcondition
Yi fọọmu ti kikọ koodu nigbati awọn onišẹ ọmọ pẹlu postcondition imuse owo ti awọn ara. Ni akọkọ kokan o le dabi ajeji: gan, idi ti fi awọn circumstance lẹhin ti awọn ipaniyan ti awọn koodu? Sugbon ti ohunkohun ko jẹ akọtun nibẹ: a ẹya-ara ti yi fọọmu ni wipe awọn koodu ti wa ni executed laibikita boya awọn ipo ti wa ni pade tabi ko sise. Sugbon nikan 1 akoko. Ki o si yoo tẹle awọn igbeyewo, boya gbogbo awọn ti o, bi o ti yẹ ki o wa, tabi ko. Ati ninu awọn isansa ti deedee ara awọn ipo ti awọn ọmọ yoo wa ni bikita. Eleyi jẹ gidigidi kan pataki ati ki o wulo ẹya-ara, eyi ti o ni a ọmọ pẹlu postcondition. Lori awọn apẹẹrẹ ti ohun ti o ti a ti so ati ibi ti o ti le ri awọn wulo imuse ya nibi? Eyi ni àpẹẹrẹ ti awọn ọmọ pẹlu postcondition:
tun
"Awọn koodu"
titi «ipo»
General o tumq si ọmọ igba pẹlu kan precondition
Ṣugbọn awọn julọ gbajumo aṣayan jẹ gangan yi. Awọn oniwe-peculiarity da ni o daju pe fun awọn ipaniyan ti pataki majemu, lai yi koodu ti wa ni ko executed. Ojo melo, awọn koodu jẹ gidigidi asekale ati ṣiṣẹ awọn oniwe-lapapọ odi ikolu lori kọmputa iṣẹ. Nitorina, lo oyimbo kan ọlọgbọn ètò: julọ ninu awọn ona ti koodu gbe ni losiwajulosehin tabi ani olukuluku kilasi ti rawọ ba wa o kan ni ọtun asiko. Gbogbo awọn iyokù ti awọn akoko yi koodu ti wa ni, sugbon ko ba lo kọmputa kan. Yi eni faye gba o lati fi processing agbara lati ṣiṣẹ awọn eto tabi awọn eto miiran ti.
Wulo imuse ni orisirisi awọn siseto ede
A diẹ ọrọ nipa awọn wulo ndin ti awọn ti waye. O yẹ ki o wa woye akọkọ ti gbogbo fi akoko, ati awọn olumulo ati awọn komputa. Lori keji ti a ti wi, idi, idi ti o yẹ ki a diẹ ọrọ lati sọ nipa awọn onibara. O daju wipe awọn pipin sinu lọtọ awọn ẹya faye gba software lati ni kiakia fifuye ati ṣiṣe awọn, ati accordingly, awọn olumulo yoo jẹ nikan ju dun lati lo iru software. Jubẹlọ, yi ona, nigbati awọn koodu ti o ti fipamọ ni awọn ọmọ tabi kan lọtọ kilasi (eyi ti wa ni igba ṣẹlẹ lati ara), ati ki o gba awọn ṣiṣẹ ṣiṣe. O yẹ ki o tun mu awọn iyara gba ni awọn ẹni kọọkan iranti ẹyin. Nítorí, ti o ba gbogbo ni lati ṣee ṣe pẹlu ọwọ, o yoo ni lati gba kọọkan ati nibẹ ni ohun yẹ titẹsi. A lupu faye gba ni igba pupọ tabi koda dosinni ti din ye lati ṣe ohun gbogbo ara rẹ. Ati awọn ti o yọ awọn eniyan ifosiwewe, eyi ti o le ja si wakati nilo lati wo iṣoro koodu.
ipari
Nítorí náà, summing soke gbogbo kọ, a le so pe awọn ọmọ pẹlu postcondition tabi asọ kí rọrun ona lati fi owo lai rúbọ didara. Ati nigba kikọ idiju eto, o jẹ ọkan ninu awọn ti o dara ju komputa ọrẹ, ran u lati ṣe awọn koodu rọrun lati gbe jade ki o si kika. Nitorina, nigba kikọ wọn koodu ko ni disdain lati lo a ọmọ pẹlu postcondition tabi precondition - ti won ti wa pataki apẹrẹ lati dẹrọ awọn ilana ti software ẹda, ati awọn ti o yoo ṣiṣẹ si i - ko lati lo anfani ti anfani yi.