Using a formal language has been the base for constructing
a sound test automation tool. Automatic test generation
provides construction of selective testcases for specific parts
of the product: in this way even non standard details can be
exercised. Hence, combining this kind of testcase generation
to the dynamic and automatic production of expected
results, it has been possible to reduce costs, mainly localised
in the first phase of the test construction, about Quality
Control activity.