openETCS/toolchain

SysML2B Unit test

Closed this issue · 3 comments

We need Unit test and/or test specification for the SysML2B plug-in.

ACK, will look at it.

Currently we don't have a rigorous test bed. We have a big example (the CoffeeMachine) that we can translate fully and that exercises more or less all of our code. I don't currently know how to specify or improve this current state.

The current technology status does not allow us to make rigorous tests. So we won't provide tests. We only have a prototype demonstrator.