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

铁路信号安全协议一致性测试序列生成研究

杨世玉  徐中伟  喻钢  张盛  
【摘要】:铁路信号安全协议(RSSP-I)是实现高速铁路安全运行的保障,协议一致性测试的核心是生成完备有效的测试序列。针对铁路信号安全协议的实时性要求,提出了带时间约束的FSM(Finite State Machine)模型,并在此模型基础上生成状态的UIO(Unique Input/Output sequences)序列,最后采用基于收敛边的算法生成了较其他算法更短的一致性测试序列,从而提高了测试效率。

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 徐广华;王良民;詹永照;;基于WSN的坡道转弯提醒系统的研究与实现[J];计算机应用研究;2010年01期
2 景云;王慈光;王如义;唐建桥;;运用学习规则求解编组站静态配流问题的研究[J];铁道运输与经济;2010年01期
3 王吉;李建华;靳立强;宋传学;;基于AMESim与Simulink/Stateflow的汽车ABS联合建模与仿真研究[J];汽车技术;2010年01期
4 彭坤;徐世杰;陈统;;基于引导型人工免疫算法的最优Lambert变轨[J];北京航空航天大学学报;2010年01期
5 王锐;李羚伟;郭波;马武彬;;一种基于多目标多约束的战时抢修力量调度[J];兵工自动化;2010年01期
6 石志国;王志良;刘冀伟;张晓星;;基于周期时间限制的多机器人自主委托协作模型[J];机器人;2010年01期
7 王辉;陈红林;;一种改进的基于时间约束的无人机任务分配模型[J];电光与控制;2010年02期
8 李树江;张学文;孔丽新;;进化规划在中央空调空气处理系统中的应用[J];沈阳工业大学学报;2010年01期
9 任帆;吕学志;于永利;;军用飞机再次出动准备时间仿真预计方法研究[J];项目管理技术;2010年03期
10 王耀琦;王小鹏;;基于有限状态机的BLDC控制器的设计[J];自动化与仪器仪表;2010年02期
中国重要会议论文全文数据库 前10条
1 徐三子;梁华国;顾婉玉;刘杰;;基于无关位动态赋值的幂次划分测试压缩方案[A];第六届中国测试学术会议论文集[C];2010年
2 张送保;张维明;曾前腾;王光新;;基于冗余的动态适应性复杂体系的冗余负效益分析[A];广西计算机学会2010年学术年会论文集[C];2010年
3 许伟;杨正球;;基于SaaS的企业问题管理系统设计与实现[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集(下册)[C];2010年
4 孙栋栋;王玉斌;马争先;张净;;基于NS2的队列管理机制RED的研究及仿真[A];广西计算机学会2010年学术年会论文集[C];2010年
5 谈国新;周穆雄;钟正;;虚拟场景中多Agent行为交互技术研究[A];第六届和谐人机环境联合学术会议(HHME2010)、第19届全国多媒体学术会议(NCMT2010)、第6届全国人机交互学术会议(CHCI2010)、第5届全国普适计算学术会议(PCC2010)论文集[C];2010年
6 张锦盛;丁勇;;基于动态脚本的软件构件化开发设计方法[A];2010国际计算机科学技术与应用论坛论文集[C];2010年
7 汪鑫;周凤星;;AT89S52与PC机间的串口通信模式设计[A];全国冶金自动化信息网2009年会论文集[C];2009年
8 徐金荣;李允;;基于Linux系统的BGP协议的设计与实现[A];2009国际信息技术与应用论坛论文集(上)[C];2009年
9 武茂春;李华;王龙;;一种互操作场景中策略路由的建模与测试[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
10 谢美全;苏梅;毛保华;高利平;梁肖;;基于高速线网的周期性列车运行图问题研究[A];2009中国控制与决策会议论文集(2)[C];2009年
中国博士学位论文全文数据库 前10条
1 李华;基于属性的网络协议建模与互操作性测试方法研究[D];内蒙古大学;2010年
2 何所惧;人工智能在游戏中的应用:游戏玩家的实时建模及对手的智能适配[D];北京邮电大学;2010年
3 徐峰;时间约束下数字系统的设计空间搜索方法研究[D];复旦大学;2010年
4 王立超;系统可用度匹配化分析与设计[D];南京理工大学;2009年
5 尚宗敏;智能流程异常处理的若干关键技术研究[D];山东大学;2009年
6 李勇;物流保障网络级联失效抗毁性研究[D];国防科学技术大学;2009年
7 盛立新;虚拟物流企业伙伴选择研究[D];国防科学技术大学;2009年
8 凌睿;悬臂式掘进机器人高阶滑模控制研究[D];重庆大学;2009年
9 吕新桥;联机手写汉字识别技术研究[D];华中科技大学;2009年
10 施炜;交通应急模型及其算法研究[D];浙江大学;2009年
中国硕士学位论文全文数据库 前10条
1 郭延霞;国标DSRC协议测试套的设计与实现[D];华东师范大学;2010年
2 王伟;基于有限状态机的分子生物学系统建模研究[D];山东大学;2010年
3 田民杰;EPA一致性测试技术与系统研发[D];浙江大学;2010年
4 高丹丹;无线认证协议的模型检测与分析研究[D];长春理工大学;2010年
5 高勃;基于工作流的科研管理信息系统的设计与实现[D];北京交通大学;2010年
6 王建军;基于多维Petri网的工作流模型研究[D];燕山大学;2010年
7 周小涵;一种针对基于构件的嵌入式实时软件的测试方法[D];西南大学;2010年
8 阳淦婷;游戏软件故障管理及注入技术研究[D];北方工业大学;2010年
9 李东林;基于TTCN-3的TLS安全软件测试工具的设计与实现[D];北方工业大学;2010年
10 娄崇君;基于QP和IwIP的嵌入式网络应用[D];吉林大学;2010年
中国重要报纸全文数据库 前10条
1 王月;招商银行推出远程银行[N];中国城乡金融报;2010年
2 通讯员王亚军;理财讲堂开进政协礼堂[N];中国城乡金融报;2010年
3 记者 杨光林 通讯员 曹越迪;新桥镇成立项城市首个社会法庭[N];周口日报;2010年
4 记者 岳晋峰;省地税网上申报系统上线运行[N];山西日报;2010年
5 张静;大唐移动终端测试系统成为中国移动首选[N];人民邮电;2010年
6 本报记者 诸玲珍;TD测试国内企业抢风头[N];中国电子报;2010年
7 房地产研究人士 杨红旭;10亿平方米土地闲置 罪责不能全归开发商[N];东方早报;2010年
8 ;吴建平:中国互联网先驱[N];计算机世界;2010年
9 樊丽萍;直击城市“陪读村”[N];文汇报;2010年
10 证券时报记者 韦小敏;国泰君安:房地产业反转趋势不明[N];证券时报;2009年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978