A platform for search-based testing of concurrent software

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. Categories and Subject Descriptors D.2.2 [Software Engineering]: Design Tools and Techniques; D.2.5 [Software Engineering]: Testing and Debugging General Terms Verification, Testing, Searching

• Type: Conference
• Year: 2010
• Where: ISSTA
• Authors: Bohuslav Krena, Zdenek Letko, Tomás Vojnar, Shmuel Ur
• Keywords: Concurrency Testing Infrastructure, Concurrent Programs, ISSTA 2010, Search-based Testing, Software Engineering