一种联锁测试案例自动生成方法及系统技术方案

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

【技术实现步骤摘要】
一种联锁测试案例自动生成方法及系统


[0001]本专利技术涉及联锁仿真试验
，特别是涉及一种联锁测试案例自动生成方法及系统。

技术介绍

[0002]由于联锁的定制化特征，使得每个车站的联锁都不相同，进而使联锁测试案例无法复用，故联锁仿真试验面临着工作量大、效率低、管理难度大、未知安全风险多、对人员经验的依赖过高、无法保证各联锁仿真试验均能达到理想效果等问题。因此，发展新的联锁安全性验证方法，提升联锁的测试效率及自动化程度，具有重要意义。
[0003]目前联锁仿真试验主要采用人工方式，通过在联锁系统中执行一系列测试案例，检验联锁系统运行是否符合预期，从而发现联锁系统中潜在的缺陷。该方法目前存在以下问题：
[0004]1、在联锁仿真试验中，测试案例的准备与实施测试完全由试验人员手工完成，测试案例编制难度较大，试验工作量会随着车站规模的增大而迅速增加。
[0005]2、人工试验方式中，测试案例的构建无法重现、测试人员选取测试案例准则难以准确描述，测试案例与联锁试验规范的对应关系也无法得到完整充分的体现，测试质量依赖于测试本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种联锁测试案例自动生成方法，其特征在于，包括：建立联锁系统中每个基本功能单元所对应的特征模型；根据被测车站信息，利用UML状态机图，对所有所述特征模型进行处理，得到每个所述特征模型对应的参数化联锁测试模型；生成每个所述参数化联锁测试模型对应的测试套；所述测试套包括多个测试案例；采用变异算法，计算每个所述测试套的变异得分，并对标记测试套对应的参数化联锁测试模型进行改进；所述标记测试套为变异得分低于设定阈值的测试套。2.根据权利要求1所述的一种联锁测试案例自动生成方法，其特征在于，所述建立联锁系统中每个基本功能单元所对应的特征模型，具体包括：根据联锁系统的整体功能，对所述联锁系统进行划分，得到基本功能单元集合；所述基本功能单元集合包括多个基本功能单元，分别为进路选排功能单元、道岔控制功能单元、联锁关系检查功能单元和进路解锁功能单元；根据所述基本功能单元的联锁检查逻辑，结合所述基本功能单元内所有可能涉及的子功能以及所述子功能之间的逻辑关系，建立每个基本功能单元所对应的特征模型。3.根据权利要求1所述的一种联锁测试案例自动生成方法，其特征在于，所述根据被测车站信息，利用UML状态机图，对所有所述特征模型进行处理，得到每个所述特征模型对应的参数化联锁测试模型，具体包括：根据被测车站信息和联锁表中的信息，从所述特征模型中选取需要的功能特征，以构建每个所述特征模型对应的功能子集；基于所述功能子集，以UML状态机图为建模语言，建立每个所述特征模型对应的参数化联锁测试模型。4.根据权利要求1所述的一种联锁测试案例自动生成方法，其特征在于，所述生成每个所述参数化联锁测试模型对应的测试套，具体包括：采用深度优先算法和白盒测试逻辑覆盖法，对所有所述参数化联锁测试模型进行处理，生成每个所述参数化联锁测试模型对应的测试套。5.根据权利要求1所述的一种联锁测试案例自动生成方法，其特征在于，所述采用变异算法，计算每个所述测试套的变异得分，具体包括：基于算子集合，结合联锁关系、联锁执行和操作要素，构建变异模型集合；所述算子集合包括多个基础算子，分别为增加状态、删除状态、增加迁移、删除迁移、改变迁移源、改变迁移目标和改变迁移条件；所述变异模型集合包括增加状态变异模型、删除状态变异模型、增加迁移变异模型、删除迁移变异模型、改变迁移源变异模型、改变迁移目标变异模型和改变迁移条件变异模型；将所述测试套代入到所述变异模型集合中，计算每个所述测试套的变异得分。6.根据权利要求5所述的一种联锁测试案例自动生成方法，其特征在于，所述将所述测试套代入到所述变异模型集合中，计算每个所述测试套的变异...

【专利技术属性】
技术研发人员：柴铭，张欣怡，王海峰，刘宏杰，吕继东，
申请(专利权)人：北京交通大学，
类型：发明
国别省市：