Název:
Programování s přístupem Design by Contract na platformě .NET
Překlad názvu:
Programming with Design by Contract Approach on .NET Platform
Autoři:
Bohačiak, Ondrej ; Rychlý, Marek (oponent) ; Bartík, Vladimír (vedoucí práce) Typ dokumentu: Diplomové práce
Rok:
2009
Jazyk:
cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze][eng]
Cílem této práce je představit programovací přístup Design by Contract (DbC), jeho principy a způsoby implementace v různých prostředích. V úvodě projektu je diskutovaná motivace k vzniku tohoto přístupu a vysvětlená metafora, o kterou se DbC opírá i její aplikace do programování. Následně jsou popsány hlavní prvky smlouvy v kontextu rozhraní rutiny. Hlavní náplní práce je analýza a porovnaní jednotlivých programovacích prostředí pro vývoj pomocí DbC pomocí programových ukáţek. V závěru práce je zhodnocen přínos této techniky a její začlenění do moderního procesu vývoje.
This paper aims to introduce programming using Design by Contract (DbC) approach, its principles and implementations in different environments. The motivation for the creation of this approach is discussed in the beginning and the DbC metaphor is explained, as well as its application to programming. The description of major elements of the contract in the context of routine interface follows afterwards. The subject matter of this paper is the analysis and comparison of individual programming systems for DbC development with the help of code samples. The benefits of using this approach and its role in the modern development process are evaluated in conclusion.
Klíčová slova:
aserce; invarianty; Návrh na základě smlouvy; specifikace rozhraní; statická verifikace; vstupní a výstupní podmínky; výjimky; assertions; Design by contract; exceptions; interface specification; invariants; postconditions; preconditions; static verification
Instituce: Vysoké učení technické v Brně
(web)
Informace o dostupnosti dokumentu:
Plný text je dostupný v Digitální knihovně VUT. Původní záznam: http://hdl.handle.net/11012/53836