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

软件仿真环境下的嵌入式软件测试的研究

唐科  
【摘要】:在实际工作中存在很多的专用嵌入式系统,它们以汇编语言作为开发语言,缺乏严格的软件测试,难以发现和确认软件中的错误,因此需要能针对汇编语言进行专业软件测试的工具。本论文以嵌入式系统的软件测试为研究对象,引入通用软件测试的思想和方法(黑盒测试、白盒测试),并针对嵌入式系统的特点,在某些具体测试方法上进行改进,在此基础上构建软件测试平台。 由于嵌入式系统的软件具有专用性、硬件依赖性、嵌入性、反应性、实时性等特征,因此,嵌入式软件的运行受到硬件的制约,而采用软件仿真的办法可以避免硬件依赖性,从而在此基础上对嵌入式软件的测试进行研究。软件仿真环境的建立是论文研究和测试工作开展的基础。因此建立了基于Linux 的Intel 8051 系列兼容CPU 仿真模拟平台cereal,通过对其内核的深入分析和研究,清楚了模块的定义及其相互联系,寄存器的访问、修改机制,断点设置机制以及指令仿真、运行原理。并在此基础上实现了cereal_text 自定义命令,完成了cereal_text 向TCL的移植,建立了测试用例脚本解释环境。 根据系统概要设计,完成了预处理模块的数据结构定义及算法设计和测试用例的概要设计,参与Lex 与Yacc 结合实现词法语法分析的研究工作。 在对汇编语言的结构进行分析时,提出以基本块为划分单位,构造程序流图,从而利用有向图的存储方式来处理程序流图,并计算出被测程序的分支路径数和循环复杂度。在此基础上设计了语句覆盖、路径覆盖、分支覆盖的算法。 最后,在项目组全体同志的共同努力下,完成了测试系统的编码及调试工作,实现了针对8051 汇编语言的原型测试系统。 研究表明,采用软件仿真模拟运行环境来进行嵌入式软件测试是成本低且实际可行的方法。
【学位授予单位】:电子科技大学
【学位级别】:硕士
【学位授予年份】:2005
【分类号】:TP391.9;TP311.52

手机知网App
【引证文献】
中国期刊全文数据库 前2条
1 张文山;罗生;;嵌入式系统软件实现常见问题分析[J];航空兵器;2007年06期
2 梁燕;唐超;李伟;;嵌入式软件测试系统设计与实现[J];信息安全与通信保密;2009年11期
中国硕士学位论文全文数据库 前10条
1 杨雅雯;高可靠性嵌入式仿真测试平台的硬件逻辑设计[D];北京交通大学;2011年
2 胡俊;基于NAND FLASH的嵌入式文件系统的研究[D];郑州大学;2011年
3 肖前远;航空嵌入式软件全数字仿真测试技术研究[D];南京航空航天大学;2010年
4 于杨;智能卡操作系统测试技术研究与应用[D];重庆大学;2006年
5 黄勇;基于89c52的嵌入式系统软件测试平台的研究开发[D];电子科技大学;2007年
6 卫征;嵌入式软件测试自动化技术研究[D];北京工业大学;2009年
7 颜志鹏;双离合器自动变速器控制系统软件开发[D];重庆大学;2009年
8 郑熠;无线接入系统呼叫处理软件的研究与实现[D];西安电子科技大学;2009年
9 胡燕京;嵌入式软件功能路径测试方法研究[D];西安理工大学;2009年
10 苏鹏;基于智能卡的闪存文件系统的研究[D];武汉科技大学;2010年
【参考文献】
中国期刊全文数据库 前8条
1 邓支益,何亦征,田翼;嵌入式软件测试研究[J];航空电子技术;2003年01期
2 张虹 ,阮镰 ,刘斌;嵌入式软件测试中的仿真建模方法研究[J];测控技术;2002年03期
3 魏光新,苏丽;逻辑覆盖测试工具的设计与实现[J];计算机工程与应用;2000年05期
4 殷永峰,刘斌,陆民燕;实时嵌入式软件测试脚本技术研究[J];计算机工程;2003年01期
5 曹文静,宫云战;软件测试性计算方法研究[J];计算机工程与设计;2003年10期
6 王璞,张臻鉴,王玉玺;基于覆盖的软件测试技术在实时嵌入式软件中的应用研究[J];计算机工程与设计;1998年06期
7 孙昌爱,靳若明,刘超,金茂忠;实时嵌入式软件的测试技术[J];小型微型计算机系统;2000年09期
8 孙昌爱,金茂忠;基于程序插装的动态测试技术实现[J];小型微型计算机系统;2001年12期
【共引文献】
中国期刊全文数据库 前10条
1 黄小城;王希武;靳波;许宗贤;米二强;;影响差分演化算法生成测试数据的因素研究[J];河北工业科技;2009年06期
2 朱伟;徐拾义;;软件控制流故障诊断的研究[J];哈尔滨工程大学学报;2006年06期
3 韩峰岩,王昕;机载计算机软件的测试[J];航空计算技术;2004年03期
4 张国升;王保松;;浅析机载软件测试策略[J];航空科学技术;2012年02期
5 舒畅,李龙腾;软件测试中的插装技术[J];火力与指挥控制;2005年S1期
6 张银;索旭华;廖建林;郭娟;;AOCC应用软件的快速仿真平台的研究与技术实现[J];航天控制;2010年02期
7 王顺江;;关于电力自动化遥控安全问题的研究[J];东北电力技术;2012年02期
8 刘久富;杨忠;孙德敏;李志宇;;基于模型的飞行控制软件测试用例的生成[J];吉林大学学报(工学版);2006年04期
9 沈永清;徐中伟;;通用嵌入式系统软件测试平台的设计[J];计算机工程与应用;2007年15期
10 赵鹏宇;李建茹;宫云战;;Java语言中数组越界故障的静态测试研究[J];计算机工程与应用;2008年27期
中国重要会议论文全文数据库 前5条
1 肖力田;顾明;孙家广;;PLC嵌入式软件测试的适应性分析[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
2 刘畅;郑军;封二强;;航空机载软件可靠性测试剖面构造方法研究[A];探索 创新 交流(第4集)——第四届中国航空学会青年科技论坛文集[C];2010年
3 宋春明;徐拾义;;C++类测试中的测控技术[A];第十届全国容错计算学术会议论文集[C];2003年
4 朱伟;徐拾义;;软件控制流故障诊断的研究[A];第四届中国测试学术会议论文集[C];2006年
5 刘华;;通信设备嵌入式软件可靠性研究[A];第九届中国通信学会学术年会论文集[C];2012年
中国博士学位论文全文数据库 前3条
1 周卫东;组合导航系统应用软件可靠性研究[D];哈尔滨工程大学;2006年
2 叶俊民;基于软件体系结构的测试用例生成技术研究[D];哈尔滨工程大学;2005年
3 樊林波;软件可靠性与安全性的相互关系及其转换规律研究[D];贵州大学;2009年
中国硕士学位论文全文数据库 前10条
1 熊利;嵌入式软件测试用例生成方法研究[D];大连理工大学;2010年
2 翟灿灿;手机软件测试方法研究[D];哈尔滨理工大学;2010年
3 杨维;半实物仿真综合测试平台的设计与实现[D];西安电子科技大学;2011年
4 章华蔚;进化测试在嵌入式汇编的嵌套分支结构中的应用[D];西安电子科技大学;2009年
5 魏敏;TD-SCDMA协议测试仿真仪表的图形化脚本开发系统设计与实现[D];西安电子科技大学;2009年
6 赵洁;用户脚本技术研究及其在机器视觉组态平台中的应用[D];江南大学;2011年
7 苏娜;软件测试用例集自动生成及优化方法的研究[D];沈阳工业大学;2011年
8 吴刚;基于JC3 Classic虚拟机的程序运行时间的估计[D];北京交通大学;2011年
9 黄松涛;计量器具之衡器软件质量分析和检测[D];南京理工大学;2010年
10 王淑娥;嵌入式软件动态分析技术的研究[D];电子科技大学;2011年
【同被引文献】
中国期刊全文数据库 前10条
1 刘胜;软件测试及其自动化[J];信息技术;2001年03期
2 王荣;嵌入式软件测试方法[J];航空兵器;2003年05期
3 宋龙,张文山,靳凌;空空导弹弹载制导控制系统软件的关键技术研究[J];航空兵器;2004年02期
4 邓支益,何亦征,田翼;嵌入式软件测试研究[J];航空电子技术;2003年01期
5 刘畅;刘斌;阮镰;;航空电子软件仿真测试环境软件体系结构研究[J];航空学报;2006年05期
6 冯樱,陶健民,罗永革;机械自动变速器(AMT)换档规律的研究[J];湖北汽车工业学院学报;2004年01期
7 刘东艳,申功勋;软件可靠性仿真测试平台实时技术研究[J];测控技术;1999年06期
8 阮镰,刘斌,陈雪松;软件可靠性测试及其测试环境[J];测控技术;2000年02期
9 张虹 ,阮镰 ,刘斌;嵌入式软件测试中的仿真建模方法研究[J];测控技术;2002年03期
10 崔小乐 ,刘斌 ,钟德明 ,阮镰 ,高小鹏;实时嵌入式软件仿真测试平台的体系结构设计[J];测控技术;2003年07期
中国博士学位论文全文数据库 前2条
1 张广梅;软件测试与可靠性评估[D];中国科学院研究生院(计算技术研究所);2006年
2 黄景博;移动Ad Hoc网络的节能路由技术研究[D];中国科学技术大学;2007年
中国硕士学位论文全文数据库 前10条
1 赵森严;基于JZ4750无线视频监控系统的研究与实现[D];安徽工程大学;2010年
2 许琴;嵌入式手持式数字存储示波器软件设计[D];电子科技大学;2010年
3 思仲华;WLAN快速切换协议一致性测试系统的研究与实现[D];西安电子科技大学;2010年
4 张学超;基于IEC61131-3标准的PLC系统研究与应用[D];太原科技大学;2011年
5 何英;一种嵌入式文件系统的设计与实现[D];电子科技大学;2001年
6 顾喜梅;文件系统及磁盘管理实现机制深入研究[D];南京航空航天大学;2002年
7 张煜;航天嵌入式软件测试系统研究与设计[D];中国科学院研究生院(空间科学与应用研究中心);2003年
8 宋川;高速视频采集处理平台的分析与设计[D];南京理工大学;2003年
9 潘光晖;嵌入式文件系统的设计与实现[D];电子科技大学;2003年
10 陈海建;无线局域网MAC层QoS研究及其嵌入式应用[D];浙江大学;2004年
【二级引证文献】
中国期刊全文数据库 前3条
1 贾彪;吴国庆;;基于报文的指挥系统性能测试模型研究及应用[J];信息技术;2011年09期
2 王瑜;郭小丹;;浅谈CCS5000.2.2中的程序执行控制和断点设置[J];黑龙江科技信息;2011年25期
3 卞卫锋;;基于IPC3实时通信协议的自动化测试系统设计与实现[J];仪表技术;2012年11期
中国博士学位论文全文数据库 前2条
1 邓涛;基于“人—车—路”闭环的无级自动变速系统硬件在环仿真研究[D];重庆大学;2010年
2 郝允志;无级变速器控制系统与硬件在环仿真研究[D];重庆大学;2011年
中国硕士学位论文全文数据库 前10条
1 马海峰;智能卡COS文件系统结构模型的研究与应用[D];广东工业大学;2011年
2 胡俊;基于NAND FLASH的嵌入式文件系统的研究[D];郑州大学;2011年
3 娄坚波;面向宿主的嵌入式软件符号执行技术研究与实现[D];南京航空航天大学;2011年
4 陈琳;嵌入式软件自动化测试平台的研究与实现[D];南京航空航天大学;2010年
5 李康力;双离合器自动变速器故障诊断及故障处理研究[D];重庆大学;2011年
6 蒲南江;基于闪存阵列的高速数据存储技术研究[D];中北大学;2012年
7 张小飞;基于Pro/E的6速直接换档变速器CAD软件开发[D];西安理工大学;2010年
8 郝宏伟;基于dSPACE湿式双离合器自动变速器控制系统研究[D];重庆大学;2010年
9 苏鹏;基于智能卡的闪存文件系统的研究[D];武汉科技大学;2010年
10 吴会杰;基于Qtopia的嵌入式软件测试系统的设计与实现[D];大连海事大学;2012年
【二级参考文献】
中国期刊全文数据库 前6条
1 王璞,张臻鉴,周凯,王玉玺;面向实时嵌入式机载软件的测试技术研究[J];航空计算技术;1997年04期
2 李伟华,康继昌;实时软件测试用例构造的充要策略研究[J];航空计算技术;1996年02期
3 张宇,黄克,李祖珉;实时程序设计方法的发展趋势[J];计算机研究与发展;1993年01期
4 王行仁;面向二十一世纪,发展系统仿真技术[J];系统仿真学报;1999年02期
5 孙昌爱,靳若明,刘超,金茂忠;实时嵌入式软件的测试技术[J];小型微型计算机系统;2000年09期
6 宫云战;软件的测试性分析与设计[J];装甲兵工程学院学报;2000年01期
【相似文献】
中国期刊全文数据库 前10条
1 刘鹏;;软件签名和复制指令检错技术原理[J];才智;2008年02期
2 邹林,汪学刚;三坐标雷达软件仿真系统中自动增益控制模块的实现[J];电讯技术;2002年01期
3 李莉;导弹综合测试台自动检定系统[J];仪器仪表用户;2004年04期
4 宋成森,李式巨;利用AGSI接口实现单片机系统软件仿真[J];工业控制计算机;2005年09期
5 胡旭华;;外围设备或器件软件仿真的方法及建议[J];单片机与嵌入式系统应用;2006年11期
6 刘莫尘;刘晓松;;浅谈提高模拟电子技术实验课的教学效果[J];中国电力教育;2008年S2期
7 徐升槐;王卓远;;微波与射频电路设计课程实践教学探讨[J];安徽电子信息职业技术学院学报;2009年04期
8 李慧;;《EDA技术》课堂教学与软件仿真[J];中国科教创新导刊;2009年32期
9 都伊林;电子电路的软件仿真[J];现代电子技术;2001年05期
10 都伊林;;振幅调制电路的软件仿真[J];集成电路应用;2002年05期
中国重要会议论文全文数据库 前10条
1 谭兰芳;谭庆平;徐建军;李建立;;面向星载容错系统测评的故障注入技术研究及算法[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
2 阳世荣;;船用智能仪表串口通信软件仿真调试技术研究[A];第七届中国CAE工程分析技术年会暨2011全国计算机辅助工程(CAE)技术与应用高级研讨会论文集[C];2011年
3 黎藜;;采用软件仿真技术开发单片机的实践[A];2004年广西自动化学会学术年会论文集[C];2004年
4 黎藜;;采用软件仿真技术开发单片机的实践[A];04'中国企业自动化和信息化建设论坛暨中南六省区自动化学会学术年会专辑[C];2004年
5 范东丽;孙长嵩;;嵌入式软件的测试策略初探[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
6 白占元;徐皑冬;;基于PSpice的巴特沃斯低通滤波器仿真与优化[A];2007'仪表,自动化及先进集成技术大会论文集(二)[C];2007年
7 周晴;;关于航天嵌入式软件测试的几点思考[A];中国空间科学学会空间探测专业委员会第十八次学术会议论文集(上册)[C];2005年
8 毕经存;;汇编程序覆盖测试中不可达指令检测算法[A];2008’“先进集成技术”院士论坛暨第二届仪表、自动化与先进集成技术大会论文集[C];2008年
9 余力;王骁;;双车舰风中带缆靠码头仿真测试[A];2001航海技术现状与发展趋势论文集[C];2001年
10 姜余发;方爱红;朱安华;;铜拉线机连续退火设备FUZZY+PID复合控制方法[A];有色金属工业科技创新——中国有色金属学会第七届学术年会论文集[C];2008年
中国重要报纸全文数据库 前10条
1 北京航空航天大学 王立泽;飞船上天的幕后英雄[N];计算机世界;2004年
2 广东 王立新;三菱PLC与触摸屏GOT的软件仿真[N];电子报;2008年
3 湖南 郭学提;Keil 51与Proteus isis的完美组合[N];电子报;2009年
4 成都 立本;PIC单片机C语言程序[N];电子报;2007年
5 郭长佑;演化中的IC设计验证技术[N];电子资讯时报;2006年
6 王磊;“典型”电脑故障AB剧[N];中国电脑教育报;2003年
7 本版编辑冀卫东 朱君 孙志强;FPGA测试解决方案“软硬兼施”[N];中国电子报;2007年
8 一波;超越游戏[N];中国计算机报;2004年
9 磁动力工作室 明浩;单片机C语言入门讲座(一)—建立C51项目[N];电子报;2005年
10 上海百林通信软件有限公司 万朋 邓良春 宋辉;WCDMA与GSM复合无线网络规划[N];通信产业报;2005年
中国博士学位论文全文数据库 前10条
1 吴艳霞;基于汇编语言的控制流错误检测算法研究[D];哈尔滨工程大学;2008年
2 葛琳;可信软件开发框架下的出具证明编译研究[D];中国科学技术大学;2007年
3 王莉;类数据流驱动的分片式处理器上的编译及优化技术[D];中国科学技术大学;2009年
4 闫昭;程序并行识别方法及应用研究[D];吉林大学;2009年
5 苏铭;对IA-64结构特性优化代码的二进制翻译技术研究[D];解放军信息工程大学;2006年
6 蒋烈辉;固件代码逆向分析关键技术研究[D];解放军信息工程大学;2007年
7 唐锋;动态二进制翻译优化研究[D];中国科学院研究生院(计算技术研究所);2006年
8 姬孟洛;实时系统最差情况执行时间分析的研究[D];国防科学技术大学;2006年
9 纪金松;基于动态指令集的自适应处理器的关键技术研究[D];中国科学技术大学;2008年
10 黄纬;上下文感知的普适服务组合研究[D];江苏大学;2008年
中国硕士学位论文全文数据库 前10条
1 唐科;软件仿真环境下的嵌入式软件测试的研究[D];电子科技大学;2005年
2 赵国华;面向嵌入式软件测试技术的研究[D];电子科技大学;2009年
3 侯明明;面向服务的嵌入式软件测试平台[D];华南理工大学;2011年
4 吴康;面向多语言混合编程的嵌入式测试软件设计与实现[D];电子科技大学;2007年
5 孙沛;面向嵌入式软件测试的配置管理平台的研究与设计[D];电子科技大学;2010年
6 吴会杰;基于Qtopia的嵌入式软件测试系统的设计与实现[D];大连海事大学;2012年
7 欧涛涛;基于TEmb的嵌入式软件测试过程模型的研究[D];武汉科技大学;2011年
8 黄振远;一种星载计算机软件检错技术的研究与实现[D];哈尔滨工业大学;2006年
9 叶子健;BTS系统在分析仪器嵌入式软件测试中的研究与应用[D];杭州电子科技大学;2011年
10 呼啸;应用ECU在环仿真的EPS系统嵌入式软件测试研究[D];吉林大学;2012年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026