一种安全性关键软件的评估模型

摘要：

安全性关键软件影响生命财产安全,必须有定量评估模型来反映此类软件的安全性.传统安全性定量评估通过改进可靠性模型并将软件看作整体评估,而未探究软件失效本质,不能很好地评估软件行为安全性.为此,基于软件失效本质及对安全性关键场景的研究,提出软件交互行为模型,给出从各软件运行条件的关系中构造交互模式依赖图的方法,设计基于软件过程行为的安全性评估模型.实例分析表明,该模型能识别出所有软件过程行为及其发生率、失效率,为每个过程行为赋予风险指数,并计算得到整体的软件风险指数.

关键词：安全性关键软件、软件交互行为模型、交互模式依赖图、安全性评估模型、软件过程行为

所属期刊栏目：41

分类号：TP311(计算技术、计算机技术)

在线出版日期：2015-12-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：130-138,143