Detail publikace

Testing of Concurrent Programs with Genetic Algorithms

DUDKA, V.; KŘENA, B.; LETKO, Z.; UR, S.; VOJNAR, T. Testing of Concurrent Programs with Genetic Algorithms. 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2012. p. 0-0. ISBN: 978-80-87342-15-2.
Název česky
Testování vícevláknových aplikací pomocí genetických algoritmů
Typ
abstrakt
Jazyk
anglicky
Autoři
Dudka Vendula, Ing.
Křena Bohuslav, Ing., Ph.D. (UITS)
Letko Zdeněk, Ing., Ph.D. (CK-SZZ)
Ur Shmuel
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

genetic algorithms, noise injection, testing, multi-threaded programs

Abstrakt

Metoda vkládání šumu ovlivňuje plánování vláken za účelem zvýšení počtu legálních proložení těchto vláken během testovacího procesu. Existuje mnoho rozmanitých typů heuristik pro vkládání šumu, často s několika parametry, jejichž nastavení s ohledem na maximální efektivitu šumu je často obtížné. V tomto článku navrhujeme novou aplikaci genetických algoritmů tak, aby hledaly vhodné typy heuristik pro vkládání šumu a jejich parametry s ohledem na daný testovaný software. Tato úloha je definována jako problém nastavení testu a šumu. Následně je diskutována problematika reprezentace instancí tohoto problému, vhodných účelových funkcí a parametrů genetických algoritmů při řešení této úlohy. Navržený přístup je vyhodnocen na několika příkladech. Srovnání ukazuje, že nový přístup poskytuje mnohem lepší výsledky než dosud používaný přístup založený na náhodném nastavování heuristik pro vkládání šumu.

Rok
2012
Strany
1
Kniha
8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Konference
MEMICS'12 -- 8. Doktorský workshop o matematických a inženýrských metodách v informatice, Znojmo, CZ
ISBN
978-80-87342-15-2
Vydavatel
Masaryk University
Místo
Brno
BibTeX 
@misc{BUT192867,
  author="Vendula {Dudka} and Bohuslav {Křena} and Zdeněk {Letko} and Shmuel {Ur} and Tomáš {Vojnar}",
  title="Testing of Concurrent Programs with Genetic Algorithms",
  booktitle="8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2012",
  pages="1",
  publisher="Masaryk University",
  address="Brno",
  isbn="978-80-87342-15-2",
  note="abstract"
}
Nahoru