Next: , Previous: GNU, Up: Usage


8.4 Embedded Systems: testing non-deterministic systems.

One of the uses (in fact the original use) for nana is in the testing of non-deterministic systems. These systems behave in a different way each time they are run because of timing or measurement noise. Thus you can't just ‘diff’ the results against a known good run since they run differently each time.

Instead you can use a series of programs which execute over a the results of the program and check that the behaviour meets the specification automatically.