Show HN: FizzBee – Formal Model based autonomous testing
18 hours ago
- #Model-Based Testing
- #Automated Testing
- #Concurrency
- Model-Based Testing (MBT) replaces hand-written test cases with system behavior definitions.
- FizzBee generates and runs numerous scenarios, checking implementation against the model.
- MBT is likened to property-based testing for stateful, concurrent systems.
- Steps include defining the model, generating scenarios, refinement mapping, and running tests.
- FizzBee explores interleavings to catch race conditions other MBT tools miss.
- Test logic is isolated from source code, keeping it clean.
- Incremental testing allows for immediate validation of new code.
- FizzBee's tests are deterministic, reproducible, and require no manual review.
- Every bug comes with a reproducible trace for quick debugging.
- Benefits include early detection of concurrency bugs and true TDD for stateful systems.
- Applicable to distributed databases, APIs, microservices, and complex stateful systems.