GUI Testing/Test Case generation

Overview

For the captured sequence of events to become a test case, assertions have to be inserted into the event sequence. These have to be checked when the sequence is executed by the replay tool.

The main focus lies on how the event sequence is available. If the capturing tool creates an Eiffel file which can be used to replay the sequence, the tester just has to include assertion statements into this file.