Detail výsledku
A Platform for Search-Based Testing of Concurrent Software
Letko Zdeněk, Ing., Ph.D., UITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Ur Shmuel
The abstract 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.
Verification, testing, search techniques, concurrent software.
@misc{BUT192723,
author="Bohuslav {Křena} and Zdeněk {Letko} and Tomáš {Vojnar} and Shmuel {Ur}",
title="A Platform for Search-Based Testing of Concurrent Software",
booktitle="6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
year="2010",
pages="208--208",
publisher="Masaryk University",
address="Brno",
isbn="978-80-87342-10-7",
note="Abstract"
}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í