A B C E F G H I L M N O P R S

M

main(String[]) - Static method in class sota.SotaCLStarter
 
mbi - Variable in class sota.Metrics
Modified boundary-interior path coverage:
mbi := 100.0f * nrCoveredModBIPaths / nrModBIPaths
mcdc - Variable in class sota.Metrics
Modified decision/condition coverage:
mcdc := 100.0f * nrMcdcPairs / nrAtoms
Metrics - Class in sota
Container for all static and coverage metrics.
Metrics() - Constructor for class sota.Metrics
 
mmdc - Variable in class sota.Metrics
Minimal multiple condition coverage: mmdc := 100.0f * nrConditionEvaluations / (nrConditions * 2)

A B C E F G H I L M N O P R S