Consistency check of conditions

All intervals that are defined for the same condition are automatically checked for consistency, e.g. before each test case generation:

Equal number of decimal places

Intervals within a condition must have a consistent number of decimal places. If any differences are found here, it is regarded as an error and generation of test cases is prevented.

Overlaps

There is an overlap if at least one value is contained in more than one interval. An overlap is interpreted as an error and the generation of test cases is prevented, as in this case test cases may arise that check different behaviors for the same concrete test values.

Gaps

There is a gap if there is at least one value, between the lowest and the highest value defined by the interval, that does not belong to any interval. The gap is interpreted as a warning and does not prevent test cases from being ge­ne­ra­ted.

Exclusion from consistency check

If intervals are to be excluded from consistency check, they must additionally be placed in round brackets, such as presented below:

test instructions 030 05

Neither of the two interval entries ([ 2000 : 9999 ]) and ([ 01 : 99 ]) is subject to check du­ring consistency check of all intervals for condition C02 as they are additionally placed in round brackets. Without excluding these two intervals, the consistency check would return several overlaps as errors.