Detail publikace

Self-healing Assurance using Bounded Model Checking

DUDKA Vendula, KŘENA Bohuslav a VOJNAR Tomáš. Self-healing Assurance using Bounded Model Checking. In: Computer Aided Systems Theory - EUROCAST 2009. Lecture Notes in Computer Science, roč. 5717. Berlin: Springer Verlag, 2009, s. 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
angličtina
Autoři
Dudka Vendula, Ing. (UITS FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
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
Konference
Twelve International Conference on Computer Aided Systems Theory---EUROCAST'09, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-3-642-04771-8
Vydavatel
Springer Verlag
Místo
Berlin, DE
BibTeX 
@INPROCEEDINGS{FITPUB9017,
   author = "Vendula Dudka and Bohuslav K\v{r}ena and Tom\'{a}\v{s} Vojnar",
   title = "Self-healing Assurance using Bounded Model Checking",
   pages = "295--303",
   booktitle = "Computer Aided Systems Theory - EUROCAST 2009",
   series = "Lecture Notes in Computer Science",
   volume = 5717,
   year = 2009,
   location = "Berlin, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-642-04771-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9017"
}
Nahoru