search

openETCS / toolchain

WP7: Top Level Project for the toolchain
27 stars 30 forks source link

SysML2B Unit test #476

Closed cecilebraun closed 9 years ago

cecilebraun commented 9 years ago

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

MERCEmentre commented 9 years ago

ACK, will look at it.

MERCEmentre commented 9 years ago

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.

MERCEmentre commented 9 years ago

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