[henshin-dev] Where and how to implement state space tests

[Christian Krause <henshin.ck@xxxxxxxxx>]

Hi,
I want to implement some tests for the state space tools. As a first 
simple test I want to load a *.statespace file which contains only an 
initial state. I want to generate the complete state space for it and 
check whether the number of generated states and transitions is as 
expected. The expected numbers will be available in the metadata of the 
state space.

Where should I implement it? Which class should I extend? How is the 
test suite in general invoked? Should I produce any debug info 
(logging)? (the state space generation takes a while).

ciao,
Christian