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

作者：熊静; 喻钢; 徐中伟

来源：计算机工程与应用, 2014, 50(12): 232-236.

• 高速铁路
• 列控中心
• 安全性
• 形式化建模
• 安全性测试

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

• 单位
  上海大学; 同济大学; 上海工程技术大学