Mik azok a működési szerződések?

A számítógépes programozás és a számítástechnika területén a működési szerződések meghatározzák vagy dokumentálhatják, hogy egy adott funkció hogyan változtatja meg a program különböző elemeit.Az absztrakt programozási interfésztől (API) vagy az interfész -vezérlő dokumentumtól eltérően a működési szerződéseket használják a számítógépes alkalmazás vagy rendszer létrehozásának fejlesztési és modellezési szakaszában.A legalapvetőbb szinten a szerződés meghatározza a művelet négy tulajdonságát, különös tekintettel a művelet nevére, a tervezés más területein a műveletre való hivatkozásokra, a művelet végrehajtása előtti bemeneti vagy állapot követelményeire, valamint az állapotraA rendszert vagy a változókat a művelet végrehajtása után.A szerződés nem határoz meg semmit, hogy a művelet hogyan működik belsejében, és ehelyett csak azzal foglalkozik, hogy a program állapotát hogyan befolyásolja.Ehelyett olyan műveletekhez vannak fenntartva, amelyek különösen bonyolultak vagy nehéz nyomon követni.Számos számítógépes modellezési nyelv, például az Unified Modeling Language (UML), támogatja a műveleti szerződéseket, és rendelkezzen azzal, hogy segítse a program állapotának megváltoztatását a művelet végrehajtása után.a művelet neve, amely bármi lehet, és bármilyen kereszthivatkozás.A kereszthivatkozás egy olyan programmodell egyéb műveleteinek vagy területeinek listája, amelyek a meghatározott műveletet használják, vagy amelyet a művelet a feldolgozás során használ.Ez elősegíti annak megfigyelését, hogy az általános tervezés miként működik együtt, és különösen hasznos annak látásában, hogy a modell egyik területén történő változás hogyan befolyásolja más területeket.Ez magában foglalhatja bizonyos változók megfelelő értékekkel történő betöltését, vagy megkövetelheti, hogy a program egyes részei egy adott állapotban legyenek.Ha az előfeltételek nem teljesülnek a művelet végrehajtásakor, akkor a művelet nem történik meg, vagy nem sikerül teljesen.A szerződést absztrakt eszközként használják, tehát az előfeltételek általában meglehetősen általános és inkább magukban foglalják a program állapotát, mint az adott változók.Az utóbetegség a programmodellben szereplő elemek listája, amelyeket a művelet végrehajtása miatt megváltozott.Ez megadhatja az adatszerkezet változásait vagy a program állapotának módosítását, például a vezérlés külön modulra történő áthelyezését.A jól definiált működési szerződések használatával a programok hatékonyan modellezhetők és módosíthatók, mielőtt a tényleges végrehajtás megkezdődne.