删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

嵌入式软件测试和分析工具的研究与实现

北京航空航天大学 辅仁网/2017-07-06

文献详情


嵌入式软件测试和分析工具的研究与实现
文献类型学位
作者孙晓明[1]
机构
授予学位硕士
年度2004
学位授予单位北京航空航天大学
语言中文
关键词软件测试;实时嵌入式软件;非干涉测试;仿真测试;虚拟机
摘要随着计算机技术和电子技术的快速发展,越来越多的嵌入式系统应用在一些完全关键性的领域中,嵌入式软件的质量保证因此显得尤为重要.该论文研究实现了一种基于软件仿真方法的嵌入式软件测试工具ETest96,它利用运行在宿主机平台上的MCS-96虚拟机提供的仿真运行环境,能够对MCS-96系列大多数型号单片机上的嵌入式软件进行静态分析和动态测试,实现了实时软件的非干涉测试.该文首先论述了嵌入式软件的特性及其给软件测试带来的影响,然后分别针对嵌入式软件每种特性深入探讨了近些年来测试方面的相关研究工作,包括可行的测试方法、已经取得的成果和尚且存在的问题,在此基础上研究实现了面向MCS-96实时嵌入式软件的测试工具ETest96,之后分别详细介绍了它的结构设计和功能实现,并对其中涉及到的关键技术——虚拟机技术和仿真测试予以详尽的论述.在对已有嵌入式软件测试方法和技术加以分析总结的基础上,我们研究实现的ETest96在一定程度上解决了嵌入式软件测试中的几个问题,其先进性体现在:(1).在宿主机平台实现的基于仿真测试的ETest96极大提高嵌入式软件执行的可视性和可控性,有效提高了嵌入式软件测试的效率;(2).采用软件仿真测试方法解决嵌入式软件测试滞后于硬件目标系统设计的问题,能够尽早地发现软件中的错误,能够为以后嵌入式系统软硬件的协同设计提供支持;(3).ETest96能够实现非干涉的实时性测试和分析,有效保证测试结果的准确性;(4).目前专门针对MCS-96实时嵌入式软件的测试工具国内尚无成型的此类产品出现,ETest96的研制具有一定的创新性.



影响因子:


暂无成果共有人
dc:title:嵌入式软件测试和分析工具的研究与实现
dc:creator:孙晓明
dc:date: publishDate:1753-01-01
dc:type:学位
dc:format: Media:北京航空航天大学
dc:identifier: LnterrelatedLiterature:北京航空航天大学.2004.
dc:identifier:DOI:
dc: identifier:ISBN:
相关话题/软件 测试 学位 北京航空航天大学 技术

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
    本站小编 Free壹佰分学习网 2022-09-19
  • 软件开发过程中实用软件度量的研究与支持环境的实现
    文献详情软件开发过程中实用软件度量的研究与支持环境的实现文献类型学位作者任发科[1]机构北京航空航天大学↓授予学位硕士年度2004学位授予单位北京航空航天大学语言中文关键词实用软件度量;软件过程;软件过程度量;统计过程控制;过程改进摘要实施过程改进的软件组织要求一种基于事实的 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 基于双目立体视觉的三维测量技术研究
    文献详情基于双目立体视觉的三维测量技术研究文献类型学位作者何春燕[1]机构北京航空航天大学↓授予学位硕士年度2004学位授予单位北京航空航天大学语言中文关键词双目立体视觉;摄像机标定;平面度误差;三维测量;曲面拟合摘要计算机视觉是图像处理技术应用的重要分支,也是目前广泛研究的热点.该文在分析立体视觉 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 航空发动机FMECA自动化分析技术研究
    文献详情航空发动机FMECA自动化分析技术研究文献类型学位作者王博[1]机构北京航空航天大学↓授予学位硕士年度2004学位授予单位北京航空航天大学语言中文关键词航空发动机;可靠性;故障分析;FMECA;软件摘要针对故障模式、影响及危害性分析(FMECA)技术在航空发动机可靠性设计中的使用特点,结合面 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 基于几何与图象的混合绘制技术研究
    文献详情基于几何与图象的混合绘制技术研究文献类型学位作者文建宇[1]机构北京航空航天大学↓授予学位硕士年度2004学位授予单位北京航空航天大学语言中文关键词虚拟现实;摄像机标定;三维重构;仿射矫正;度量矫正摘要基于几何与图象的混合绘制技术(GIBR)是当前图形领域研究的一个方向.该技术建立在射影几何 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 微小型构件内表面三维形貌检测技术研究
    文献详情微小型构件内表面三维形貌检测技术研究文献类型学位作者贺俊吉[1]机构北京航空航天大学↓授予学位博士年度2004学位授予单位北京航空航天大学语言中文关键词机器视觉检测;结构光;图像畸变;标定;图像处理摘要本论文内容是围绕国防基础研究项目微小型构件内表面三维形貌检测技术研究" ...
    北京航空航天大学 辅仁网 2017-07-06
  • 复杂蒙皮拉形过程数值模拟技术研究及系统开发
    文献详情复杂蒙皮拉形过程数值模拟技术研究及系统开发文献类型学位作者白笛[1]机构北京航空航天大学↓授予学位博士年度2004学位授予单位北京航空航天大学语言中文关键词飞机蒙皮;拉伸成形;有限元法;数值模拟;本构方程;接触摩擦;回弹;切边;试验系统摘要飞机蒙皮是构成飞机气动外形的关键零件,一般采用拉伸成 ...
    北京航空航天大学 辅仁网 2017-07-06
  • C/C++程序内存泄漏检测和分析技术的研究与实现
    文献详情C/C++程序内存泄漏检测和分析技术的研究与实现文献类型学位作者黄瑶[1]机构北京航空航天大学↓授予学位硕士年度2004学位授予单位北京航空航天大学语言中文关键词软件测试;内存泄漏;数据流分析;程序控制流程图摘要程序内存错误的检测是软件测试的重点和难点之一.内存泄漏的产生和体现具有隐蔽性和积 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 多学科设计优化方法与技术的应用
    文献详情多学科设计优化方法与技术的应用文献类型学位作者孔晨[1]机构北京航空航天大学↓授予学位硕士年度2004学位授予单位北京航空航天大学语言中文关键词多学科设计优化;UG;iSIGHT;AutoForge;Tcl;expect;试验设计摘要复杂工程系统的设计是一个多学科互相适应的系统过程.设计过程 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 无线视频压缩与传输关键技术研究
    文献详情无线视频压缩与传输关键技术研究文献类型学位作者牛建伟[1]机构北京航空航天大学↓授予学位博士后年度2004学位授予单位北京航空航天大学语言中文关键词无线网络;视频;H.264;位率控制;率失真优化;包调度;视频传输摘要本文针对无线环境下的视频压缩和传输中的关键技术进行了系统深入的研究,对视频 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 直升机飞行航迹规划与控制跟踪技术研究
    文献详情直升机飞行航迹规划与控制跟踪技术研究文献类型学位作者孙向春[1]机构北京航空航天大学↓授予学位硕士年度2004学位授予单位北京航空航天大学语言中文关键词直升机;航迹规划;航迹跟踪;地形跟踪;地形回避;数字地图;最优控制;广义预测控制摘要该论文对直升机贴地飞行航迹规划与控制跟踪技术做了系统的研 ...
    北京航空航天大学 辅仁网 2017-07-06