Bakalářská práce

Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE

Experimental case study on robustness of DiVinE verification tool

Rostislav Burget
Anotace

Cílem projektu je vyvinout testovací prostředí, které umožní vyhodnotit robustnost verifikačního nástroje DiVinE při paralelních a distribuovaných výpočtech, které sahají na hranici dostupných výpočetních zdrojů. Testovací prostředí musí umožnit vyhodnocení testované aplikace na různých vstupních modelech, s různými kombinacemi parametrů, a v prostředí se sdílenou a distribuovanou pamětí. Výstup proběhlých testů musí být prezentován ve vhodné grafické formě.

Abstract

The aim of this project is to develop a testing environment that allows to assess the robustness of the verification tool DiVinE in parallel and distributed computation, which reach the limit of available computational resources. The test environment must allow the application to test different input models with different combinations of parameters, and in an environment with shared and distributed memory. The output of completed tests must be presented in an appropriate graphical form.

Klíčová slova
DiVinE testování model checking výkonnost distribuované výpočty
Zadání práce
Cílem projektu je vyvinout testovací prostředí, které umožní vyhodnotit robustnost verifikačního nástroje DiVinE při paralelních a distribuovaných výpočtech, které sahají na hranici dostupných výpočetních zdrojů. Testovací prostředí musí umožnit vyhodnocení testované aplikace na různých vstupních modelech, s různými kombinacemi parametrů, a v prostředí se sdílenou a distribuovanou pamětí. Výstup proběhlých testů musí být prezentován ve vhodné grafické formě.
Administrativní informace
Práce zkontrolována:
7. 1. 2013 08:43, prof. RNDr. Jiří Barnat, Ph.D., učo 3496
Plný text práce
255,9 KB / soubor PDF
Přílohy (1)
Jazyk práce
čeština čeština
Termín obhajoby
4. 2. 2013
Práce nebyla obhájena
Student v rámci svého studia bakalářskou práci obhájil 17. 6. 2013.

Vedoucí

prof. RNDr. Jiří Barnat, Ph.D., učo 3496
KTP FI MU

Oponent

Mgr. Petr Bauch, Ph.D.
abs FI MU

Literatura

  • GRUMBERG, Orna; Doron A. PELED a E. M. CLARKE. Model checking. Cambridge: MIT Press, 1999, xiv, 314. ISBN 0262032708.
  • Python testing cookbookover 70 simple but incredibly effective recipes for taking control of automated testing using powerful Python testing tools. Edited by Greg L. Turnquist. Olton, Birmingham: Packt Pub., 2011, iii, 348 p. ISBN 9781849514675.
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Aplikovaná informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce
 
Název
Vložil
Vloženo
Práva
Archiv závěrečné práce Rostislav Burget FI B-AP BcAP bpgyx/7
Kryštofová, H.
9. 10. 2012
Složky
Soubory
Anotace anglicky annotation_english.txt
Burget, R.
2. 1. 2013
Anotace česky annotation.txt
Burget, R.
2. 1. 2013
Klíčová slova keywords.txt
Burget, R.
2. 1. 2013
Plný text práce BP.pdf
Burget, R.
2. 1. 2013
Posudek oponenta review.pdf
Bauch, P.
16. 1. 2013
Příloha Priloha-CD.zip
Burget, R.
2. 1. 2013

  • 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.