A user´s experience validating telecommunications software using symbolic emulation

Author

Mello, David E.

Author_Institution

GTE Commun. Syst., Phoenix, AZ, USA

fYear

1988

fDate

12-15 Jun 1988

Firstpage

1317

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Communications, 1988. ICC '88. Digital Technology - Spanning the Universe. Conference Record., IEEE International Conference on

Conference_Location

Philadelphia, PA

Type

conf

DOI

10.1109/ICC.1988.13764

Filename

13764