Title :
A user´s experience validating telecommunications software using symbolic emulation
Author_Institution :
GTE Commun. Syst., Phoenix, AZ, USA
Abstract :
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
Keywords :
electronic switching systems; program verification; quality control; software reliability; telecommunications computer control; GTD-5 EAX; IBM mainframe computer system; Interactive Testing Facility; automatic message accounting; error-detection; quality-control tool; software quality; software validation; symbolic emulation; telecommunications software; testing system; user´s experience; Binary search trees; Emulation; Software testing; Software tools; Spatial databases; System testing;
Conference_Titel :
Communications, 1988. ICC '88. Digital Technology - Spanning the Universe. Conference Record., IEEE International Conference on
Conference_Location :
Philadelphia, PA
DOI :
10.1109/ICC.1988.13764
