Matthieu L - 2009-05-11

Hi.

I’m developing a small open-source software that automatically generates test sequences from a state machine (in UML). To do so, I have been using ModelJUnit and several other software (TopCased, Acceleo) for a month. I would like to further integrate ModelJUnit, so here are my questions:

1.    Is there any material about ModelJUnit in particular and about MBT and graph theory in general that you could provide/recommend? I would like to fully understand how your library works and how it can be used.

2.    I see that you are currently working on the GUI. What are your future plans for ModelJUnit? Is it planned to improve the core? I’m particularly attentive in the completion of LookaheadTester which contains some serious “TODO”.

3.    Still concerning the core: how would you estimate your library against proprietary solutions like Smartesting or Conformic QTronic, especially about the model exploration? Does it just lack some classes to produce effective test sequences or is it a whole other league?

Thanks for your attention

Matthieu Labarre