Result Details
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.
Type
conference paper
Language
English
Authors
Křena Bohuslav, Ing., Ph.D., DITS (FIT)
Letko Zdeněk, Ing., Ph.D., DITS (FIT)
Ur Shmuel
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
Letko Zdeněk, Ing., Ph.D., DITS (FIT)
Ur Shmuel
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
Abstract
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.
Keywords
Verification, testing, search techniques, concurrent software.
URL
Published
2010
Pages
48–58
Proceedings
PADTAD '10
Series
Proceedings of the 8th Workshop on Parallel and Distributed Systems
Conference
PADTAD VIII Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
ISBN
978-1-60558-823-0
Publisher
Association for Computing Machinery
Place
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"
}
Projects
Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit, MŠMT, COST, OC10009, start: 2010-01-01, end: 2012-12-31, running
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GACR, Doktorské granty, GD102/09/H042, start: 2009-01-30, end: 2012-12-31, completed
Secured, reliable and adaptive computer systems, BUT, Vnitřní projekty VUT, FIT-S-10-1, start: 2010-03-01, end: 2010-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness, GACR, Standardní projekty, GAP103/10/0306, start: 2010-01-01, end: 2013-12-31, running
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GACR, Doktorské granty, GD102/09/H042, start: 2009-01-30, end: 2012-12-31, completed
Secured, reliable and adaptive computer systems, BUT, Vnitřní projekty VUT, FIT-S-10-1, start: 2010-03-01, end: 2010-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness, GACR, Standardní projekty, GAP103/10/0306, start: 2010-01-01, end: 2013-12-31, running
Research groups
Departments