CN110334022B - 适用于联锁自动化测试的生成冲突进路测试用例的方法 - Google Patents

适用于联锁自动化测试的生成冲突进路测试用例的方法 Download PDF

Info

Publication number
CN110334022B
CN110334022B CN201910568258.4A CN201910568258A CN110334022B CN 110334022 B CN110334022 B CN 110334022B CN 201910568258 A CN201910568258 A CN 201910568258A CN 110334022 B CN110334022 B CN 110334022B
Authority
CN
China
Prior art keywords
route
conflict
test
pairs
conflict route
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
CN201910568258.4A
Other languages
English (en)
Other versions
CN110334022A (zh
Inventor
陈云
曹威
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Thales Sec Transportation System Ltd
Original Assignee
Thales Sec Transportation System Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Thales Sec Transportation System Ltd filed Critical Thales Sec Transportation System Ltd
Priority to CN201910568258.4A priority Critical patent/CN110334022B/zh
Publication of CN110334022A publication Critical patent/CN110334022A/zh
Application granted granted Critical
Publication of CN110334022B publication Critical patent/CN110334022B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3668Software testing
    • G06F11/3672Test management
    • G06F11/3684Test management for test design, e.g. generating new test cases

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Train Traffic Observation, Control, And Security (AREA)
  • Debugging And Monitoring (AREA)

Abstract

本发明公开了一种适用于联锁自动化测试的生成冲突进路测试用例的方法,以联锁表为输入文件,根据预定的待测冲突进路对选择规则,选择出待测冲突进路对的集合,并生成测试所需要的冲突进路测试案例集。过滤部分重复的或者不必要的冲突进路组合,提高测试效率。同时,本发明还公开了一种联锁冲突进路测试用例的自动测试方法,能够实现自动测试。

Description

适用于联锁自动化测试的生成冲突进路测试用例的方法
技术领域
本发明涉及轨道交通技术领域,尤其涉及适用于联锁自动化测试的生成冲突进路测试用例的方法。
背景技术
防止列车追尾,对向碰撞,或侧向碰撞是联锁系统最重要的功能,而这些功能都以防止冲突进路的办理为基础。大部分的情况下,该功能由测试人员根据自己的经验,选择部分测试案例,进行人工测试。然而冲突进路的测试需要对联锁表中两条进路进行组合测试,当站场规模变大时,这样的组合测试案例数可能达到几万个,甚至几十万个的规模。这意味着测试过程中,测试案例的选择就成为了一项很重要的工作。既要保证测试的充分性,也要兼顾测试效率。如果对测试案例全遍历,那么数万级规模的测试案例将导致测试耗费很长时间,人工测试基本无法完成,而且也不利于对测试结果进行分析和整理。选择的测试案例太少,又不能保证测试的充分性,达不到测试效果。
发明内容
本发明的目的在于提供一种适用于联锁自动化测试的生成冲突进路测试用例的方法,过滤部分重复的或者不必要的冲突进路组合,提高测试效率。
实现上述目的的技术方案是:
一种适用于联锁自动化测试的生成冲突进路测试用例的方法,以联锁表为输入文件,根据预定的待测冲突进路对选择规则,选择出待测冲突进路对的集合,并生成测试所需要的冲突进路测试案例集。
优选的,所述的待测冲突进路对选择规则,包括:
遍历联锁表中每一条进路,构造所有具有公共区段的冲突进路对的第一集合;
在第一集合中,排除方向相反的冲突进路对,形成第二集合;
在第二集合中,排除一条进路是另一条进路的子进路的冲突进路对,形成第三集合;
在第三集合中,选择有公共道岔的冲突进路对,形成第四集合;
在第四集合中,选择至少有一组道岔位置不一样的冲突进路对,作为待测冲突进路对,形成第五集合;
根据第五集合中的待测冲突进路对,以全排列的方式生成测试所需要的冲突进路测试案例集。
优选的,联锁表的关系模型表示为:Route(ID,B,NS,RS),其中,ID是进路的ID号;B是进路上区段的ID号;NS是进路经过的定位道岔的ID号;RS是进路经过的反位道岔的ID号;
第一集合表示为:
Figure BDA0002110258410000021
Figure BDA0002110258410000022
其中,r1,r2分别表示冲突进路对的两个进路的ID号;r1.B表示r1进路上区段的ID号;r2.B表示r2进路上区段的ID号;/>
第二集合表示为:R2={(r1,r2)|(r1,r2)∈R1∧r1.B≠r2.B};
第三集合表示为:
Figure BDA0002110258410000023
Figure BDA0002110258410000024
第四集合表示为:
Figure BDA0002110258410000025
Figure BDA0002110258410000026
其中,r1.NS和r1.RS分别表示r1进路经过的定位道岔的ID号和反位道岔的ID号;r2.NS和r2.RS分别表示r2进路经过的定位道岔的ID号和反位道岔的ID号;
第五集合表示为:
Figure BDA0002110258410000027
Figure BDA0002110258410000028
本发明的有益效果是:本发明以联锁表为输入文件,依据预先确定的规则,过滤掉部分重复的或者不必要的冲突进路组合,确保生成的测试用例集能够达到充分且无冗余的要求,有效提高测试效率。并且将冲突进路测试案例集输入到自动化测试系统中,实现对冲突进路的自动化测试,以解决现有技术中联锁冲突进路功能人工测试过程中的各种痛点,具有测试用例选择合理,无重复,有算法依据,便于自动化测试系统使用等诸多优点。
附图说明
图1是本发明中待测冲突进路对选择规则的流程示意图。
具体实施方式
下面将结合附图对本发明作进一步说明。
本发明的适用于联锁自动化测试的生成冲突进路测试用例的方法,以联锁表为输入文件,根据预定的待测冲突进路对选择规则,选择出待测冲突进路对的集合,并生成测试所需要的冲突进路测试案例集。可以应用于测试联锁系统中的冲突进路功能是否有缺陷。生成的测试用例集,既可以用于人工测试的测试案例选择依据,也可以将其转换为自动化测试所需的输入格式,用于自动测试联锁冲突进路功能。
联锁表的关系模型表示为:Route(ID,B,NS,RS),其中,ID是进路的ID号;B是进路上区段的ID号;NS是进路经过的定位道岔的ID号;RS是进路经过的反位道岔的ID号。
请参阅图1,待测冲突进路对选择规则,包括:
步骤S1,遍历联锁表中每一条进路,构造所有具有公共区段的冲突进路对的第一集合:
Figure BDA0002110258410000035
∧r1≠r2},其中,r1,r2分别表示冲突进路对的两个进路的ID号;r1.B表示r1进路上区段的ID号;r2.B表示r2进路上区段的ID号。
步骤S2,在第一集合中,排除方向相反的敌对信号能够防护冲突进路对,形成第二集合:R2={(r1,r2)|(r1,r2)∈R1∧r1.B≠r2.B}。
步骤S3,在第二集合中,排除一条进路是另一条进路的子进路的冲突进路对,形成第三集合:
Figure BDA0002110258410000031
步骤S4,在第三集合中,选择有公共道岔的冲突进路对,以排除由于不包含道岔而不能构成冲突进路的进路对,形成第四集合:
Figure BDA0002110258410000032
Figure BDA0002110258410000033
其中,r1.NS和r1.RS分别表示r1进路经过的定位道岔的ID号和反位道岔的ID号;r2.NS和r2.RS分别表示r2进路经过的定位道岔的ID号和反位道岔的ID号。
步骤S5,在第四集合中,选择至少有一组道岔位置不一样的冲突进路对,作为待测冲突进路对,以选择出道岔位置能区分的冲突进路,形成第五集合:
Figure BDA0002110258410000034
Figure BDA0002110258410000041
Figure BDA0002110258410000042
步骤S6,根据第五集合中的待测冲突进路对,以全排列的方式生成测试所需要的冲突进路测试案例集。
具体举例如下:
假设给定如下联锁表:
ID B(Blocks) NS(Normal Switches) RS(Reverse Switches)
r1 b1,b2,b3 s4
r2 b3,b2,b1 s1,s2 s3
r3 b1,b2,b3,b4 s2 s1,s3
r4 b2,b3,b4,b5 s2, s1,s3
r5 b6,b7 s4 s5
r6 b7,b8 s4,s5
按照上述的待测冲突进路对选择规则,以下各步将给出在上述联锁表中进行操作后形成的进路对集合。最后再将此进路对集合按照全排列的方式生成冲突进路测试用例集合。步骤如下:
1)在联锁表中取得所有具有公共区段的进路对的集合:
R1={(r1,r2),(r1,r3),(r1,r4),(r2,r3),(r2,r4),(r3,r4),(r5,r6)}
2)排除方向相反的敌对信号能够防护的冲突进路:
R2={(r1,r3),(r1,r4),(r2,r3),(r2,r4),(r3,r4),(r5,r6)}
3)排除一条进路是另一条进路的子进路的冲突进路:
R3={(r1,r4),(r2,r4),(r3,r4),(r5,r6)}
4)选择有公共道岔的进路对:
R4={(r2,r4),(r3,r4),(r5,r6)}
5)选择至少有一组道岔位置不一样的进路对:
R5={(r2,r4),(r5,r6)}
6)根据上述生成的集合R5,将集合R5内每个进路对都按照全排列的方式生成冲突进路自动化测试用例。为了描述方便,测试用例以文字形式描述,通过软件转换为自动化测试软件所需格式。按照上述测试步骤生成的进路对集合R5,可以生成如下测试用例:
测试用例1:
Figure BDA0002110258410000051
初始化系统;
Figure BDA0002110258410000052
办理进路2;
Figure BDA0002110258410000053
办理进路4;/>
Figure BDA0002110258410000054
检查进路4是否办理成功
测试用例2:
Figure BDA0002110258410000055
初始化系统;
Figure BDA0002110258410000056
办理进路4;
Figure BDA0002110258410000057
办理进路2;
Figure BDA0002110258410000058
检查进路2是否办理成功
测试用例3:
Figure BDA0002110258410000059
初始化系统;
Figure BDA00021102584100000510
办理进路5;
Figure BDA00021102584100000511
办理进路6;
Figure BDA00021102584100000512
检查进路6是否办理成功
测试用例4:
Figure BDA00021102584100000513
初始化系统;
Figure BDA00021102584100000514
办理进路6;
Figure BDA00021102584100000515
办理进路5;
Figure BDA00021102584100000516
检查进路5是否办理成功。
联锁冲突进路测试用例的自动测试时,将基于上述的适用于联锁自动化测试的生成冲突进路测试用例的方法所生成的冲突进路测试案例集输入自动化测试系统中进行测试。
以上实施例仅供说明本发明之用,而非对本发明的限制,有关技术领域的技术人员,在不脱离本发明的精神和范围的情况下,还可以作出各种变换或变型,因此所有等同的技术方案也应该属于本发明的范畴,应由各权利要求所限定。

