收藏本站
《杭州电子科技大学》 2014年
收藏 | 手机打开
二维码
手机客户端打开本文

嵌入式二进制软件缺陷检测系统的仿真环境支持

何晓文  
【摘要】:嵌入式行业飞快发展,成为当前最热门最有发展前途的IT应用领域之一。本文解决嵌入式开发过程中遇到的部分难题。主要是利用虚拟仿真和缺陷检测两大加快嵌入式软件开发的技术,建立了一个完整的系统,深化了一种利用虚拟仿真环境来进行嵌入式软件开发的开发模式。从硬件模拟,到软件诸如内存泄露、变量未初始化等软件缺陷的检测,都包括在系统之内,并且贯穿嵌入式软件开发的整个过程之中。 基于二进制代码的嵌入式软件缺陷检测系统是一套针对嵌入式二进制代码的缺陷检测系统,该检测系统主要分为虚拟仿真环境、缺陷检测引擎和缺陷报告生成三个部分,首先对待测程序的二进制代码进行指令分析。然后对其进行插桩,将相应的功能代码插入程序中。接着收集程序在虚拟化仿真环境中的执行信息。最后形成一份嵌入式软件的缺陷报告。 本论文所做的主要工作和成果可总结为下面几点。 1、深入研究了虚拟化技术的工作原理和应用场景,探讨了基于仿真环境嵌入式软件缺陷检测的可行性。 2、分析了现有开源软件的源代码和工作原理,实现了一个多体系结构的仿真器Emu。虽然目前只支持嵌入式ARM系列的开发平台,但由于采用了开放式的可扩展的开发方式,后期不断地完善支持的硬件平台和体系结构。 3、对缺陷检测的相关技术进行研究,提出了三种方案对缺陷检测引擎的进行仿真支持,方案各有优劣,并对其进行可行性及通用性验证。它们分别是基于驻留程序的仿真支持方案、基于网络通信的仿真支持方案和基于深度融合的仿真支持方案。最后利用三种方案设计实现了一个支持缺陷检测的原型系统。 4、使用C、C++语言设计和编写了完整的嵌入式系统仿真环境。通过仿真的支持,缺陷检测分析工具能够检测内存泄露缺陷、未初始化内存缺陷、栈溢出缺陷以及整数溢出缺陷等嵌入式软件常见的缺陷。
【学位授予单位】:杭州电子科技大学
【学位级别】:硕士
【学位授予年份】:2014
【分类号】:TP311.53

