Combinatorial Test Sequence Set Reduction Approach for Railway Signaling Safety-Critical Software

RAO Chang; LI Nan; ZHANG Yadong; GUO Jin; LI Yao

doi:10.3969/j.issn.0258-2724.20190157

Volume 55 Issue 3

Jun. 2020

Turn off MathJax

Article Contents

Journal of Southwest Jiaotong University > 2020 > 55(3): 596-603.

RAO Chang, LI Nan, ZHANG Yadong, GUO Jin, LI Yao. Combinatorial Test Sequence Set Reduction Approach for Railway Signaling Safety-Critical Software[J]. Journal of Southwest Jiaotong University, 2020, 55(3): 596-603. doi: 10.3969/j.issn.0258-2724.20190157

Citation:

RAO Chang, LI Nan, ZHANG Yadong, GUO Jin, LI Yao. Combinatorial Test Sequence Set Reduction Approach for Railway Signaling Safety-Critical Software[J]. Journal of Southwest Jiaotong University, 2020, 55(3): 596-603. doi: 10.3969/j.issn.0258-2724.20190157

Citation:

PDF( 781 KB)

Combinatorial Test Sequence Set Reduction Approach for Railway Signaling Safety-Critical Software

doi: 10.3969/j.issn.0258-2724.20190157

RAO Chang^1
,,
LI Nan¹,
ZHANG Yadong^{1
,
,},
GUO Jin¹,
LI Yao²

Received Date: 25 Mar 2019
Rev Recd Date: 14 May 2019

Available Online: 23 May 2019

Publish Date: 01 Jun 2020

Abstract

Abstract

When applying t-way combinatorial test sequence generation to a railway signaling system with large-scale inputs, test redundancy occurs, which causes high execution cost. Thus, a t-way combinatorial test sequence set reduction approach is proposed based on the greedy particle swarm optimization algorithm to reduce the cost. First, aiming at minimizing the test cost, an optimization model for t-way combinatorial test sequence set reduction is built. Then, on the basis of logic coverage of the test sequence sets, the greedy particle swarm algorithm is employed to solve the model and obtain the reduced test sequence sets. Finally, ZPW-2000 track circuit receiver software is used in a case study for the reduction of 2-way test sequence sets to validate the proposed approach. Results show that under the premise of 2-way coverage and logic coverage, the cost for a single test sequence set has decreased by up to 98.33% and the total cost for the test sequence sets has decreased by 36.10%, which indicates the feasibility and effectiveness of the approach.
- safety-critical software,
- model-based testing,
- combinatorial testing,
- test sequence reduction,
- binary particle swarm optimization

FullText(HTML)

References(18)

References

郭进. 铁路信号基础[M]. 北京: 中国铁道出版社, 2010.

杨志杰, 禹志阳. 列车运行控制系统测试技术[M]. 北京: 中国铁道出版社, 2016: 1-12.

AMMANN P, OFFUTT J. Introduction to software testing[M]. Cambridge: Cambridge University Press, 2016.

王秀玄. 基于UML的列控中心改变运行方向功能测试用例生成方法研究[D]. 成都: 西南交通大学, 2016.

袁磊,吕继东,刘雨,等. 一种全覆盖的列控车载系统测试用例自动生成算法研究[J]. 铁道学报,2014,36(8): 55-62. doi: 10.3969/j.issn.1001-8360.2014.08.010

YUAN Lei, LÜ Jidong, LIU Yu, et al. Research on model-based test case generation method of onboard subsystem in CTCS-3[J]. Journal of the China Railway Society, 2014, 36(8): 55-62. doi: 10.3969/j.issn.1001-8360.2014.08.010

吕继东,朱晓琳,李开成,等. 基于模型的CTCS-3级列控系统测试案例自动生成方法[J]. 西南交通大学学报,2015,50(5): 917-927. doi: 10.3969/j.issn.0258-2724.2015.05.023

LÜ Jidong, ZHU Xiaolin, LI Kaicheng, et al. Model-based test case automatic generation of CTCS-3 train control system[J]. Journal of Southwest Jiaotong University, 2015, 50(5): 917-927. doi: 10.3969/j.issn.0258-2724.2015.05.023

梁茨,郑伟,李开成,等. 基于路径优化算法的测试序列自动生成及验证[J]. 铁道学报,2013,35(6): 53-58. doi: 10.3969/j.issn.1001-8360.2013.06.009

