IBM
Contents Index Previous Next



Test Case Validation


The TTCN Exerciser has a rudimentary automatic test validation feature in that it supports running tests with random inputs and timeouts. This feature may be used to attempt to detect missing alternatives and some runtime error conditions without having to manually step through all these alternatives.

Detected conditions include:

The random walk does not provide a guaranteed detection of these conditions, but it will run thousands of test tests in the time it normally takes to run one test.

The random walk has no feature for message generation, and hence requires messages to be imported or defined in the tool. All the messages are stored in a list of eligible messages. This list is referred to as the message list.

The random walk selects random messages from this list, and also timeouts if in a given state, any timers are running. This is repeated until a verdict is reached, an deadlock is detected, or until a defined maximum depth is reached.

Reports are stored in a report list and can be saved or reviewed.

Also, test statistics are stored while running the random walk. These test statistics can be used to determine how many tests were run in total, and which verdicts were reached.


http://www.ibm.com/rational
Contents Index Previous Next