public final class TestMinimiser
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static TestModel |
minimise(TestModel model)
Minimizes test sequences from the specified model.
|
static TestModel |
minimise(TestModel testModel,
EfsmModel efsmModel)
Minimizes test according to the coverage it reaches on transitions of the specified EFSM model.
|
public static TestModel minimise(TestModel testModel, EfsmModel efsmModel)
Input data are not modified by this method.
testModel
- Test to be minimized.efsmModel
- EFSM model which transition coverage is used as minimization criterion.public static TestModel minimise(TestModel model)
The method removes duplicated sequences that have common prefix (and, moreover, one sequence includes another) and collapses all the sequences into one test.
model
- The test container to be minimised.