Wat is een ontwerp per contract reg;?

Ontwerp door contract reg;is een methode die wordt gebruikt om software te ontwikkelen die afhankelijk is van het opzetten van goed gedefinieerde interfaceparameters of contracten, voor alle delen van een programma.Hoewel ontwerp door contract reg;kan worden gezien als een conceptuele ontwikkelingsstijl die wordt geïmplementeerd door documentatie of modellering, het wordt breder gebruikt om te verwijzen naar een native of derden mechanisme binnen sommige programmeertalen die daadwerkelijk de impliciete codering van de contracten binnen een programma vereist.Het doel bij het gebruik van ontwerp door contract reg;is dat een programma zal worden ontwikkeld en uiteindelijk op een veel complete manier wordt gecodeerd die meer triviale fouten verwijdert, terwijl handhaving van de contracten door de ondersteunende taal eventuele resterende fouten gemakkelijk kan worden gevonden en vastgelegd.Een programma dat contracten voor functies en klassen gebruikt, kan een meer modulair ontwerp hebben waarin individuele klassen gemakkelijk kunnen worden hergebruikt in andere programma's vanwege de duidelijke definitie van hun contracten.

De basis voor het ontwerp per contract reg;Programmeerfilosofie is het idee van real-world zakelijke contracten.In dit model definieert elke methode en klasse in een objectgeoriënteerd programma een contract waarmee elke andere methode of object die ermee omgaat, moet blijven.en de post-condities.Deze twee delen van het ontwerp per contract reg;Model definieer de status van het programma voordat een methode wordt opgeroepen en de status van het programma nadat de methode is voltooid.Andere delen van een contract kunnen variëren door implementatie, maar kunnen kruisverwijzingen naar andere modules, synchronisatiecondities en vereisten van de orde-uitvoering.gemakkelijk in kaart worden gebracht en voorspeld.De handhaving van de contracten, hetzij door het gebruik van beweringen of andere mechanismen, zorgt er ook voor dat het programma niet zal proberen uit te voeren als er een schending van contracten is, omdat elke in die staat geproduceerde output technisch gezien toch ongeldig zou zijn.Wanneer geïmplementeerd als een functie van moedertaal, ontwerp door contract reg;kan helpen om ervoor te zorgen dat een eindproduct zal werken zoals verwacht met weinig kans op onvoorziene fouten.

Sommige complicaties die worden gebruikt bij het gebruik van het ontwerp per contract reg;Filosofie omvat langere ontwerptijden en meer gedetailleerde ontwikkeling van een systeem voordat de codering begint, wat soms moeilijk kan zijn met een groot project.Meer praktisch, het contractvalidatiemechanisme dat wordt gebruikt in een programmeertaal die native contracten ondersteunt, kunnen de uitvoering van het programma vertragen.Een slecht begrip van het ontwerp per contract reg;Methodologie kan leiden tot een programma dat contracten gebruikt om basisfoutcontrole uit te voeren, wat mogelijk leidt tot een applicatie die na de release vatbaar is voor plotselinge crashes.