Introduction to Snabbkaffe
Snabbkaffe is a library that helps testing concurrent and distributed systems. It does so by moving the focus from /states/ to /effects/. Developers find bugs by looking at the logs, Snabbkaffe does the same and automates the process. It has advanced modes of testing: fault and scheduling injection. It aims for efficiency: run test scenario once, verify multiple properties.
查看详情 →
