Ano ang mga kontrata sa operasyon?

Sa kaharian ng computer programming at computer science, ang mga kontrata sa operasyon ay isang paraan upang tukuyin o idokumento kung paano magbabago ang isang partikular na pag -andar ng iba't ibang mga elemento sa loob ng isang programa.Hindi tulad ng isang abstract na interface ng programming (API) o isang dokumento ng interface ng interface, ang mga kontrata sa operasyon ay ginagamit upang makatulong sa panahon ng pag -unlad at pagmomolde ng yugto ng paglikha ng isang application ng computer o system.Sa pinaka pangunahing antas, tinukoy ng kontrata ang apat na mga tampok ng operasyon, partikular ang pangalan ng operasyon, anumang mga sanggunian sa operasyon sa iba pang mga lugar ng disenyo, anumang mga kinakailangan para sa pag -input o estado bago isagawa ang operasyon, at ang estado ngAng system o variable pagkatapos ng operasyon ay ginanap.Ang kontrata ay hindi tinukoy ang anumang tiyak tungkol sa kung paano gumagana ang operasyon sa loob, at sa halip ay tumatalakay lamang sa kung paano ang estado ng isang programa ay apektado ng paggamit nito.

Ang mga kontrata sa operasyon, sa pangkalahatan, ay hindi itinayo para sa bawat operasyon sa loob ng isang modelo ng programa.Sa halip, nakalaan sila para sa mga operasyon na partikular na kumplikado o mahirap subaybayan.Maraming mga wika sa pagmomolde ng computer, tulad ng Unified Modeling Language (UML), mga kontrata sa operasyon ng suporta at may mga paraan upang makatulong na mailarawan kung paano mababago ang estado ng isang programa sa sandaling isinagawa ang operasyon.ay ang pangalan ng operasyon, na maaaring maging anumang bagay, at anumang mga cross-references.Ang isang cross-reference ay isang listahan ng iba pang mga operasyon o mga lugar ng isang modelo ng programa na gumagamit ng operasyon na tinukoy o na ang operasyon ay gagamitin sa pagproseso nito.Ito ay tumutulong sa nakikita kung paano nakikipag -ugnay ang isang pangkalahatang disenyo at lalo na kapaki -pakinabang sa nakikita kung paano makakaapekto ang mga pagbabago sa isang lugar ng modelo ng iba pang mga lugar.

Ang mga kontrata sa operasyon ay susunod na tukuyin ang mga preconditions na kinakailangan upang patakbuhin ang operasyon.Maaari itong kasangkot na nangangailangan ng ilang mga variable na mai -load ng mga naaangkop na halaga, o maaaring mangailangan na ang ilang mga bahagi ng programa ay nasa isang partikular na estado.Kung ang mga preconditions ay hindi natutugunan kapag ang operasyon ay naisakatuparan, kung gayon ang operasyon ay hindi magaganap o maaaring ganap na mabigo.Ang kontrata ay ginagamit bilang isang abstract na tool, kaya ang mga preconditions ay karaniwang medyo pangkalahatan at higit na kasangkot sa estado ng programa kaysa sa mga tiyak na variable.

Ang pangwakas na bahagi ng mga kontrata ng operasyon ay tumutukoy sa anumang mga post-kondisyon.Ang mga post-kondisyon ay isang listahan ng mga item sa loob ng modelo ng programa na nabago dahil sa pagpapatupad ng operasyon.Maaari itong tukuyin ang mga pagbabago sa isang istraktura ng data o pagbabago sa estado ng programa, tulad ng paglilipat ng kontrol sa isang hiwalay na module.Sa pamamagitan ng paggamit ng mahusay na tinukoy na mga kontrata sa operasyon, ang mga programa ay maaaring maging modelo at mabago nang epektibo bago magsimula ang aktwal na pagpapatupad.