Design by Contract (DbC), také známé jako programování podle smlouvy, programování podle smlouvy a programování podle smlouvy, je přístup k návrhu softwaru. Určuje, že návrháři softwaru by měli definovat formální, přesné a ověřitelné specifikace rozhraní pro softwarové komponenty, které rozšiřují běžnou definici abstraktních datových typů o předběžné podmínky, následné podmínky a invarianty. Tyto specifikace se označují jako „smlouvy“ v souladu s konceptuální metaforou s podmínkami a povinnostmi obchodních smluv. Přístup DbC předpokládá, že všechny klientské komponenty, které vyvolají operaci na serverové komponentě, splní předběžné podmínky stanovené jako požadované pro tuto operaci. Pokud je tento předpoklad považován za příliš riskantní (jako u vícekanálového nebo distribuovaného výpočtu), je přijat opačný přístup, což znamená, že serverová komponenta testuje, zda všechny relevantní předběžné podmínky platí (před zpracováním žádosti klientské komponenty nebo během ní) a odpovídá s vhodnou chybovou zprávou, pokud tomu tak není.
Facebook Twitter