基于本体的软件安全性需求建模和验证

摘要：

由软件引起的灾难性事故原因往往源于安全性需求，目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求．因此，讨论了软件安全性需求的定义，遴选了国内外公认的相关标准和手册作为需求验证的知识基础，根据“七步法”建立了本体模型，利用本体模型中的概念和关联来形式化地描述规则以支持验证；同时基于以上研究内容设计和实现了软件安全性需求形式化建模和验证的工具原型，并对使用工具实施验证和使用人工评审实施验证进行了对比分析实验．实验结果表明形式化工具原型在验证时间和验证次数上都大大优于人工验证方法，同时工具原型具有良好的易用性．

关键词：软件安全性、本体、形式化验证

所属期刊栏目：38

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

资助基金：国家自然科学基金;总装重点预研课题资助项目;航空科学基金;机载软件工程化研究专题资助项目

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

页数：共5页

页码：1445-1449