Mgr. Pavol Hrabovský

Bachelor's thesis

Nástroj pro verifikaci kontraktu rozhraní

Interface contract verification tool
Abstract:
During the integration of the third party products, it is required to implement the interface, which must meet the defined contract. Contract is an agreement between the interface creator and interface user. Failure to comply with the contract may result in undefined behavior. Making the system available to other developers, there is a risk of disruption of the contract. The goal of this work is to …more
Abstract:
Počas integrácie produktov tretích strán je nutné implementovať rozhranie, ktoré musí splňovať definovaný kontrakt. Kontraktom označujeme dohodu medzi tvorcom rozhrania a jeho používateľom. Nesplnenie kontraktu môže spôsobiť nedefinované správanie. Sprístupnením systému ďalším vývojárom vzniká riziko narušenia daného kontraktu. Cieľom tejto práce je vytvoriť nástroj na automatickú verifikáciu kontraktu …more
 
 
Language used: Slovak
Date on which the thesis was submitted / produced: 21. 5. 2012

Thesis defence

  • Date of defence: 18. 6. 2012
  • Supervisor: prof. RNDr. Václav Matyáš, M.Sc.
  • Reader: Mgr. Petr Neugebauer

Citation record

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Applied Informatics / Applied Informatics