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

计算机工程与应用 ›› 2014, Vol. 50 ›› Issue (12): 232-236.

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

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

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

出版日期:2014-06-15 发布日期:2015-05-08

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

摘要/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

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

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]	谭莉娟，郑巍，刘友林，樊鑫，杨丰玉. 面向适航标准的机载软件测试验证方法综述[J]. 计算机工程与应用, 2021, 57(15): 9-22.
[2]	程亚歌，胡明生，公备，王利朋，徐二锋. 具有强前向安全性的动态门限签名方案[J]. 计算机工程与应用, 2020, 56(5): 125-134.
[3]	王旭，甘国华，吴凌云. 区块链性能的量化分析研究[J]. 计算机工程与应用, 2020, 56(3): 55-60.
[4]	胡慧，徐正全. 基于边缘和局部熵融合的视觉安全性评估方法[J]. 计算机工程与应用, 2020, 56(12): 215-222.
[5]	肖帅，王绪安，潘峰. 无模逆运算的椭圆曲线数字签名算法[J]. 计算机工程与应用, 2020, 56(11): 118-123.
[6]	张玉鹏1，温蜜2. 针对Modbus协议的双重认证算法设计[J]. 计算机工程与应用, 2018, 54(20): 93-98.
[7]	刘年生. MIMO格密码的设计与实现[J]. 计算机工程与应用, 2018, 54(12): 10-13.
[8]	郭伟1，常金勇1，2，高磊1. 基于DCR假设的KDM-CCA安全性[J]. 计算机工程与应用, 2017, 53(12): 116-120.
[9]	田启东1，刘顺桂1，江辉2，彭建春2. 融合拓扑和安全及稳定的电力网脆弱性评估[J]. 计算机工程与应用, 2016, 52(6): 223-226.
[10]	司明. 基于FES和FTA的锅炉安全隐患预警及评价系统[J]. 计算机工程与应用, 2016, 52(23): 244-248.
[11]	王丽娟，陈德旺，贾桂文. 基于最小二乘法的高速列车位置估计[J]. 计算机工程与应用, 2015, 51(19): 216-218.
[12]	刘健1，王玲1，吴桐1，2. 基于级联混沌系统改进的图像加密算法[J]. 计算机工程与应用, 2015, 51(12): 68-73.
[13]	王建晔1，任平安1，吴振强1，李艳平2. 基于编码混淆的匿名通信机制[J]. 计算机工程与应用, 2014, 50(23): 108-113.
[14]	曾萍，张历，胡荣磊，杨亚涛，刘培鹤. WSN中基于ECC的轻量级认证密钥协商协议[J]. 计算机工程与应用, 2014, 50(2): 65-69.
[15]	荣维坚1，郭亚峰2，黄振杰2. 整数分解问题下的基于证书数字签名方案[J]. 计算机工程与应用, 2014, 50(11): 75-80.