Explore techniques for building reliable infrastructure in Rust in this conference talk from RustFest Paris 2018. Learn how to apply distributed systems and database testing methodologies to maximize bug detection efficiency and minimize hardcoded test bias. Discover approaches like property-based testing, model-based testing, fault injection, and network simulation to improve code reliability. Gain insights from Tyler Neely's experience finding bugs in complex systems and developing Sled, a modern embedded database for Rust. Understand the importance of thorough testing before deployment and how to leverage Rust's safety guarantees while dealing with external resources like files and sockets.
Overview
Syllabus
Intro
Your Brain
PropTest
ModelBased Testing
Linearize Ability
Fault Injection
Jepsen
ToA
Network Simulation
Lineage Driven Fault Injection
Miscellaneous
Taught by
Rust