recentpopularlog in

jabley : testing   262

« earlier  
Lineage-driven Fault Injection
Failure is always an option; in large-scale data management systems,
it is practically a certainty. Fault-tolerant protocols and components
are notoriously difficult to implement and debug. Worse
still, choosing existing fault-tolerance mechanisms and integrating
them correctly into complex systems remains an art form, and programmers
have few tools to assist them.
We propose a novel approach for discovering bugs in fault-tolerant
data management systems: lineage-driven fault injection. A lineagedriven
fault injector reasons backwards from correct system outcomes
to determine whether failures in the execution could have
prevented the outcome. We present MOLLY, a prototype of lineagedriven
fault injection that exploits a novel combination of data lineage
techniques from the database literature and state-of-the-art
satisfiability testing. If fault-tolerance bugs exist for a particular
configuration, MOLLY finds them rapidly, in many cases using an
order of magnitude fewer executions than random fault injection.
Otherwise, MOLLY certifies that the code is bug-free for that configuration.
testing  paper  netflix  distributedsystems  filetype:pdf 
may 2016 by jabley
« earlier      
per page:    204080120160

Copy this bookmark:





to read