public class ReducerCommand extends Reducer
system input definition
, updates the associated test case generators
to reduce the number of generated test cases.Modifier and Type | Class and Description |
---|---|
static class |
ReducerCommand.Options
Represents a set of command line options.
|
Constructor and Description |
---|
ReducerCommand()
Creates a new ReducerCommand object.
|
Modifier and Type | Method and Description |
---|---|
static void |
main(String[] args)
For a
system input definition , updates the associated test case generators
to reduce the number of generated test cases, using the given command line options . |
void |
run(ReducerCommand.Options options)
For a
system input definition , updates the associated test case generators
to reduce the number of generated test cases, using the given command line options . |
public static void main(String[] args)
system input definition
, updates the associated test case generators
to reduce the number of generated test cases, using the given command line options
.
public void run(ReducerCommand.Options options) throws Exception
system input definition
, updates the associated test case generators
to reduce the number of generated test cases, using the given command line options
.
The reducing process operates as a sequence of "rounds". Each round consists of a series of test case generations executions
called "samples". Each sample uses a new random seed to generate test cases for a specified function in
an attempt to find a seed that produces the fewest test cases.
If all samples in a round complete without reducing the current minimum test case count, the reducing process
terminates. Otherwise, as soon as a new minimum is reached, a new round begins. The number of samples in each
subsequent round is determined using the "resample factor"
.
At the end of the reducing process, the generator definition file
for the given
system input definition
is updated with the random seed value that produces the minimum test case count.Exception
Copyright © 2024 The Cornutum Project. All rights reserved.