Detail publikace

A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing

LETKO, Z.; VOJNAR, T.; KŘENA, B.; NIR-BUCHBINDER, Y.; TZOREF-BRILL, R.; UR, S. A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing. FIT-TR-2009-01, Brno: 2009. p. 0-0.
Název česky
Nástroj pro testování souběžnosti a jeho plug-iny pro dynamickou analýzu a léčení
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Letko Zdeněk, Ing., Ph.D. (CK-SZZ)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Křena Bohuslav, Ing., Ph.D. (UITS)
Nir-Buchbinder Yarden
Tzoref Rachel
Ur Shmuel
URL
Klíčová slova

testování, analýza, souběžnost, léčení, Java

Abstrakt

Tato zpráva prezentuje nástroj pro testování paralelního software a některé jeho rozšíření. Rozšíření jsou implementované pomocí architektury Java listenerů programu ConTest. Zpráva uvádí dvě rozšíření pro dynamickou detekci chyb v souběžných programech -- první (Eraser+) detekuje časově závislé chyby nad daty a druhý (AtomRace) detekuje kromě časově závislých chyb nad daty i obecnější chyby v atomicitě sekvence operací. Třetí rozšíření pak umožňuje léčení detekovaných chyb pomocí potlačení jejich důsledků. Zpráva rovněž uvádí několik experimentů pro demonstraci vlastností prezentovaných rozšíření.

Rok
2009
Strany
15
Místo
FIT-TR-2009-01, Brno
BibTeX 
@techreport{BUT192676,
  author="Zdeněk {Letko} and Tomáš {Vojnar} and Bohuslav {Křena} and Yarden {Nir-Buchbinder} and Rachel {Tzoref} and Shmuel {Ur}",
  title="A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing",
  year="2009",
  address="FIT-TR-2009-01, Brno",
  pages="15",
  url="http://www.fit.vutbr.cz/~iletko/pub/FIT-TR-2009-01.pdf"
}
Nahoru