6. Examples
The present methodology has been developed at the Italtel’s
Linea UT Integration Laboratory; it has been adopted
to test one of the most critical function of Italtel’s switching
system: DB Configuration Function.
A prototype of the tool runs on UNIX and OSF/1 system:
it is written in portable ANSI C language and TCL interpreted
language.