期刊文献+

基于关联风险剖面的软件防危性增长测试 被引量:2

Software safety growth testing method based on correlative risk profile
在线阅读 下载PDF
导出
摘要 针对软件防危性增长测试的本质特征在于快速降低由于软件失效而导致系统事故的风险,依据重要性取样的统计学原理,结合软件防危性分析,建立了一套集构建软件关联风险剖面、依照关联风险剖面产生测试用例为一体的软件防危性增长测试方法,并给出了测试停止标准。从理论上讲,本方法在快速降低软件事故风险方面比现有软件测试方法更有效。 Considering that the object of software safety growth testing is to reduce the risk of accident resulted by software failures sharply, a software safety growth testing method based on the correlative risk profile is presented. In addition, the procedure of constructing the risk profile according to the importance sampling thinking and software safety analyzing methods, as well as the testing cases generating method, is depicted in detail. Finally, the software safety growth testing stopping rule is given. In theory, the method provided above is effective to reduce the software accident risk .
出处 《系统工程与电子技术》 EI CSCD 北大核心 2009年第3期686-690,共5页 Systems Engineering and Electronics
基金 上海市科技攻关计划项目(06DZ150003) 东华大学青年教师基金(112-10-0044056) 上海申通地铁集团项目(KY-07-025)资助课题
关键词 软件防危性 软件可靠性 统计测试 软件测试 software safety software reliability statisticat testing software testing
  • 相关文献

参考文献6

  • 1Leveson N G. Safetware,system safety and computers[M]. Addisorr Wesley Professional, 1995.
  • 2虞翊.基于黑箱测试及风险分析的铁路信号控制软件安全性评估理论的研究与实践[D].上海:同济大学,2000.
  • 3Tang D, Hecht H. A possible approach to assessing dependability for safety-critical software[C]. The 2th Annual Conference of Computer Assurance. Gaithersbarg, Maryland USA, 1997.
  • 4Alam M S, Chen W H, Ehrlich W K. Assessing software reliability performance under highly critical but infrequent event occurrences[C]. Proceedings of the 8th International Symposium On Software Reliability Engineering, Albuquerque, NM USA, 1997:294 - 303.
  • 5李秋英,陆民燕,阮镰.软件可靠性测试充分性问题的理论研究[J].北京航空航天大学学报,2003,29(4):312-316. 被引量:12
  • 6覃志东,雷航,桑楠,熊光泽,古幼鹏.安全关键软件可靠性验证测试方法研究[J].航空学报,2005,26(3):334-339. 被引量:33

二级参考文献21

  • 1Michael R Lyu 刘喜成译.软件可靠性工程手册[M].北京:电子工业出版社,1996.110-112.
  • 2LYUMR 刘喜成 钟婉懿 等译.软件可靠性工程手册[M].北京:电子工业出版社,1997..
  • 3Gardiner S. Testing safety-related software: A practical handbook[ C]. New York : Springer Verlag, 1999. 143- 154.
  • 4Goodenough J B, Gerhert S L. Toward a theory of test data selection[J]. IEEE Transactions on Software Engineering, 1975, SE-3:156- 173.
  • 5Zhu Hong, Hall P A V. Test data adequacy measurement[J]. Software Engineering Journal, 1993, 8(1) :21- 29.
  • 6Weiss S N. Methods of comparing test data adequacy criteria[ A].Computer Software and Applications Conference 1990 Proceedings[C]. 1990. 1-6.
  • 7Parnas D L, van Schouwen A J, Kwan S P. Evaluation of safetycritical software[J]. Communications of ACM, 1990, 6(33) :636 -648.
  • 8Howden W E. Functional program testing and analysis[ M]. New York : McGraw-Hill, 1987. 51 - 55.
  • 9David L P, John A, Kwan S P. Evaluation of safety-critical software [J]. Communication of ACM, 1990, 33(6): 636-648.
  • 10Selding P B. Faulty software caused Ariane 5 failure [J].Space News, 1996, 25(7): 24-30.

共引文献42

同被引文献74

  • 1曾凡平.一种基于EAI模型的软件安全测试方法[J].华中科技大学学报(自然科学版),2005,33(z1):304-305. 被引量:3
  • 2Storey N R. Safety critical computer systems[M]. Boston: Addison Wesley Longman publishing Co. , Inc. , 1996.
  • 3Levcson N G. The role of software in spacecraft aecidents[J]. Journal of Spacecraft and Rockets, 2004,41 (4):564-575.
  • 4422^nd Test and Evaluation Squadron. Executive summary:air craft accident investigation, F/A-22 S/N 00-4014[EB/OL]. ht tp://www, f-22raptor, com/pdf/af, exsum_f22crash, pdf. 2004- 12- 20.
  • 5Defense Industry Daily. F22 squadron shot down by the International Date Line [ EB/OL]. http://www, defenseindustrydaily. com/f22-squadron shot down by-thc-international-date-line- 03087/,2007-3-1.
  • 6USAF. MIL-STD-1574A- 1979 System safety program for space and missile system[S]. Arlington: Department of Defence, 1979.
  • 7Leveson N G. Software safety: why, what, and how[J]. Computing Surveys, 1986,18(2) : 125-163.
  • 8Heimdahl M. Safety and software intensive systems: challenges old and new[C]//2007 Future of Software Engineering(FOSE' 07). Washington DC: IEEE Computer Society, 2007 : 137- 152.
  • 9MeDermid J A. Software safety: where' s the evidence? [C]// Proceedings of the 6^th Australian Workshop on Safety Systems and Software. Brisbane: Australian Computer Society, 2001,3 : 1-6.
  • 10总装备部.GJB/Z102-2004军用软件安全性分析指南[S].北京:总装备部,2004.

引证文献2

二级引证文献26

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部