Programming aza azo sarotra. Voalohany, fa ny asa rehetra dia tokony ho teny hiala tsikelikely. Fa toy izany ilaina, dia misy lafin-javatra maro be ny zava-bita manamora ny asa izay tokony Program ( "Pascal", "C", "assembler" - na inona na inona no fiteny ampiasaina). Ny iray amin'ireo dia ny hamoronana fitaovana tsingerina.
Ny maha zava-dehibe ny fandaharana tsingerina
Inona no atao hoe tsingerin? Nahoana izany no ilaina ary inona ny soa ho Programera rehefa mampiasa azy io? Ny tsingerina dia manan-danja ara-drafitra ao amin 'ny fandaharana, izay mamela anao automate ny famonoana ho faty ny anankiray asa maro, raha toa izany fanajana ny masontsivana napetraka. Noho izany, ny ohatra tsotra ny tsingerin'ny asa - podnesenie sasantsasany amin'ny hery. Tsy misy ilaina ny fanafody andalana hatramin'ny dia tsy ho ampy, satria ny milina azo atao ho azy rehetra izany. Ao amin'ny fanaovana tsingerina koa afaka mamonjy fotoana be dia be sy ny ezaka, izany, dia tsy ilaina isaky ny dingana rehetra sy ny hisoratra anarana ny fehezan-dalàna mampiasa ny tsingerin. Fotsiny hiditra ny miovaova hiovaova ary manomboka fampiharana. Fa ho toy ny nanorina-tsingerin'ny rafitra? Na kokoa? Tena embodiments ny tsingerin'ny tena be - ny vaovao tamin'ny taratasy momba ny fandaharana, "Pascal," Hodinihintsika na "assembler". Noho izany, ny fampahafantarana fotsiny tanjona disassemble manolotra teorika tetika ny roa malaza indrindra fampiasana:
- Tsingerin'ny amin'ny postcondition.
- Manome fitoerana amin'ny heverina ho mialohan.
Ny hafa rehetra dia ho lehibe ny halehiben'ny fiovana sy ny tranga manokana, ka tsy maintsy heverina amin'ny teny manodidina sy ny fanatrarana tanjona manokana. Mandra-pahatongan'izany, dia aoka isika hitodika any amin'ny malaza indrindra. Ny tsingerina samihafa amin'ny napetraka sy ny postconditions? Eto dia ny manome fitoerana amin'ny heverina ho mialohan:
raha «toe-» no «fehezan-dalàna»
General teorika rafitra tsingerin'ny amin'ny postcondition
Io fehezan-tsoratra amin'ny teny rehefa ny mpandraharaha tsingerin'ny amin'ny fampiharana postcondition vola lany ny tena. Raha vao jerena dia toa hafahafa: Izany ve, Nahoana no Tokony Hatao ny toe-javatra araka ny fanatanterahana ny fehezan-dalàna? Fa tsy misy zavatra hafahafa ao: ny endri-javatra ity dia ny endrika fehezan-dalàna no novonoina ho faty na inona na inona raha toa ny toe-piainana dia nifanena na tsy manao. 1 ihany anefa no fotoana. Dia hanaraka ny fitsapana, na izay rehetra, araka ny tokony ho, na tsia. Ary tamin 'ny tsy fisian'ny fepetra sahaza vatana ny tsingerin'ny ho tsy niraharaha. Izany no tena manan-danja sy mahasoa endri-javatra, izay manana tsingerin'ny amin'ny postcondition. Ao amin'ny ohatra ny zavatra nambara tamin'i sy izay afaka mahita ny fanatanterahana ampiharina voaloko eto? Indro misy ohatra iray ny amin'ny tsingerin'ny postcondition:
Avereno
"Ny fehezan-dalàna"
mandra-«Conditions»
General teorika tsingerina fototra amin'ny heverina ho mialohan
Fa ny tena malaza mihitsy izany safidy. Mampiavaka ny lainga ao ny hoe noho ny famonoana ny toe-javatra ilaina, tsy misy fehezan-dalàna ity dia tsy novonoina ho faty. Matetika, ny fehezan-dalàna tena maridrefy sy activating tanteraka ny fiantraikany ratsy eo amin'ny solosaina fampisehoana. Noho izany, tena nampiasa ny drafitra fetsy: ankamaroan'ny ny fehezan-dalàna sekely napetraka ao amin'ny tadivavarana na kilasy tsirairay izay tonga fotsiny nampakatra ny raharaha amin'ny fotoana mety. Ny sisa rehetra amin'ny fotoana fehezan-dalàna ity dia, nefa tsy mampiasa ordinatera. Io tetika mamela anao hamonjy fanodinana hery hampihatra ny fandaharana na fandaharana hafa.
Azo ampiharina amin'ny fametrahana fandaharana samihafa fiteny
Teny vitsivitsy momba ny azo ampiharina fahombiazan'ny ny tsingerina. Tsara homarihina aloha rehetra mamonjy fotoana, na ny mpampiasa sy ny rindrambaiko. Ao amin'ny faharoa efa nanao hoe: Nahoana, nahoana no tokony teny vitsivitsy ny momba ny mpanjifa. Ny zava-misy fa ny Nizara roa ny faritra samy hafa mamela rindrambaiko mba haingana sy nampiditra mihazakazaka, ary araka izany, ny mpampiasa dia ho faly ihany koa ny fampiasana rindrambaiko toy izany. Ankoatra izany, io fomba, raha ny fehezan voatahiry ao amin'ny tsingerin'ny na misaraka kilasy (izay matetika no nahatonga amin'ny vatana), ka mamela ny fahombiazan'ny miasa. Tokony hitondra ny hafainganam-pandeha ihany koa ny firaketana an-tsoratra ao amin'ny sela tsirairay fahatsiarovana. Noho izany, raha ny zava-drehetra tsy maintsy natao tanana, dia tsy maintsy haka tsirairay, ary misy teny iray mety tsara. A manome fitoerana mamela fotoana maro na am-polony mampihena fa ilaina ny manao ny zava-drehetra ny tenanao. Ary mamindra ny olombelona antony, izay mety hitarika ho amin'ny ora mila mijery olana fehezan-dalàna.
famaranana
Noho izany, namintina rehetra voasoratra, dia afaka milaza fa ny tsingerin'ny amin'ny postcondition na ny fomba mety ahafahan'ny mialoha mba hamonjy-bola tsy misy sorona kalitao. Ary rehefa manoratra sarotra fandaharana, dia iray amin'ireo tsara indrindra rindrambaiko namana, nanampy azy mba ho mora kokoa ny fehezan-dalàna mba hanatanteraka sy ny famakian-teny. Noho izany, rehefa manoratra ny fehezan-dalàna dia tsy mankahala ny mampiasa ny bisikileta amin'ny postcondition na heverina ho mialohan - izy ireo manokana natao mba hanamorana ny dingan'ny rindrambaiko famoronana, dia hiasa hanohitra azy - tsy hanararaotra izany fahafahana.