Statechart testing
Advanced topics
Statecharts are a well-known visual modeling language for specifying the executable behavior of reactive event-based systems. The essential complexity of statechart models solicits the need for advanced model testing and validation techniques. Sismic is a statechart library for Python providing a set of tools to define, validate, simulate, execute and test statecharts. Sismic is a recursive acronym that stands for Sismic Interactive Statechart Model Interpreter and Checker .