A user's experience validating telecommunications software using symbolic emulation

The Interactive Testing Facility (ITF) a testing system that resides on an IBM mainframe computer system and allows the symbolic execution of GTD-5 EAX telecommunications software without using the prototype environment, is described. ITF's chief purpose is to improve software quality by aiding in the error-detection process. The reason for using it as a quality-control tool, ITF's advantages over other testing methods, and ITF's application in the validation of the automatic message accounting (AMA) software developed for the GTD-5 EAX system are presented.<>