Claims (1)

1.一种适用于联锁自动化测试的生成冲突进路测试用例的方法,其特征在于,以联锁表为输入文件,根据预定的待测冲突进路对选择规则,选择出待测冲突进路对的集合,并生成测试所需要的冲突进路测试案例集;
所述的待测冲突进路对选择规则,包括:
遍历联锁表中每一条进路,构造所有具有公共区段的冲突进路对的第一集合;
在第一集合中,排除方向相反的冲突进路对,形成第二集合;
在第二集合中,排除一条进路是另一条进路的子进路的冲突进路对,形成第三集合;
在第三集合中,选择有公共道岔的冲突进路对,形成第四集合;
在第四集合中,选择至少有一组道岔位置不一样的冲突进路对,作为待测冲突进路对,形成第五集合;
根据第五集合中的待测冲突进路对,以全排列的方式生成测试所需要的冲突进路测试案例集;
联锁表的关系模型表示为:Route(ID,B,NS,RS),其中,ID是进路的ID号;B是进路上区段的ID号;NS是进路经过的定位道岔的ID号;RS是进路经过的反位道岔的ID号;
第一集合表示为:
Figure FDA0003987746140000011
Figure FDA0003987746140000012
其中,r1,r2分别表示冲突进路对的两个进路的ID号;r1.B表示r1进路上区段的ID号;r2.B表示r2进路上区段的ID号;
第二集合表示为:R2={(r1,r2)|(r1,r2)∈R1∧r1.B≠r2.B};
第三集合表示为:
Figure FDA0003987746140000013
Figure FDA0003987746140000014
第四集合表示为:
Figure FDA0003987746140000015
Figure FDA0003987746140000016
其中,r1.NS和r1.RS分别表示r1进路经过的定位道岔的ID号和反位道岔的ID号;r2.NS和r2.RS分别表示r2进路经过的定位道岔的ID号和反位道岔的ID号;
第五集合表示为:
Figure FDA0003987746140000017
Figure FDA0003987746140000021
/>
CN201910568258.4A 2019-06-27 2019-06-27 适用于联锁自动化测试的生成冲突进路测试用例的方法 Active CN110334022B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201910568258.4A CN110334022B (zh) 2019-06-27 2019-06-27 适用于联锁自动化测试的生成冲突进路测试用例的方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201910568258.4A CN110334022B (zh) 2019-06-27 2019-06-27 适用于联锁自动化测试的生成冲突进路测试用例的方法

