Re: [Javapathfinder-user] Question about the statechart extension

[Peter C. M. <Pet...@na...>]

Hi Elisabeth,

the UML statechart extension supports all that, except history states. 
You can work off the trunk, there are no changes in the v5 branch reg. 
statecharts. I would not expect scalability problems, since the state 
space of statecharts is usually much smaller than what we experience 
with concurrent programs. Other than the history state, there is only 
one known problem that has to do with premature state matching for 
guided model checking (running with scripts)

-- Peter


Elisabeth Wolf wrote:
> 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
>  
> ------------------------------------------------------------------------
>
> -------------------------------------------------------------------------
> Check out the new SourceForge.net Marketplace.
> It's the best place to buy or sell services for
> just about anything Open Source.
> http://sourceforge.net/services/buy/index.php
> ------------------------------------------------------------------------
>
> _______________________________________________
> Javapathfinder-user mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javapathfinder-user
>