Testing Intervals

Component Testing for Ada

You can test an expected value within a given interval by replacing EV with the keywords MIN and MAX.

You can also use this form on alphanumeric variables, where character strings are considered in alphabetical order ("A"<="B"<="C").

Example

The following example demonstrates how to test a value within an interval:

TEST 4

 FAMILY nominal

 ELEMENT

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

  VAR b, init = 3, ev = init

  VAR c, init = 0, min = 4, max = 6

  #c = add(a,b);

 END ELEMENT

END TEST

 

Related Topics

Testing variablesTesting intervalsTesting tolerancesReporting a variable without testingTesting expressions