Bachelor's thesis

Interface contract verification tool

Nástroj pro verifikaci kontraktu rozhraní

Pavol Hrabovský, UČO 359467
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
Během integrace produktů třetích stran je nutné implementovat rozhraní, která musí splňovat definovaný kontrakt. Otevřením systému dalším vývojářům vzniká riziko narušení definovaného kontraktu. Cílem bakalářské práce je vytvořit nástroj pro verifikaci kontraktu rozhraní kreditního systému SafeQ s možností konfigurace pro jednotlivé implementace. Součástí bakalářské práce by měly být i zátěžové testy, které prověří dostupnost integrovaných systémů. Nástroj bude navržen tak, aby ho bylo možné přidat do systému kontinuální integrace (např. Hudson CI). Výsledky testů budou uloženy ve formátu, který je vhodný pro automatické zpracování. Prace je vypisovana v ramci projektu OP Vpk s nazvem Platforma vyzkumne a vzdelavaci spolupraci FI MU v oblasti zpracovni dat, reg. cislo CZ.1.07/2.4.00/12.0049, a aktivit SPP.
The thesis has been checked:
22/5/2012 15:30, prof. RNDr. Václav Matyáš, M.Sc., Ph.D., UČO 344
Language used
Slovak Slovak
Defence date
18/6/2012
The thesis was defended successfully

Supervisor

prof. RNDr. Václav Matyáš, M.Sc., Ph.D., UČO 344
KPSK FI MU

Readers

Mgr. Petr Neugebauer
abs FI MU
prof. RNDr. Václav Matyáš, M.Sc., Ph.D., UČO 344

Masaryk University Faculty of Informatics
Programme
Applied Informatics
Field of Study
  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.
  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.
  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.
  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.
  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.