Detail publikace

Using JavaPathFinder for Self-healing Assurance

HRUBÁ, V.; KŘENA, B.; VOJNAR, T. 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. p. 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
anglicky
Autoři
Dudka Vendula, Ing.
Křena Bohuslav, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

Self-healing, assurance, concurrency, model checking, Java PathFinder.

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
ISBN
978-80-7355-077-6
Vydavatel
Ing. Zdeněk Novotný, CSc.
Místo
Znojmo
BibTeX 
@inproceedings{BUT25351,
  author="Vendula {Dudka} and Bohuslav {Křena} and Tomáš {Vojnar}",
  title="Using JavaPathFinder for Self-healing Assurance",
  booktitle="Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science - MEMICS 2007",
  year="2007",
  pages="67--73",
  publisher="Ing. Zdeněk Novotný, CSc.",
  address="Znojmo",
  isbn="978-80-7355-077-6"
}
Nahoru