Detail výsledku

Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software

DUDKA, V.; KŘENA, B.; LETKO, Z.; ŠIMKOVÁ, H.; VOJNAR, T. Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. In SSBSE'14. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2014. p. 107-122. ISBN: 978-3-319-09939-2.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Dudka Vendula, Ing., FIT (FIT)
Křena Bohuslav, Ing., Ph.D., UITS (FIT)
Letko Zdeněk, Ing., Ph.D., UITS (FIT)
Šimková Hana, Mgr. Bc., Ph.D., UITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Abstrakt


Testing of multi-threaded programs is
a~demanding work due to the many possible thread interleavings one should
examine. The noise injection technique helps to increase the number of thread
interleavings examined during repeated test executions provided that a~suitable
setting of noise injection heuristics is used. The problem of finding such
a~setting, i.e., the so called test and noise configuration search problem (TNCS
problem), is not easy to solve. In this paper, we show how to apply
a~multi-objective genetic algorithm (MOGA) to the TNCS problem. In particular,
we focus on generation of TNCS solutions that cover a~high number of distinct
interleavings (especially those which are rare) and provide stable results at
the same time. To achieve this goal, we study suitable metrics and ways how to
suppress effects of non-deterministic thread scheduling on the proposed
MOGA-based approach. We also discuss a~choice of a~concrete MOGA and its
parameters suitable for our setting.  Finally, we show on a~set of benchmark
programs that our approach provides better results when compared to the commonly
used random approach as well as to the sooner proposed use of a~single-objective
genetic approach.

Klíčová slova

Concurrent programs, testing, noise injection, genetic algorithm, multi-objective

Rok
2014
Strany
107–122
Sborník
SSBSE'14
Řada
Lecture Notes in Computer Science
Svazek
8636
Konference
SSBSE - 6th Symposium on Search Based Software Engineering
ISBN
978-3-319-09939-2
Vydavatel
Springer Verlag
Místo
Heidelberg
DOI
10.1007/978-3-319-09940-8_8
UT WoS
000345519200008
EID Scopus
2-s2.0-84958544797
BibTeX 
@inproceedings{BUT111622,
  author="Vendula {Dudka} and Bohuslav {Křena} and Zdeněk {Letko} and Hana {Šimková} and Tomáš {Vojnar}",
  title="Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software",
  booktitle="SSBSE'14",
  year="2014",
  series="Lecture Notes in Computer Science",
  volume="8636",
  pages="107--122",
  publisher="Springer Verlag",
  address="Heidelberg",
  doi="10.1007/978-3-319-09940-8\{_}8",
  isbn="978-3-319-09939-2"
}
Projekty
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, zahájení: 2011-01-01, ukončení: 2015-12-31, ukončen
Inteligentní testování a analýza paralelních programů, MŠMT, KONTAKT II (2011-2017), LH13265, zahájení: 2013-04-01, ukončení: 2015-03-31, ukončen
Podpora tvorby excelentních týmů mezioborového výzkumu na VUT, EU, OP VK - Oblast podpory 2.3 - Lidské zdroje ve VaV, EE2.3.30.0005, zahájení: 2012-07-01, ukončení: 2015-06-30, ukončen
Spolehlivost a bezpečnost v IT, VUT, Vnitřní projekty VUT, FIT-S-14-2486, zahájení: 2014-01-01, ukončení: 2016-12-31, ukončen
Verifikace a optimalizace počítačových systémů, VUT, Vnitřní projekty VUT, FIT-S-12-1, zahájení: 2012-01-01, ukončení: 2014-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru