Detail publikace

Boosted Decision Trees for Behaviour Mining of Concurrent Programs

ŠIMKOVÁ, H.; LETKO, Z.; KŘENA, B.; VOJNAR, T.; DUDKA, V.; AVROS, R.; UR, S.; VOLKOVICH, Z. Boosted Decision Trees for Behaviour Mining of Concurrent Programs. Proceedings of MEMICS'14. Brno: NOVPRESS s.r.o., 2014. p. 15-27. ISBN: 978-80-214-5022-6.
Název česky
Dolování chování paralelních programů pomocí AdaBoost algoritmu
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Šimková Hana, Mgr. Bc., Ph.D. (VZ VERIFIT)
Letko Zdeněk, Ing., Ph.D. (CK-SZZ)
Křena Bohuslav, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Dudka Vendula, Ing.
Avros Renata (FIT)
Ur Shmuel
Volkovich Zeev (FIT)
Klíčová slova

Testing, noise injection, classification, AdaBoost, multi-threaded programs

Abstrakt

Testování paralelních programů je obtížné kvůli nedeterministickému chování plánovače. Jednou z možností, jak tomuto problému čelit, je technika vkládání šumu, která je ale nastavitelná pomocí velkého počtu parametrů. Nalezení vhodné kombinace těchto parametrů není jednoduché. V tomto příspěvku představujeme novou aplikaci klasifikačních algoritmů v testování paralelních programů. Přístup umožňuje pomocí klasifikace identifikovat slibné konfigurace. Experimenty v článku uvedené ukazují, že využití natrénovaného klasifikátoru v procesu testování vede k lepším výsledkům s ohledem na zvolený cíl testování. Navíc, analýzou klasifikátoru lze získat nový náhled do testování programů pomocí metod vkládání šumu. 

Rok
2014
Strany
15–27
Sborník
Proceedings of MEMICS'14
Konference
MEMICS'14 -- 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Telč, CZ
ISBN
978-80-214-5022-6
Vydavatel
NOVPRESS s.r.o.
Místo
Brno
BibTeX 
@inproceedings{BUT111631,
  author="Hana {Šimková} and Zdeněk {Letko} and Bohuslav {Křena} and Tomáš {Vojnar} and Vendula {Dudka} and Renata {Avros} and Shmuel {Ur} and Zeev {Volkovich}",
  title="Boosted Decision Trees for Behaviour Mining of Concurrent Programs",
  booktitle="Proceedings of MEMICS'14",
  year="2014",
  pages="15--27",
  publisher="NOVPRESS s.r.o.",
  address="Brno",
  isbn="978-80-214-5022-6"
}
Nahoru