Abstract
Controlled concurrency testing (CCT) is an effective approach for testing distributed system implementations. However, existing CCT tools suffer from the drawbacks of language dependency and the cost of source code instrumentation, which makes them difficult to apply to real-world production systems. We propose DSTest, a generalized CCT tool for testing distributed system implementations. DSTest intercepts messages on the application layer and, hence, eliminates the instrumentation cost and achieves language independence with minimal input. We provide a clean and modular interface to extend DSTest for various event schedulers for CCT. We package DSTest with three well-known event schedulers and validate the tool by applying it to popular production systems.
| Original language | English |
|---|---|
| Title of host publication | ISSTA 2024 |
| Subtitle of host publication | Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis |
| Editors | Maria Christakis, Michael Pradel |
| Place of Publication | New York, NY |
| Publisher | Association for Computing Machinery (ACM) |
| Pages | 1861-1865 |
| Number of pages | 5 |
| ISBN (Electronic) | 979-8-4007-0612-7 |
| DOIs | |
| Publication status | Published - 2024 |
| Event | 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis - Vienna University of Technology, Vienna, Austria Duration: 16 Sept 2024 → 20 Sept 2024 Conference number: ISSTA 2024 https://conf.researchr.org/home/issta-2024 |
Conference
| Conference | 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis |
|---|---|
| Country/Territory | Austria |
| City | Vienna |
| Period | 16/09/24 → 20/09/24 |
| Internet address |
Keywords
- Concurrency testing
- Distributed systems