Login | Register
My pages Projects Community openCollabNet

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.