LIANG Ci, ZHENG Wei, LI Kaicheng, et al. Automated generation of test cases and sequences based on path optimization algorithm[J]. Journal of the China Railway Society, 2013, 35(6): 53-58. doi: 10.3969/j.issn.1001-8360.2013.06.009

赵晓宇,杨志杰,吕旌阳. 基于有色Petri网的车载设备模式转换测试序列生成方法[J]. 中国铁道科学,2017,38(4): 115-123. doi: 10.3969/j.issn.1001-4632.2017.04.16

ZHAO Xiaoyu, YANG Zhijie, LÜ Jingyang. Test sequence generation method of mode transition for on-board equipment based on colored petri net[J]. China Railway Science, 2017, 38(4): 115-123. doi: 10.3969/j.issn.1001-4632.2017.04.16

陈鑫,姜鹏,张一帆,等. 一种面向列车控制系统中安全攸关场景的测试用例自动生成方法[J]. 软件学报,2015,26(2): 269-278.

CHEN Xin, JIANG Peng, ZHANG Yifan, et al. Method of automatic test case generation for safety-critical scenarios in train control systems[J]. Journal of Software, 2015, 26(2): 269-278.

KUHN D R, WALLACE D R, GALLO A M. Software fault interactions and implications for software testing[J]. IEEE Transactions on Software Engineering, 2004, 30(6): 418-421. doi: 10.1109/TSE.2004.24

严俊,张健. 组合测试:原理与方法[J]. 软件学报,2009,20(6): 1393-1405. doi: 10.3724/SP.J.1001.2009.03497

YAN Jun, ZHANG Jian. Combinatorial testing:principles and methods[J]. Journal of Software, 2009, 20(6): 1393-1405. doi: 10.3724/SP.J.1001.2009.03497

王子元,聂长海,徐宝文,等. 相邻因素组合测试用例集的最优生成方法[J]. 计算机学报,2007,30(2): 200-211. doi: 10.3321/j.issn:0254-4164.2007.02.006

WANG Ziyuan, NIE Changhai, XU Baowen, et al. Optimal test suite generation methods for neighbor factors combinatorial testing[J]. Chinese Journal of Computers, 2007, 30(2): 200-211. doi: 10.3321/j.issn:0254-4164.2007.02.006

唐抗尼,肖宝弟. 城市轨道交通ATP车载设备测试用例生成方法[J]. 中国铁道科学,2011,32(4): 99-103.

TANG Kangni, XIAO Baodi. A test case generation method of on-board ATP equipment in urban rail transit[J]. China Railway Science, 2011, 32(4): 99-103.

RAO C, GUO J, LI N, et al. Applying combinatorial testing to high-speed railway track circuit receiver[C]// Proceedings of the IEEE International Conference on Software Testing, Verification and Validation Workshop. [S.l.]: IEEE, 2017: 199-207.

KENNEDY J, EBERHART R C. A discrete binary version of the particle swarm algorithm[C]// Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics. [S.l.]: IEEE, 1997: 4104-4108.

聂长海. 组合测试研究进展[J]. 中国科技论文,2017,12(20): 418-421.

NIE Changhai. The latest research development of combinatorial testing[J]. China Sciencepaper, 2017, 12(20): 418-421.

LI N, LI F, OFFUTT J. Better algorithms to minimize the cost of test paths[C]//Proceedings of the IEEE Inter-national Conference on Software Testing, Verification and Validation. [S.l.]: IEEE, 2012: 280-289.

LEI Y, KACKER R, KUHN D R, et al. IPOG/IPOG-D:efficient test generation for multi-way combinatorial testing[J]. Software Testing,Verification and Reliability, 2008, 18(3): 125-148. doi: 10.1002/stvr.381

Relative Articles

Supplements(0)

Cited By

Proportional views

Proportional views

通讯作者: 陈斌, bchen63@163.com

1.
沈阳化工大学材料科学与工程学院沈阳 110142

Figures(4) / Tables(4)

Get Citation

PDF

XML

Article views(636) PDF downloads(10)

Combinatorial Test Sequence Set Reduction Approach for Railway Signaling Safety-Critical Software

doi: 10.3969/j.issn.0258-2724.20190157

Abstract

References

Proportional views

Catalog

通讯作者: 陈斌, bchen63@163.com

Proportional views

Related

Combinatorial Test Sequence Set Reduction Approach for Railway Signaling Safety-Critical Software

doi: 10.3969/j.issn.0258-2724.20190157

Abstract

References

Proportional views

Catalog

通讯作者: 陈斌, bchen63@163.com

Proportional views

Related

Export File

Citation

Format

Content