基于故障树的雷达软件安全性检验研究

下载PDF

导出

摘要对于雷达软件测试来说,安全性测试是其中的难点和关键。目前,我国雷达软件的安全性测试仍存在一些问题,本文在此背景下,从需求分析和测试设计两方面,对软件安全性测试进行了分析,并将故障树分析法结合在其中,该方法经实验证明简捷、可行。

作者王英

机构地区陕西西安市黄河集团有限公司检验处

出处《无线互联科技》 2013年第3期127-127,共1页 Wireless Internet Technology

关键词软件安全性雷达软件安全性测试风险分析故障树分析

参考文献7

1黄文化,黄松,惠战伟,夏凯.软件安全性需求提取方法研究综述[J].指挥信息系统与技术,2011,2(1):6-10. 被引量：5
2李晓红,王翔宇,张涛,易锦,冯志勇.基于缺陷分析与测试评审的软件可信性评价方法[J].清华大学学报（自然科学版）,2011,51(10):1287-1293. 被引量：5
3韩伟光.浅析网络应用软件的安全性及可靠性[J].中国新技术新产品,2012(7):27-27. 被引量：2
4林洁,吴慈伶,孙俊若,叶波.雷达软件测试环境仿真平台技术研究与实践[J].现代雷达,2010,32(6):92-95. 被引量：11
5吴雁,孙爱国.引信故障树图库的建立研究[J].华北工学院学报,2004,25(3):187-190. 被引量：2
6蔡佳昆,宋海平.多种故障树求解方法的测试与分析[J].强度与环境,2004,31(2):33-39. 被引量：4
7陈兆兵,曹学武.核电系统的故障树可靠性定量分析数字仿真[J].计算机仿真,2005,22(10):222-224. 被引量：6

1白剑林,张平定,体卫群,刘鹏.对第四代战斗机综合航电系统的构想[J].火力与指挥控制,2006,31(5):1-3. 被引量：7
2孙丽,秦永元.捷联惯导系统姿态算法比较[J].中国惯性技术学报,2006,14(3):6-10. 被引量：48
3王轶辰,刘斌,阮镰.嵌入式软件可靠性仿真测试环境框架[J].计算机工程,2006,32(19):43-45. 被引量：9
4Stephen R Davis[美]著,卢凌云等译.C++编程(续篇)[M].北京:电子工业出版社,1997.
5Bruno R Preiss[美]著,胡广斌等译.数据结构与算法--面向对象的C++设计模式[M].北京:电子工业出版社.2000.
6冯俊涛.某相控阵预警雷达实时任务调度策略的设计[J].雷达与对抗,2007,27(1):1-3. 被引量：1
7Gunther Gediga, Kai Christoph Hamhorg, Ivo Duntsch. Evaluation of software system [J]. Encyclopedia of Computer Science, 2001, (2010-8-30), http: //wenku. baidu, com/view/51f9ba03a6c30c2259019eed, html.
8Michael Pagels. DAML: The DARPA agent marku language [Z/OL]. BBN Rosslyn Office, (2011-09-09), http: //www. daml. org/2006-01-13.
9李晓红,冯志勇,王祥宇.基于安全缺陷的软件可信性评价方法[C]//2010CCF中国计算机大会论文集.杭州,中国:中国计算机学会,2010.
10ISO/IEC 15408. Information technology-security techniques-evaluation criteria for IT security [R]. (2010-05-07), http.- //www. iso. org/iso/catalogue_detail. htm?csnumber = 40612. 2010.

无线互联科技

2013年第3期

内容加载中请稍等...