[发明专利]一种联锁测试案例自动生成方法及系统

说明书

本发明公开了一种联锁测试案例自动生成方法及系统，涉及联锁仿真试验技术领域。本发明首先建立联锁系统中每个基本功能单元所对应的特征模型；其次根据被测车站信息，利用UML状态机图，得到每个特征模型对应的参数化联锁测试模型；然后生成每个参数化联锁测试模型对应的测试套，解决了传统联锁测试不可复用的问题，降低了测试成本，提高了测试效率。最后采用变异算法，计算每个测试套的变异得分，并对变异得分低于设定阈值的测试套所对应的参数化联锁测试模型进行改进，解决了传统联锁仿真试验中测试质量难以管理的问题。

技术领域

本发明涉及联锁仿真试验技术领域，特别是涉及一种联锁测试案例自动生成方法及系统。

背景技术

由于联锁的定制化特征，使得每个车站的联锁都不相同，进而使联锁测试案例无法复用，故联锁仿真试验面临着工作量大、效率低、管理难度大、未知安全风险多、对人员经验的依赖过高、无法保证各联锁仿真试验均能达到理想效果等问题。因此，发展新的联锁安全性验证方法，提升联锁的测试效率及自动化程度，具有重要意义。

目前联锁仿真试验主要采用人工方式，通过在联锁系统中执行一系列测试案例，检验联锁系统运行是否符合预期，从而发现联锁系统中潜在的缺陷。该方法目前存在以下问题：

1、在联锁仿真试验中，测试案例的准备与实施测试完全由试验人员手工完成，测试案例编制难度较大，试验工作量会随着车站规模的增大而迅速增加。

2、人工试验方式中，测试案例的构建无法重现、测试人员选取测试案例准则难以准确描述，测试案例与联锁试验规范的对应关系也无法得到完整充分的体现，测试质量依赖于测试人员的技能和水平。

3、当测试中发现问题并修改之后，需实施回归测试，此时需要全部重新进行仿真试验，工作量十分巨大。

虽然业内也在研究自动化联锁仿真试验的方法，但目前只能实现对一些简单的重复性的测试项的自动化操作，无法达到真正自动测试的要求。

发明内容

本发明的其一目的是提供一种联锁测试案例自动生成方法及系统，解决了传统联锁测试不可复用的问题，降低了测试成本，提高了测试效率。

本发明的另一目的是提供一种联锁测试案例自动生成方法及系统，解决了传统联锁仿真试验中测试质量难以管理的问题。

为实现上述目的，本发明提供了如下方案：

一种联锁测试案例自动生成方法，包括：

建立联锁系统中每个基本功能单元所对应的特征模型；

根据被测车站信息，利用UML状态机图，对所有所述特征模型进行处理，得到每个所述特征模型对应的参数化联锁测试模型；

生成每个所述参数化联锁测试模型对应的测试套；所述测试套包括多个测试案例；

采用变异算法，计算每个所述测试套的变异得分，并对标记测试套对应的参数化联锁测试模型进行改进；所述标记测试套为变异得分低于设定阈值的测试套。

可选的，所述建立联锁系统中每个基本功能单元所对应的特征模型，具体包括：

根据联锁系统的整体功能，对所述联锁系统进行划分，得到基本功能单元集合；所述基本功能单元集合包括多个基本功能单元，分别为进路选排功能单元、道岔控制功能单元、联锁关系检查功能单元和进路解锁功能单元；

根据所述基本功能单元的联锁检查逻辑，结合所述基本功能单元内所有可能涉及的子功能以及所述子功能之间的逻辑关系，建立每个基本功能单元所对应的特征模型。

可选的，所述根据被测车站信息，利用UML状态机图，对所有所述特征模型进行处理，得到每个所述特征模型对应的参数化联锁测试模型，具体包括：