Ar galėtumėte paaiškinti, ką reiškia sąvoka sutartis programinės įrangos kūrimo kontekste?

Programinės įrangos kūrimo kontekste, sutartis yra susitarimas tarp sistemos komponentų apie tai, kaip jie turėtų sąveikauti. Ji apibrėžia kiekvienos šalies įsipareigojimus ir garantijas.

Pavyzdžiui, sutartis gali aprašyti:

• Kokius įvesties duomenis priima funkcija ar modulis.
• Kokius išvesties duomenis ar efektus garantuoja.
• Išankstines sąlygas (kas turi būti teisinga prieš kvietimą).
• Po sąlygas (kas bus teisinga po vykdymo).

Tai padeda pagerinti kodo patikimumą ir prognozuojamumą, palengvina testavimą ir priežiūrą.

Android, pavyzdžiui, sutartis gali būti sąsaja, kuri apibrėžia metodus, kuriuos reikia įgyvendinti, ir tikėtiną šių metodų elgesį.