期刊文献+

基于故障注入的信息系统安全性缺陷验证技术研究 被引量:1

下载PDF
导出
摘要 本文针对信息系统内由于软件代码缺陷而引发的系统安全性问题,特别是目前较严重的缓冲区溢出漏洞,提出了应用故障注入技术通过程序变异等方法对被验代码进行有针对性的缺陷验证。详细介绍了软件故障注入技术及静态注入方法,分析了故障注入技术在检测程序代码漏洞中的流程和方法,在此基础上设计实现了软件故障注入的工程辅助工具,并通过实际的工程案例分析,验证了该技术和所开发工具的有效性。
出处 《警察技术》 2008年第4期20-23,共4页 Police Technology
  • 相关文献

参考文献2

二级参考文献13

  • 1Stacy J P.净室软件工程:技术与过程[M].贲可荣,张志祥译.北京:电子工业出版社,2001.
  • 2Frankl P G,Weyuker E J.An applicable family of dataflow t esting criteria[J].IEEE Trans Software Eng,1989,14(10):1483-1498.
  • 3Hamlet D.Connecting test coverage to software dependabilit y[A].Software Reliability Engineering Proceedings 5th International Symposium [C].Monterey:IEEE Computer Society Press,1994.158-165.
  • 4Hamlet R.Testing programs with the aid of a compiler[J]. IEEE Trans Software Eng,1977,3(7):279-290.
  • 5DeMillo R,Lipton R,Sayward F.Hints on test data selection: Help for the practicing programmer[J].IEEE Computer,1978,11(4):34-43.
  • 6Howden W E.Weak mutation testing and completeness of test sets[J].IEEE Trans Software Eng,1982,8(7):371-379.
  • 7Offutt A,Lee S.An empirical evaluation of weak mutation[J ].IEEE Trans Software Eng,1994,20(5):337-345.
  • 8Bieman J M,Dreilinger D,LIN Li-jun.Using fault injection t o increase software test coverage[A].Software Reliability Engineering Proceedi ngs Seventh International Symposium[C].New York:IEEE Computer Society Press,19 96.166-174.
  • 9Chillarege R,Bhandari I,Chaar J,et al.Orthogonal defect cl assification-a concept for in-process measurements[J].IEEE Trans Software Eng, 1992,18(11):943-956.
  • 10Madeira H,Costa D,Vieira M.On the emulation of software faults by softwa re fault injection[A].Dependable Systems and Networks Proceedings Internationa l Conference[C].New York:IEEE Computer Society Press,2000.417-426.

共引文献11

同被引文献11

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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