利用形式化技术实现协议的仿真与测试

摘要：

为了保证协议开发者能够设计庞大的通信控制规则,人们逐渐采用形式化方法来设计通信协议.本文以CDMA2000中A11接口为例,利用SDL描述其功能,并用TTCN功能实现对该口的一致性测试.

关键词： SDL TTCN 形式化描述 仿真

作者: 夏月平 高翔

作者单位: 南京邮电大学自动化学院,南京,210003

会议类型: 国内会议

会议名称: 第十六届全国测控、计量、仪器仪表学术年会

会议地点: 北京

会议语种:中文

页码: 910-913

在线出版日期: 2006-08-01（万方平台首次上网日期，不代表论文的发表时间）