学位论文 > 优秀研究生学位论文题录展示
嵌入式软件缺陷检测的测试用例生成与排序研究
作 者: 万季
导 师: 方景龙
学 校: 杭州电子科技大学
专 业: 计算机技术
关键词: 嵌入式软件 缺陷检测 测试用例生成 测试用例排序
分类号: TP311.53
类 型: 硕士论文
年 份: 2014年
下 载: 1次
引 用: 0次
阅 读: 论文下载
内容摘要
嵌入式软件缺陷检测是软件缺陷检测领域一个十分重要的研究课题。和传统的软件缺陷检测技术相比,嵌入式软件缺陷检测不仅要考虑和运用传统软件检测方法,而且还需兼顾有关实时性和相关硬件等问题,应对嵌入式软件高可靠性的要求等。针对嵌入式软件的缺陷检测技术近年来在学术界和工业界得到了广泛的研究和应用。作为驱动软件测试和缺陷检测的关键因素,测试用例的自动生成技术和优先排序技术一直是研究热点,目前市场上该类型工具大多针对PC机平台,且需要源码支持,而面向嵌入式二进制软件的技术相对不够成熟。本文对应用于面向二进制嵌入式软件缺陷检测系统中的测试用例生成与测试用例排序技术进行了具体的研究,通过测试用例生成和排序技术得到用于嵌入式软件缺陷检测的测试用例有序集,然后有序的依次采用测试用例对软件进行动态缺陷检测,实现对嵌入式软件进行缺陷检测的目的。本论文的研究工作主要包括以下四个方面:1、研究了常用的软件缺陷检测检测技术、嵌入式软件缺陷检测技术以及嵌入式软件开发中的模拟仿真技术。2、研究了嵌入式软件缺陷检测系统中的二进制程序测试用例自动生成方法。本文运用了一种基于符号化执行的测试用例生成方法,首先对二进制程序进行静态指令分析,在此基础上对程序进行代码插桩,最后动态执行程序并采用符号化执行技术和约束求解技术动态生成测试用例集,最终达到了为后续的软件缺陷检测提供可靠测试用例数据的目的。3、研究了嵌入式软件缺陷检测系统中的测试用例优先排序方法。本文首先根据静态指令分析的结果,得到函数调用信息。通过运行函数依赖的TCP算法,构造最终n阶可达矩阵,根据最终可达矩阵,便可得到各测试用例优先顺序,达到测试用例排序的目标。4、基于Linux下开源动态插桩框架Valgrind、 STP约束求解器和QEMU模拟软件来搭建整个嵌入式软件缺陷检测的工作环境,采用C语言和python语言开发测试用例模块,对测试用例集的缺陷覆盖率和缺陷检测效果进行分析,基本上实现对嵌入式软件的缺陷检测功能。
|
全文目录
摘要 5-6 ABSTRACT 6-10 第1章 绪论 10-14 1.1 研究背景和意义 10-11 1.1.1 研究背景 10-11 1.1.2 研究意义 11 1.2 国内外研究现状 11-12 1.3 论文研究内容 12-13 1.4 论文章节安排 13-14 第2章 相关理论知识与技术介绍 14-25 2.1 自动化测试基础 14-18 2.1.1 软件自动化测试的定义 14 2.1.2 自动化测试的发展 14-15 2.1.3 自动化测试的流程 15-17 2.1.4 自动化测试的优势和局限性 17-18 2.2 嵌入式软件测试技术 18-22 2.2.1 嵌入式软件测试方法 18-20 2.2.2 嵌入式软件测试环境 20-22 2.3 嵌入式软件测试自动化 22-23 2.4 本章小结 23-25 第3章 面向二进制代码的测试用例自动生成技术 25-40 3.1 概述 25-31 3.1.1 Valgrind 26-28 3.1.2 STP 28-31 3.2 面向路径覆盖的动态测试用例生成 31-38 3.2.1 测试用例生成算法 31-32 3.2.2 基于代码插桩的路径约束收集工具 32-34 3.2.3 路径约束求解与测试用例生成 34-36 3.2.4 测试用例生成实验结果 36-38 3.3 本章小结 38-40 第4章 面向二进制代码的测试用例优先排序技术 40-51 4.1 概述 40-42 4.1.1 TCR 技术 40 4.1.2 TCP 技术 40 4.1.3 测试用例优先排序方法 40-42 4.2 基于依赖结构的 TCP 方法 42-50 4.2.1 相关概念 42-43 4.2.2 TCP 算法 43-47 4.2.3 测试用例排序实验结果 47-50 4.3 本章小结 50-51 第5章 基于测试用例自动生成与优先排序的缺陷检测平台 51-56 5.1 系统开发环境 51 5.2 系统需求分析 51-52 5.3 系统设计和架构 52-54 5.3.1 系统模块划分和架构 52-53 5.3.2 系统工作方式 53-54 5.4 测试用例的执行和结果分析 54-55 5.4.1 实验设计 54 5.4.2 结果分析 54-55 5.5 本章小结 55-56 第6章 总结与展望 56-58 6.1 总结 56-57 6.2 展望 57-58 致谢 58-59 参考文献 59-62 附录 62-63 详细摘要 63-65
|
相似论文
- 数字电视中间件中图形界面引擎的研究与应用,TP391.41
- 智能割草机嵌入式控制技术的研究,TU986.32
- 卧式工业CT-DR图像检查分系统设计,TP391.41
- 面向嵌入式软件故障定位的程序谱方法研究,TP311.52
- 工业嵌入式智能仪表软件测试技术的研究,TP311.52
- 基于Eclipse的嵌入式数字电视开发平台数据仓库的研究与实现,TP311.52
- 视频测量软件的设计与实现,TP391.41
- 复杂数据类型测试用例自动生成技术研究,TP311.53
- 图像处理技术在焊接缺陷检测中的应用,TP274
- 可信计算平台动态测试系统的设计与实现,TP311.53
- 可信平台模块测试系统设计与实现,TP309
- 基于Z规格的软件测试工具的设计与实现,TP311.52
- TFT-LCD制造中的阵列缺陷分析和修复,TN873.93
- 基于电磁超声斜入射SV波的钢轨缺陷检测方法研究,TG115.285
- 基于计算机视觉的柑橘分选系统,TP391.41
- 基于输出域测试用例自动生成的研究,TP311.53
- 面向IBM自动化测试框架GUI录制工具的设计与实现,TP311.53
- 基于DaVinci技术的嵌入式网络化虹膜识别系统设计与实现,TP368.1
- PCB板元器件检测系统的研究,TP391.41
- 回归测试技术的研究与应用,TP311.53
- 超声TOFD的缺陷检测与定量研究,TG115.285
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件维护
© 2012 www.xueweilunwen.com
|