Detail výsledku

Sophisticated Testing of Concurrent Software

LETKO, Z. Sophisticated Testing of Concurrent Software. SSBSE '10. Proceedings of 2nd International Symposium on Search Based Software Engineering. Benevento: Institute of Electrical and Electronics Engineers, 2010. p. 36-40. ISBN: 978-0-7695-4195-2.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Letko Zdeněk, Ing., Ph.D., UITS (FIT)
Abstrakt
Search-based techniques were successfully applied to many different areas of
testing but according to our knowledge there are no works that applies
search-based techniques to testing of concurrent software, yet. 
This PhD paper describes plans and already achieved preliminary results with
applying search-based techniques to testing of concurrent software. In
particular, we plan to combine noise injection techniques for testing of
concurrent software, various concurrency coverage measures, and several dynamic
analyses with search-based optimization techniques.  
Klíčová slova

testing, search-based techniques, concurrency

Rok
2010
Strany
36–40
Sborník
SSBSE '10
Řada
Proceedings of 2nd International Symposium on Search Based Software Engineering
Konference
SSBSE - 2nd International Symposium on Search Based Software Engineering
ISBN
978-0-7695-4195-2
Vydavatel
Institute of Electrical and Electronics Engineers
Místo
Benevento
BibTeX 
@inproceedings{BUT35728,
  author="Zdeněk {Letko}",
  title="Sophisticated Testing of Concurrent Software",
  booktitle="SSBSE '10",
  year="2010",
  series="Proceedings of 2nd International Symposium on Search Based Software Engineering",
  pages="36--40",
  publisher="Institute of Electrical and Electronics Engineers",
  address="Benevento",
  isbn="978-0-7695-4195-2",
  url="https://www.fit.vut.cz/research/publication/9298/"
}
Soubory
Projekty
Bezpečné, spolehlivé a adaptivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-10-1, zahájení: 2010-03-01, ukončení: 2010-12-31, ukončen
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů, GAČR, Doktorské granty, GD102/09/H042, zahájení: 2009-01-30, ukončení: 2012-12-31, ukončen
Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti, GAČR, Standardní projekty, GAP103/10/0306, zahájení: 2010-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru