收藏本站
《中国科学院软件研究所》 2001年
收藏 | 手机打开
二维码
手机客户端打开本文

Bluetooth服务发现协议的验证、实现与测试

吴鹏  
【摘要】:作为一项新兴的短距离无线通信技术,Bluetooth以其强有力的技术背景和 良好的市场预期,逐渐被业界所接受。服务发现协议是Bluetooth技术的核心 协议之一,它提供了在Bluetooth网络环境下发现服务的机制。 本文从协议工程的角度,主要完成了以下四项工作: 1)验证 文中采用SOL技术对服务发现协议进行了形式化描述;在此基础上提出 并具体实现了协议验证的随机仿真结构。通过在ObjectGEODE仿真环境下的 运行,验证了服务发现协议本身满足其服务描述中的要求,但在与下层协议的 接口上会发生逻辑错误。 2)C语言实现 协议验证有助于协议实现的可靠性、一致性和互连性,但在具体实现时, 必须考虑在可移植性及效率方面的要求。文中从程序设计语言、编译器和操作 系统三个层面阐述了C语言实现在可移植性方面应考虑的问题,同时阐述了 C语言实现在效率方面应注意的问题,并提出了相应的建议。 3)一致性测试 服务发现协议的一致性测试是通过测试仪软件在仿真和硬件环境下完成 的。文中具体分析了一致性测试的测试结构,并在对测试规范研究的基础上, 指出了其中的若干错误;同时,通过对比分析协议规范和一致性测试规范,发 现了服务发现协议的一致性测试是不完备的。这将导致Bluetooth产品测试的 不完备,并对Bluetooth产品的互连性产生不利的影响。文中进一步针对测试 规范的不足详细设计了一组新的测试用例以完善协议的一致性测试。 4)应用开发 应用开发是把研究成果推向实用的最后阶段。文中主要阐述了Windows 平台上服务发现协议的应用结构,并结合具体的工作,阐述了Bluetooth网络 邻居和Bluetooth控制面板的实现方法。
【学位授予单位】:中国科学院软件研究所
【学位级别】:硕士
【学位授予年份】:2001
【分类号】:TN929.53

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 武杰;解子亮;郁专;谢明璞;;一种简单的设备查找与配置协议实现[J];核电子学与探测技术;2011年05期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 段九州;郁滨;戴紫彬;;蓝牙的服务发现协议(SDP)研究[A];全国第十四届计算机科学及其在仪器仪表中的应用学术交流会论文集[C];2001年
2 房胜;田淑珍;梁永全;钟玉琢;;一种基于缓存策略的MANET服务发现方法[A];第一届建立和谐人机环境联合学术会议(HHME2005)论文集[C];2005年
3 杨永志;史殿习;;普适计算中的服务描述[A];第四届和谐人机环境联合学术会议论文集[C];2008年
4 张鑫;苏俭;郭伟;;一种基于ADHOC网络服务发现机制实现[A];2008年中国西部青年通信学术会议论文集[C];2008年
5 饶文碧;张丽;柯慧燕;易健康;;服务发现协议互操作性的研究[A];2005年全国开放式分布与并行计算学术会议论文集[C];2005年
6 秦海鸥;;基于二次招/投标协议的Agent联盟形成策略[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年
7 王丽秋;;蓝牙技术在上网本上的应用[A];中国通信学会第六届学术年会论文集(上)[C];2009年
8 冯荷飞;曹子宁;;交错时序认知逻辑在安全协议中的应用[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
9 周璇;范圣海;李杰;杨雪辉;;新型容错串行总线验证系统软件设计[A];中国宇航学会深空探测技术专业委员会第八届学术年会论文集(下篇)[C];2011年
10 王世奎;李雯;王建宇;;AFDX网络交换机验证测试平台的设计与实现[A];2011航空试验测试技术学术交流会论文集[C];2010年
中国重要报纸全文数据库 前10条
1 黄卫华;北京财税库行网扣缴税款2.96亿元[N];中国税务报;2006年
2 本报记者 吴作鹏;蓝牙迎来第二春[N];计算机世界;2004年
3 华越微电子有限公司 陆国强;蓝牙技术为电子产品制造业带来新商机[N];中国电子报;2001年
4 戴维武;全市地税首月增幅近六成[N];巢湖日报;2011年
5 李鹏;再谈Windows 2000安全设置[N];中国电脑教育报;2003年
6 河北省唐山市开滦一中 张成;表现为交换机故障的系统错误[N];中国电脑教育报;2005年
7 成都 王艾;蓝牙通用模块JBM100简介[N];电子报;2003年
8 本报记者 袁超;用标准开路[N];计算机世界;2004年
9 甘夏雨 记者 杨新天;拉萨国税局推广税收电子缴库[N];中国税务报;2009年
10 黄河舟 段忠 记者 陈蜀庆;重庆国税局试点“双定户”批量扣税[N];中国税务报;2010年
中国博士学位论文全文数据库 前10条
1 吕庆聪;普适计算语义服务发现与服务组合研究[D];东华大学;2009年
2 高振国;无线自组网服务发现协议的研究[D];哈尔滨工业大学;2006年
3 周勇;逻辑程序及其在安全协议验证中的应用[D];南京航空航天大学;2006年
4 徐照旻;面向服务的普适计算中间件若干技术研究[D];浙江大学;2008年
5 吴甜;下一代网络统一服务提供平台和服务发现的研究[D];北京邮电大学;2008年
6 赵德新;基于模糊逻辑的语义服务发现研究[D];天津大学;2008年
7 刘立刚;开放环境下数字版权保护安全协议研究[D];华中科技大学;2006年
8 庄雷;基于Gnutella协议的Peer-to-Peer网络研究及其协议验证[D];中国人民解放军信息工程大学;2004年
9 张文涛;E-Service接口行为分析及其在服务组合中的应用[D];北京邮电大学;2007年
10 李援;安全协议代数证明方法研究[D];合肥工业大学;2007年
中国硕士学位论文全文数据库 前10条
1 吴鹏;Bluetooth服务发现协议的验证、实现与测试[D];中国科学院软件研究所;2001年
2 张立堃;蓝牙核心协议的研究与开发[D];哈尔滨工程大学;2005年
3 李艳;基于网关的MANET的服务发现协议[D];内蒙古大学;2009年
4 萨仁高娃;基于着色Petri网的LDP协议验证研究[D];内蒙古大学;2010年
5 李宏慧;基于着色Petri网模型的OSPF协议验证[D];内蒙古大学;2003年
6 刘莎莎;MANET跨层服务发现协议研究[D];湖南大学;2006年
7 邹颖颖;上下文感知系统中基于UPnP的服务发现与管理[D];西北工业大学;2007年
8 刘春芝;无线自组网环境下的服务发现协议研究[D];重庆大学;2009年
9 于志斌;蓝牙技术在掌上型无线心电监护仪中的应用[D];华东师范大学;2004年
10 王静;基于时间自动机的模型验证理论及应用研究[D];郑州大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026