导读:本文包含了程序代码转换论文开题报告文献综述及选题提纲参考文献，主要关键词:程序代码,转换,研究
程序代码转换论文文献综述
田智[1]（2014）在《程序代码转换技术的研究与实现》一文中研究指出采用程序代码转换技术来对代码的抄袭度进行判断,从而对代码抄袭形成一个系统研究,并且对具体的转化代码进行介绍,为程序转化技术的研究与实现提供借鉴。(本文来源于《电脑编程技巧与维护》期刊2014年13期）
陶佳[2]（2013）在《一种实用的DSP程序代码转换技术》一文中研究指出拥有强大控制功能的ARM+高效快速实时计算能力的DSP双核结构,在电力系统的保护和监控中发挥着重要的作用。在对DSP核进行开发的过程中,需要解决DSP应用程序代码格式转换的问题。文章详细介绍了一种简单易行,实用性强的转换技术,并通过实际平台的测试证明其正确性。(本文来源于《电子技术》期刊2013年09期）
窦秋明[3]（2013）在《基于布尔程序的代码修复及逆向转换》一文中研究指出程序调试是通过发现程序中错误位置并进行修复的过程,在日常的软件开发中,是一个非常关键的步骤。其中程序调试包括了错误定位和代码修复两个过程,首先通过错误定位确定了程序中出错的地方,再针对出错的地方进行相应的修复。近年来,针对代码修复问题,目前有一些学者提出了一些比较好的自动化修复方法,Andreas Griesmayer等人在提出了将C程序转换布尔程序再进行修复的方法,通过谓词抽象的方法将C程序的无穷状态系统映射到布尔程序的有穷状态系统。谓词抽象使得程序规模大大地缩小了,这对于分析程序模型的危险状态可达性提供了极大的便利。根据这种思路,有人提出利用控制流结构对代码进行模拟运行,构建出到达布尔程序的错误路径,借此得到布尔程序的修复,再根据布尔程序的修复和相关的映射关系,得到原来C程序的修复。本文结合上述方法,选定Satabs为C程序转换为布尔程序的工具,通过研究转换工具的原理,在布尔程序中模拟找寻到错误路径后,模仿反例引导的抽象求精过程的原理,对错误路径在C程序中进行重新模拟,确保该路径在C程序中也是一条确保路径,这也确保了最终修复结果的可靠性。总结C程序转换到布尔程序的规律,得到布尔程序的表达形式,在使用控制流结构对代码进行模拟运行构建错误路径的时候,对照C程序转换成布尔程序的规律,总结出哪些类型的错误语句的情况是可以通过这一方法实现修复的,再通过将错误情况分类,分成不同的错误版本,通过实验进行验证其是可修复的。另外,对于布尔程序的修复结果,如果直接代入布尔程序中的变量代表的C程序表达式意义,虽然也算是C程序的修复结果,但这距离人们心目中理想的修复结果差别太大。本文中先使用SMT工具对修复的可满足性进行判断,若可满足,表示该修复有效,再对修复结果进行进一步的化简。修复结果可以表示成析取范式的形式,每个子式都是合取范式,其中的命题所代表的意义便是布尔程序中的变量所代表相应的C程序表达式。对于析取范式,判断每个子式的可满足性,将不可满足的剔除掉,子式之间的化简情况比较复杂,本文对所有化简情况进行归类,整理出程序修复结果的化简思路,利用线性规划的方法删除在合取式中被其它公式逻辑蕴涵的命题,得到化简的效果。根据本文提出的方法,本文设计了一套自动的C程序修复流程工具,为了让整个修复过程尽量自动化,采用一些已有的错误定位方法来确定程序错误的位置。本文使用Satabs工具对C程序进行转换,实现基于对代码进行模拟运行构建错误路径的方法,对转换后的布尔程序进行修复,采用TCAS测试集来检验特定错误类型的修复情况,实验结果证明,经过逆转换后化简的修复结果更贴近原程序的语义,总结出来的指定错误类型的程序修复结果比较理想。(本文来源于《中山大学》期刊2013-06-30）
蔡希辉[4]（2013）在《量子程序设计语言NDQJava2处理系统之代码转换程序》一文中研究指出NDQJava2语言是一种混成式、结构化、命令式量子程序设计语言,它在NDQJava语言的基础上增添了更多的量子成分。NDQJava2处理系统则是在经典计算机上对NDQJava2语言进行模拟实现的处理系统。本文在简述量子计算机、量子计算、几种具代表性的量子程序设计语言和NDQJava语言系列及其处理系统之后,着重介绍NDQJava2处理系统的代码转换程序,并详细讨论了其设计与实现过程。结合处理系统的其它部分,验证了几个具代表性的量子算法。实验表明,本代码转换程序较好地完成了预期目标。(本文来源于《南京大学》期刊2013-05-01）
蔡希辉,徐家福[5]（2013）在《量子程序设计语言NDQJava2处理系统——代码转换程序》一文中研究指出NDQJava2语言是一种混成式、结构化、命令式量子程序设计语言,它在NDQJava语言的基础上增添了更多的量子成分。NDQJava2处理系统则是在经典计算机上对NDQJava2语言进行模拟实现的处理系统。着重介绍了NDQJava2处理系统的代码转换程序,详细讨论了其设计与实现过程,采用自顶向下、逐层转换的方式,将语法树转换成带量子汇编指令的Java代码。实验表明,该代码转换程序较好地完成了预期目标。(本文来源于《计算机科学与探索》期刊2013年07期）
金惠益[6]（2012）在《量子程序设计语言NDQJava-2处理系统之语法分析和代码转换程序》一文中研究指出量子程序设计语言NDQJava系列为南京大学计算机软件研究所设计的一种基于Java的混成式量子程序设计语言系列,为国人在该领域的首次尝试。其中,NDQJava语言已于2006年在经典计算机上模拟实现,在此基础上,2009-2011年间设计出一种结构化量子程序设计语言NDQJava-2,该语言的处理系统由词法分析程序、语法分析和代码转换程序以及量子汇编和解释程序叁部分组成。本文着重介绍语法分析和代码转换程序之设计。(本文来源于《南京大学》期刊2012-05-01）
范大威,李兆鹏,蒋信予[7]（2011）在《出具证明编译器中代码优化与程序规范转换》一文中研究指出出具证明编译器在软件安全研究得到越来越多的关注,是程序验证研究的一个重要方向.但目前关于出具证明编译器的研究主要是在程序逻辑设计和定理自动化证明方面,很少关注编译优化对规范的影响.而编译优化是决定出具证明编译器是否能走向应用的关键因素之一.通过研究数据流优化的基本行为,提出利用数据流分析结果来变换规范的方法,以使原规范的约束准确而充分地施加于优化后的代码,并实现了一个包含多种优化和相应规范转换的编译器原型系统,展示了方法的可行性.(本文来源于《小型微型计算机系统》期刊2011年07期）
裴冬梅,聂建忠,赵凤荣[8]（2010）在《程序代码转换技术的研究与实现》一文中研究指出程序代码转换技术是程序代码抄袭检测技术中的一个重要部分。程序代码转换技术就是把一个程序看作一个文本串,然后再通过一定的文法分析将这个文本串转换成描述程序基本信息的标记串的过程。目前已有多个较有效的抄袭检测系统,如:Jplag,MOSS,YAP等等,但是这些系统中对如何把程序代码进行转换成串的,并没有详细的介绍。本文针对这种情况设计了一个实验系统来实现程序代码转换技术,并进行了验证。(本文来源于《内蒙古煤炭经济》期刊2010年06期）
裴冬梅[9]（2008）在《程序代码相似度中的代码转换技术的研究》一文中研究指出程序代码的分词转换技术是实现程序代码相似度判别系统的一个重要技术,一个好的分词转换技术不仅可以提高相似度判别系统中对程序进行相似度计算的速度,还可以提高相似度计算的精度,这对相似度判别系统的发展具有重要的现实意义。在程序代码相似度判别系统中,程序代码的分词转换技术得到了广泛的应用。我们可以把一个程序看作一个文本串,然后再通过一定的文法分析将这个文本串转换成描述程序基本信息的标记(token)串。所以对程序相似性的比较就转变成比较两个程序的标记串。而比较标记串的过程就是程序代码的分词转换的过程。本研究首先介绍了关于程序代码相似度判别技术,包括程序代码相似度判别的定义与分类,国内外研究发展的现状以及现有的程序代码相似度判别系统的相关介绍。然后对程序代码分词转换过程中所用到算法情况进行了介绍,包括分词算法,字符串匹配算法等。本研究设计了一个实验系统,该实验系统主要由四部分组成,第一部分,完成实验系统对程序代码的预处理及分词功能,预处理即去掉那些在程序中存在,但对相似度判别无影响的信息,如程序中的注释语句、连续的空格、空行等,接着对预处理后的程序代码进行分词;第二部分,创建程序代码转换所需的词表;第叁部分,将程序代码的预处理及分词之后的程序采用字符串匹配算法转换为字符串标识;第四部分是通过用户界面可得到源程序代码转换后的结果输出。最后,通过一些实验对该实验系统进行简单的验证与分析。其中实验的数据来自于学生所做的程序作业,实验结果反映出该实验系统不仅可以支持多种程序语言的转换,而且转换后的实验结果可用于基于字符串相似度判别的算法中,为后续的研究,即对转换后的标记串进行相似度计算,从而得到相似程度的数据,提供了可靠的测试信息。(本文来源于《内蒙古师范大学》期刊2008-04-10）
程冬玲,朱永利,王新颖[10]（2008）在《Petri网模型的程序代码转换》一文中研究指出作为图形数学建模工具,Petri 网已得到了广泛应用,但目前的 Petri 网工具主要用于系统的建模、分析和仿真,很少涉及 Petri 网模型到程序代码的转换,一般都需要人工来实现代码的编写。在 Petri 网图形工具中实现 Petri 网模型到代码的自动转换可以大大简化系统实现。文章研究了 Petri 网模型到程序代码的映射规则,用面向对象方法建立了 Petri 网工具,利用组件技术对映射规则加以应用实现整体转换,并以保险索赔为例对该方法进行了验证。(本文来源于《2007北京地区高校研究生学术交流会通信与信息技术会议论文集（上册）》期刊2008-01-01）
程序代码转换论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
拥有强大控制功能的ARM+高效快速实时计算能力的DSP双核结构,在电力系统的保护和监控中发挥着重要的作用。在对DSP核进行开发的过程中,需要解决DSP应用程序代码格式转换的问题。文章详细介绍了一种简单易行,实用性强的转换技术,并通过实际平台的测试证明其正确性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
程序代码转换论文参考文献
[1].田智.程序代码转换技术的研究与实现[J].电脑编程技巧与维护.2014
[2].陶佳.一种实用的DSP程序代码转换技术[J].电子技术.2013
[3].窦秋明.基于布尔程序的代码修复及逆向转换[D].中山大学.2013
[4].蔡希辉.量子程序设计语言NDQJava2处理系统之代码转换程序[D].南京大学.2013
[5].蔡希辉,徐家福.量子程序设计语言NDQJava2处理系统——代码转换程序[J].计算机科学与探索.2013
[6].金惠益.量子程序设计语言NDQJava-2处理系统之语法分析和代码转换程序[D].南京大学.2012
[7].范大威,李兆鹏,蒋信予.出具证明编译器中代码优化与程序规范转换[J].小型微型计算机系统.2011
[8].裴冬梅,聂建忠,赵凤荣.程序代码转换技术的研究与实现[J].内蒙古煤炭经济.2010
[9].裴冬梅.程序代码相似度中的代码转换技术的研究[D].内蒙古师范大学.2008
[10].程冬玲,朱永利,王新颖.Petri网模型的程序代码转换[C].2007北京地区高校研究生学术交流会通信与信息技术会议论文集（上册）.2008