Nástroj pro verifikaci kontraktu rozhraní – Mgr. Pavol Hrabovský
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 …moreAbstract:
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
Identifier:
https://is.muni.cz/th/ss3kl/
Thesis defence
- Date of defence: 18. 6. 2012
- Supervisor: prof. RNDr. Václav Matyáš, M.Sc.
- Reader: Mgr. Petr Neugebauer
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 informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Applied Informatics / Applied Informatics
Theses on a related topic
-
Aplikácia pre integračné testovanie databáz
Martin Baňas -
Automated regression testing of web application
Bekzat Kelgenbayev -
Effectively Integrating Unit Testing and Code Coverage into Continuous Integration
Tomáš Svrček -
C++ Unit testing frameworks
Miroslav Sedlák -
An automated testing of smartcards in OpenSC project
Martin Strhársky -
A comparison of old and new software testing methods
Yelaman Nurdauletov