Detail výsledku

A Platform for Search-Based Testing of Concurrent Software

KŘENA, B.; LETKO, Z.; UR, S.; VOJNAR, T. A Platform for Search-Based Testing of Concurrent Software. PADTAD '10. Proceedings of the 8th Workshop on Parallel and Distributed Systems. Trento: Association for Computing Machinery, 2010. p. 48-58. ISBN: 978-1-60558-823-0.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Křena Bohuslav, Ing., Ph.D., UITS (FIT)
Letko Zdeněk, Ing., Ph.D., FIT (FIT), UITS (FIT)
Ur Shmuel
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Abstrakt
The paper describes a generic, open-source infrastructure called SearchBestie (or S'Bestie for short) that we propose as a platform for experimenting with search-based techniques and for applying them in the area of software testing. Further, motivated by a lack of research on search-based testing targeted at identifying concurrency-related problems, we instantiate S'Bestie for search-based testing of concurrent programs using the IBM's concurrency testing infrastructure called ConTest. We demonstrate capabilities of S'Bestie on a series of experiments, which---despite we have just started our experiments with S'Bestie---also illustrate the fact that  search-based testing can be quite useful in the context of testing concurrent programs.
Klíčová slova

Verification, testing, search techniques, concurrent software.

URL
Rok
2010
Strany
48–58
Sborník
PADTAD '10
Řada
Proceedings of the 8th Workshop on Parallel and Distributed Systems
Konference
PADTAD VIII – Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
ISBN
978-1-60558-823-0
Vydavatel
Association for Computing Machinery
Místo
Trento
BibTeX 
@inproceedings{BUT34830,
  author="Bohuslav {Křena} and Zdeněk {Letko} and Shmuel {Ur} and Tomáš {Vojnar}",
  title="A Platform for Search-Based Testing of Concurrent Software",
  booktitle="PADTAD '10",
  year="2010",
  series="Proceedings of the 8th Workshop on Parallel and Distributed Systems",
  pages="48--58",
  publisher="Association for Computing Machinery",
  address="Trento",
  isbn="978-1-60558-823-0",
  url="http://www.fit.vutbr.cz/~iletko/pub/padtad10.pdf"
}
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
Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit, MŠMT, COST, OC10009, zahájení: 2010-01-01, ukončení: 2012-12-31, řeš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ýzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-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