Wat zijn Operation Contracten?

08/11/2013 by admin

Op het gebied van het programmeren van computers en informatica, bediening contracten zijn een manier om aan te geven of te documenteren hoe een bepaalde functie verschillende elementen binnen een programma zal veranderen. In tegenstelling tot een abstract programming interface (API) of een interfacecontroledocument, zijn operatie contracten gebruikt om te helpen bij de ontwikkeling en modellering fase van het maken van een computer applicatie of systeem. Op het meest basale niveau, het contract definieert vier kenmerken van de operatie, in het bijzonder de naam van de operatie, zijn de verwijzingen naar de operatie in andere gebieden van het ontwerp, de eventuele vereisten voor de input of staat voor de operatie wordt uitgevoerd, en de toestand van de het systeem of variabelen nadat de bewerking is uitgevoerd. Het contract is niet iets specifieks over hoe definieer de bediening van alle functies intern, en in plaats daarvan alleen maar bezig met hoe de staat van een programma wordt beïnvloed door het gebruik ervan.

Operatie contracten, in het algemeen, zijn niet gebouwd voor elke operatie binnen een programma model. In plaats daarvan zijn ze bestemd voor acties die bijzonder ingewikkeld en moeilijk op te sporen. Verschillende computermodellen talen, zoals de Unified Modeling Language (UML), ondersteuning werking contracten en hebben manieren om te helpen visualiseren hoe de toestand van een programma kan veranderen zodra de operatie is uitgevoerd.

De eerste twee definities moeten functioneren overeenkomsten maken de naam van de operatie, waarin alles kan zijn, en alle verwijzingen. Een cross-reference is een lijst van andere acties of delen van een programma-model dat gebruik maken van de operatie wordt gedefinieerd of dat de operatie zal gebruiken bij de verwerking ervan. Dit helpt om te zien hoe een globale ontwerp staat en is vooral handig om te zien hoe veranderingen in een gebied van het model zal invloed hebben op andere gebieden.

Operatie contracten naast de randvoorwaarden die nodig zijn om de operatie te voeren definiëren. Dit kan inhouden waarbij bepaalde variabelen te worden geladen met de juiste waarden, of het kan verlangen dat bepaalde onderdelen van het programma zijn in een bepaalde staat. Als de voorwaarden niet wordt voldaan, wanneer de opdracht wordt uitgevoerd, dan is de operatie niet zal plaatsvinden of misschien volledig mislukken. Het contract wordt gebruikt als een abstracte tool, zodat de randvoorwaarden meestal zijn vrij algemeen en meer bij de staat van het programma dan specifieke variabelen.

Het laatste deel van de operatie contracten definieert elke post-condities. Post-voorwaarden zijn een lijst van items in het programma-model die zijn veranderd als gevolg van de uitvoering van de operatie. Dit kan wijzigingen in een datastructuur of aanpassingen aan de stand van het programma, zoals schakelen, een afzonderlijke module specificeert. Door het gebruik van goed gedefinieerde operatie contracten, kunnen programma's worden gemodelleerd en effectief aangepast voordat de daadwerkelijke uitvoering begint.

Related Posts