Protocol validation using a pumping-based approach

Kuo Chung Tai, Hong Fa Ho, Gen Huey Chen

研究成果: 書貢獻/報告類型會議論文篇章

1 引文 斯高帕斯(Scopus)

摘要

Although the pumping theorem for a finite state machine is well-known, it is interesting to us whether the pumping phenomenon exists for a network of Communicating Finite State Machines (CFSM's). In this paper we derive two pumping theorems for a network N of CFSM's. Each pumping theorem describes a set of conditions under which a feasible event sequence of N can be "pumped" to produce an infinite set of feasible event sequences of N. We show that if a feasible event sequence E satisfying the conditions in one pumping theorem does not result in a deadlock or unspecified reception, neither does any event sequence derived by "pumping" E. Based on these results, we develop a pumping-based approach for detecting deadlocks and unspecified receptions in a network of CFSM's. We also show the experimental results of applying this new approach to validate several communication protocols.

原文英語
主出版物標題Proceedings of the15th Annual International Computer Software and Applications Conference, CMPSAC 1991
發行者IEEE Computer Society
頁面339-344
頁數6
ISBN(電子)0818621524
DOIs
出版狀態已發佈 - 1991
事件15th Annual International Computer Software and Applications Conference, CMPSAC 1991 - Tokyo, 日本
持續時間: 1991 九月 111991 九月 13

出版系列

名字Proceedings - International Computer Software and Applications Conference
ISSN(列印)0730-3157

會議

會議15th Annual International Computer Software and Applications Conference, CMPSAC 1991
國家/地區日本
城市Tokyo
期間1991/09/111991/09/13

ASJC Scopus subject areas

  • 軟體
  • 電腦科學應用

指紋

深入研究「Protocol validation using a pumping-based approach」主題。共同形成了獨特的指紋。

引用此