嵌入式软件堆栈溢出的静态测试方法研究

发布时间：2020-09-24 19:13

　　 随着计算机技术的飞速发展,嵌入式系统不仅在人们日常生活中应用越来越广泛,同时在一些高端领域如航空、军事相关的控制领域发挥着日益关键的作用,相关领域对嵌入式软件的安全性、稳定性要求也不断提高。C语言作为嵌入式软件中采用最广的编程语言,却存在着很多安全隐患,对C语言编写的嵌入式软件的安全性测试已经成为十分重要的一环。 本文针对嵌入式软件白盒测试中的一个方面——静态分析,研究了目前国内外的方向及常用的几款自动化测试工具,结合C语言中的安全隐患,特别是堆栈溢出隐患,提出一套基于汇编代码的静态自动化测试方案,并设计实现了一款堆栈溢出静态测试软件。该软件功能专一,效率较高,且源代码可见,在堆栈溢出测试中可以替代人工劳动,能够提高静态测试效率,在高安全性高可靠性领域的嵌入式软件评测中具有一定的实践应用价值。
【学位单位】：北京交通大学
【学位级别】：硕士
【学位年份】：2011
【中图分类】：TP368.1;TP311.53
【部分图文】：

staek劫alyzer调用关系显示

喏献筇美嘉涝佳峭裂绗宦畚那度胧饺砑鋣馐苑椒缜肮ぞ?___澎…一 一爵爵爵爵鲁鲁 图2一 2StackAnalyze:控制流程图显示但是这款软件是商业软件，价格十分昂贵，而且其源代码并不提供给用户。在航天，军工等高安全性高可靠性领域，这款软件并不适用。目前测试人员在相关领域的堆栈分析中主要采用人工审查结合其他工具的方式进行分析，效率比较低。本文主要致力于开发一款源代码开放的的软件，它的功能类似于sta比Anal岁er，能够实现对嵌入式软件堆栈溢出的静态分析。2.4本章小结本章重点介绍了嵌入式软件测试最常用到的两种测试方法—白盒测试和黑盒测试，并针对真两种方法给出了优缺点对比。同时结合本文的研究目标，着重分析了白盒测试中静态分析和动态分析的各自特点，给出了目前嵌入式软件静态测试领域的研究方向和几款常用软件

将汇编代码放入可执行文件decode所在的目录下，在hnux下运行decode，根据提示输入嵌入式系统堆栈大小(设定为2048)，对嵌入式软件的堆栈使用进行静态分析，测试结果截图如图5一1所示:

【相似文献】

相关期刊论文 前10条

1 郑刚;;航空软件测试技术探讨[J];南昌高专学报;2011年03期

2 涂文亮;童玲;田雨;;无线传感器网络的嵌入式软件测试[J];单片机与嵌入式系统应用;2011年05期

3 姜书汉;;智能传感器的主要功能和应用发展[J];物联网技术;2011年05期

4 陶幸辉;宋志刚;;嵌入式飞控软件测试方法研究及实践[J];软件导刊;2011年08期

5 杨明军;;基于虚拟仪器的燃气用具检测设备嵌入式软件[J];机械制造与自动化;2011年03期

6 刘玉宝;祝海英;戴银飞;;汽车电子系统中嵌入式软件可靠性设计[J];数字技术与应用;2011年08期

7 黄慧敏;刘秋让;张凯龙;;嵌入式多任务软件混合自容错机制[J];计算机工程;2011年18期

8 许迅文;;开源RTOS在STM32单片机中的应用[J];企业技术开发;2011年16期

9 ;幽默[J];程序员;2010年11期

10 陈乃塘;;侧看《嵌入式系统软件》的未来[J];电子与电脑;2011年09期

相关会议论文 前10条

1 张志刚;;基于动态跟踪模式的军用嵌入式软件需求质量改进方法研究[A];质量——持续发展的源动力：中国质量学术与创新论坛论文集（下）[C];2010年

2 曹松;李慧军;惠平;;航天嵌入式软件的发展趋势[A];中国空间科学学会空间探测专业委员会第十六次学术会议论文集（下）[C];2003年

3 李友峰;;机车柴油机电控系统嵌入式软件的开发与研究[A];第十七届全国大功率柴油机学术年会论文集[C];2011年

