public final class EfsmSimulatorUtils
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static java.util.Map<Sequence,EfsmTransitionCoverage> |
collectCoverage(TestModel testModel,
EfsmModel efsmModel)
Collect EFSM transition coverage information for the specified test model on the specified
EFSM model.
|
static void |
printEfsmTransitionCoverage(java.util.Map<Sequence,EfsmTransitionCoverage> map,
Test test)
Print information about EFSM transition coverage that the specified test reaches.
|
public static java.util.Map<Sequence,EfsmTransitionCoverage> collectCoverage(TestModel testModel, EfsmModel efsmModel)
testModel
- Test to that the coverage is measured.efsmModel
- EFSM model that is to be simulated to retrieve the coverage.public static void printEfsmTransitionCoverage(java.util.Map<Sequence,EfsmTransitionCoverage> map, Test test)
All the information about coverage that different sequences reach is stored into the specified mapping.
map
- Mapping from test sequence to the related coverage of EFSM transitions.test
- Test to which the coverage should be printed.