SIGNAL+DRAHT | Issue 07-08/2019
Using state machines to test for verification and acceptance
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...