Nástroj pro verifikaci kontraktu rozhraní

Mgr. Pavol Hrabovský

Bachelor's thesis

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 create a tool for automatic verification of a web service interface contract. The other goal is to create load tests to verify the availability of the service.

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 rozhrania webovej služby. Ďalším cieľom práce je vytvoriť záťažové testy na overenie dostupnosti služby.

Kľúčové slová

automatizácia testovania, funkčné testovanie, integračné testovanie, jednotkové testovanie, kontrakt rozhrania, systémové testovanie, webová služba, záťažové testovanie, functional testing, integration testing, interface contract, load testing, system testing, test automation, unit testing, web service

Jazyk práce: Slovak

Datum vytvoření / odevzdání či podání práce: 21. 5. 2012

Obhajoba závěrečné práce

• Obhajoba proběhla 18. 6. 2012
• Vedúci: prof. RNDr. Václav Matyáš, M.Sc.
• Oponent: Mgr. Petr Neugebauer

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Applied Informatics / Applied Informatics