Hva er driftskontrakter?

I området for dataprogrammering og informatikk, er driftskontrakter en måte å spesifisere eller dokumentere hvordan en bestemt funksjon vil endre forskjellige elementer i et program. I motsetning til et abstrakt programmeringsgrensesnitt (API) eller et grensesnittkontrolldokument, brukes driftskontrakter for å hjelpe under utviklings- og modelleringsfasen for å lage en dataprogram eller system. På det mest grunnleggende nivået definerer kontrakten fire funksjoner i operasjonen, spesielt navnet på operasjonen, eventuelle referanser til operasjonen på andre områder av utformingen, eventuelle krav til input eller tilstand før operasjonen utføres, og tilstanden til systemet eller variablene etter at operasjonen er utført. Kontrakten definerer ikke noe spesifikt om hvordan operasjonen fungerer internt, og i stedet bare omhandler hvordan tilstanden til et program blir påvirket av bruken.

Operasjonskontrakter generelt ikke er bygget for hver operasjon i en programmodell. InsTead, de er forbeholdt operasjoner som er spesielt komplekse eller vanskelige å spore. Flere datamodelleringsspråk, for eksempel Unified Modelling Language (UML), støttesvirkningskontrakter og har måter å hjelpe til med å visualisere hvordan tilstanden til et program kan endres når operasjonen er utført.

De to første definisjonene som kreves for å opprette operasjonskontrakter er navnet på operasjonen, som kan være hva som helst, og eventuelle kryssreferanser. En kryssreferanse er en liste over andre operasjoner eller områder i en programmodell som bruker operasjonen som blir definert eller som operasjonen vil bruke i behandlingen. Dette hjelper til med å se hvordan en overordnet design samhandler og er spesielt nyttig i å se hvordan endringer i ett område av modellen vil påvirke andre områder.

Operasjonskontrakter definerer deretter forutsetningene som er nødvendige for å kjøre operasjonen. Dette kan innebære å kreve visse variabler tilLastes med passende verdier, eller det kan kreve at visse deler av programmet er i en bestemt tilstand. Hvis forutsetningene ikke blir oppfylt når operasjonen utføres, vil operasjonen ikke finne sted eller kan mislykkes helt. Kontrakten brukes som et abstrakt verktøy, så forutsetningene er vanligvis ganske generelle og mer involverer tilstanden til programmet enn spesifikke variabler.

Den endelige delen av driftskontraktene definerer eventuelle postforsikringer. Post-betingelser er en liste over elementer i programmodellen som er endret på grunn av utførelsen av operasjonen. Dette kan spesifisere endringer i en datastruktur eller modifikasjoner av programmet, for eksempel å skifte kontroll til en egen modul. Gjennom bruk av veldefinerte driftskontrakter kan programmer modelleres og modifiseres effektivt før faktisk implementering begynner.