Abstract

KŘENA Bohuslav, LETKO Zdeněk, VOJNAR Tomáš and UR Shmuel. A Platform for Search-Based Testing of Concurrent Software. 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2010. ISBN 978-80-87342-10-7.
Publication language:english
Original title:A Platform for Search-Based Testing of Concurrent Software
Title (cs):Platforma pro aplikaci technik prohledávání stavového prostoru na vícevláknový software
Pages:1
Book:6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Conference:MEMICS'10 -- 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Place:Brno, CZ
Year:2010
ISBN:978-80-87342-10-7
Publisher:Masaryk University
Keywords
Verification, testing, search techniques, concurrent software.
Annotation
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.

Your IPv4 address: 54.80.236.48
Switch to IPv6 connection

DNSSEC [dnssec]