How Did I Get Here? Building Confidence in a Distributed Stream Processor
Abstract#
Sean T. Allen talks about the various means his team has come up with to create repeatable tests that allow them to start trusting that their system will give correct results, discussing how to combine repeatable programmatic fault injection, message tracing, and auditing to create a trustworthy system.
Versions of this talk#
Links#
Peter Alvaro#
Kyle Kingsbury#
Will Wilson#
Catie McCaffrey#
- Catie McCaffrey’s twitter
- The Verification of a Distributed System: A practitioner’s guide to increasing confidence in system correctness
- The Verification of a Distributed System
