未找到相关数据
VERIFICATION OF SWITCHING SOFTWARE BY KNOWLEDGE PROCESSING TECHNOLOGY
被引：0
作者：
KAKEMIZU, M
IWAMI, Y
SATO, Y
HATTORI, S
机构：
关键词：
VERIFICATION;
KNOWLEDGE BASE;
OBJECT-ORIENTED;
SIMULATION;
SWITCHING SOFTWARE;
D O I：
暂无
中图分类号：
TM [电工技术];
TN [电子技术、通信技术];
学科分类号：
0808 ;
0809 ;
摘要：
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.
引用
收藏
页码：1008 / 1014
页数：7
相关论文