Thesis/Dissertation: Pavol Hrabovský, učo 359467: Interface contract verification tool
Bachelor's thesis
Interface contract verification tool
Nástroj pro verifikaci kontraktu rozhraní
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
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
Thesis description
22/5/2012 15:30, prof. RNDr. Václav Matyáš, M.Sc., Ph.D., UČO 344
Theses on a related topic
List of theses with an identical keyword.
-
Attacks on web services and methods of protection
Mgr. Andrej Vaňo -
Ontologies for BPMN
Mgr. et Mgr. Branislav Paulis, UČO 325235 -
Functional testing of CEP applications
Mgr. David Ševčík -
Automation of sanity and regression tests for YSoft SafeQ printing solution
Mgr. Martin Bryndza -
Interaction, Simulation, Optimization and Monitoring of Processes in Emergency Management
Mgr. Vojtěch Hubr, UČO 143345 -
Client for Web Services on Topic Maps
Mgr. Jiří Krkoška -
Integration and Performance Tests of the Cyber Sandbox Creator Software
Mgr. Jana Ziková -
Extension of framework for creating Web Services
Mgr. Martin Homola




