收藏本站
《中国科学技术大学》 2006年
收藏 | 手机打开
二维码
手机客户端打开本文

协议分布式测试理论及系统可靠性研究

柯尧  
【摘要】:协议工程是一体化、形式化的协议开发过程。协议测试是协议工程的一个重要组成部分,包括一致性测试、互操作性测试、性能测试和坚固性测试。协议测试就是在协议形式化模型的基础上生成测试用例、执行测试用例并进行测试结果分析的过程。 协议一致性测试是协议测试的基础。其目的是检查待测协议实体(IUT)的行为与协议规范是否一致。它的工作流程一般是首先对通信协议进行形式化描述,然后针对形式化模型生成测试序列,最后使用此测试序列进行测试。随着协议规范复杂性的增加,单纯的集中式测试方法不能满足很多协议的测试需求。 本文在协议分布式测试体系结构的基础上,讨论了分布式测试中的控制问题和观察问题。分布式测试中的控制问题指的是在多端口状态下,由于没有全局时钟,测试体无法确定向IUT发送输入的时刻;观察问题指的是测试体无法确定开始等待接收输出的时刻。本文围绕着这两个问题展开研究并给出了解决方案。 本文的研究工作主要集中在以下几个方面: (1) 增加协调消息后使用全局测试序列生成局部测试序列 协议测试序列生成算法一般生成IUT的全局测试序列,在映射为局部测试序列时存在着控制问题和观察问题,为此本文引入协调消息解决潜在的控制问题和观察问题,并对引入协调消息的辅助通信代价进行分析,给出了一个改进方案,改进方案在一定程度上能够降低协议分布式测试中辅助通信代价。 (2) 协议一致性测试中的时间约束问题 时间是协议中的重要参数,对协议中的时间进行讨论并且给出严格约束能够在降低测试代价的同时提高测试的准确性,本文对协议一致性测试中的时间进行分析和约束。 本文首先对协议一致性测试中的时间进行分析和总结,给出了协议测试中涉及到的响应时间、传输时间和等待时间的上界约束,然后给出了基于时间约束的测试序列生成算法。 在对一致性测试中的时间进行严格约束的基础上,本文提出了基于IUT时
【学位授予单位】:中国科学技术大学
【学位级别】:博士
【学位授予年份】:2006
【分类号】:TP393.04

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 陈珺;王海燕;朵灏;刘臻;;TD-LTE终端一致性测试标准化进展[J];电信网技术;2011年07期
2 李小文;肖垒;宋海贝;;TD-LTE系统移动性管理实体测试研究[J];光通信研究;2011年04期
3 张载龙;王菊;;一种实现NGOSS分布式自动化测试的方法[J];南京邮电大学学报(自然科学版);2011年03期
4 乔应军;马刚;马昕;;移动终端的一致性测试技术[J];微型机与应用;2011年16期
5 向罗勇;朱旻;;TD-SCDMA、WCDMA、GSM终端音频一致性测试介绍及分析[J];现代电信科技;2011年08期
6 ;业界精确度较高的示波器DPO/DSA70000D系列揭秘[J];国外电子测量技术;2011年08期
7 贾志鹏;张炎;郑忠斌;贺鹏;;物联网测试需建立集成的测试设备[J];世界电信;2011年07期
8 ;测试和测量[J];今日电子;2011年09期
9 ;泰克BERTScope增加PCIe 3.0接收机测试支持[J];电子与电脑;2011年08期
10 陈健;;如何快速准确地仿真多天线环境[J];电信网技术;2011年07期
中国重要会议论文全文数据库 前10条
1 董文莉;;电子政务系统测评框架的研究[A];第二十三届中国(天津)2009IT、网络、信息技术、电子、仪器仪表创新学术会议论文集[C];2009年
2 魏蓉;郐吉丰;王春元;蒋凡;;等级保护中的系统自动化测试[A];第二十一次全国计算机安全学术交流会论文集[C];2006年
3 胡欣杰;路川;;关于一致性测试的原理与应用研究[A];第九届全国信号处理学术年会(CCSP-99)论文集[C];1999年
4 王平;王培培;李勇;;ISA100.11a协议一致性测试方法研究[A];2010中国仪器仪表学术、产业大会(论文集1)[C];2010年
5 许少辉;魏建中;陈波;耿启富;;USB测试技术介绍[A];第三届中国测试学术会议论文集[C];2004年
6 杨永标;;基于IEC61850标准的合并单元性能测试[A];2006电力系统自动化学术交流研讨大会论文集[C];2006年
7 常婧;黄小红;王玮;马严;;基于TTCN-3的移动IPv6协议一致性测试[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
8 段修生;单甘霖;高庆;;炮兵射击指挥系统嵌入式测试平台设计[A];第四届中国软件工程大会论文集[C];2007年
9 莫毓昌;刘宏伟;左德承;杨孝宗;;FTCL:面向Statechart描述的测试用例集自动生成工具(英文)[A];第五届中国测试学术会议论文集[C];2008年
10 张剑涛;刁波;唐春凤;张汉义;;IFC模型中建筑信息的描述与获取方法[A];第九届建筑业企业信息化应用发展研讨会论文集[C];2005年
中国重要报纸全文数据库 前10条
1 工业和信息化部电信研究院通信标准研究所 果敢 莫宏波;终端一致性测试:助力TD—LTE商用化进程[N];人民邮电;2011年
2 ;安捷伦 E6620A[N];通信产业报;2008年
3 罗德与施瓦茨中国有限公司 刘昶;一致性测试加速LTE终端商用[N];通信产业报;2010年
4 本报记者 诸玲珍;测试为LTE铺路[N];中国电子报;2010年
5 汤怀京;WLAN也有“线”[N];中国计算机报;2004年
6 记者 李博;2008·测试 加速LTE产业化[N];通信产业报;2008年
7 本报记者 诸玲珍;星河亮点:TD测试仪表成亮点[N];中国电子报;2009年
8 罗德与施瓦茨中国有限公司;R&S扩充LTE测试测量解决方案[N];通信产业报;2010年
9 本报记者 诸玲珍;TD测试:提升能力 满足需求[N];中国电子报;2010年
10 ;测试仪:保障网络优化 增强用户体验[N];人民邮电;2008年
中国博士学位论文全文数据库 前10条
1 柯尧;协议分布式测试理论及系统可靠性研究[D];中国科学技术大学;2006年
2 彭德巍;移动Agent中间件平台及其测试模型研究[D];武汉大学;2004年
3 王之梁;基于形式化方法的分布式协议互操作性测试研究[D];清华大学;2006年
4 徐天奇;基于IEC61850的数字化变电站信息系统构建及可靠性研究[D];华中科技大学;2009年
5 黄传动;通信协议的分布式测试方法研究和测试系统实现[D];中国科学技术大学;2006年
6 张岩;列车运行控制系统软件故障相关形式化测试方法[D];北京交通大学;2012年
7 吕淼;宽带接入网的网络规划与网络管理关键技术研究[D];北京邮电大学;2010年
8 李本亮;基于无线局域网的分布式测试系统实时性及时钟同步研究[D];电子科技大学;2011年
9 沈艳;分布式测试系统协作理论及其通信平台实时性研究[D];电子科技大学;2004年
10 王志颖;复杂装备智能机内测试技术研究[D];电子科技大学;2011年
中国硕士学位论文全文数据库 前10条
1 杨睿;一体化标识网络认证功能一致性测试的研究和实现[D];北京交通大学;2012年
2 张嘉伟;WLAN安全接入协议的一致性测试研究[D];西安电子科技大学;2010年
3 马哲;ETC专用短程通信标准的一致性测试工具的设计与实现[D];北京邮电大学;2012年
4 邢金强;TD-LTE终端射频一致性测试系统的设计与实现[D];北京邮电大学;2012年
5 夏璐;TD-LTE终端一致性测试容限与参考信号测量的研究[D];北京邮电大学;2011年
6 李清伟;ATS-QSIG协议的一致性测试[D];北京邮电大学;2010年
7 张哲;TD-LTE终端射频一致性测试系统研究与主控实现[D];北京邮电大学;2011年
8 杨俊宏;IEC61850报文一致性测试方法研究[D];华北电力大学(北京);2010年
9 陈岚岚;断路器DeviceNet现场总线通信适配器的设计与实现[D];湖南师范大学;2005年
10 张志雄;OSEK/VDX操作系统的一致性测试[D];中国科学技术大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026