I arrived yesterday to Tallinn, Estonia by a catamaran from the south coast of Finland, a 90 minutes ride that was surprisingly smooth, to take part in the combined TESTCOM/FATES 2007 conference (co-located with FORTE).

Today morning I gave my invited talk on “Implementing Conformiq Qtronic”, in which I surveyed the basic architecture of our model driven testing tool and the different challenges we have met while working with the implementation.

I think that the two important messages I tried to put forth were that (1) it is possible to do successful model driven testing with infinite state space models and (2) that it requires much more than a test generation algorithm to make a commercial-quality model driven testing solution.

After my talk, the program has continued with the presentations of peer-reviewed articles and at least today the focus has been pretty much on finite state machines… with all (due) respect, I believe it is about the time for the research community to step out of this FSM sandbox and start to look around for the real world!

This entry was posted on Wednesday, June 27th, 2007 at 2:01 pm and is filed under Conferences and Events. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.