Bakalářská práce

Nástroj pro verifikaci kontraktu rozhraní

Interface contract verification tool

Pavol Hrabovský, učo 359467
Anotace

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 …více

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 …více

Zadání práce
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.
Práce zkontrolována:
22. 5. 2012 15:30, prof. RNDr. Václav Matyáš, M.Sc., Ph.D., učo 344
Jazyk práce
slovenština slovenština
Termín obhajoby
18. 6. 2012
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Václav Matyáš, M.Sc., Ph.D., učo 344
KPSK FI MU

Oponenti

Mgr. Petr Neugebauer
abs FI MU
prof. RNDr. Václav Matyáš, M.Sc., Ph.D., učo 344

Masarykova univerzita Fakulta informatiky
Studijní program
Aplikovaná informatika
  • 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.