Options of Branch-Selection Strategies

[GoogleCodeExporter]

I am not sure whether or not this should go under "issues".

I am testing crest on some programs.
In the README file, it says that crest is invoked using [1]. If I run
"./run_crest" alone, it says that crest can be invoked using [2]. I would
like to know the available strategies e.g. how to control the depth of DFS
if I ever want to? According to report [3], this can be done, right?

[1]
./run_crest PROGRAM NUM_ITERATIONS -STRATEGY
[2]
./run_crest <program> <number of iterations> -<strategy> [strategy options]
[3]
Heuristics for Scalable Dynamic Test Generation, 2008, September.

Original issue reported on code.google.com by AmineMar...@gmail.com on 25 Mar 2010 at 7:22

[GoogleCodeExporter]

I have just had a look at the run_crest.cc file and it seems that a number 
after -dfs
is taken as a depth limit, otherwise a default depth limit is used.

Original comment by AmineMar...@gmail.com on 25 Mar 2010 at 7:32

[GoogleCodeExporter]

That is correct.

At the moment, the only other strategy to take a parameter is "uniform_random", 
which also takes a depth 
limit.  (Each branch up to the depth limit is flipped with probability 1/2.)

I will add a note to the README.

Original comment by jbur...@gmail.com on 30 Mar 2010 at 6:57

• Changed state: Accepted
• Added labels: Type-Enhancement
• Removed labels: Type-Defect