Testing arrays with lists

Component Testing for C

While an expression initializes all the ARRAY elements in the same way, you can also initialize each element using an enumerated list of expressions between brackets ({}). In this case, you must specify a value for each array element.

Furthermore, you can precede every element in this list of initial or expected values with the array index of the element concerned followed by the characters "=>". The following example illustrates this form:

ARRAY histo[0..3], init = {0 => 0, 1 => 10, 2 => 100, 3 => 10} ...

This form of writing the ARRAY instruction has the following advantages:

You can also use this form together with the simple form if you follow this rule: once one element has been defined with its array index, you must do the same with all the following elements.

If several elements in an array are to take the same value, specify the range of elements taking this value as follows:

ARRAY histo[0..3], init = { 0 .. 2 => 10, 3 => 10 } ...

You can also specify a value for all the as yet undefined elements by using the keyword others, as the following example illustrates:


  FAMILY nominal


    VAR x1, init = 0, ev = init

    VAR x2, init = SIZE_IMAGE-1, ev = init

    VAR y1, init = 0, ev = init

    VAR y2, init = SIZE_IMAGE-1, ev = init

    ARRAY image, init = {others=>{others=>100}}, ev = init

    ARRAY histo, init = 0,

    & ev = {100=>SIZE_IMAGE*SIZE_IMAGE, others=>0}

    VAR status, init ==, ev = 0

    #status = compute_histo(x1, y1, x2, y2, histo);



Note   The form {others => <expression>} is equivalent to initializing and testing all array elements with the same expression.

You can also initialize and test multidimensional arrays with a list of expressions, as follows. In this case, the previously mentioned rules apply to each dimension.

ARRAY image, init = {0, 1=>4, others=>{1, 2, others=>100}} ...

Note   Some C compilers allow you to omit levels of brackets when initializing a multidimensional array. The Unit Testing Scripting Language does not accept this non-standard extension to the language.

Related Topics

Testing arraysTesting arrays with pseudo-variablesTesting large arraysTesting character arraysTesting arrays with other arraysTesting an array of union elementsVAR, ARRAY and STR