Model based testing with Colored Petri Nets, DCR graphs

At the anoma hacker house, we have played with the tooling and – even though there are some obvious smaller imperfections – this gives hands-on compositional modeling of high-level operational models, which can be used for model checking (in principle, thinking long term) and test case generation (indispensable for mid term success). This will become a concern after we have completed the operational specs on the English level.

1 Like

in fact, this idea is not new !