Reverse protocol verification: Concept, algorithm and application

Chung Ming Huang, Ye In Chang, Duen Tay Huang

研究成果: Article同行評審

1 引文 斯高帕斯(Scopus)

摘要

To verify the logical correctness of communication protocols, protocol verification should be invoked in the design phase. In this paper, we propose a new communicating finite state machine (CFSM)-based verification method, which is called reverse protocol verification. By analyzing the properties of deadlock error, unspecified reception error and channel overflow error, some candidate erroneous global states are generated. Then, each candidate global state is checked whether there is a path, i.e. a global state sequence, which can connect to the original initial global state. If there is a path, then the candidate global state is really an erroneous global state and the protocol under designing does have some logical errors; alternatively, if there is no candidate global state or none of the candidate global states has a path, then the protocol is error free. Based on the reverse method, an incremental protocol specification system (IPSS) has been developed on SUN SPARC workstations. Usage and applications of IPSS are also presented in this paper.

原文English
頁(從 - 到)X5-524
期刊Computer Journal
39
發行號6
DOIs
出版狀態Published - 1996

All Science Journal Classification (ASJC) codes

  • Computer Science(all)

指紋 深入研究「Reverse protocol verification: Concept, algorithm and application」主題。共同形成了獨特的指紋。

引用此