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 |
Year | Venue | Keywords |
---|---|---|
2010 | HotDep | failure scenario,declarative testing specification,concise specification,recent data-loss incident,critical recovery bug,new testing approach,Datalog style,failure testing service |
Field | DocType | Citations |
Computer science,Datalog,Distributed computing | Conference | 7 |
PageRank | References | Authors |
0.54 | 14 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Haryadi S. Gunawi | 1 | 554 | 36.58 |
Thanh Do | 2 | 156 | 7.11 |
Pallavi Joshi | 3 | 262 | 12.59 |
Joseph M. Hellerstein | 4 | 14093 | 1651.14 |
Andrea C. Arpaci-Dusseau | 5 | 3133 | 307.84 |
Remzi H. Arpaci-Dusseau | 6 | 3120 | 383.86 |
Koushik Sen | 7 | 3753 | 155.94 |