首页> 中文会议>第十六届全国测控、计量、仪器仪表学术年会 >利用形式化技术实现协议的仿真与测试

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《第十六届全国测控、计量、仪器仪表学术年会》|2006年|910-913|共4页
会议地点北京
作者
夏月平; 高翔;
展开▼
作者单位

中国电子学会;

中国仪器仪表学会;

中国计量测试学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类通信规程、通信协议;
关键词
SDL; TTCN; 形式化描述; 仿真;

相似文献

中文文献
外文文献
专利

1. 利用SPIN实现对OpenFlow协议的形式化验证 [J] . 石颖 . 计算机安全 . 2014,第003期
2. 通信协议测试的形式化技术 [J] . 段之宓 . 中央民族大学学报（自然科学版） . 2013,第003期
3. 基于形式化技术的帧中继拥塞控制协议一致性测试 [J] . 韩博 ,姬雷生 ,尹霞 . 通信学报 . 2002,第011期
4. 基于形式化技术的帧中继信令协议一致性测试研究 [J] . 韩博 ,姬雷生 ,尹霞 . 小型微型计算机系统 . 2002,第012期
5. 协议测试中用户信息的形式化描述技术 [J] . 尹霞 ,吴建平 . 计算机工程与科学 . 2000,第001期
6. 认证测试方法在安全协议形式化分析中的应用研究 [C] . 李廷元 ,宋劲 ,郑涛 . 2010国际信息技术与应用论坛 . 2010
7. 协议一致性测试研究及测控系统形式化协议设计技术 [A] . 高翔 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号