Yggdrasil

Yggdrasil is an offline test-case generation tool. It generates traces from the model, and translates them into test cases based on test code entered into the model. Yggdrasil expects a deterministic model with no deadlocks and will generate traces for edge coverage. No checks or enforcements are made for determinism, but non-deterministic systems might result in spurious errors during test-case execution. In case of deadlocks traces might not be generated.

Pressing Generate in the Yggdrasil tab will generate traces based on the options selected. These will be shown in the Traces window. Selecting a trace will open statistics for this trace in the Trace statistics window. Selecting the Total coverage field will show combined statistics for all traces. Double clicking a trace will load that trace in the Simulator tab, where it can be examined. By selecting Mark Visited under the View menu, while in the Simulator, the coverage can be visualized.

Note: When loading a new model, or making changes and reloading the model, all traces and statistics are lost. Traces and statistics are not saved with the model. Only the test cases can be saved.

Test cases are written to files named testcaseN.code in the directory specified. By default this is the 'testcases' directory relative to the current directory. Previously stored test cases are overwritten by new test cases.