Expand description
A framework for event-based testing of message-passing systems with possibly partitioned system state.
Structs
A runner that allows to run tests specified as event streams
against the given concrete system.
You can implement several instances of StateHandlers
and ActionHandlers for the System, thus allowing your system
to handle several kinds of abstract states or actions.
A stream of events; defines the test.
Enums
A set of events to describe tests based on abstract states and actions.
Traits
A trait for handling abstract test actions (messages).
A trait for handling the mapping between abstract and concrete system states It is supposed that the tests are described in terms of a (much simpler) abstract state, with a lot less components than the concrete system state being tested.