Title :
Verification of switching program by object oriented simulator
Author :
Yamazaki, Jun´ichi ; Fuji, Yoshinobu ; Kakemizu, Mitsuaki ; Iwami, Yoichi ; Kishida, Toshihide ; Kiyokane, Yukio
Author_Institution :
Fujitsu Labs. Ltd., Kawasaki, Japan
Abstract :
An object-oriented switching program verification system is presented, focusing on the basic concept and implementation of the system. The system consists of three basic functions: a model of the switching system, a simulation-control mechanism and a verification mechanism. The object-oriented approach makes the model valid and flexible. A simulation algorithm is based on reachability analysis. The system can find internal logical contradictions of a program by observing the behavior of the model and comparing the behavior with formalized verification rules called DEMON. The system also outputs state transition diagrams and state tables that make service verification easy. An evaluation of the system shows that it can verify 93% of logical errors automatically and help a tester to find 87% of service errors
Keywords :
automatic testing; digital simulation; electronic switching systems; program testing; program verification; DEMON; formalized verification rules; internal logical contradictions; logical errors; object oriented simulator; object-oriented switching program verification system; reachability analysis; service errors; state tables; state transition diagrams; Automatic testing; Communication switching; Computational modeling; Costs; Object oriented modeling; Power system reliability; Speech analysis; Switching systems; System testing; Telecommunication switching;
Conference_Titel :
Computers and Communications, 1988. Conference Proceedings., Seventh Annual International Phoenix Conference on
Conference_Location :
Scottsdale, AZ
Print_ISBN :
0-8186-0830-7
DOI :
10.1109/PCCC.1988.10088
