![]() |
![]() |
![]() |
![]() |
![]() |
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.
- Test incompleteness
- Tests failing to terminate
- Concurrent TTCN dynamic errors:
- Tests with paths missing a verdict
- A number of other conditions such as timer errors etc.
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 |
![]() |
![]() |
![]() |
![]() |