SVEX: switching program verification expert system

Author

Yamazaki, Jun-ichi ; Miyazaki, Kiyoshi ; Suzuki, Tadamichi ; Takano, Hirohide

Author_Institution

Fujitsu Lab. Ltd., Kanagawa, Japan

fYear

1990

fDate

16-19 Apr 1990

Firstpage

336

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Communications, 1990. ICC '90, Including Supercomm Technical Sessions. SUPERCOMM/ICC '90. Conference Record., IEEE International Conference on

Conference_Location

Atlanta, GA

Type

conf

DOI

10.1109/ICC.1990.117101

Filename

117101