计算机工程与应用Issue(12)：232-236,5.DOI:10.3778/j.issn.1002-8331.1305-0192
故障模型驱动的软件安全性测试研究
Research on software safety test driven by fault model
摘要
Abstract
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.关键词
高速铁路/列控中心/安全性/形式化建模/安全性测试Key words
high-speed railway/train control center/safety/formal modeling/safety test分类
信息技术与安全科学引用本文复制引用
熊静,喻钢,徐中伟..故障模型驱动的软件安全性测试研究[J].计算机工程与应用,2014,(12):232-236,5.基金项目
国家自然科学基金（No.61075002）；国家“十二五”科技支撑计划项目（No.2011BAG01B03）。 （）
