wiki:news:3jan2012
Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
wiki:news:3jan2012 [2012/10/22 21:20] – created 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: |
{{ : | {{ : | ||
- | An additional new algorithms is available now (call the codegen using option -c1). It uses a ' | + | An additional new algorithms is available now (call the codegen using option -c1). It uses a ' |
{{ : | {{ : |
wiki/news/3jan2012.txt · Last modified: 2012/10/22 21:46 by pmueller