UW-Madison Logo

The ADvanced Systems Laboratory (ADSL)
Publication abstract

Towards Automatically Checking Thousand of Failures with Micro-specifications

Haryadi S. Gunawi1, Thanh Do2, Pallavi Joshi1, Joseph M. Hellerstein1, Andrea C. Arpaci-Dusseau2, Remzi H. Arpaci-Dusseau2, Koushik Sen1
1 Department of Computer Science, University of California-Berkeley
2 Department of Computer Sciences, University of Wisconsin-Madison


Recent data-loss incidents have shown that existing large distributed systems are still vulnerable to failures. To improve the situation, we propose two new testing approaches: failure testing service (FTS) and declarative testing specification (DTS). FTS enables us to systematically push a system into thousands of failure scenarios, leading us to many critical recovery bugs. With DTS, we introduce “micro-specifications”, clear and concise specifications written in Datalog style, which enables developers to easily write, refine, and manage potentially hundreds of specifications.

Available as: Abstract PDF
Talk Slides: PowerPoint