Detail publikace

Using JavaPathFinder for Self-healing Assurance

DUDKA Vendula, KŘENA Bohuslav a VOJNAR Tomáš. Using JavaPathFinder for Self-healing Assurance. In: Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science - MEMICS 2007. Znojmo: Ing. Zdeněk Novotný, CSc., 2007, s. 67-73. ISBN 978-80-7355-077-6.
Název česky
Využití nástroje JavaPathFinder pro ověřování automatických oprav softwaru
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Dudka Vendula, Ing. (FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Abstrakt

V tomto článku se zabýváme využitím formálních metod pro ověření automatických oprav chyb souvisejících s paralelizmem. Vzhledem k tomu, že se v součanosti soustředíme na aplikace napsané v Javě, rozhodli jsme se pro model checking využívat nástroj Java PathFinder. Implementovali jsme strategii nazvanou zaznamenej&přehraj pro navigaci stavovým prostorem, abychom mohli provádět model checking pouze v okolí chybového stavu. To nám umožňuje v omezeném čase zvýšit naši důvěru ve správnost zvolené opravy systému.

Rok
2007
Strany
67-73
Sborník
Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science - MEMICS 2007
Konference
MEMICS'07 -- 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ
ISBN
978-80-7355-077-6
Vydavatel
Ing. Zdeněk Novotný, CSc.
Místo
Znojmo, CZ
BibTeX 
@INPROCEEDINGS{FITPUB8495,
   author = "Vendula Dudka and Bohuslav K\v{r}ena and Tom\'{a}\v{s} Vojnar",
   title = "Using JavaPathFinder for Self-healing Assurance",
   pages = "67--73",
   booktitle = "Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science - MEMICS 2007",
   year = 2007,
   location = "Znojmo, CZ",
   publisher = "Ing. Zden\v{e}k Novotn\'{y}, CSc.",
   ISBN = "978-80-7355-077-6",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8495"
}
Nahoru