Verification of Switching Software by Knowledge Processing Technology

Mitsuaki KAKEMIZU  Yasuo IWAMI  Yoshiharu SATO  Shimmi HATTORI  

IEICE TRANSACTIONS on Communications   Vol.E75-B    No.10    pp.1008-1014
Publication Date: 1992/10/25
Online ISSN: 
Print ISSN: 0916-8516
Type of Manuscript: Special Section PAPER (Special Issue on Communication Software Technologies)
verification,  knowledge base,  object-oriented,  simulation,  switching software,  

Full Text: PDF(588.1KB)>>
Buy this Article

To develop highly reliable switching software efficiently, a more powerful computer-aided verification system is needed. In this paper, we present an object-oriented switching software verification system, focusing on the basic concept and verification method. The system consists of three basic functions: a model of the switching system, a simulation control mechanism, and a verification mechanism. We also give our evaluation of this system.