学位论文 > 优秀研究生学位论文题录展示

支持二进制执行码调试和测试的插装技术研究

作　者: 王承松
导　师: 毛晓光
学　校: 国防科学技术大学
专　业: 计算机科学与技术
关键词: 软件调试软件测试代码插装技术 XML Javassist
分类号: TP311.52
类　型: 硕士论文
年　份: 2010年
下　载: 33次
引　用: 2次
阅　读: 论文下载

内容摘要

对已经发布的二进制码格式的软件产品做可信性质增强、功能扩充和打补丁等应用已经成为了当今学术界研究的热点和趋势。为了保证软件质量,按照软件工程的要求,需要对修改过后的二进制码格式的程序进行测试和调试。但是,目前还没有成熟的、专门针对二进制码格式的、支持软件调试和测试的代码自动插装工具。论文首先综述了目前的各种代码插装技术,研究了一些典型的代码插装函数库,分析了它们的优势、局限性和应用领域。然后,详细地分析了软件调试和测试对代码插装技术的具体需求;设计了基于XML语言的需求表示模板;提出了根据用户的需求,对二进制码文件进行自动插装处理的思想,并设计了相应的代码自动插装模板。其次,本文设计并实现了挖掘Java字节码程序调试和测试时所需信息的代码自动插装工具DIAIT,它包含核心控制器、需求解析器、代码自动插装器和模板库四个主要的模块。最后,通过具体的案例对DIAIT进行了实验和分析。本文研发的支持Java字节码程序调试和测试的代码自动插装工具DIAIT,方便了软件调试和测试人员,提高了软件调试和测试的效率,对面向二进制码程序调试和测试技术的发展有一定的促进作用。

全文目录

摘要  8-9
ABSTRACT  9-10
第一章绪论  10-14
  1.1 课题研究背景和意义  10-11
  1.2 课题研究内容  11-12
  1.3 论文结构  12
  1.4 论文研究成果  12-14
第二章代码插装技术综述  14-26
  2.1 源码插装技术  14-15
  2.2 二进制码插装技术  15-20
    2.2.1 静态二进制码插装技术  16-17
    2.2.2 动态二进制码插装技术  17-20
  2.3 支持插装的程序语言  20-21
  2.4 Javassist 简介  21-25
    2.4.1 Javassist 类库  22-23
    2.4.2 类加载机制  23-25
  2.5 本章小结  25-26
第三章软件调试和测试的插装需求分析  26-36
  3.1 软件调试过程分析  26-27
  3.2 白盒测试覆盖准则  27-28
  3.3 代码插装需求分析  28-33
    3.3.1 软件调试的插装需求分析  28-32
    3.3.2 软件测试的插装需求分析  32-33
  3.4 相关研究工作  33-35
  3.5 本章小结  35-36
第四章 DIAIT 中的关键技术  36-47
  4.1 用户需求的表示机制  36-43
    4.1.1 XML 语言简介  36-38
    4.1.2 基于XML 语言的需求表示模板  38-43
  4.2 代码自动插装设计策略  43-45
    4.2.1 代码自动插装模块的工作原理  43-44
    4.2.2 代码插装模板设计  44-45
  4.3 本章小结  45-47
第五章 DIAIT 的设计及实现  47-59
  5.1 DIAIT 简介  47-48
  5.2 DIAIT 的整体设计  48-52
    5.2.1 总体框架  48
    5.2.2 体系架构  48-50
    5.2.3 DIAIT 工作流程  50-52
  5.3 DIAIT 的实现  52-55
    5.3.1 类图  52-53
    5.3.2 顺序图  53-55
  5.4 DIAIT 的评价  55-57
  5.5 本章小结  57-59
第六章案例分析  59-64
第七章结束语  64-66
  7.1 全文工作总结  64
  7.2 不足和将来的工作  64-66
致谢  66-67
参考文献  67-71
作者在学期间取得的学术成果  71-72
附录A ATM 中被修改过的类的源代码  72-74

相似论文

基因调控网络模型描述语言研究,Q78
支持XML数据查询的F&B索引结构的研究,TP311.13
LXI自动测试系统集成技术研究,TP274
基于网络的服装款式设计系统的研究与实现,TS941.2
基于MDA的界面自动生成方法的研究,TP311.5
面向对象分层测试的方法研究,TP311.53
基于形式化UML测试序列生成方法研究,TP311.53
基于程序切片的电子海图系统软件测试技术研究,TP311.53
用户权限管理系统可靠性测试的研究与应用,TP311.53
高职院校教学案例库的创建探究,TP311.53-4
C++代码缺陷检测系统的研究与设计,TP311.53
基于Web的科学计算遗留应用共享技术研究,TP393.09
基于XML的异构数据交换系统的设计与实现,TP311.52
电子公文传输管理系统在电大系统中的设计与实现,TP311.52
概率XML数据上关键字检索算法的研究与实现,TP391.3
行政审批电子监察系统数据交换的设计与实现,TP311.52
概率XML文档中Holistic Twig查询处理算法的研究与实现,TP311.13
保留语义约束的XML与关系数据库双向转换技术研究,TP311.13
基于中国电信闪铃系统与平台项目的软件测试,TP311.53
SOA架构在高校信息化系统中整合技术的应用,TP311.52
基于银行综合前置平台的金融服务支付系统的设计与实现,TP311.52