Initializing without testing

Component Testing for Ada

It is sometimes difficult to predict the expected result for a variable; such as if a variable holds the current date or time. In this case, you might want to avoid specifying an expected output but still have the value of the variable initialized in the test script. To do this, use the EV == syntax.

Example

In the following script a, b, and c are initialized, but only a and b are tested.

TEST 7

 FAMILY nominal

 ELEMENT

  VAR a, init in (1,2,3), ev = init

  VAR b, init = 3, ev = init

  VAR c, init = 0, ev ==

  #c = add(a,b);

 END ELEMENT

END TEST

 

Related Topics

Testing variables | Testing intervals | Testing expressions | Using Ada expressions