手机知网App
【参考文献】
中国期刊全文数据库 前2条
1 徐佳;;基于虚拟化技术的服务环境研究与实现[J];电脑知识与技术(学术交流);2007年05期
2 曹小鹏;;嵌入式软件的测试方法研究[J];西安邮电学院学报;2007年05期
中国博士学位论文全文数据库 前1条
1 赵云山;基于符号分析的静态缺陷检测技术研究[D];北京邮电大学;2012年
【共引文献】
中国期刊全文数据库 前8条
1 吴志君;段富海;;嵌入式Linux系统内存优化使用方法研究[J];甘肃科学学报;2012年01期
2 吴晓葵;;基于CodeTEST的嵌入式软件测试技术[J];电子设计工程;2010年09期
3 张世荣;唐玉玲;;家电类嵌入式控制器软件功能测试平台设计[J];工业仪表与自动化装置;2009年04期
4 田佳可;陈豪赞;颜锦奎;;基于VB编程的内存泄露检测[J];电子测量技术;2014年02期
5 翁飚;徐佳;;基于VM Server的虚拟服务环境构建研究[J];科技资讯;2008年21期
6 郭鑫宇;;基于截取器的嵌入式软件动态分析方法[J];现代计算机(专业版);2013年22期
7 崔化良;兰芸;崔宝江;;动态污点分析技术在ActiveX控件漏洞挖掘上的应用[J];信息网络安全;2013年12期
8 张龙龙;董卫宇;王立新;;系统级动态二进制翻译系统中访存异常的制导技术研究[J];信息工程大学学报;2014年02期
中国重要会议论文全文数据库 前1条
1 毕经存;;汇编程序覆盖测试中不可达指令检测算法[A];2008’“先进集成技术”院士论坛暨第二届仪表、自动化与先进集成技术大会论文集[C];2008年
中国博士学位论文全文数据库 前1条
1 张博;面向农业科研人员的虚拟化信息服务研究[D];中国农业科学院;2010年
【二级参考文献】
中国期刊全文数据库 前4条
1 杨朝红;宫云战;肖庆;王雅文;;基于软件缺陷模型的测试系统[J];北京邮电大学学报;2008年05期
2 古幼鹏,熊光泽,桑楠;基于构件的嵌入式软件仿真开发环境模型研究[J];系统工程与电子技术;2004年10期
3 欧阳志强;;一种与平台无关的C程序内存错误检测工具的设计[J];中国高新技术企业;2007年07期
4 刘克;单志广;王戟;何积丰;张兆田;秦玉文;;“可信软件基础研究”重大研究计划综述[J];中国科学基金;2008年03期
中国博士学位论文全文数据库 前1条
1 李必信;程序切片技术及其在面向对象软件度量和软件测试中的应用[D];南京大学;2000年
【相似文献】
中国期刊全文数据库 前10条
1 林南;刘薇;;无线传感器网络休眠调度问题分析[J];闽江学院学报;2008年02期
2 于斐;蒋玲玲;;基于VERICUT的整体叶轮五轴联动数控加工仿真[J];机械设计与制造;2010年07期
3 陈华平,安虹,黄刘生,陈国良;分布式任务调度算法的仿真环境研究[J];中国科学技术大学学报;1999年04期
4 祝江汉,凌云翔,邱涤珊;指挥自动化系统效能仿真环境研究[J];计算机工程与科学;2004年01期
5 舒振,张耀鸿,罗雪山;基于组件的软件开发方法在C3I系统仿真中的应用研究[J];计算机应用研究;2004年10期
6 邓可,赵晓哲,孙航;分布式水面舰艇编队防潜仿真系统设计[J];火力与指挥控制;2005年06期
7 项俊华;韩华亭;;基于HLA的地面防空系统仿真研究[J];弹箭与制导学报;2005年S7期
8 樊文平;刘荣;田维春;吴芳;;虚拟GIS及其虚拟可视化技术研究[J];地理信息世界;2006年02期
9 王战中;;曲面数控加工的虚拟仿真实现[J];自动化技术与应用;2006年07期
10 金光;赵炤;;基于多模型的可靠性仿真环境的设计与实现[J];系统仿真学报;2006年09期
中国重要会议论文全文数据库 前10条
1 胡长德;高娟;钱征宇;;一种地磁仿真环境系统的构建[A];全国第二届信号处理与应用学术会议专刊[C];2008年
2 李群;杨峰;梅珊;王维平;;OpenBlock:一个基于组件的模块图仿真环境[A];'2002系统仿真技术及其应用学术论文集(第四卷)[C];2002年
3 程健庆;;综合仿真环境在海军作战实验室中的应用研究[A];新世纪 新机遇 新挑战——知识创新和高新技术产业发展(下册)[C];2001年
4 张斌;赵书俊;张士勋;刘豪佳;;基于GATE的PET仿真环境的实现与应用[A];第十五届全国核电子学与核探测技术学术年会论文集[C];2010年
5 马婷;;IPv6仿真环境OMNeT++IPv6Suite剖析[A];安全高效矿井机电装备及信息化技术——陕西省煤炭学会学术年会论文集(2011)[C];2011年
6 姜亦林;杨军;;仿真环境中的声音实时生成技术[A];1998年中国智能自动化学术会议论文集(下册)[C];1998年
7 陈海泉;江欣;孙玉清;;基于ITI-SIM仿真环境的比例方向阀建模研究[A];中国航海学会船舶机电与通信导航专业委员会2002年学术年会论文集(船舶机电分册)[C];2002年
8 陈海泉;江欣;孙玉清;;基于ITI-SIM仿真环境的比例方向阀建模研究[A];中国航海学会2002年度学术交流会论文集专刊[C];2002年
9 赵韩;王勇;方艮海;;机构动态仿真方法研究[A];第十四届全国机构学学术研讨会暨第二届海峡两岸机构学学术交流会论文集[C];2004年
10 李皓;;舰艇电子武器系统仿真概况[A];中国造船工程学会电子技术学术委员会2006学术年会论文集(上册)[C];2006年
中国重要报纸全文数据库 前10条
1 记者 周前进;省委党校将建仿真环境实验室[N];四川日报;2011年
2 邹吉宏;营造仿真环境 加快对韩招商[N];青岛日报;2005年
3 实习记者  纪爱玲;虚拟技术解决传统制造业难题[N];中国高新技术产业导报;2007年
4 王骏勇;心脏起搏植入模拟实验室在宁启用[N];医药经济报;2006年
5 本报记者 缪琴;两栖爬行动物科普馆全国唯一[N];成都日报;2008年
6 朴凯 袁兴萍;透视“模拟浸没”训练[N];解放军报;2006年
7 通讯员  沈广东 本报记者  戴嵩松 赵建春;毕业生成了企业的“免检”人才[N];中国教育报;2007年
8 本报记者 张懿;变全球会议为“绿色会议”[N];文汇报;2008年
9 安世亚太 田锋;含蓄的CAE正在火起来(一)[N];中国航空报;2005年
10 小径;春兰研究院院训:创新+效益[N];中国经营报;2001年
中国博士学位论文全文数据库 前10条
1 唐胜利;热动力系统仿真环境的研究与开发[D];重庆大学;2004年
2 邓野;CTCS-3测试仿真环境可视化关键技术的研究[D];北京交通大学;2010年
3 许智宏;关于提高网格计算性能和服务质量的几点研究[D];天津大学;2004年
4 刘晓红;互联网端到端网络性能影响因素的分析与评估[D];北京邮电大学;2007年
5 王颖;基于人机交互仿真的驾驶次任务研究[D];清华大学;2009年
6 黄英君;空间综合信息网络管理关键技术研究与仿真[D];国防科学技术大学;2006年
7 赵文辉;电子产品并行设计方法及虚拟原型仿真环境研究[D];国防科学技术大学;2002年
8 刘虎;基于COW集群的6FLC-MDPFGA在多传感器多目标跟踪中的应用研究[D];南京航空航天大学;2006年
9 李旭晖;移动Agent描述与仿真中若干问题的研究[D];武汉大学;2003年
10 由光鑫;多水下机器人分布式智能控制技术研究[D];哈尔滨工程大学;2006年
中国硕士学位论文全文数据库 前10条
1 张轶;基于分布式仿真环境的地理信息系统设计与实现[D];解放军信息工程大学;2001年
2 沈明星;基于CAN总线混合动力汽车模糊逻辑控制策略的仿真研究[D];华中科技大学;2007年
3 杨扬;基于故障注入的CBTC系统测试的研究与实现[D];北京交通大学;2009年
4 刘韬;基于DeltaCORBA的嵌入式应用系统设计仿真环境[D];电子科技大学;2004年
5 常亮;仿真环境中指挥行为评估方法研究与设计[D];哈尔滨工程大学;2011年
6 何晓文;嵌入式二进制软件缺陷检测系统的仿真环境支持[D];杭州电子科技大学;2014年
7 陈晟;一种系统生物学建模语言的研制[D];华中科技大学;2004年
8 江达飞;小型无人机控制与仿真环境设计[D];南京航空航天大学;2012年
9 李博;基于SystemVerilog-VMM的仿真环境设计及其应用[D];哈尔滨工业大学;2009年
10 贺勇;城市三维仿真环境制作和交互性研究[D];武汉理工大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026