代码植入技术论文-薛皓

代码植入技术论文-薛皓

导读:本文包含了代码植入技术论文开题报告文献综述及选题提纲参考文献,主要关键词:二进制代码,代码植入,测试用例自动生成,嵌入式软件

代码植入技术论文文献综述

薛皓[1](2008)在《基于代码植入技术的嵌入式软件测试》一文中研究指出随着嵌入式系统的应用范围不断扩大,嵌入式软件的测试越来越受到重视。本文关注于嵌入式软件的自动化测试,应用测试用例自动生成技术和代码植入技术设计了一套应用于嵌入式软件自动化测试的通用方案,解决了针对二进制代码的自动化测试的问题。本文在研究自动化测试技术的同时,结合嵌入式软件测试的特殊要求,提出了叁种应用于嵌入式软件自动测试的测试用例生成程序的模型和测试结果的传输存储模型。为了实现将用于测试的代码插入被测程序的目的,本文采用代码植入技术设计并实现了针对二进制代码的代码植入工具,该工具在不改变程序本身逻辑结构的前提下,通过代码替换的方式移动少量原程序代码到被测系统内存中的空闲代码段,并且将测试辅助代码同时植入空闲代码段,以实现测试辅助代码与被测代码同在被测系统中运行的目的。针对实际应用需求,本文将测试用例自动生成技术与代码植入技术相结合,将测试用例生成模块和用于覆盖分析的辅助代码植入被测二进制代码中,在实际系统中运行修改后的被测代码,完成自动测试过程。经过实践检验,该测试方案的实现结果满足设计的预期目标,达到了提高测试效率的目的。(本文来源于《西安电子科技大学》期刊2008-01-01)

刘美芹[2](2007)在《基于契约和代码植入的协议测试技术研究》一文中研究指出网络技术的快速发展,使得网络协议的应用遍及银行、金融、通信等关键领域,因此对于协议的可靠性和可信性都提出了很高的要求。协议测试作为保证协议质量的重要手段,一直是协议工程研究中的重点,并且已经产生了大量的研究成果。随着互联网规模日益扩大,IP地址短缺已经是亟待解决的问题了,IPv6协议是下一代互联网协议,提供了更大的地址空间。IPv6取代IPv4是必然的事情,对IPv6协议测试的研究和应用具有十分重要的理论和实用价值。本文对基于契约和代码植入的协议测试方法进行了比较完整而系统的研究。使用契约描述可以进一步对各种协议实现进行封装,使测试人员无需去过多关注实现的内部细节,只需了解契约描述即可完成协议的测试,本论文中使用注释作为描述契约的方式。本文还对检测代码的自动植入技术做了研究,在试验中完成了一个自动植入工具,该工具主要完成叁个方面的功能:确定源代码中的植入点、对契约描述进行分析、生成自动检测功能的植入代码。对于使用统一契约描述的所有协议实现,均可完成检测代码的自动生成和植入,或者仅仅需要修改少量代码即可实现自动植入。为了更好的支持契约和代码植入的思想,我们采用XML做为协议规范的形式化描述语言。XML是一种新型的主流的描述语言,简单易懂且功能强大,正以它无可比拟的卓越特性征服着越来越多的领域和越来越多的科研开发人员。(本文来源于《西安电子科技大学》期刊2007-02-01)

代码植入技术论文开题报告

(1)论文研究背景及目的

此处内容要求:

首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。

写法范例:

网络技术的快速发展,使得网络协议的应用遍及银行、金融、通信等关键领域,因此对于协议的可靠性和可信性都提出了很高的要求。协议测试作为保证协议质量的重要手段,一直是协议工程研究中的重点,并且已经产生了大量的研究成果。随着互联网规模日益扩大,IP地址短缺已经是亟待解决的问题了,IPv6协议是下一代互联网协议,提供了更大的地址空间。IPv6取代IPv4是必然的事情,对IPv6协议测试的研究和应用具有十分重要的理论和实用价值。本文对基于契约和代码植入的协议测试方法进行了比较完整而系统的研究。使用契约描述可以进一步对各种协议实现进行封装,使测试人员无需去过多关注实现的内部细节,只需了解契约描述即可完成协议的测试,本论文中使用注释作为描述契约的方式。本文还对检测代码的自动植入技术做了研究,在试验中完成了一个自动植入工具,该工具主要完成叁个方面的功能:确定源代码中的植入点、对契约描述进行分析、生成自动检测功能的植入代码。对于使用统一契约描述的所有协议实现,均可完成检测代码的自动生成和植入,或者仅仅需要修改少量代码即可实现自动植入。为了更好的支持契约和代码植入的思想,我们采用XML做为协议规范的形式化描述语言。XML是一种新型的主流的描述语言,简单易懂且功能强大,正以它无可比拟的卓越特性征服着越来越多的领域和越来越多的科研开发人员。

(2)本文研究方法

调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。

实证研究法:依据现有的科学理论和实践的需要提出设计。

定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。

定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。

跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。

模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。

代码植入技术论文参考文献

[1].薛皓.基于代码植入技术的嵌入式软件测试[D].西安电子科技大学.2008

[2].刘美芹.基于契约和代码植入的协议测试技术研究[D].西安电子科技大学.2007

标签:;  ;  ;  ;  

代码植入技术论文-薛皓
下载Doc文档

猜你喜欢