Original title:
Programování s přístupem Design by Contract na platformě .NET
Translated title:
Programming with Design by Contract Approach on .NET Platform
Authors:
Bohačiak, Ondrej ; Rychlý, Marek (referee) ; Bartík, Vladimír (advisor) Document type: Master’s theses
Year:
2009
Language:
cze Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[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.
Keywords:
assertions; Design by contract; exceptions; interface specification; invariants; postconditions; preconditions; static verification; aserce; invarianty; Návrh na základě smlouvy; specifikace rozhraní; statická verifikace; vstupní a výstupní podmínky; výjimky
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: http://hdl.handle.net/11012/53836