A computer-aided incremental protocol test sequence generation: The production systems approach

Chung Ming Huang, Ye In Chang, Ming T. Liu

研究成果: Conference contribution

2 引文 斯高帕斯(Scopus)

摘要

The authors present a formal model for incremental protocol test sequence generation based on executable rule-based specification and implementation. In order to have direct control, instead of using heterogeneous representation mechanisms, a homogeneous representation mechanism, the OPS5 production system, is used in both the design phase and the test phase. Since the tested paths can be recorded in a globally shared dataspace (working memory) of the OPS5 production system, the test process can continue by searching for the untested transitions incrementally. This method uses a status message to verify the entrance state instead of using distinguishing sequences. Therefore, each transition is tested exactly once.

原文English
主出版物標題Conference Proceedings - Annual Phoenix Conference
發行者Publ by IEEE
頁面608-614
頁數7
ISBN(列印)0818621338
出版狀態Published - 1991 3月 1
事件Proceedings of the 10th Annual International Phoenix Conference on Computers and Communications - Scottsdale, AZ, USA
持續時間: 1991 3月 271991 3月 30

出版系列

名字Conference Proceedings - Annual Phoenix Conference

Other

OtherProceedings of the 10th Annual International Phoenix Conference on Computers and Communications
城市Scottsdale, AZ, USA
期間91-03-2791-03-30

All Science Journal Classification (ASJC) codes

  • 工程 (全部)

指紋

深入研究「A computer-aided incremental protocol test sequence generation: The production systems approach」主題。共同形成了獨特的指紋。

引用此