Co je to design smlouvy a reg;?

Design od Contract je metoda používaná k vývoji softwaru, který se spoléhá na zřízení dobře definovaných parametrů rozhraní nebo kontraktů pro všechny části programu.Ačkoli design podle smlouvy a reg;Lze jej považovat za koncepční styl vývoje, který je implementován prostřednictvím dokumentace nebo modelování, je více širší k označení mechanismu nativní nebo třetích stran v některých programovacích jazycích, které ve skutečnosti vyžaduje implicitní kódování smluv v rámci programu.Cíl při používání designu podle smlouvy a reg;je to, že program bude vyvinut a nakonec kódován mnohem úplnějším způsobem, který odstraňuje více triviálních chyb, zatímco prosazování smluv podpůrným jazykem umožňuje snadno nalezeno a zachyceno zbytkové chyby.Program, který používá smlouvy na funkce a třídy, může mít modulární design, ve kterém lze jednotlivé třídy znovu použít v jiných programech kvůli jasné definici jejich smluv.

Základ pro návrh podle smlouvy a reg;Filozofie programování je myšlenka obchodních smluv v reálném světě.V tomto modelu definuje každá metoda a třída v objektově orientovaném programu smlouvu, kterou musí dodržovat jakákoli jiná metoda nebo objekt, který s ní interaguje.Každá třída také může mít smlouvu s názvem Invariant třídy, že musí následovat interně, aby zajistila, že externí smlouvy neohrožují její schopnost fungovat.a post-kondice.Tyto dvě části designu podle smlouvy a reg;Model definujte stav programu před voláním metody a stav programu po dokončení metody.Jiné části smlouvy se mohou lišit implementací, ale mohou zahrnovat křížové odkazy na jiné moduly, podmínky synchronizace a požadavky na pořádek.snadno být mapován a předpovězen.Vymáhání smluv, ať už pomocí tvrzení nebo jiných mechanismů, také zajišťuje, že se program nepokouší provést, pokud dojde k porušení smluv, protože jakýkoli výstup vytvořený v tomto státě by byl stejně neplatný.Při implementaci jako funkci rodáka, design od Contract může pomoci zajistit, aby konečný produkt fungoval podle očekávání s malou šancí na nepředvídané chyby.Filozofie zahrnuje delší doby návrhu a podrobnější vývoj systému před začátkem kódování, což může být někdy obtížné s velkým projektem.Praktičtější je prakticky, mechanismus validace smlouvy používaný v programovacím jazyce, který nativně podporuje smlouvy, může zpomalit provádění programu.Špatné porozumění návrhu smlouvou a reg;Metodika může vést k programu, který používá smlouvy k provádění základní kontroly chyb, což potenciálně vede k aplikaci, která je po uvolnění náchylná k náhlým havárii.