Test automation is a key issue when dealing with very big
systems [10]. In such an environment, in which requirements
change quickly throughout the testing period, control
of the whole verification process is of fundamental importance.
Automation can help in such a job.