Testing some code or an embedded systems against its specification is a tedious and costly task as each and every requirement needs to be translated manually into a couple of test cases... except for CATIA Stimulus users who can check completely automatically if the system behaviour meets its requirements.

You will get a very high Return-On-Investment quickly.

Watch the functional tests revolution (4mn demo):