Detail publikace

Self-healing Assurance using Bounded Model Checking

DUDKA, V.; KŘENA, B.; VOJNAR, T. Self-healing Assurance using Bounded Model Checking. Computer Aided Systems Theory - EUROCAST 2009. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2009. p. 295-303. ISBN: 978-3-642-04771-8.
Název česky
Zabezpečení automatických oprav pomocí omezeného model checkingu
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

model checking, dynamická analýza, časově závislé chyby, paralelní Java programy, automatická oprava

Abstrakt

Článek se zabývá využitím omezeného model checkingu pro ověření, zda možné chyby v paralelních Java programech, detekované dynamickou analýzou, jsou opravdové chyby, které má smysl opravovat, a zda navržená strategie opravy nevede k dalším chybám. Pro možnost provedení omezeného model checkingu článek navrhuje způsob rekonstrukce potenciálně chybného chování, částečně zaznamenaného v rámci dynamické analýzy, v model checkeru JPF.

Rok
2009
Strany
295–303
Sborník
Computer Aided Systems Theory - EUROCAST 2009
Řada
Lecture Notes in Computer Science
Svazek
5717
ISBN
978-3-642-04771-8
Vydavatel
Springer Verlag
Místo
Berlin
BibTeX 
@inproceedings{BUT34283,
  author="Vendula {Dudka} and Bohuslav {Křena} and Tomáš {Vojnar}",
  title="Self-healing Assurance using Bounded Model Checking",
  booktitle="Computer Aided Systems Theory - EUROCAST 2009",
  year="2009",
  series="Lecture Notes in Computer Science",
  volume="5717",
  pages="295--303",
  publisher="Springer Verlag",
  address="Berlin",
  isbn="978-3-642-04771-8"
}
Nahoru