kontraktkompleksitet

Kontraktkompleksitet är ett begrepp inom programvaruutveckling som beskriver hur komplext ett kontrakt mellan programkomponenter är. Ett kontrakt anger vilka förpliktelser som gäller för avsändaren och vilka garantier som ges av mottagaren, samt hur olika delar interagerar under körning. Kontraktet kan avse gränssnitt mellan funktioner, tjänsteintegrationer eller mikrotjänster, och dess komplexitet påverkar hur lätt det är att förstå, verifiera och underhålla systemen.

Dimensioner av kontraktkomplexitet inkluderar syntaktisk komplexitet (antal klausuler, nestningsnivåer), semantisk komplexitet (beroenden mellan villkor och garantier), beteendemässig komplexitet (antal möjliga kontraktsituationer och övergångar) samt verifierings- eller bekräftelsekomplexitet (hur svårt det är att bevisa att kontraktet följs). En bredare syn inkluderar evolutions- och samverkanskomplexitet, särskilt när kontrakt används i sammansatta eller versionerade system.

Mätning av kontraktkomplexitet kan göras med kvantitativa mått som antal pre- och postvillkor, antal invariants, nestingdjup, antal beroenden mellan variabler och cyclomatiska komplexiteten i kontraktlogiken. Vidare är användning av formella språk eller specifikationsverktyg vanlig för att bedöma och verifiera kontraktet. Dessa mått hjälper till att bedöma verifieringsbehov, testarbete och underhållsarbete.

Relationer och praktisk hantering. Kontraktkomplexitet kopplas närmare Design by Contract, API-design och modulär arkitektur. För att begränsa komplexiteten förespråkas tydliga gränssnitt, minimala och väldefinierade kontrakt, och tydlig separation av ansvar samt stöd för versionshantering och kontrakts-kofunktioner. Exempel på skillnader i komplexitet kan vara ett enkelt funktioniskt kontrakt jämfört med ett kontrakt som involverar flera beroenden och invariants som måste upprätthållas över tiden.