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

Research on software safety test driven by fault model

作　　者：熊静[1] 喻钢[2,3] 徐中伟[4,3] 

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

出　　处：《计算机工程与应用》2014年第12期232-236,共5页Computer Engineering and Applications

基　　金：国家自然科学基金(No.61075002);国家“十二五”科技支撑计划项目(No.2011BAG01B03)

摘　　要：根据安全性测试的需求,建立了检测软件内部安全逻辑故障的故障模型,提出了故障模型动态生成算法及基于故障覆盖的安全性测试生成算法,可以有效识别软件是否具备对于故障的安全防护能力,在我国高速铁路列控中心安全性测试中说明了方法的有效性。According to the requirements safety test, this paper establishes fault model to detect the safety logic fault, pro-poses 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.

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

分 类 号：TP391[自动化与计算机技术—计算机应用技术]