This project is read-only.

offline testing of reactive systems

Oct 19, 2011 at 1:57 PM



I would like to use NModel (or a similar tool like Spec Explorer, etc.) to test an embedded reactive system. As the system is embedded, it seems I have to generate the program code to test it (not just the test sequence) and also due to reactive nature of the system, the test case is not just a -linear- sequence of actions, but a tree (in which the branches show the non-determinism of observable events). How could be the procedure and how can I write the adapter to generate the adapter to do this?


All the best,


Oct 25, 2011 at 10:33 AM

Hi Ali!

To test a reactive system you have to write a harness (also known as 'adapter') that converts the actions in the model (test sequence) to messages sent to the embedded system and vice versa.

Look for Stepper.cs files in samples. You will have to write a similar stepper for your embedded system.