论基于进路制约过程联锁软件高效率测试方法

论文导读：算机联锁系统的通信可靠性研究;北方交通大学学报;、吴江娇,高文洪;采用智能单元式制约台实现计算机联锁系统的人机交互;北京交通大学学报;、廖亮;王海峰-基于NHPP模型的联锁软件可靠性评估;北京交通大学学报;、黄翌虹;段东-区域计算机联锁系统站间安全通信研究;北京交通大学学报;、燕飞;郜春海;唐涛-国产CBTC系统安全
基于进路制约过程的联锁软件高效率测试方法论文相关文献王军,吴芳美;区域联锁传输通道的安全性理由及仿真[J];城市轨道交通研究;、李秋英,阮镰,刘斌;软件可靠性测试充分性研究[J];测控技术;、伦立军,赵辰光,丁雪梅,李英梅;软件测试充分性研究[J];计算机工程与应用;、颜炯;王戟;陈火旺-基于模型的软件测试综述[J];计算机科学;、杨劲涛;郭荷清-黑盒测试用例基的研究[J];计算机工程与科学;、王子元;徐宝文;聂长海-组合测试用例生成技术[J];计算机科学与探索;、覃崇乾,吴芳美;一种搜索与交互相结合的联锁表自动生成算法[J];上海铁道大学学报(理工辑);1999年12期、屠海滢,吴芳美;铁路车站通用信号仿真系统的研究与实现[J];铁道学报;1999年05期、徐中伟,吴芳美;嵌入式联锁软件模拟自动测试平台的研究[J];铁道学报;、刘磊;穆建成;禹志阳-基于故障注入的CTCS-3级列控系统仿真测试的研究[J];铁路计算机应用;【共引文献】 中国期刊全文数据库丁蕾;方木云-简述软件测试的白盒测试法[J];安徽科技;、宋春秀-面向对象软件测试技术的研究[J];信息安全与技术;、赵会兵,赵明;城市轨道交通ATP仿真系统的初步研究[J];北方交通大学学报;、黄翌虹,张源,段东;计算机联锁系统的通信可靠性研究[J];北方交通大学学报;、吴江娇,高文洪;采用智能单元式制约台实现计算机联锁系统的人机交互[J];北京交通大学学报;、廖亮;王海峰-基于NHPP模型的联锁软件可靠性评估[J];北京交通大学学报;、黄翌虹;段东-区域计算机联锁系统站间安全通信研究[J];北京交通大学学报;、燕飞;郜春海;唐涛-国产CBTC系统安全认证模式探索[J];北京交通大学学报;、蒋熙,何元元,张晓霖,马建军,石雨,段俊萍;列车接发与调度模拟实验系统中信联闭的研究[J];北方交通大学学报;1996年06期、赵志熙;从电气联锁到计算机联锁[J];北方交通大学学报;1998年05期 张克宏-藏文文献数字化保护系统面向对象的集成测试研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];刊全文数据库赵军喜,张毅,孙庆辉;利用UML设计与实现地图符号编辑器[J];测绘通报;、孙永梅,叶家金,郭宇明;车站联锁制约系统的仿真[J];大连铁道学院学报;、王强,李红侠;城市轨道交通信号系统的设计方案探讨[J];城市轨道交通研究;、徐应诗;刘斌;阮镰-基于故障注入的仿真测试策略过程框架[J];测控技术;、徐宝文;聂长海;史亮;陈火旺-一种基于组合测试的软件故障调试策略[J];计算机学报;、聂长海;徐宝文;史亮-一种新的二水平多因素系统两两组合覆盖测试数据生成算法[J];计算机学报;、史亮;聂长海;徐宝文-基于解空间树的组合测试数据生成[J];计算机学报;、王子元;聂长海;徐宝文;史亮-相邻因素组合测试用例集的最优生成策略[J];计算机学报;、林青;关于仿真系统建模的探讨[J];计算机仿真;、屠海滢,吴芳美;面向软件黑箱测试的仿真环境嵌入故障研究[J];软件学报;1999年05期【相似文献】 中国期刊全文数据库高聪杰;齐杏林-引信软件可靠性测试用例生成研究[J];四川兵工学报;、马海云;张忠林-马尔科夫链模型在软件可靠性测试中的应用研究[J];计量技术;、李冬霞;张雪庆-基于ARM的USB读卡器设计与测试[J];中国民航大学学报;、张琛;段振华-应用UML2.0模型的测试用例生成策略[J];西安交通大学学报;、鱼明哲-缩减软件测试工作量的途径[J];飞行器测控学报;1993年03期、周虹,温培刚,金玉红,赵世敏;实时弹载计算机软件动态测试平台[J];上海航天;、武装,王志伟,杨厚云;一种国际化程序测试模型的研究[J];北京机械工业学院学报;、高燕,沈理;寄存器传输级测试用例生成算法[J];计算机辅助设计与图形学学报;、楚旺;钱德沛-利用体系结构的建模策略支持测试设计的重用[J];华中科技大学学报(自然科学版);、张卫民;陈宏敏-几种特定判定形式的MC/DC评估分析[J];飞行器测控学报; 吉大纯;陈蕾;梁静;邵四海-基于PG框架的软件结构测试用例自动生成研究[A];第十四届全国容错计算学术会议(CFTC'、王道堂;林春哲;张凯-软件测试用例构造策略与手段[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];、张成才;梁永会;李红伟-河南航道基础地理信息系统测试方案研究与设计[A];《测绘通报》测绘科学前沿技术论坛摘要集[C];、戴骏炜-软件自动化测试工具的引入[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];、牛建义;杨正球-基于HtmlParser的Web测试自动化的设计[A];、万琳;张威;马雪雁;陈曼青-基于路径的测试用例自动生成技术[A];第十届全国容错计算学术会议论文集[C];、王娜;孙敏-软件测试策略研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];、田丽芳;刘栓-软件测试的学习策略探究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];、张二梅;刘辰;杨正球-基于HTMLParser自动生成测试用例的研究[A];、孟洛明-安全性测试及基于属性文法的测试用例生成器[A];第四次全国计算机安全技术交流会论文集[C];1989年
论文目录
致谢5-6
中文摘要6-7
ABSTRACT7-12
1绪论12-24

1.1计算机联锁系统概述12-15

1.1车站信号系统12-13

1.2进路制约与联锁13-14

1.3车站计算机联锁介绍14-15

1.2软件测试概述15-19

1.2.1软件测试的重要性16

1.2.2软件测试策略16-论文导读：

19

1.3计算机联锁测试研究目前状况19-20

1.4论文研究作用20-21

1.5论文结构21-24

2联锁软件的测试需求及理由描述24-36

2.1联锁软件输入输出模型24-25

2.

1.1输入输出数据类型24

2.

1.2输入输出模型分析24-25

2.2联锁软件功能测试需求25-28

2.1联锁软件结构模块26

2.2模拟仿真测试内容26-28

2.3现场信号测试内容28

2.3联锁软件测试策略28-30

2.3.1人工测试策略28-29

2.3.2自动测试策略29-30

2.4理由的提出及解决方案30-35

2.4.1提出理由30-33

2.4.2解决方案33

2.4.3测试用例约简理由分析33-35

2.5小结35-36

3基于进路制约过程的组合测试策略36-58

3.1测试用例的构造原则36-37

3.2组合测试技术生成测试用例集37-44

3.

2.1概念及性质37-38

3.

2.2两两组合覆盖测试技术38

3.

2.3AETG算法38-40

3.

2.4网络组合算法40-43

3.

2.5相关算法比较43-44

3.3基于进路制约过程进行测试44-57

3.1进路制约模块结构44-47

3.2网络组合优化算法47-49

3.3进路选择锁闭阶段测试策略49-51

3.4信号开放阶段测试策略51-53

3.5信号开放保持阶段测试策略53-54

3.6进路解锁阶段测试策略54-56

3.7联锁软件测试规则56-57

3.4小结57-58

4测试系统应用验证58-72

4.1总体结构设计58

4.2测试算法应用验证58-64

4.

2.1被测站场相关数据58-60

4.

2.2进路选择锁闭阶段生成测试用例60-62

4.

2.3信号开放阶段生成测试用例62

4.

2.4信号开放保持阶段生成测试用例62-63

4.

2.5进路解锁阶段生成测试用例63-64

4.3测试结果分析64-67
4.

3.1测试效率分析64-66

4.

3.2测试充分性分析66-67

4.4关键技术及功能特点67-70

4.1Eclipse开发平台67

4.2UDP通信技术67-68

4.3功能特点与界面68-70

4.5小结70-72

5总结与展望72-74

5.1总结72

5.2展望72-74

参考文献74-76
附录A76-78
图索引78-80
表索引80-82
作者简历82-86
学位论文数据集86
计算机联锁组合覆盖测试进路控制测试用例优化效率
参考文献
王立新;软件测试数据的高效生成及测试策略研究[D];东华大学;刊全文数据库赵军喜,张毅,孙庆辉;利用UML设计与实现地图符号编辑器[J];测绘通报;、孙永梅,叶家金,郭宇明;车站联锁制约系统的仿真[J];大连铁道学院学报;、王强,李红侠;城市轨道交通信号系统的设计方案探讨[J];城市轨道交通研究;、徐应诗;刘斌;阮镰-基于故障注入的仿真测试策略过程框架[J];测控技术;、徐宝文;聂长海;史亮;陈火旺-一种基于组合测试的软件故障调试策略[J];计算机学报;、聂长海;徐宝文;史亮-一种新的二水平多因素系统两两组合覆盖测试数据生成算法[J];计算机学报;、史亮;聂长海;徐宝文-基于解空间树的组合测试数据生成[J];计算机学报;、王子元;聂长海;徐宝文;史亮-相邻因素组合测试用例集的最优生成策略[J];计算机学报;、林青;关于仿真系统建模的探讨[J];计算机仿真;、屠海滢,吴芳美;面向软件黑箱测试的仿真环境嵌入故障研究[J];软件学报;1999年05期【相似文献】 中国期刊全文数据库高聪杰;齐杏林-引信软件可靠性测试用例生成研究[J];四川兵工学报;、马海云;张忠林-马尔科夫链模型在软件可靠性测试中的应用研究[J];计量技术;、李冬霞;张雪庆-基于ARM的USB读卡器设计与测试[J];中国民航大学学报;、张琛;段振华-应用UML2.0模型的测试用例生成策略[J];西安交通大学学报;、鱼明哲-缩减软件测试工作量的途径[J];飞行器测控学报;1993年03期、周虹,温培刚,金玉红,赵世敏;实时弹载计算机软件动态测试平台[J];上海航天;、武装,王志伟,杨厚云;一种国际化程序测试模型的研究[J];北京机械工业学院学报;、高燕,沈理;寄存器传输级测试用例生成算法[J];计算机辅助设计与图形学学报;、楚旺;钱德沛-利用体系结构的建模策略支持测试设计的重用[J];华中科技大学学报(自然科学版);、张卫民;陈宏敏-几种特定判定形式的MC/DC评估分析[J];飞行器测控学报; 吉大纯;陈蕾;梁静;邵四海-基于PG框架的软件结构测试用例自动生成研究[A];第十四届全国容错计算学术会议(CFTC'待一致性解决方案[N];中国电子报;、罗德与施瓦茨中国有限公司 周云;罗德与施瓦茨领跑HSPA测试[N];通信产业报;、武刚;测试是质量的关键[N];中国计算机报;、罗德与施瓦茨中国有限公司 刘昶;用规范化“通畅”PoC测试[N];通信产业报;、特约撰稿张勇;基于需求的测试：确保需求与软件的统一[N];计算机世界; 中国博士学位论文全文数据库潘丽丽;软件测试用例集简化及其构建策略研究[D];湖南大学;、李丽;航天相机主控软件测试用例自动生成技术的研究[D];中国科学院研究生院（长春光学精密机械与物理研究所）;、游亮;回归测试用例选择技术研究[D];华中科技大学;、张娟;软件测试中测试用例复用的研究[D];上海大学;、钱思佑;图形用户界面测试中相关理由研究[D];中国科学技术大学;、刘振宇;服务网格环境中场景测试的关键技术研究[D];复旦大学;、李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;、王立新;软件测试数据的高效生成及测试策略研究[D];东华大学;、陈翔;组合测试技术及应用研究[D];南京大学;、张琛;基于UML2.0模型的测试与验证策略[D];西安电子科技大学; 中国硕士学位论文全文数据库石艳敏;基于进路制约论文导读：
过程的联锁软件高效率测试策略研究[D];北京交通大学;、牟余鑫;基于测试用例的缺陷跟踪管理工具的设计与实现[D];吉林大学;、章烨;Fuzz安全测试技术研究[D];西安电子科技大学;、高凯;嵌入式实时操作系统性能测试策略的研究与应用[D];青岛大学;、许扬;ATE软件测试策略及实例研究[D];电子科技大学;、黄志华;基于规格说明的测试用例生成策略及其在实时嵌入式软件测试中的应用[D];新疆大学;、殷广丽;软件测试管理与测试应用实践[D];山东大学;、高超;实时CORBA平台一致性测试的研究与实现[D];北京邮电大学;、高秋;GMTAF测试自动化框架的设计与实现[D];浙江大学;、杨帆;基于系统测试的测试管理工具的开发及其应用研究[D];同济大学;