基于RUCM的软件安全性需求描述方法

摘要：

随着软件在安全关键系统中的应用越来越广泛、承担的安全关键功能越来越多,软件的安全性需求变得越来越重要,成为系统安全性的一个重要的决定性因素.软件安全性需求的正确描述是整个软件安全性工作的关键,它是开展后续软件安全性设计、实现与测试工作的依据.然而现有的安全性需求通常被混同于一般功能性描述中,缺乏独立、规范和明确的描述,缺乏对于故障、失效与安全性需求之间相互关系的描述机制,导致在实际应用中缺乏对安全性需求进行准确描述的方法.设计了一种基于结构化模版和约束规则的安全性需求规约,即基于RUCM的安全性需求描述方法SafetyRUCM,该方法以RUCM建模方法为基础,通过扩展用例规约模板和限制规则,添加故障描述模版以及数据描述模版,使其能够支持故障相关描述以及相应的安全性需求描述并形成安全性需求规约,最后通过某机载操作系统的案例研究验证了SafetyRUCM建模方法的可行性.

关键词：安全性需求、RUCM、数据字典、故障

所属期刊栏目：42

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

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

页数：共6页

页码：65-70