SIGNAL+DRAHT | Issue 07-08/2019

Using state machines to test for verification and acceptance

August 2019 | Marie Gehrmann, Charlotte Gäbel

As system complexity increases, comprehensive testing is becoming ever more important, especially in transport systems where failures may put human lives at risk. Therefore, the EULYNX initiative has decided to implement state machine tests as early as in the specification phase. State machines enable the complete and unambiguous definition of a system’s behaviour. The resulting advantages of state machines can also be applied in the subsequent system acceptance by means of automated test specification...