Uses of Class
nz.ac.waikato.modeljunit.coverage.AbstractCoverage

Packages that use AbstractCoverage

nz.ac.waikato.modeljunit.coverage

Model Coverage Metrics

Uses of AbstractCoverage in nz.ac.waikato.modeljunit.coverage

Subclasses of AbstractCoverage in nz.ac.waikato.modeljunit.coverage

class	ActionCoverage Measures the number of distinct Actions that have been tested.
class	StateCoverage Counts the number of times each state has been entered.
class	TransitionCoverage Measures the number of Transitions that have been tested.
class	TransitionPairCoverage Measures the number of distinct Actions that have been tested.