Completed
QuickCheck
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
The Verification of a Distributed System
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 About Caitie
- 3 What is a distributed system
- 4 Were all building distributed systems
- 5 Any size system
- 6 Overview
- 7 Github Page
- 8 Testing Properties
- 9 Formal Verification
- 10 Formal Specifications
- 11 Our Clock
- 12 Amazon
- 13 Highlights
- 14 Formal Methods
- 15 Unit Tests
- 16 Type Systems
- 17 Integration Tests
- 18 Staging Environment
- 19 Error Handling
- 20 Property Based Testing
- 21 QuickCheck
- 22 ScalaCheck
- 23 Fault Injection
- 24 Netflix Simian Army
- 25 Jepsen
- 26 Distributed Systems
- 27 Game Days
- 28 How to Run a Game Day
- 29 Stripes Game Day
- 30 Testing in Production
- 31 Monitoring is not testing
- 32 Verification
- 33 Lineage Driven Fault Injection
- 34 Netflix Fault Injection
- 35 Conclusion
- 36 Quote
