-
公开(公告)号：CN106814730A
公开(公告)日：2017-06-09
申请号：CN201611153324.4
申请日：2016-12-14
IPC分类号： G05B23/02
CPC分类号： G05B23/0213 , G05B2219/24065
摘要： 本发明涉及轨道交通领域，具体为列车运行控制系统安全关键软件测试用例生成方法，包括(1)根据列车运行控制系统的需求规范，采用状态图形式化地描述列车运行控制系统需求，然后通过仿真及模型检测方法验证模型的正确性。(2)根据步骤(1)所建立的状态图模型生成测试路径，(3)根据步骤(2)的测试路径，分析出边的测试场景的集合，采用组合覆盖的方式，生成测试用例。本发明提供的列车运行控制系统安全关键软件测试用例生成方法，测试用例能够覆盖列控系统安全关键软件的全部需求，同时不存在重复测试项；组合覆盖使得测试用例包含列控系统的小概率场景、异常事件，能够测试列控系统的安全性需求，提高测试效率，降低测试成本。
-
公开(公告)号：CN106802862B
公开(公告)日：2020-05-08
申请号：CN201611152749.3
申请日：2016-12-14
IPC分类号： G06F11/36
摘要： 本发明涉及轨道交通领域，具体为列车运行控制系统安全关键软件自动测试平台，包括建模子系统用于构建列车运行控制系统基础信号模型库和具体待测功能模型；测试路径生成子系统通过图覆盖算法生成测试路径；组合覆盖子系统在测试路径基础上对边场景变量进行组合，生成测试用例；通信接口子系统向被测设备发生测试用例数据，并采集被测设备的输出数据；测试结果分析子系统对测试过程中的数据进行分析，生成测试结果报告；数据管理子系统集中管理测试平台运行时必须的数据和文件。针对列车运行控制系统安全关键软件，本发明可以有效、全面的覆盖测试场景，提高测试效率，降低测试成本。
-
公开(公告)号：CN106814730B
公开(公告)日：2019-01-01
申请号：CN201611153324.4
申请日：2016-12-14
IPC分类号： G05B23/02
摘要： 本发明涉及轨道交通领域，具体为列车运行控制系统安全关键软件测试用例生成方法，包括(1)根据列车运行控制系统的需求规范，采用状态图形式化地描述列车运行控制系统需求，然后通过仿真及模型检测方法验证模型的正确性。(2)根据步骤(1)所建立的状态图模型生成测试路径，(3)根据步骤(2)的测试路径，分析出边的测试场景的集合，采用组合覆盖的方式，生成测试用例。本发明提供的列车运行控制系统安全关键软件测试用例生成方法，测试用例能够覆盖列控系统安全关键软件的全部需求，同时不存在重复测试项；组合覆盖使得测试用例包含列控系统的小概率场景、异常事件，能够测试列控系统的安全性需求，提高测试效率，降低测试成本。
-
-
公开(公告)号：CN108933788A
公开(公告)日：2018-12-04
申请号：CN201810715086.4
申请日：2018-07-03
申请人： 西南交通大学
CPC分类号： H04L63/12 , H04L9/0625 , H04L9/0631 , H04L9/3242 , H04W12/00
摘要： 一种基于FPGA的RSSP-II协议MAC码快速验证装置，FPGA1和FPGA2中均通过编程语言硬件编程有以下模块：数据接口模块、MAC调度模块、DES模块、双通道比较模块。其中DES模块包括DES顶模块，DES core模块，Key_schedule子密钥生成模块，crp单轮循环模块。双通道比较模块用于两个FPGA间通信，构成二取二结构，当两个FPGA结果不一致时，通过数据接口模块给CPU发送双通道比较状态标志；若通过双通道比较，则进行后续消息传输，否则进入错误处理程序。本发明采用有限状态机以及流水线的设计方法，在保证处理速度的基础上，充分考虑到系统资源的消耗，达到了速度与面积的平衡。本发明有效降低了高速铁路车地无线安全通信RSSP-II协议的CPU资源占用，极大提高数据吞吐量，缩短车地鉴权时延，具有更高的安全性和可靠性。
-
公开(公告)号：CN117215290A
公开(公告)日：2023-12-12
申请号：CN202311429564.2
申请日：2023-10-31
申请人： 西南交通大学
IPC分类号： G05B23/02
摘要： 本发明涉及一种高铁信号系统工程测试平台，数据管理子系统生成测试数据及测试用例。测试执行子系统向信号设备发送测试信息，向信号设备提供IO信息和TC通信信息，配合执行测试用例。测试执行子系统对设备间的通信数据进行数据镜像，接收信号设备的通信输出，接收信号设备的IO输出，结合测试用例对信号设备的输出结果自动进行判断。线路环境仿真子系统模拟继电器接口架至室外的工程线路，模拟列车占用、设置线路设备状态。列车仿真子系统提供ATP与车辆间的接口，提供测试技术。GSM‑R网络仿真子系统提供网通道。本发明保证信号系统室内仿真测试环境与现场工程环境之间的一致性，提高了信号工程测试安全性、正确性、完备性和效率。
-
-
公开(公告)号：CN108933788B
公开(公告)日：2020-11-06
申请号：CN201810715086.4
申请日：2018-07-03
申请人： 西南交通大学
摘要： 一种基于FPGA的RSSP‑II协议MAC码快速验证装置，FPGA1和FPGA2中均通过编程语言硬件编程有以下模块：数据接口模块、MAC调度模块、DES模块、双通道比较模块。其中DES模块包括DES顶模块，DES core模块，Key_schedule子密钥生成模块，crp单轮循环模块。双通道比较模块用于两个FPGA间通信，构成二取二结构，当两个FPGA结果不一致时，通过数据接口模块给CPU发送双通道比较状态标志；若通过双通道比较，则进行后续消息传输，否则进入错误处理程序。本发明采用有限状态机以及流水线的设计方法，在保证处理速度的基础上，充分考虑到系统资源的消耗，达到了速度与面积的平衡。本发明有效降低了高速铁路车地无线安全通信RSSP‑II协议的CPU资源占用，极大提高数据吞吐量，缩短鉴权时延，具有更高的安全性和可靠性。
-
公开(公告)号：CN106802862A
公开(公告)日：2017-06-06
申请号：CN201611152749.3
申请日：2016-12-14
IPC分类号： G06F11/36
摘要： 本发明涉及轨道交通领域，具体为列车运行控制系统安全关键软件自动测试平台，包括建模子系统用于构建列车运行控制系统基础信号模型库和具体待测功能模型；测试路径生成子系统通过图覆盖算法生成测试路径；组合覆盖子系统在测试路径基础上对边场景变量进行组合，生成测试用例；通信接口子系统向被测设备发生测试用例数据，并采集被测设备的输出数据；测试结果分析子系统对测试过程中的数据进行分析，生成测试结果报告；数据管理子系统集中管理测试平台运行时必须的数据和文件。针对列车运行控制系统安全关键软件，本发明可以有效、全面的覆盖测试场景，提高测试效率，降低测试成本。
-
-
-
-
-
-
-
-
搜索结果
9 条记录 (耗时 0.023 秒)
