-
公开(公告)号：CN106814730A
公开(公告)日：2017-06-09
申请号：CN201611153324.4
申请日：2016-12-14
IPC: G05B23/02
CPC classification number: G05B23/0213 , G05B2219/24065
Abstract: 本发明涉及轨道交通领域，具体为列车运行控制系统安全关键软件测试用例生成方法，包括(1)根据列车运行控制系统的需求规范，采用状态图形式化地描述列车运行控制系统需求，然后通过仿真及模型检测方法验证模型的正确性。(2)根据步骤(1)所建立的状态图模型生成测试路径，(3)根据步骤(2)的测试路径，分析出边的测试场景的集合，采用组合覆盖的方式，生成测试用例。本发明提供的列车运行控制系统安全关键软件测试用例生成方法，测试用例能够覆盖列控系统安全关键软件的全部需求，同时不存在重复测试项；组合覆盖使得测试用例包含列控系统的小概率场景、异常事件，能够测试列控系统的安全性需求，提高测试效率，降低测试成本。
-
公开(公告)号：CN106802862B
公开(公告)日：2020-05-08
申请号：CN201611152749.3
申请日：2016-12-14
IPC: G06F11/36
Abstract: 本发明涉及轨道交通领域，具体为列车运行控制系统安全关键软件自动测试平台，包括建模子系统用于构建列车运行控制系统基础信号模型库和具体待测功能模型；测试路径生成子系统通过图覆盖算法生成测试路径；组合覆盖子系统在测试路径基础上对边场景变量进行组合，生成测试用例；通信接口子系统向被测设备发生测试用例数据，并采集被测设备的输出数据；测试结果分析子系统对测试过程中的数据进行分析，生成测试结果报告；数据管理子系统集中管理测试平台运行时必须的数据和文件。针对列车运行控制系统安全关键软件，本发明可以有效、全面的覆盖测试场景，提高测试效率，降低测试成本。
-
公开(公告)号：CN106814730B
公开(公告)日：2019-01-01
申请号：CN201611153324.4
申请日：2016-12-14
IPC: G05B23/02
Abstract: 本发明涉及轨道交通领域，具体为列车运行控制系统安全关键软件测试用例生成方法，包括(1)根据列车运行控制系统的需求规范，采用状态图形式化地描述列车运行控制系统需求，然后通过仿真及模型检测方法验证模型的正确性。(2)根据步骤(1)所建立的状态图模型生成测试路径，(3)根据步骤(2)的测试路径，分析出边的测试场景的集合，采用组合覆盖的方式，生成测试用例。本发明提供的列车运行控制系统安全关键软件测试用例生成方法，测试用例能够覆盖列控系统安全关键软件的全部需求，同时不存在重复测试项；组合覆盖使得测试用例包含列控系统的小概率场景、异常事件，能够测试列控系统的安全性需求，提高测试效率，降低测试成本。
-
Patent Agency Ranking
公开(公告)号：CN108921436A
公开(公告)日：2018-11-30
申请号：CN201810738780.8
申请日：2018-07-06
Applicant: 西南交通大学
Abstract: 本发明公开了一种高铁列控系统RBC切换场景风险耦合分析平台，包括控制台子系统用于控制仿真进程以及故障注入；多智能体仿真子系统模拟RBC切换场景各个参与主体的功能逻辑、状态迁移以及信息交互；故障注入子系统基于RBC切换场景故障模式库，完成故障的组合注入；风险耦合规则学习子系统监测并记录多智能体仿真子系统的状态、动作反馈和故障注入子系统的故障注入信息，得到系统仿真日志并对其进行学习，挖掘出其中蕴含的风险耦合规则；GUI显示子系统对多智能体仿真场景进行可视化描述。本发明可以为高铁列控系统RBC切换场景提供场景仿真、故障注入及风险耦合规则学习的平台，能够更好地揭示RBC切换场景的危险致因机理。
-
公开(公告)号：CN108921436B
公开(公告)日：2021-10-08
申请号：CN201810738780.8
申请日：2018-07-06
Applicant: 西南交通大学
Abstract: 本发明公开了一种高铁列控系统RBC切换场景风险耦合分析平台，包括控制台子系统用于控制仿真进程以及故障注入；多智能体仿真子系统模拟RBC切换场景各个参与主体的功能逻辑、状态迁移以及信息交互；故障注入子系统基于RBC切换场景故障模式库，完成故障的组合注入；风险耦合规则学习子系统监测并记录多智能体仿真子系统的状态、动作反馈和故障注入子系统的故障注入信息，得到系统仿真日志并对其进行学习，挖掘出其中蕴含的风险耦合规则；GUI显示子系统对多智能体仿真场景进行可视化描述。本发明可以为高铁列控系统RBC切换场景提供场景仿真、故障注入及风险耦合规则学习的平台，能够更好地揭示RBC切换场景的危险致因机理。
-
公开(公告)号：CN108920846B
公开(公告)日：2020-10-09
申请号：CN201810737532.1
申请日：2018-07-06
Applicant: 西南交通大学
Abstract: 本发明公开了一种高铁列控系统复杂运营场景的风险耦合分析方法，包括以下步骤：在高铁列控系统的技术规范下，利用UML建模技术建立高铁列控系统运营场景的UML模型；根据运营场景的UML模型，建立运营场景的仿真模型；在运营场景的仿真模型中注入故障组合，得到仿真数据；利用决策树算法,从得到的仿真数据中挖掘风险耦合规则。本发明提供的高铁列控系统复杂运营场景的风险耦合分析方法，通过复杂运营场景模型的构建，利用系统仿真技术、故障注入技术以及机器学习算法，能够仿真覆盖小概率故障组合事件的高铁列控系统复杂运营场景，可以全面、系统、高效地挖掘高铁列控系统复杂运营场景中潜在的风险耦合规则。
-
公开(公告)号：CN108920846A
公开(公告)日：2018-11-30
申请号：CN201810737532.1
申请日：2018-07-06
Applicant: 西南交通大学
Abstract: 本发明公开了一种高铁列控系统复杂运营场景的风险耦合分析方法，包括以下步骤：在高铁列控系统的技术规范下，利用UML建模技术建立高铁列控系统运营场景的UML模型；根据运营场景的UML模型，建立运营场景的仿真模型；在运营场景的仿真模型中注入故障组合，得到仿真数据；利用决策树算法,从得到的仿真数据中挖掘风险耦合规则。本发明提供的高铁列控系统复杂运营场景的风险耦合分析方法，通过复杂运营场景模型的构建，利用系统仿真技术、故障注入技术以及机器学习算法，能够仿真覆盖小概率故障组合事件的高铁列控系统复杂运营场景，可以全面、系统、高效地挖掘高铁列控系统复杂运营场景中潜在的风险耦合规则。
-
公开(公告)号：CN106802862A
公开(公告)日：2017-06-06
申请号：CN201611152749.3
申请日：2016-12-14
IPC: G06F11/36
Abstract: 本发明涉及轨道交通领域，具体为列车运行控制系统安全关键软件自动测试平台，包括建模子系统用于构建列车运行控制系统基础信号模型库和具体待测功能模型；测试路径生成子系统通过图覆盖算法生成测试路径；组合覆盖子系统在测试路径基础上对边场景变量进行组合，生成测试用例；通信接口子系统向被测设备发生测试用例数据，并采集被测设备的输出数据；测试结果分析子系统对测试过程中的数据进行分析，生成测试结果报告；数据管理子系统集中管理测试平台运行时必须的数据和文件。针对列车运行控制系统安全关键软件，本发明可以有效、全面的覆盖测试场景，提高测试效率，降低测试成本。
-
-
-
-
-
-
-
Search Results
8
records
(took 0.021 seconds)
