[Javapathfinder-user] Question about the statechart extension

[Elisabeth W. <wo...@in...>]

Hello,

I'm a computer science student and working on my diploma thesis about "model-based test case generation". I have a UML statechart diagram with lots of constraints and my task is to derive test cases (input sequences + postconditions) to reach a given state.

Is it possible to use Java Path Finder statechart extension for my problem? Which version works of Java Path Finder would you recommend to me? 

My statechart consists of simple and composed states, initial states, flat history states, and transitions with events, guards and actions. The variables can be boolean, integer and string variables. The statechart is huge, so another question would be: How big could the statechart be to provide feasible results?

Thank you very much in advance!

Best regards & greetings from Germany, Elisabeth Wolf