Title :
SVEX: switching program verification expert system
Author :
Yamazaki, Jun-ichi ; Miyazaki, Kiyoshi ; Suzuki, Tadamichi ; Takano, Hirohide
Author_Institution :
Fujitsu Lab. Ltd., Kanagawa, Japan
Abstract :
The authors describe SVEX (switching program verification expert system), which can automatically find errors in switching programs. SVEX also generates service specifications from the programs for testers to confirm that the programs meet the original specifications. SVEX simulates switching action on an object-oriented model of a target switching system. Logic errors are found by comparing the behavior of the model with verification rules represented by demons. State transition diagrams are generated by tracing the behavior of the model. SVEX has been applied to the development of Fujitsu´s digital PBXs (private branch exchanges). SVEX has found 72% of all logic errors, including some errors overlooked by the usual online testing
Keywords :
digital communication systems; expert systems; private telephone exchanges; program verification; Fujitsu; SVEX; digital PBX; logic errors; object-oriented model; private branch exchanges; service specifications generation; state transition diagrams; switching program verification expert system; switching system; verification rules; Costs; Error analysis; Expert systems; Logic testing; Object oriented modeling; Programming profession; Switching systems; System testing; Telecommunication control; Telecommunication switching;
Conference_Titel :
Communications, 1990. ICC '90, Including Supercomm Technical Sessions. SUPERCOMM/ICC '90. Conference Record., IEEE International Conference on
Conference_Location :
Atlanta, GA
DOI :
10.1109/ICC.1990.117101
