SIGNAL+DRAHT | Issue 05/2020
Modelling maintainable software tests for embedded systems in the railway domain
Increasingly complex railway applications have led to greater expenditure on the definition, implementation and execution of test cases. The consistent modelling of the system under test (SUT) with semi-formal means of description has contributed to the mastery of its complexity. Test expenditure is reduced by defining and testing identical parts of the test code only once and then reusing them. Furthermore, the abstraction achieved by modelling tests increases the comprehensibility of the test cases, so that the expenditure on any review procedures can be minimised...