Testing Distributed Systems
- Generalized Isolation Level Definitions
- Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions
- Knossos Research https://github.com/jepsen-io/knossos/tree/master/research
- Elle: Inferring Isolation Anomalies from Experimental Observations
- Linearizability versus Serializability
- A Critique of ANSI SQL Isolation Levels (notes)
- Testing for Linearizability - Gavin Lowe
-
C++Linearizability checker -
JavaWatCA -
Scalaconver -
ClojureKnossos -
ClojureElle -
Clojurefast-jepsen - Line-up: a complete and automatic linearizability checker
-
SPINSPIN as a Linearizability Checker under Weak Memory Models
Learning
- Glossary
- Translation
- Books:
- Courses
- Learning Tools
- Bugs And Learned Lessons
- Cheatsheets
Tools / Services / Tests
- Code complexity
- Quality Assurance Tools
- Test Runners
- Testing-As-A-Service
- Conformance Test Suites
- Test Infrastructure
- Fault injection
- TTCN-3
- Continuous Integration
- Speedup your CI
- Performance
- Formal Specification
- Toy Projects
- Test Impact Analysis
- Formats
Functional testing
- Automated testing
- By type:
WIP sections
Community
Links