Skip to content

0.0.5

Choose a tag to compare

@hjohn hjohn released this 04 Jun 23:45
· 8 commits to master since this release

Full Changelog: 0.0.4...0.0.5

  • Added a common-test module with the ExploratoryTestRunner

The ExploratoryTestRunner is a JUnit 5 compatible state-space exploration test framework for exhaustive validation of complex stateful components. The runner automatically discovers annotated actions and assertions, systematically executes all reachable action sequences, and uses snapshot-based state pruning to avoid redundant exploration while preserving deterministic execution order. It supports configurable exploration depth, history-based pruning to detect issues caused by hidden internal state, parameterized actions via JUnit argument providers, and detailed failure reporting that reconstructs the exact sequence of actions leading to an error.