学位论文 > 优秀研究生学位论文题录展示
基于代码植入技术的嵌入式软件测试
作 者: 薛皓
导 师: 刘西洋;卢晓春
学 校: 西安电子科技大学
专 业: 软件工程
关键词: 二进制代码 代码植入 测试用例自动生成 嵌入式软件
分类号: TP311.52
类 型: 硕士论文
年 份: 2008年
下 载: 121次
引 用: 0次
阅 读: 论文下载
内容摘要
随着嵌入式系统的应用范围不断扩大,嵌入式软件的测试越来越受到重视。本文关注于嵌入式软件的自动化测试,应用测试用例自动生成技术和代码植入技术设计了一套应用于嵌入式软件自动化测试的通用方案,解决了针对二进制代码的自动化测试的问题。本文在研究自动化测试技术的同时,结合嵌入式软件测试的特殊要求,提出了三种应用于嵌入式软件自动测试的测试用例生成程序的模型和测试结果的传输存储模型。为了实现将用于测试的代码插入被测程序的目的,本文采用代码植入技术设计并实现了针对二进制代码的代码植入工具,该工具在不改变程序本身逻辑结构的前提下,通过代码替换的方式移动少量原程序代码到被测系统内存中的空闲代码段,并且将测试辅助代码同时植入空闲代码段,以实现测试辅助代码与被测代码同在被测系统中运行的目的。针对实际应用需求,本文将测试用例自动生成技术与代码植入技术相结合,将测试用例生成模块和用于覆盖分析的辅助代码植入被测二进制代码中,在实际系统中运行修改后的被测代码,完成自动测试过程。经过实践检验,该测试方案的实现结果满足设计的预期目标,达到了提高测试效率的目的。
|
全文目录
摘要 3-4 ABSTRACT 4-8 第一章 绪论 8-11 1.1 研究背景 8-9 1.2 研究内容及国内外研究现状 9 1.3 文章结构 9-11 第二章 软件测试的基本原理 11-29 2.1 软件测试概述 11-15 2.1.1 软件测试的目的 11-12 2.1.2 软件测试的对象 12 2.1.3 软件测试数据流图 12-13 2.1.4 软件测试策略 13-15 2.1.5 软件测试方法 15 2.2 软件测试的充分性判定准则 15-21 2.2.1 测试充分准则的概念 15-16 2.2.2 测试充分准则的分类 16 2.2.3 结构测试 16-18 2.2.4 基于缺陷的测试 18-20 2.2.5 基于错误的测试 20-21 2.3 测试用例自动生成 21-24 2.3.1 功能测试数据自动生成技术 22 2.3.2 结构测试数据自动生成技术 22-24 2.4 嵌入式软件测试的特点 24-25 2.4.1 嵌入式系统的特点 24-25 2.4.2 嵌入式软件测试 25 2.5 代码植入技术 25-29 2.5.1 静态代码植入技术 26-27 2.5.2 动态代码植入技术 27-29 第三章 基于代码植入技术的测试方案设计 29-41 3.1 测试任务描述 29-30 3.1.1 硬件描述 29 3.1.2 软件描述 29 3.1.3 测试目标 29-30 3.1.4 测试环境 30 3.2 测试方案概述 30-31 3.3 测试驱动程序设计 31-36 3.3.1 基于说明的测试用例生成模型 31-32 3.3.2 基于伪随机的测试用例生成模型 32-34 3.3.3 基于智能算法的测试用例生成模型 34-35 3.3.4 三种测试用例生成模型的比较 35-36 3.4 代码植入工具设计 36-39 3.4.1 设计概述 36-37 3.4.2 源代码级别的代码植入模型设计 37-38 3.4.3 针对二进制代码级别的代码植入模型设计 38-39 3.5 测试结果的记录模型设计 39-41 第四章 基于代码植入技术的测试方案的实现 41-59 4.1 概述 41-43 4.1.1 测试环境的搭建 41 4.1.2 关键问题 41-42 4.1.3 测试流程 42-43 4.2 测试驱动程序的实现 43-51 4.2.1 基于说明的测试用例生成模块 43-46 4.2.2 基于伪随机的测试用例生成模块 46-49 4.2.3 基于智能算法的测试用例生成模块 49-51 4.3 代码植入工具实现 51-57 4.3.1 代码植入算法 51-54 4.3.2 代码植入函数的实现 54-57 4.4 测试结果的存储分析 57-58 4.5 小结 58-59 第五章 实验及测试结果 59-67 5.1 对于测试用例自动生成模块的测试 59-61 5.1.1 编码规范 59 5.1.2 测试目标 59 5.1.3 基于说明的测试用例自动生成模块 59-60 5.1.4 基于伪随机的测试用例自动生成模块 60-61 5.2 代码植入工具的测试 61-65 5.2.1 编码规则 61 5.2.2 测试目标 61 5.2.3 工具界面 61-62 5.2.4 试验结果 62-65 5.3 结果存储模块的测试 65-67 第六章 结束语 67-69 致谢 69-70 参考文献 70-73
|
相似论文
- 数字电视中间件中图形界面引擎的研究与应用,TP391.41
- 基于动态符号执行的代码分析工具的研究,TP309
- 可信机制逆向分析平台的设计与实现,TP309
- 动态可重构计算中程序热点识别关键技术研究,TP338
- 水下机器人软件可靠性测试方法研究,TP311.52
- C程序进化测试中的适值计算问题研究,TP311.53
- 基于本体的核电站生产用软件测试用例自动生成,TP311.53
- 基于积极防御编程的嵌入式软件缺陷预防方法及其实践,TP311.52
- 参数组合覆盖测试用例自动生成技术,TP311.52
- 航空软件测试用例自动生成方法研究,TP311.52
- 安全软件开发环境中安全测试工具的设计与实现,TP311.52
- 测试用例自动生成算法在车载ATP中的研究与应用,TP311.52
- 基于WSDL/SOAP接口的测试系统研究与实现,TP311.52
- TTCN-3编译器测试用例集自动生成研究与实现,TP311.52
- 安全关键软件故障自动诊断与隔离方法研究,TP311.52
- 波阻抗的遗传算法反演方法研究及应用,P631.4
- 类状态测试用例自动生成方法与实现,TP311.52
- 基于遗传算法的路径测试数据自动生成方法研究,TP311.52
- 基于契约和代码植入的协议测试技术研究,TP311.52
- 基于程序分析的软件安全漏洞检测技术研究,TP311.52
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com
|