Towards Automatically Checking Thousands of Failures With Micro-Specifications
Recent data-loss incidents have shown that existing large distributed systems are still vulnerable to failures. To improve the situation, the authors propose two new testing approaches: Failure Testing Service (FTS) and Declarative Testing Specification (DTS). FTS enables one to systematically push a system into thousands of failure scenarios, leading to many critical recovery bugs. With DTS, they introduce "Micro-specifications", clear and concise specifications written in Datalog style, which enables developers to easily write, refine, and manage potentially hundreds of specifications.