4 赵琰;;基于VxWorks操作系统下的星载嵌入式软件动态测试技术应用研究[A];第二十三届全国空间探测学术交流会论文摘要集[C];2010年

5 毕经存;;一种实用的嵌入式软件测试方法研究[A];2008’“先进集成技术”院士论坛暨第二届仪表、自动化与先进集成技术大会论文集[C];2008年

6 苏运霖;;智能嵌入式软件初探[A];第十届全国电工数学学术年会论文集[C];2005年

7 张军;罗永红;;实时嵌入式软件仿真测试平台研究[A];2009系统仿真技术及其应用学术会议论文集[C];2009年

8 李永成;乔庐峰;李建华;林龙;杜昌贤;;MSAP系统的软硬件联合设计[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集（上）[C];2008年

9 杨云松;孙旭光;梅文华;;嵌入式软件的加解密分析[A];第六届全国计算机应用联合学术会议论文集[C];2002年

10 范海霞;徐涛;;嵌入式软件覆盖测试的优化技术的研究[A];中国电子学会第十七届信息论学术年会论文集[C];2010年

相关重要报纸文章 前10条

1 本报记者 许泳;嵌入式软件:磨练开发质量[N];计算机世界;2011年

2 记者 朱宇;宁波软件主攻“嵌入式”[N];宁波日报;2005年

3 本报记者 张学琦　莎莎;内需拉动嵌入式软件增长 重点在行业应用[N];中国电子报;2008年

4 ;中国手机嵌入式软件市场潜力巨大[N];人民邮电;2005年

5 李燃;时代牵手北航 共推嵌入式软件产业发展[N];中国经营报;2005年

6 本报记者 陈晓晟;嵌入式软件发展关键在人才[N];通信信息报;2007年

7 谌力;给嵌入式软件降降温[N];网络世界;2006年

8 申银万国 尹沿技;计算机业软件服务业司设立 关注嵌入式软件[N];上海证券报;2008年

9 史兴国;产业发展需要企业做稳做实[N];中国电子报;2008年

10 记者 侯力明 王芳 实习生 戴子宁;嵌入式软件，下一块诱人的“奶酪”[N];江苏经济报;2006年

相关博士学位论文 前10条

1 祝义;嵌入式软件需求规约到软件体系结构模型的转换研究[D];南京航空航天大学;2011年

2 鲁晓成;嵌入式软件保护关键技术研究与应用[D];武汉理工大学;2011年

3 古幼鹏;嵌入式实时软件的构件化开发技术研究[D];电子科技大学;2005年

4 邓阿群;面向方面技术在大规模嵌入式软件中的应用[D];浙江大学;2007年

5 高志刚;基于模型的汽车电子软件综合方法研究[D];浙江大学;2008年

6 杨年华;模型驱动架构中的可信嵌入式软件建模与分析[D];华东理工大学;2011年

7 郭兵;嵌入式软件开放式集成开发平台体系结构研究[D];电子科技大学;2002年

8 徐战亚;可移植嵌入式导航平台关键技术研究[D];中国地质大学;2010年

9 蒋建春;异构多核嵌入式软件关键问题研究[D];重庆大学;2011年

10 吴全玉;基于外周动脉压力波形的脉搏传导时间获取方法研究及应用[D];中国科学技术大学;2012年

相关硕士学位论文 前10条

1 原义盈;嵌入式软件堆栈溢出的静态测试方法研究[D];北京交通大学;2011年

2 于炳霞;基于嵌入式软件的覆盖测试技术研究[D];南京航空航天大学;2010年

3 熊利;嵌入式软件测试用例生成方法研究[D];大连理工大学;2010年

4 赵玉辉;嵌入式软件综合测试平台技术研究[D];电子科技大学;2010年

5 肖俊贤;基于积极防御编程的嵌入式软件缺陷预防方法及其实践[D];北京邮电大学;2010年

6 龚荣;基于NXT的嵌入式软件生产线的设计和实现[D];电子科技大学;2011年

7 张春梅;构件化嵌入式软件的服务质量研究[D];陕西师范大学;2010年

8 杨盛;AFC感应型检票机嵌入式软件构架设计与实现[D];东华大学;2010年

9 路翠;嵌入式软件白盒测试中插桩技术的研究与应用[D];北京工业大学;2010年

10 易旭东;μC/OS在嵌入式系统中的应用[D];四川大学;2003年

本文编号：2826148