Verification of Switching Software by Knowledge Processing Technology

Mitsuaki KAKEMIZU  Yasuo IWAMI  Yoshiharu SATO  Shimmi HATTORI  

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

Full Text: PDF>>
Buy this Article




Summary: 
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.