wunderspec / diagnosis

Distributed systems testing diagnosis

Get a 5-bullet system assessment

If you think executable specifications may help a system you work on, send us five bullets. Rough notes are enough.

[01]

Send five bullets

We will reply with a short assessment: where your system falls on the landscape, which approaches are most likely to help, which are poor fits, and whether executable specs + MBT are worth considering.

  1. What system or subsystem are you thinking about?
  2. What important behavior must never break?
  3. What makes those behaviors hard to test?
    Concurrency, retries, time, partial failure, ordering, scale, state, or external services?
  4. What are you worried your current tests miss or find too late?
  5. Who would care if this failed in production?

You can forward the assessment internally to decide whether a small pilot is worth discussing.

Email: demo@wunderspec.com

[02]

Best fit

This is most useful for systems with retries, timeouts, partial failure, concurrency, state machines, protocols, reconciliation loops, schedulers, databases, control planes, or important invariants.

For simple, low-risk, or mostly CRUD systems, executable specifications are usually not the first tool to try.