The ADvanced Systems Laboratory (ADSL)
Publication abstract
| :: | Home |
| :: | Projects |
| :: | People |
| :: | Pictures |
| :: | Publications |
| :: | Software |
| :: | Sponsors |
| :: | Internal |
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
Abstract:
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
Publications