Leading zeros in output

If leading zeros are specified in an interval next to one of the numerical values, it is agreed for the output value what is the maximum number of places to which leading zeros can be added automatically if necessary:

Interval entry

Examples of possible output values

[ 1 : 99 ]

1, 2, 3, 12, 14, etc.

[ 01 : 99 ]

01, 02, 03, 12, 14, etc.

[ 001 : 999 ]

001, 002, 003, 012, 014, etc.

Presented below is a practical example: the first value in the interval [ 01 : 99 ] has a leading zero:

test instructions 030 05

It is thus ensured that always guaranteed two-digit numerical values are established in the range from 01 to 99. When two intervals are combined, rational numbers with two decimal places within the range from 2000.01 to 9999.99 are also established.

Calculation of average values, random values and boundary values is thus possible.

Round brackets in which such intervals are enclosed ensure only that such intervals are not taken into consideration du­ring consistency check of an interval for a condition. Further information on the consistency check can be found directly in the following section.