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, nærmere bestemt 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 tilsystemet 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.I stedet er de 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 tiler 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 samlet design samhandler og er spesielt nyttig når det gjelder å se hvordan endringer i ett område av modellen vil påvirke andre områder.

Operasjonskontrakter Definer deretter forutsetningene som er nødvendige for å kjøre operasjonen.Dette kan innebære å kreve at visse variabler skal lastes 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 etterforhold.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.