SinelaboreRT Header Logo

SinelaboreRT

As simple as possible, but not any simpler!

User Tools

Site Tools


wiki:news:3jan2012

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Last revisionBoth sides next revision
wiki:news:3jan2012 [2012/10/22 21:20] – created pmuellerwiki:news:3jan2012 [2012/10/22 21:45] – [New test case generation algorithm] pmueller
Line 16: Line 16:
 {{ :wiki:news:news_2_7_ea_equivalent_sc_c.jpg?nolink |Depth first algorithm}} {{ :wiki:news:news_2_7_ea_equivalent_sc_c.jpg?nolink |Depth first algorithm}}
  
-An additional new algorithms is available now (call the codegen using option -c1). It uses a 'breadth first' algorithm to find test routes. It begins also at the init state and explores all the neighboring states first. Then for each of those nearest states, it explores their unexplored neighbor states, and so on, until 100% transition coverage was reached. The result are shorter but typically more test routes. The following tree shows again the PLC Open Safety Block test tree but now generated using the new algorithm. You can see that the tree is much broader - i.e. there are more test routes to go. But at the same time the routes are much shorter.+An additional new algorithms is available now (call the codegen using option -c1). It uses a 'breadth first' algorithm to find test routes. It begins also at the init state and explores all the neighboring states first. Then for each of those nearest states, it explores their unexplored neighbor states, and so on, until 100% transition coverage was reached. The result are shorter but typically more test routes. The following tree shows again the [[wiki:examples:plcopen_function_block|PLC Open Safety Block]] test tree but now generated using the new algorithm. You can see that the tree is much broader - i.e. there are more test routes to go. But at the same time the routes are much shorter.
  
 {{ :wiki:news:news_2_7_ea_equivalent_sc_c1.jpg?nolink |Breadth first algorithm}} {{ :wiki:news:news_2_7_ea_equivalent_sc_c1.jpg?nolink |Breadth first algorithm}}
wiki/news/3jan2012.txt · Last modified: 2012/10/22 21:46 by pmueller

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki