All about Stop-conditions
A stop-condition, is a stop criteria for a given generator. It will halt the generation of a test sequence when the given criteria is reached.
REACHED_EDGE
The stop criteria is a named edge. When, during execution, the edge is reached, the test is stopped.
REACHED_STATE
The stop criteria is a named vertex. When, during execution, the vertex is reached, the test is stopped.
EDGE_COVERAGE
The stop criteria is a percentage number.
When, during execution, the percentage of traversed edges is reached,
the test is stopped. If an edge is traversed more than one time, it
still counts as 1, when calculating the percentage coverage.
STATE_COVERAGE
The stop criteria is a percentage number.
When, during execution, the
percentage of traversed states is reached, the test is stopped. If
vertex is traversed more than one time, it still counts as 1, when
calculating the percentage coverage.
TEST_LENGTH
The stop criteria is a number,
representing the total numbers of pairs of vertices and edges generated
by a generator. For example, if the TEST_LENGTH is 110, the test
sequence would be 220 lines long. (including 110 pairs of edges and
vertices)
TEST_DURATION
The stop criteria is a time, representing the number of seconds that the test generator is allowd to execute.
REQUIREMENT_COVERAGE
The stop criteria is a percentage number. When, during execution, the percentage of traversed requirements is reached,
the test is stopped. If an requirement is traversed more than one time, it
still counts as 1, when calculating the percentage coverage.
REACHED_REQUIREMENT
The stop criteria is a named requirement. When the requirement is reached, the test is stopped.
NEVER
This special stop critera will never halt the generator.