wiki:news:3jan2012
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |||
wiki:news:3jan2012 [2012/10/22 21:45] – [New test case generation algorithm] pmueller | wiki:news:3jan2012 [2012/10/22 21:46] (current) – pmueller | ||
---|---|---|---|
Line 12: | Line 12: | ||
==== New test case generation algorithm ==== | ==== New test case generation algorithm ==== | ||
- | So far the code generator used a "depth first" method to find test routes (call the codegen using option -c). The used algorithm generates test routes that are as long as possible. The benefit is that usually fewer but longer routes are generated. The figure on the right shows the PLC Open Safety Block test routes as a tree. You can see how deep this tree is which corresponds to the longest test route. | + | So far the code generator used a "depth first" method to find test routes (call the codegen using option -c). The used algorithm generates test routes that are as long as possible. The benefit is that usually fewer but longer routes are generated. The figure on the right shows the [[wiki: |
{{ : | {{ : |
wiki/news/3jan2012.txt · Last modified: 2012/10/22 21:46 by pmueller