北京航空航天大学学报 ›› 2012, Vol. ›› Issue (11): 1445-1449.

• 论文 • 上一篇    下一篇

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

李震1, 刘斌1, 苗虹2, 殷永峰1   

  1. 1. 北京航空航天大学 可靠性与系统工程学院, 北京 100191;
    2. 江苏科技大学 经济管理学院, 镇江 212003
  • 收稿日期:2011-06-14 出版日期:2012-11-30 发布日期:2012-12-07
  • 基金资助:
    国家自然科学基金资助项目(70971056,71101065); 总装重点预研课题资助项目(51319070101); 航空科学基金资助项目(20095551025); 机载软件工程化研究专题资助项目(DY09Z11926)

Modeling and verification of software safety requirement based on ontology

Li Zhen1, Liu Bin1, Miao Hong2, Yin Yongfeng1   

  1. 1. School of Reliability and Systems Engineering, Beijing University of Aeronautics and Astronautics, Beijing 100191, China;
    2. School of Economics and Managment,Jiangsu University of Science and Techndogy, Zhenjiang 212003, China
  • Received:2011-06-14 Online:2012-11-30 Published:2012-12-07

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

Abstract: The catastrophic accidents are usually caused by and related to safety requirement and the manual review cannot meet the strict verification requirement of software safetyd.Consequently, the definition of software safety was discussed, the recognized and related standards with guidebooks were strictly selected as the knowledge bases of requirement verification, the ontology models were built by "seven step method", the rules were formally described by the concepts and relations in ontology models to support verification, the tool prototype of formal modeling and verification of software safety requirement was designed and realized, and the tool prototype was used to the comparative experiment between manual verification and automatic verification. The result of the experiment shows that using tool prototype is far better than manual verification in time consumed, verification times and the prototype has a good usability as well.

中图分类号: 


版权所有 © 《北京航空航天大学学报》编辑部
通讯地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 E-mail:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发