导读:本文包含了程序插装论文开题报告文献综述及选题提纲参考文献，主要关键词:程序插装,软件测试,白盒测试,探针
程序插装论文文献综述
李志伟[1]（2011）在《程序插装在软件测试中的应用研究》一文中研究指出程序插装是软件测试中一种重要的白盒测试技术。介绍了程序插装的基本原理,分析了程序插装的关键要素,研究了插装测试设计的主要内容。针对常用的程序结构,如线性程序、结构化程序、面向对象程序的不同特点,提出了相应的程序插装策略和测试实现方法。在插装测试实践中,根据程序测试的规模、要求等,需要综合考虑程序插装对被测程序性能、执行效率等方面产生的影响,采取优化的插装方法,提高插装测试效果。(本文来源于《测控技术》期刊2011年10期）
常达,李舟军,杨天放,忽朝俭[2]（2011）在《基于二进制动态插装程序执行路径追踪》一文中研究指出系统平台、编译器以及编译选项的差异,都可能会导致程序的源代码和编译得到的可执行代码之间存在语义差异,仅对源代码进行分析可能会遗漏隐藏在可执行代码里的漏洞。即使在源代码分析中验证了所需要的安全性质,也无法保证不违反可执行代码中的安全性质。本文基于一个二进制动态插装框架,设计并实现了一种对程序执行路径进行追踪的原型系统。实验证明,本系统在准确追踪执行路径的同时,能够过滤掉90%~99%的次要指令,极大提高了分析效率。最后,本文对其他的技术方案、现有原型系统的不足以及未来的工作进行了讨论。(本文来源于《信息安全与技术》期刊2011年09期）
牟永敏,姜智荧,张志华[3]（2011）在《面向C程序插装的路径提取》一文中研究指出路径测试法是软件测试的一种基本方法。将C程序按照控制结构进行分类,结合路径测试特点进行插装,在设置探针的同时提取函数静态信息,算法采用先获取局部路径,再进一步获取全局路径的方法。实验结果表明,基于插装的路径获取技术,具有较高的准确率和效率,尤其适用于基于函数的路径提取。(本文来源于《计算机工程与应用》期刊2011年01期）
钟芳挺,刘超,金茂忠[4]（2007）在《程序动态分析系统中插装方式的改进》一文中研究指出动态分析是程序理解的重要方法,而插装技术是其中常用的关键技术之一。介绍了QESat/C++中动态分析子系统的插装策略,在其基础上提出并实现了新的插装器并改进了插装探针库的效率。实验表明,改进后的动态分析子系统具有插装速度快、动态结果文件小、动态信息合并效率高的优点。展望了现有系统如何支持新的动态分析技术,最后对全文进行了总结。(本文来源于《计算机工程与设计》期刊2007年19期）
沈永清,徐中伟[5]（2007）在《基于GCC的嵌入式程序插装技术》一文中研究指出软件测试中,覆盖、故障注入、性能分析等广泛使用的动态测试方法均基于程序插装技术。本文介绍一种通过分析和修改GCC编译工具,实现程序插装的新方法。该方法具有批量自动插装,插装与编译连接紧密结合,适用语言广泛等优点。最后具体讨论了如何在ARM嵌入式程序中实现程序插装,并给出修改GCC的源代码。(本文来源于《单片机与嵌入式系统应用》期刊2007年02期）
钟治平,徐拾义[6]（2004）在《程序插装技术在软件内建自测试中的应用》一文中研究指出软件内建自测试(Build-In-Self-TestforSoftware)思想来自于硬件内建自测试。其中测试点设置是软件内建自测试系统的核心模块之一,主要借助程序插装技术收集动态测试信息和控制程序流程。该文具体讨论了插装库的设计、实现以及测试点植入被测程序的过程。(本文来源于《计算机工程与应用》期刊2004年17期）
钟治平,徐拾义[7]（2003）在《程序插装技术在软件内建自测试中的应用》一文中研究指出软件内建自测试(Build-In—Self-Test for software)思想来自于硬件内建自测试。其中测试点设置是软件内建自测试系统的核心模块之一,主要借助程序插装技术收集动态测试信息和控制程序流程。本文具体讨论了插装库的设计、实现以及测试点植入被测程序的过程。(本文来源于《第十届全国容错计算学术会议论文集》期刊2003-09-01）
孙昌爱,金茂忠[8]（2001）在《基于程序插装的动态测试技术实现》一文中研究指出动态测试是检测程序的动态行为的一种有效手段 .本文介绍了 Safepro白盒软件测试工具系列中基于程序插装的动态测试技术实现 ,具体讨论了动态测试的模型、数据流模型和动态跟踪数据的编码和解码技术 ,插装库设计与插装策略等内容(本文来源于《小型微型计算机系统》期刊2001年12期）
卢庆龄,宫云战,张威,万琳,柳红[9]（1997）在《汇编语言动态分析工具中的程序插装技术》一文中研究指出根据8086/8088语言的结构化特点,提出了程序插装的概念及其实现方法,并基于插装研制出一种动态分析工具,从而实现了对程序分支及语句的自动测试功能.(本文来源于《装甲兵工程学院学报》期刊1997年03期）
梁应宏,陈绍强[10]（1997）在《用YACC实现程序插装器》一文中研究指出使用ＹＡＣＣ实现了一个Ｃ程序插装器（ＣＩＮＳＴ）．用翻译式来描述插装器的行为，具有简洁、清晰、容易实现和容易验证正确性等特点．通过使用文法改写技术，有效地简化了程序的实现，并使程序具有较好的可读性(本文来源于《北京邮电大学学报》期刊1997年01期）
程序插装论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
系统平台、编译器以及编译选项的差异,都可能会导致程序的源代码和编译得到的可执行代码之间存在语义差异,仅对源代码进行分析可能会遗漏隐藏在可执行代码里的漏洞。即使在源代码分析中验证了所需要的安全性质,也无法保证不违反可执行代码中的安全性质。本文基于一个二进制动态插装框架,设计并实现了一种对程序执行路径进行追踪的原型系统。实验证明,本系统在准确追踪执行路径的同时,能够过滤掉90%~99%的次要指令,极大提高了分析效率。最后,本文对其他的技术方案、现有原型系统的不足以及未来的工作进行了讨论。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
程序插装论文参考文献
[1].李志伟.程序插装在软件测试中的应用研究[J].测控技术.2011
[2].常达,李舟军,杨天放,忽朝俭.基于二进制动态插装程序执行路径追踪[J].信息安全与技术.2011
[3].牟永敏,姜智荧,张志华.面向C程序插装的路径提取[J].计算机工程与应用.2011
[4].钟芳挺,刘超,金茂忠.程序动态分析系统中插装方式的改进[J].计算机工程与设计.2007
[5].沈永清,徐中伟.基于GCC的嵌入式程序插装技术[J].单片机与嵌入式系统应用.2007
[6].钟治平,徐拾义.程序插装技术在软件内建自测试中的应用[J].计算机工程与应用.2004
[7].钟治平,徐拾义.程序插装技术在软件内建自测试中的应用[C].第十届全国容错计算学术会议论文集.2003
[8].孙昌爱,金茂忠.基于程序插装的动态测试技术实现[J].小型微型计算机系统.2001
[9].卢庆龄,宫云战,张威,万琳,柳红.汇编语言动态分析工具中的程序插装技术[J].装甲兵工程学院学报.1997
[10].梁应宏,陈绍强.用YACC实现程序插装器[J].北京邮电大学学报.1997