Publications (2)

Publication Number Publication Date
CN110334022A CN110334022A (zh) 2019-10-15
CN110334022B true CN110334022B (zh) 2023-03-28

Family

ID=68143256

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201910568258.4A Active CN110334022B (zh) 2019-06-27 2019-06-27 适用于联锁自动化测试的生成冲突进路测试用例的方法

Country Status (1)

Country Link
CN (1) CN110334022B (zh)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN114435433B (zh) * 2022-04-12 2022-07-22 卡斯柯信号(北京)有限公司 一种验证自动触发进路冲突的方法及装置

Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109649453A (zh) * 2018-12-07 2019-04-19 天津津航计算技术研究所 一种列车进路自动办理方法

Family Cites Families (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR101410099B1 (ko) * 2012-12-05 2014-06-25 경북대학교 산학협력단 단위 테스트 케이스 재사용 기반의 함수 테스트 장치 및 그 함수 테스트 방법
JP6205978B2 (ja) * 2013-08-22 2017-10-04 富士通株式会社 情報処理装置及び情報処理装置の試験方法
CN103838675B (zh) * 2014-03-21 2016-03-23 上海富欣智能交通控制有限公司 计算机联锁系统自动生成测试用例的方法
CN104731085B (zh) * 2015-03-13 2017-06-06 上海自仪泰雷兹交通自动化系统有限公司 用于轨旁联锁系统的测试平台及其测试方法
CN107097811B (zh) * 2017-03-13 2018-08-21 成都一石科技有限公司 一种基于咽喉区轨道时空冲突预测的仿真方法及系统
CN107336727B (zh) * 2017-07-26 2019-02-12 湖南中车时代通信信号有限公司 一种联锁进路办理方法
CN109703604B (zh) * 2018-12-07 2020-06-30 天津津航计算技术研究所 一种可调整的局部最优进路快速搜索方法

Patent Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109649453A (zh) * 2018-12-07 2019-04-19 天津津航计算技术研究所 一种列车进路自动办理方法

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
基于规则的联锁软件测试集自动生成;徐中伟等;《计算机工程》(第01期);第99-100,111页 *

Also Published As

Publication number Publication date
CN110334022A (zh) 2019-10-15

Similar Documents

Publication Publication Date Title
Berger The undecidability of the domino problem
CN108763776B (zh) 一种城市快速路网时变交通状态仿真方法及装置
CN107578133B (zh) 一种电力线路巡检轨迹优化方法和系统
CN112099478A (zh) 列控中心临时限速报文的自动测试方法及装置
CN110795868B (zh) 基于城市轨道交通的列车运行仿真的数据处理方法和装置
CN109760720B (zh) 基于信号平面布置图自动生成接口码位表的方法及装置
CN110334022B (zh) 适用于联锁自动化测试的生成冲突进路测试用例的方法
CN106828544A (zh) 一种跨线运行进路触发方法及装置
CN110920698B (zh) 支持多试车线的计算机联锁系统
CN101377758B (zh) 一种生成测试用例的方法和装置
CN106672022B (zh) 一种轨道交通联锁表生成方法及系统
CN108189866B (zh) 办理进路的冲突处理方法及装置
CN108805315A (zh) 根据轨迹点绘制出行轨迹的方法及系统、车载终端及车辆
JP2014040241A (ja) 進路競合検出装置
CN117325919B (zh) 一种出站信号机的自律机配置数据自动化测试方法及系统
Wang et al. A graph theory-based approach to route location in railway interlocking
Haxthausen Automated generation of safety requirements from railway interlocking tables
CN116661427B (zh) 一种列控中心区间逻辑占用检查并行测试方法及装置
CN112329277B (zh) 一种基于ctcs-2的室内跑车测试序列编制方法及装置
CN114435433B (zh) 一种验证自动触发进路冲突的方法及装置
CN105300402B (zh) 一种车辆里程的统计方法及装置
CN110365507B (zh) 用于实现链路权重自动赋值的方法和装置
CN108257014A (zh) 核保流程创建方法及装置
CN105843973A (zh) 一种基于案例的设计知识的描述方法及系统
CN111061710A (zh) 基于列车动态运行数据生成线路定位数据的方法及装置

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant