期刊文献+

一种航天器软件进程堆栈使用深度的动态检测方法 被引量:5

Dynamic Detection Method of Spacecraft Software Process Stack Used Depth
下载PDF
导出
摘要 航天器软件进程堆栈溢出往往会导致软件"跑飞"的后果。文章分析了现有堆栈使用深度检测的静态测试方法和动态测试方法的优点和不足,针对航天器数管软件的特点,提出了一种适用于航天器数管软件进程堆栈使用深度的动态检测方法。通过访问应用软件与系统软件的接口,获得进程堆栈的起始地址和大小等信息,将堆栈区初始化为特定标识,对软件执行最大路径测试后,扫描堆栈区特定标识被覆盖情况,获得进程堆栈的使用深度。在嫦娥五号上升器数管软件中,实现了此方法,并通过上注在轨维护指令进行了测试。结果表明:在不借助任何专业检测软件的情况下,该方法能够实时检测出软件进程堆栈的最大使用深度,以利于避免进程堆栈溢出的风险,提高软件的可靠性。 Spacecraft software process stack overflow often causes the procedure to lose control.The paper analyzes the advantages and disadvantages of stack used depth detection of static test and dynamic test methods,and proposes a dynamic detection method according to the characteristics of spacecraft software.Through the interface of application software and system software,the start address and size of process stack can be obtained and the stack space will be initialized as specific identity after the software performs the maximum path test,and the stack space will be scanned to obtain the process stack used depth.In CE-5ascent stage onboard data handling software,the method is realized and tested by the way of onboard software maintenance.The results show that the method can detect the maximum used depth of the process stack in real time without any professional software,which is beneficial for avoiding the risk of process stack overflow,then improving the software reliability.
出处 《航天器工程》 CSCD 北大核心 2017年第1期85-90,共6页 Spacecraft Engineering
基金 国家重大科技专项工程
关键词 航天器软件 进程堆栈 使用深度 动态检测 spacecraft software process stack used depth dynamic detection
  • 相关文献

参考文献10

二级参考文献71

  • 1吴国伟,姚琳.一种嵌入式软件WCET估计新方法[J].大连理工大学学报,2004,44(6):912-915. 被引量:4
  • 2何熊文,赵和平.一种星载数据管理系统软件复用方案[J].航天器工程,2005,14(4):11-16. 被引量:3
  • 3胡定文,朱俊虎,吴灏.基于有限状态自动机的漏洞检测模型[J].计算机工程与设计,2007,28(8):1804-1806. 被引量:3
  • 4王伟.人工神经网络原理[M].北京:北京航空航天出版社,1998..
  • 5Pressman R S 黄柏素 等.软件工程-实践者的研究方法[M].北京:机械工业出版社,1999..
  • 6CNCert/CC.2005年CNCERT网络安全工作报告[R/OL].(2006-03-07). http://www.cert.org.cn/upload/2005CNCERTCCAnnual Report_Chinese.pdf,
  • 7Evans D, Larchelle D. Improving Security Using Extensible Lightweight Static Anlaysis[J]. IEEE Trans. on Software, 2002, 19(1): 42-51.
  • 8Wagner D, Foster J S, Brewer E A, et al. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities[C]//Proc. of Network and Distributed System Security Symposium. San Diego, USA: [s. n.], 2000.
  • 9Ganapathy S J. Buffer Overrun Detection Using Linear Programming and Static Analysis[C]//Proc. of Conferenc on Computer and Communication Security. Washington, USA: [s. n.], 2003.
  • 10Flake H B. IDC Package[EB/OL]. (2003-05-17). http://sourceforge. net/projects/bugscam.

共引文献51

同被引文献31

引证文献5

二级引证文献19

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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