摘要： 结合CPEBSDL描述语言、Petri网可达图、Petri网进程等协议分析方法，提出一种基于通信协议建立Petri网模型的方法——PMA_CPEBSDL。该方法利用CPEBSDL语言描述了通信协议实体的行为，自动地对协议建立Petri模型。协议的进程分析方法和可达图分析方法使协议的测试更加准确、直观。结合一个实例，给出LAPD协议完整的建模过程及协议验证和测试的方法。

关键词: 协议验证, 协议测试, LAPD协议, Petri网, Petri网进程

Abstract: Combining CPEBSDL, Petri nets reachable marking graph, and Petri net process, this paper proposes an approach named PMA_CPEBSDL that can automatically construct a Petri nets model for communication protocol, presents some methods of protocol validation and test. PMA_CPEBSDL approach and methods of protocol validation and test are introduced with a factual example about LAPD protocol.

Key words: protocol validation, protocol test, LAPD protocol, Petri nets, Petri nets process

中图分类号: 

• TP393