收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于全观察者的多输入输出变迁系统拒绝测试研究

李中杰  
【摘要】:拒绝测试(refusal testing)是标号变迁系统LTS测试领域中的一个重要理论。在拒绝测试中,测试者不仅能检测到动作可以发生,而且能检测到动作不能发生,即动作被拒绝,从而具备了对系统任意状态下的合法和非法行为的完全的辨识能力。多输入输出变迁系统(MIOTS)拒绝测试是标号变迁系统拒绝测试在分布式特性测试方向上扩展的最新研究成果。本文的研究内容与结论包括: 综述了八十年代以来标号变迁系统及其扩展模型——输入输出变迁系统IOTS和多输入输出变迁系统MIOTS的拒绝测试理论。其中,MIOTS拒绝测试理论是基于单一观察者的。 单一观察者只能串行的观察各个输出通道,因此生成的测试集规模很大。为了有效减小测试集的规模,本文提出了全观察者概念,建立了一种基于全观察者的MIOTS拒绝测试理论框架,研究了合理的及完备的全观察者测试集的生成问题,考察了全观察者测试在网络协议测试中的应用。本文进一步指出了分解式的MIOTS单一观察者测试生成方法在生成效率上的问题,给出了一种优化分解技术,并在此基础上提出了分解式的MIOTS全观察者测试生成方法。 分布式测试是使用多个测试器对一个系统进行测试的一种方法。本文分别研究了MIOTS单一观察者和全观察者测试的分布式测试结构和分布算法,在分布式测试方向上发展了MIOTS拒绝测试理论。对MIOTS模型的一种特例多端口有限状态机np-FSM,本文提出了一种基于定时器的测试协调机制及相应的分布式测试序列生成算法,与MIOTS分布式测试相比更简单而容易应用。我们说明了np-FSM测试是全观察者MIOTS拒绝测试的一种特殊形式。 以np-FSM模型及其分布式测试方法为基础,本文提出了一种适用于IP路由协议的路由信息处理功能的测试框架,包括功能模型、测试结构、测试描述脚本等。根据这个框架实现的一致性测试器,有效的支持了快速度、高质量的测试开发,成为已有通用测试系统的有力补充。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 朱正凯;;多输入输出与正交频分复用系统技术探析[J];黑龙江科技信息;2009年26期
2 薛立山;李峰;刘自龙;;MIMO-OFDM技术及其在局域网中应用[J];科协论坛(下半月);2008年12期
3 岳丽全;王华;岳志高;;路由器多端口并发性能测试研究[J];中国高新技术企业;2009年01期
4 张桂忠;陈国瑞;许家栋;;8mm波段E面七端口结的设计[J];宇航计测技术;1986年02期
5 黄光奇;SCMP中共享多端口数据Cache结构的研究[J];计算机工程与科学;2002年01期
6 刘岩,候朝焕;采用0.18μm CMOS工艺的多端口SRAM设计[J];微电子学与计算机;2005年09期
7 何云斌;张玉芬;;多端口SDRAM控制器的设计与实现[J];微计算机信息;2009年14期
8 杨洲;王积勤;张晨新;;微带一分四路功率分配器的研究[J];弹箭与制导学报;2005年S7期
9 ;Microsemi推出符合IEEE 802.3at标准60W多端口以太网供电中跨设备[J];电子与电脑;2011年02期
10 朱佩佩;;无线通信中MIMO-OFDM系统研究[J];黑龙江科技信息;2008年12期
11 ;罗德与施瓦茨公司推出第一台高达67 GHz的四端口矢量网络分析仪[J];国外电子测量技术;2010年04期
12 许鹏;汪晋宽;祁峰;;MIMO-OFDM系统角域LS信道估计算法[J];信息与控制;2009年06期
13 郭磊;朱光喜;;一种部分信道响应环境中的多用户MIMO-OFDM自适应子载波分配优化算法[J];电子与信息学报;2008年07期
14 许鹏;汪晋宽;祁峰;;一种改善的MIMO-OFDM系统MAP信道估计[J];东北大学学报(自然科学版);2010年01期
15 许鹏;汪晋宽;祁峰;;改进的高效MIMO-OFDM系统EM信道估计算法[J];通信学报;2011年01期
16 孔祥莲;关于R/S构型判断方法的讨论[J];大庆石油学院学报;1985年02期
17 许鹏;汪晋宽;祁峰;;基于奇异值分解的MIMO-OFDM系统角域MAP信道估计算法[J];电波科学学报;2009年05期
18 许鹏;汪晋宽;祁峰;;一种性能更好的MIMO-OFDM系统MAP信道估计算法[J];计算机研究与发展;2011年01期
19 朱近康;;新兴发展的无线通信技术和网络[J];中国科学技术大学学报;2008年07期
20 梁昌洪,邱长兴,杨德顺;多端口技术中N个圆的回归交点[J];电子学报;1989年01期
中国重要会议论文全文数据库 前10条
1 邱长兴;梁昌洪;韩毅;;多端口无耗网络的广义测量方程[A];1989年全国微波会议论文集(上)[C];1989年
2 何晓静;赵建农;吴伟;;正常肝脏MRI BOLD成像可行性探讨[A];中华医学会第16次全国放射学学术大会论文汇编[C];2009年
3 杨少华;夏惊涛;郭明安;王群书;李斌康;孙凤荣;;多端口高帧频图像数据的实时远程传输[A];第九届全国信息获取与处理学术会议论文集Ⅰ[C];2011年
4 吴新年;汪云九;;立体视觉计算模型的惟一性约束[A];新世纪 新机遇 新挑战——知识创新和高新技术产业发展(上册)[C];2001年
5 李厥宝;叶祥明;林坚;刘晓林;闻万顺;周亮;;步态分析实验室中脑瘫儿童和年轻成人静态检测:技术和观察者一致性[A];2008年浙江省物理医学与康复学术年会暨中枢神经功能损伤康复新进展学习班论文汇编[C];2008年
6 郭利强;焦永昌;唐家明;;用微波多端口技术测量粉末状材料复电磁参数[A];第二届全国信息获取与处理学术会议论文集[C];2004年
7 赵殿江;马大庆;贺文;;CT肺动脉造影诊断肺栓塞的观察者一致性研究[A];中华医学会第十三届全国放射学大会论文汇编(下册)[C];2006年
8 陶维东;闫京江;赫明洁;孙弘进;;Tau线索与距离线索对泊车行为的影响[A];第十一届全国心理学学术会议论文摘要集[C];2007年
9 荆其诚;焦书兰;张武田;R.Over;;不同时相日光下的颜色恒常性[A];中国心理学会第三次会员代表大会及建会60周年学术会议(全国第四届心理学学术会议)文摘选集(下)[C];1981年
10 王楚义;范轶勇;陈华伟;;多端口并发测试系统同步管理机制技术研究[A];四川省通信学会2006年学术年会论文集(二)[C];2006年
中国博士学位论文全文数据库 前10条
1 李中杰;基于全观察者的多输入输出变迁系统拒绝测试研究[D];清华大学;2004年
2 黄光奇;SCMP中共享多端口数据Cache结构的研究[D];中国人民解放军国防科学技术大学;2000年
3 单飞;肺癌64层螺旋CT容积灌注的临床应用研究[D];复旦大学;2009年
4 何国经;红外成像系统性能评估方法研究[D];西安电子科技大学;2008年
5 夏翠然;青光眼视盘影像检查和视神经损伤的基因调控及银杏提取液对其保护作用的研究[D];首都医科大学;2002年
6 常洪花;光电图像背景杂波的定量表征及其对成像系统目标获取性能的影响[D];西安电子科技大学;2006年
7 赵亮;空间词汇系统的认知语义分析[D];中国人民解放军外国语学院;2007年
8 祝东平;汉语时间感知模式与相关汉语因素研究[D];吉林大学;2009年
9 熊斌;滑动多层MRI在直肠癌M分期中的价值[D];华中科技大学;2008年
10 陈莹;时间自我:过去我、现在我和将来我的一致与不一致[D];西南大学;2008年
中国硕士学位论文全文数据库 前10条
1 张雯;多输入多输出系统的关键技术研究[D];西北工业大学;2006年
2 陈穗光;宽带无线接入系统中的信道估计技术[D];西安电子科技大学;2007年
3 周健;准正交空时码的差分检测研究及其DSP实现[D];苏州大学;2009年
4 龚霄翔;MIMO-OFDM无线系统信道估计和均衡技术研究[D];上海交通大学;2007年
5 郑维珺;基于训练序列的MIMO-OFDM信道估计技术[D];上海交通大学;2007年
6 王启伟;下行LTE-A系统中的小区间干扰抑制研究[D];南京邮电大学;2011年
7 成军;汉语中时间隐喻空间化表征的认知研究[D];西南师范大学;2004年
8 高月波;他者的观察[D];山东大学;2007年
9 刘靓婷;永远的观察者[D];上海戏剧学院;2009年
10 张超;带观察者的实用电子现金系统[D];中国人民解放军信息工程大学;2002年
中国重要报纸全文数据库 前10条
1 本报记者 张友实习记者 刘振盛 徐恺;外地炒房团大举入渝 三大因素放大投资风险[N];21世纪经济报道;2007年
2 ;加藤嘉一:天生观察者[N];哈尔滨日报;2011年
3 文楚安;小说人物:观察者与被观察者[N];中华读书报;2003年
4 叶莲;“观察者”拟跟踪全部在轨卫星[N];北京日报;2009年
5 ;轻松拥有多端口交换机[N];中国电脑教育报;2002年
6 徐以升;樊纲:中国宏观经济观察者[N];第一财经日报;2007年
7 张韬;携海量用户 百度进军“数据新闻”[N];上海证券报;2007年
8 本刊记者 袁朝晖;孙明春 潜心修炼的观察者[N];经济观察报;2007年
9 CPW记者 于洪涛;D-Link DFB-H7多端口整合集线器可连接多种外设[N];电脑商报;2004年
10 本报记者 卢子月;多频段多端口天线的新机遇[N];通信产业报;2010年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978