Mananeo a le ka ho rarahaneng. Taba ea pele, e le hore liketso tsa bohle ba lokela ho ngotsoe tsoa mohato ka mohato. Empa le joalo ntho e hlokahalang, ho na le makgetha a ho tse 'maloa tseo haholo bebofatsa katleho ya mesebetsi eo lokela ho Lenaneo la ( "Pascal", "C", "assembler" - sa tsotellehe hore na ka puo e sebediswa). E mong oa lisebelisoa tsena ke ho bopa lipotoloho.
Bohlokoa ba lipotolohong mananeo
Ke seo potoloho? Ke hobane'ng ha ho e hlokahalang 'me seo melemo ea ho ea a thulaganyo ha u sebelisa? Potoloho ke bohlokoa mehaho karolo ea lenaneo, e leng lumella u ho automate ka ho bolaoa ha palo e itseng ea liketso, feela hore a latele entsprechen o hlomiloeng. Ho joalo, mohlala o bonolo oa potoloho ea mosebetsi - podnesenie palo e itseng ho matla a ka. Ho na le ke ho hlokahale hore ho laela le mela e ho fihlela ba ke ke ba ka ho lekaneng, hobane mechine ea ka kaofela e etsoe ka tsela e iketsang le eona. Ka mokhoa oa ho lipotolohong hape ka boloka nako e ngata le ho etsa boiteko, kahoo ha ho hlokahale nako le nako ha le mehato yohle ho ngolisa khoutu sebelisa potoloho ea. Mpa feela kena fetohang divariabole 'me ba qale ho kenngwa tshebetsong. Empa e le a haha-ka potoloho sekemeng? Kapa le ho feta? Ba Itlhahisa ka embodiments ea potoloho le haholo lintho tse ngata - le tlhahisoleseding e mabapi le buka e buang ka mananeo a, "Pascal," re tla tšohla kapa "assembler". Ka lebaka leo, feela bakeng sa merero e informational qhaqholla fana mogopolofela sekemeng tsa tse peli tšebeliso ratoang haholo:
- Potoloho ea ka postcondition.
- Loop le precondition ka.
ba bang bohle bao e leng ho ea bohōleng bo itseng ba le diphapano tsa bona le maemong a bjalo ho khetheha, kahoo ba ile ba tlameha ho tšohloa taba e potolohileng 'me ka ho finyella lipakane tsa itseng. Ho sa le joalo, a re lebiseng tlhokomelo ho fetisisa ratoa. Lipotolohong fapaneng le preconditions le postconditions? Mona ke sekgoqetsane ka precondition ka:
ha «boemo» etsa «khoutu»
Kakaretso mogopolofela moralo wa potoloho le postcondition
mofuta ona oa mongolo khoutu ha opareitara e potoloho le ditjeo postcondition phethahatso ea 'mele. Ka chebo ea mahlo e ka 'na ea bonahala e sa tloaelehang: hlile, ke hobane'ng ha beha boemo ba ka mor'a ho bolaoa ha khoutu ya? Empa ha ho letho le sa tloaelehang ho na: tšobotsi ea foromo ena ke hore khoutu e bolaoa sa tsotellehe hore na maemo a sa ba ile a kopana kapa che phetha. Empa nako 1 feela. Joale ho tla latela teko, hore na lintho tsena tsohle, e le hore e lokela ho ba, kapa che. Le ka ho ba sieo ha maemo ka ho lekaneng 'meleng oa potoloho li tla hlokomolohuoa. Ena ke ea bohlokoa haholo 'me e molemo tšobotsi, e nang le potoloho le postcondition. Ka mohlala oa hore na ho ile ha thoe ho le moo u ka bona ho kenngwa tshebetsong e sebetsang penta moo? Mona ke mohlala oa potoloho ea nang le postcondition:
se bale
"The khoutu"
ho fihlela «Maemo»
Kakaretso mogopolofela potoloho motheong oa le precondition ka
Empa khetho ratoang haholo ke sona sena. peculiarity lona itšetlehile ka 'nete ea hore ho phetha boemo hlokahala, ntle le khoutu ena e ka mohla bolaoa. Ka tloaelo ho, ho khoutu haholo tekanyo e le activating palo yohle tshusumetso lona mpe ka tshebetso k'homphieutha. Ka lebaka leo, o ile a sebelisa haholo moralo mano: fetisisa tsa likotoana tsa khoutu kenngoa ka loops kapa esita le litlelase tsa motho ka mong hore a etse boipiletso se tla feela ka linako tse nepahetseng. ba bang kaofela ea nako e khoutu ena ke, empa u se ke ua sebelisa k'homphieutha. morero ona lumella u ho boloka sebetsana le matla a ho phethahatsa ka lenaneo kapa mananeo tse ling.
E sebetsang ho kenya tshebetsong ka lipuo tse fapaneng mananeo
mantsoe a seng makae ka katleho o sebetsang oa lipotolohong le. Re lokela ho hlokomela pele ho tsohle pholosa nako, bobeli mosebedisi le a thulaganyo. Ka bobeli ho 'nile ha boleloa, ke hobane'ng, ke hobane'ng ha e le mantsoe a seng makae ho a re'ng ka moreki. 'nete ea hore e petsoha ka likarolo tse arohaneng dumella Software ho ka potlako laela' me a balehe, 'me ka lebaka leo, la mosebedisi le tla ba teng feela thabile haholo ho sebelisa Software joalo. Ho feta moo, mokhoa ona, ha khoutu bolokoa potoloho kapa sehlopha sa arohaneng (e leng hangata ho etsa hore le 'mele),' me a lumella bokgoni ho sebetsa. O lokela hape tlisa tlaleho lebelo ka lisele memoring ya ka bomong. E le, haeba tsohle li ne li lokela ho etsoa ka letsoho, e ne e tla lokela ho fumana e mong le e le ho na le ke ho kena e loketseng. sekgoqetsane A dumella makhetlo a 'maloa kapa esita le e mengata e fokotsa tlhokeho ya ho etsa sohle se u ithata. 'Me e tlosa le palokatiso ea batho, e ka etsa hore lihora tse lokela ho sheba mathata khoutu ya.
bofello
Ho joalo, Ha a akaretsa tsohle tse ngotsoeng, re ka bolela hore ka potoloho le postcondition kapa pele ho etsa hore tsela e bonolo ea ho boloka chelete ka ntle ho etsa sehlabelo boleng. Le ha a ngolla mananeo a rarahaneng, e mong oa metsoalle ea molemo ka ho fetisisa a thulaganyo, mo thusa ho etsa hore khoutu ho le bonolo ho phetha le ho bala. Ka hona, ha a ngolla khoutu bona ha e khesa ho sebelisa potoloho ea nang le postcondition kapa precondition - ba ka ho toba etselitsoe ho bebofatsa mosebetsi wa tshebetso ya ho pōpo ea software, 'me e tla sebetsa khahlanong le eena - a se ke a sebelisa monyetla ona.