Research on software safety test driven by fault model

Computer Engineering and Applications ›› 2014, Vol. 50 ›› Issue (12): 232-236.

Previous Articles Next Articles

Research on software safety test driven by fault model

XIONG Jing1, YU Gang2，4, XU Zhongwei3，4

1.College of Air Transportation , Shanghai University of Engineering Science, Shanghai 201620, China
2.Sydney Institute of Language and Commerce, Shanghai University, Shanghai 201800, China
3.School of Electronics and Information Engineering, Tongji University, Shanghai 201804, China
4.Railway Station Computer Interlocking Test Station, Product Quality Supervision and Testing Center, Ministry of Railways, Shanghai 201804, China

Online:2014-06-15 Published:2015-05-08

故障模型驱动的软件安全性测试研究

熊静1，喻钢2，4，徐中伟3，4

1.上海工程技术大学航空运输学院，上海 201620
2.上海大学悉尼工商学院，上海 201800
3.同济大学电子与信息工程学院，上海 201804
4.铁道部产品质量监督检验中心铁路车站计算机联锁检验站，上海 201804

Abstract

Abstract: According to the requirements safety test, this paper establishes fault model to detect the safety logic fault, proposes dynamic fault model generation algorithm and safety testing test generation algorithm based on fault coverage, which can effectively identify the protection ability of software for fault safety. Its effectiveness is exemplified in safety testing and validation of high-speed train control center in China.

Key words: high-speed railway, train control center, safety, formal modeling, safety test

摘要： 根据安全性测试的需求，建立了检测软件内部安全逻辑故障的故障模型，提出了故障模型动态生成算法及基于故障覆盖的安全性测试生成算法，可以有效识别软件是否具备对于故障的安全防护能力，在我国高速铁路列控中心安全性测试中说明了方法的有效性。

关键词: 高速铁路, 列控中心, 安全性, 形式化建模, 安全性测试

XIONG Jing1, YU Gang2，4, XU Zhongwei3，4. Research on software safety test driven by fault model[J]. Computer Engineering and Applications, 2014, 50(12): 232-236.

熊静1，喻钢2，4，徐中伟3，4. 故障模型驱动的软件安全性测试研究[J]. 计算机工程与应用, 2014, 50(12): 232-236.

[1]	CHENG Yuhang, ZHANG Jianqin, LI Jiangchuan, ZHANG An. Visual Mining and Analysis Method of Text Data in Traffic Accident [J]. Computer Engineering and Applications, 2021, 57(21): 116-122.
[2]	CHEN Fei, YE Chunming, CHEN Tao. Design of Food Traceability System Based on Blockchain [J]. Computer Engineering and Applications, 2021, 57(2): 60-69.
[3]	XIE Yinggang, LAN Jiangyu. Review of Collaborative Robot and Its Motion Planning Methods [J]. Computer Engineering and Applications, 2021, 57(13): 18-33.
[4]	ZHANG Shiqi, WEI Feifei, FAN Xinyue. Model of Secure Routes Selection Influenced by Weather and Traffic Accidents [J]. Computer Engineering and Applications, 2021, 57(10): 246-251.
[5]	ZHANG Wuyi, LI Jianguo, GONG Yuwen. Safety Awareness Evolution Model of High-Altitude Parabolic and Falling Objects Prevention [J]. Computer Engineering and Applications, 2021, 57(1): 254-260.
[6]	YU Xinming, GUO Yanhui. Asset Detection Method for Industrial Control Equipment [J]. Computer Engineering and Applications, 2019, 55(20): 65-72.
[7]	SHI Hui, CHEN Xianqiao, YANG Ying. Safety Helmet Wearing Detection Method of Improved YOLO v3 [J]. Computer Engineering and Applications, 2019, 55(11): 213-220.
[8]	WANG Tiedan, ZHAO Yang, PENG Dinghong. Research on cloud service safety evaluation based on improved IVHF-TODIM method [J]. Computer Engineering and Applications, 2018, 54(4): 84-89.
[9]	WANG Lixing. Analysis and selection approach of critical control points in food supply chains [J]. Computer Engineering and Applications, 2018, 54(24): 221-226.
[10]	YE Lei1，2, CHEN Dongmei1, ZENG Lingqiu3, HAN Qingwen1, WANG Ruimei3. Adaptive SWM-oriented clustering algorithm based on vehicle health evaluation for V2V communication [J]. Computer Engineering and Applications, 2018, 54(23): 74-80.
[11]	E Xu1，2, TAN Yan1, LI Jianrong2, MAO Meijing1, YANG Mingjing1. Application of attribute reduction algorithm in seafood safety assessment [J]. Computer Engineering and Applications, 2017, 53(2): 98-102.
[12]	LI Shibin1，2, JIN Yanliang1, YAO Wei3, XIONG Yong2. Research and implementation of fire safety management information monitoring system [J]. Computer Engineering and Applications, 2017, 53(18): 213-217.
[13]	LIU Bohong, LING Xiaoning, LV Zhenyang. Research of model and algorithms for redundant time optimized layout in train timetabling process on high-speed railway [J]. Computer Engineering and Applications, 2016, 52(7): 248-252.
[14]	SI Ming. Boiler hidden danger early warning and evaluation system based on FES and FTA [J]. Computer Engineering and Applications, 2016, 52(23): 244-248.
[15]	XIAO Hongguang, CHEN Rong, WU Xiaorong, SHI Changqiong, YAN Lihui, ZOU Qiang. Mobile RFID security authentication protocol based on dynamic key [J]. Computer Engineering and Applications, 2016, 52(22): 113-117.

Research on software safety test driven by fault model

故障模型驱动的软件安全性测试研究

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics