计算机联锁软件仿真测试方法研究
发布时间：2021-11-08 03:06
计算机联锁系统是保证车站内行车安全的关键设备,是高安全性、高可靠性的实时系统,在投入使用前需要进行全面、严格的测试。由于联锁系统涉及到的工程量十分庞大,依赖于现场试验很难遍历其功能发现漏洞,利用计算机仿真测试技术可降低测试损耗,但在测试过程中依然面临着依赖专业人员手工操作、测试重复步骤多、测试耗时长等难题,测试效率难以提高。针对上述情况,本人提出了一种计算机联锁软件仿真测试方法,该方法利用时间自动机模型自动生成测试序列,利用萤火虫算法自动优化测试序列,最后结合实际站场数据自动执行测试序列。主要内容包括:（1）提出了一种基于进路控制的自动测试框架,该框架基于传统测试需求文档,通过分析计算机联锁软件测试需求,并根据进路控制时序逻辑将其包含的功能场景重组成了可以连续执行的测试项,减少一定重复操作的同时为后续对联锁的建模奠定了基础。（2）使用UPPAAL工具建立了基于进路控制的联锁系统时间自动机模型,该模型包含驱动测试、进路建立、自动解锁、取消进路、人工解锁和区段故障解锁六个子模型,子模型之间可进行信息交互,并利用该工具自带的仿真和验证功能证明了模型的正确性,引入辅助软件CoVer自动生成了覆...
【文章来源】：北京交通大学北京市 211工程院校 教育部直属院校
【文章页数】：124 页
【学位级别】：硕士
【部分图文】：
图２－１计算机联锁系统软件结构??Ｆｉｇｕｒｅ?２－１?Ｓｏｆｔ?ｓｔｒｕｃｔｕｒｅ?ｏｆ?ｃｏｍｐｕｔｅｒ?ｉｎｔｅｒｌｏｃｋｉｎｇ??
进路控制过程划分成三个部分：进路建立前、进路建立后和进路解锁。仿真测试平??台的起始状态应为初始化的站场，即区段全部空闲、信号机全部关闭并且道岔全部??处于定位未锁闭状态。其总体测试流程如图２－３所示。??ｆ?进路正常建立?进路不能建立：￣??…：………４???进路内?▲??设备状态变化?＾??，?Ｉ?２?进路外??５?，?＾?Ｊ?ｆ?设备状态变化??后ｆ道Ｉ?Ｉ?＞鋒??ｍ?段路＆?．??是否占用接近区段？?自动解锁??解?／?＼?／?＼?Ｉ??＾?取人?正调?故??消工?常车?障??进解?解折?解??路?锁?锁?返?锁??图２－３总体测试流程??Ｆｉｇｕｒｅ?２－３?Ｏｖｅｒａｌｌ?ｔｅｓｔ?ｐｒｏｃｅｓｓ??１１??
系＾??＿ｍ????Ｉ?｜车站信号设备仿真环境１??测?ｖ￣??？?仿真和令??＾——自动测试调度和结果动态判定—??开＾?判??始?定??测?结??试?Ｉ?＾??图２－２联锁仿真测试系统输入输出模型??Ｆｉｇｕｒｅ?２－２?Ｉｎｐｕｔ?ａｎｄ?ｏｕｔｐｕｔ?ｍｏｄｅｌ?ｏｆ?ｉｎｔｅｒｌｏｃｋｉｎｇ?ｓｉｍｕｌａｔｉｏｎ?ｔｅｓｔ?ｓｙｓｔｅｍ??联锁测试是以进路为测试对象按照进路表顺序对其逐一测试，测试流程按照??进路控制过程划分成三个部分：进路建立前、进路建立后和进路解锁。仿真测试平??台的起始状态应为初始化的站场，即区段全部空闲、信号机全部关闭并且道岔全部??处于定位未锁闭状态。其总体测试流程如图２－３所示。??
【参考文献】：
期刊论文
[1]基于深度学习与遗传算法的动车组与ATP车载设备接口试验测试序列优化生成[J]. 袁磊,甘庆鹏,李开成,付强. 铁道学报. 2018(03)
[2]基于萤火虫-免疫算法的CVIS测试序列优化方法[J]. 上官伟,张凤娇,蔡伯根,王剑. 中国公路学报. 2017(11)
[3]计算机联锁处理子系统的自动化测试平台及其应用[J]. 朱明玲,刘锦峰,陈晓轩. 铁道通信信号. 2017(09)
[4]铁路计算机联锁系统安全关键软件的安全性能建模方法[J]. 李耀,张亚东,郭进,晏姗,饶畅,曹雅鑫. 中国铁道科学. 2017(02)
[5]白盒测试技术在动态软件测试中的应用研究[J]. 王春平. 无线互联科技. 2014(01)
[6]进路建立过程的时间有色petri网建模与仿真[J]. 秦发园,戴胜华,徐昱. 计算机工程与应用. 2015(08)
[7]基于路径优化算法的测试序列自动生成及验证[J]. 梁茨,郑伟,李开成,唐涛. 铁道学报. 2013(06)
[8]形式化故障树分析建模和软件安全性测试[J]. 徐中伟,吴芳美. 同济大学学报(自然科学版). 2001(11)
[9]计算机联锁软件测试评估[J]. 吴芳美. 铁路计算机应用. 1999(01)
硕士论文
[1]车路协同系统仿真测试序列生成及优化方法研究[D]. 杨森.北京交通大学 2015
[2]基于改进蚁群算法的测试序列优化算法[D]. 胡乃文.北京交通大学 2015
[3]航空软件测试用例自动生成方法研究[D]. 曹爽.南京航空航天大学 2010
[4]计算机联锁软件仿真测试系统的研究与实现[D]. 韦启盟.西南交通大学 2008
[5]基于通用脚本引擎的自动测试平台及在安全测试中的应用[D]. 张浩.同济大学 2006
本文编号：3482882
【文章来源】：北京交通大学北京市 211工程院校 教育部直属院校
【文章页数】：124 页
【学位级别】：硕士
【部分图文】：
图２－１计算机联锁系统软件结构??Ｆｉｇｕｒｅ?２－１?Ｓｏｆｔ?ｓｔｒｕｃｔｕｒｅ?ｏｆ?ｃｏｍｐｕｔｅｒ?ｉｎｔｅｒｌｏｃｋｉｎｇ??
进路控制过程划分成三个部分：进路建立前、进路建立后和进路解锁。仿真测试平??台的起始状态应为初始化的站场，即区段全部空闲、信号机全部关闭并且道岔全部??处于定位未锁闭状态。其总体测试流程如图２－３所示。??ｆ?进路正常建立?进路不能建立：￣??…：………４???进路内?▲??设备状态变化?＾??，?Ｉ?２?进路外??５?，?＾?Ｊ?ｆ?设备状态变化??后ｆ道Ｉ?Ｉ?＞鋒??ｍ?段路＆?．??是否占用接近区段？?自动解锁??解?／?＼?／?＼?Ｉ??＾?取人?正调?故??消工?常车?障??进解?解折?解??路?锁?锁?返?锁??图２－３总体测试流程??Ｆｉｇｕｒｅ?２－３?Ｏｖｅｒａｌｌ?ｔｅｓｔ?ｐｒｏｃｅｓｓ??１１??
系＾??＿ｍ????Ｉ?｜车站信号设备仿真环境１??测?ｖ￣??？?仿真和令??＾——自动测试调度和结果动态判定—??开＾?判??始?定??测?结??试?Ｉ?＾??图２－２联锁仿真测试系统输入输出模型??Ｆｉｇｕｒｅ?２－２?Ｉｎｐｕｔ?ａｎｄ?ｏｕｔｐｕｔ?ｍｏｄｅｌ?ｏｆ?ｉｎｔｅｒｌｏｃｋｉｎｇ?ｓｉｍｕｌａｔｉｏｎ?ｔｅｓｔ?ｓｙｓｔｅｍ??联锁测试是以进路为测试对象按照进路表顺序对其逐一测试，测试流程按照??进路控制过程划分成三个部分：进路建立前、进路建立后和进路解锁。仿真测试平??台的起始状态应为初始化的站场，即区段全部空闲、信号机全部关闭并且道岔全部??处于定位未锁闭状态。其总体测试流程如图２－３所示。??
【参考文献】：
期刊论文
[1]基于深度学习与遗传算法的动车组与ATP车载设备接口试验测试序列优化生成[J]. 袁磊,甘庆鹏,李开成,付强. 铁道学报. 2018(03)
[2]基于萤火虫-免疫算法的CVIS测试序列优化方法[J]. 上官伟,张凤娇,蔡伯根,王剑. 中国公路学报. 2017(11)
[3]计算机联锁处理子系统的自动化测试平台及其应用[J]. 朱明玲,刘锦峰,陈晓轩. 铁道通信信号. 2017(09)
[4]铁路计算机联锁系统安全关键软件的安全性能建模方法[J]. 李耀,张亚东,郭进,晏姗,饶畅,曹雅鑫. 中国铁道科学. 2017(02)
[5]白盒测试技术在动态软件测试中的应用研究[J]. 王春平. 无线互联科技. 2014(01)
[6]进路建立过程的时间有色petri网建模与仿真[J]. 秦发园,戴胜华,徐昱. 计算机工程与应用. 2015(08)
[7]基于路径优化算法的测试序列自动生成及验证[J]. 梁茨,郑伟,李开成,唐涛. 铁道学报. 2013(06)
[8]形式化故障树分析建模和软件安全性测试[J]. 徐中伟,吴芳美. 同济大学学报(自然科学版). 2001(11)
[9]计算机联锁软件测试评估[J]. 吴芳美. 铁路计算机应用. 1999(01)
硕士论文
[1]车路协同系统仿真测试序列生成及优化方法研究[D]. 杨森.北京交通大学 2015
[2]基于改进蚁群算法的测试序列优化算法[D]. 胡乃文.北京交通大学 2015
[3]航空软件测试用例自动生成方法研究[D]. 曹爽.南京航空航天大学 2010
[4]计算机联锁软件仿真测试系统的研究与实现[D]. 韦启盟.西南交通大学 2008
[5]基于通用脚本引擎的自动测试平台及在安全测试中的应用[D]. 张浩.同济大学 2006
本文编号：3482882
本文链接：https://www.wllwen.com/kejilunwen/zidonghuakongzhilunwen/3482882.html
