导读:本文包含了程序流论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:程序,切片,赋值,代码,抽象,静态,实时。
程序流论文文献综述
刘艳,李龙澍[1]（2013）在《基于逆向程序流和函数依赖集的程序切片算法》一文中研究指出程序切片技术大多是根据程序依赖图(PDG)和系统依赖图(SDG)的图可达性算法来优化得到感兴趣的程序集合,但是构造PDG和SDG需要很大的空间开销。本文提出一种基于逆向程序流和函数依赖集的切片算法,从兴趣点开始扫描逆向程序流来计算程序切片,只计算与切片相关的数据依赖,并且考虑函数调用时切片的计算,提高计算切片的效率。通过实例表明该算法减少了计算程序切片的复杂度,具有一定的可行性和实用性。(本文来源于《计算机与现代化》期刊2013年08期）
何炎祥,陈勇,吴伟,陈念,徐超[2]（2012）在《基于程序流敏感的自修改代码混淆方法》一文中研究指出自修改代码混淆方法是一种隐藏程序重要信息的有效技术。为减少代码混淆造成的额外开销而又不影响代码混淆的质量,利用程序流敏感分析方法选择比较重要的指令进行混淆。为提高代码混淆的质量,有效地防止反汇编,提出一个二步比较混淆模型。该模型包括两个子混淆器,混淆器1采用程序流敏感分析方法获得混淆的指令并产生两个混淆代码文件和一个混淆代码映射文件。混淆器2通过比较两个混淆代码文件精确地定位混淆指令在二进制代码中的位置,然后利用混淆代码映射文件对二进制代码进行混淆,以进一步提高代码混淆的质量。通过实验分析,混淆后二进制文件的额外开销只占整个代码的3%左右,并且混淆后的反汇编代码明显异于原始的反汇编代码,甚至出现了一些无法识别的错误指令。(本文来源于《计算机工程与科学》期刊2012年01期）
吴国伟,曹厚华[3]（2010）在《快速自动程序流分析方法研究》一文中研究指出介绍一种自动程序流信息分析方法,使用静态单赋值简化程序切片中的数据依赖关系,利用简单快速程序切片算法删除对循环控制无影响的语句和控制谓词,利用抽象解释自动精确获得程序流信息。实验结果表明,在不失精度的情况下,该方法的分析速度较普通方法快了近25%,且未假定任何程序格式,适用于任何程序格式的流分析过程。(本文来源于《计算机工程》期刊2010年15期）
白文科,杨献春,许满武[4]（2009）在《一种基于逆向程序流的程序切片算法》一文中研究指出传统的程序切片方法一般基于程序依赖图(PDG)和系统依赖图(SDG)的可达性算法,但是在建立PDG和SDG的过程中会计算一些与切片无关的数据依赖,造成时空资源的浪费及切片效率的降低。提出了一种基于程序逆向流的切片算法,它事先建立逆向程序流,再从切片点开始沿逆向程序流扫描程序以获得程序切片,只计算与切片相关的数据依赖,从而提高了切片计算的时空效率。通过实验发现该算法具有一定的可行性和实用性。本算法适用于包括Fortran、C等编程语言在内的命令式程序的切片生成。(本文来源于《计算机应用研究》期刊2009年03期）
黄俊武[5]（2008）在《FT-C55LP程序流单元的设计与实现》一文中研究指出数字信号处理器具有高效率、低功耗和低成本的特点,已成为通信、消费类电子产品的核心部件。FT-C55LP是一款自主正向设计的高性能、低功耗16位定点可编程数字信号处理器芯片。本文在深入研究FT-C55LP体系结构的基础上,详细讨论了FT-C55LP中程序流单元的性能要求和限定条件下的设计及其正确性验证。本文设计的FT-C55LP程序流单元主要由数据交换控制模块、程序控制模块和流水线控制模块叁部分组成。程序流单元的主要功能是完成程序地址产生,程序执行路径和状态控制,程序中跳转、条件、循环等控制类指令的执行处理,中断响应与处理,流水线的控制和冲突保护等。本文针对FT-C55LP的指令集特点和性能、功耗需求,在程序流单元中设计了专门的条件计算逻辑和循环控制逻辑,有效地提高了FT-C55LP中条件指令和循环指令的执行效率。另外,程序流单元中FT-C55LP中断系统的设计与实现也有效提高FT-C55LP执行数字信号处理算法的效率和拓展了其应用领域。FT-C55LP内部采用了12级的深度流水线,并具有自动的流水线冲突硬件保护机制。因此,流水线控制的设计与实现成为能否实现FT-C55LP性能和功耗要求的关键因素之一。在程序流单元的设计与实现的过程中,本文针对FT-C55LP的流水线特别是其中的硬件自动保护机制进行了深入的研究与分析。在流水线的硬件自动保护机制的设计中,分析比较了现有的几种通用流水线保护机制的优缺点,针对FT-C55LP的流水线特点和性能、功耗需求提出了一种有效的基于资源分段访问的流水线保护机制并建立了统一的分析模型。模型表明,这种流水线保护机制有效提高了FT-C55LP的性能,降低了其硬件复杂度。本文最后对所设计的程序流单元进行了模块级的功能验证。在底层模块的验证过程中,本文采用了EDA软件自动进行的代码覆盖率统计的验证策略;在顶层模块的验证过程中,本文采用了EDA软件自动进行代码覆盖率统计和进行用户自定义功能点的功能覆盖率统计相结合的验证策略。验证结果表明程序流单元的设计完全符合FT-C55LP的设计要求,功能完全正确。(本文来源于《国防科学技术大学》期刊2008-11-01）
曹厚华[6]（2008）在《快速程序流分析方法的研究与应用》一文中研究指出衡量系统实时性的最重要的参数是任务的最坏情况执行时间(Worst Case ExceutionTime,WCET)。WCET分析的目的在于得到任务执行时间的上界约束,这需要综合考虑系统的软硬件特征。由于WCET的动态测量方法不能保证估计结果是安全的,所以现在一般学者都致力于静态分析方法的研究。随着软件规模及其复杂性的不断增长,使得快速地获得WCET估计值更加困难。在WCET程序流分析中,本文依据C的语言特点,给出了从抽象语法树到程序控制流图的构造,由程序控制流图到静态单赋值形式的转变。依据静态单赋值形式的控制流图得出数据依赖和数据依赖关系,然后就可以构造程序依赖图。对程序依赖图的扩展得到系统依赖图,利用图的可达性算法来对程序进行切片。本文还给出了一种不是基于依赖图的简单程序切片算法,该算法适合对程序中所有条件语句计算切片。经过程序切片后,采用抽象解释来自动导出程序流中循环迭代界限、不可行路径等约束信息,避免了手工标注。依据上述给出的程序流分析方法,本文给出了程序流分析工具的设计架构。实验结果表明,利用静态单赋值、程序切片、抽象解释理论进行WCET分析中的程序流信息分析,能够快速且有效地给出程序流事实。本文在图论、编译优化技术、程序切片技术的基础上,探讨了WCET流分析工具的整体实现策略,是对WCET流分析方法研究的一种尝试。(本文来源于《大连理工大学》期刊2008-11-01）
姬孟洛,齐治昌[7]（2006）在《基于抽象解释自动导出针对WCET分析的程序流信息的方法》一文中研究指出通过在通用单调数据流框架基础上使用基于抽象解释的变量值范围传播技术,本文提出了一种自动获取循环最大迭代次数和不可行路径的方法。该方法有利于精确计算实时程序最差情况下的执行时间(WCET)。(本文来源于《计算机工程与科学》期刊2006年12期）
张首钊,邵贝贝[8]（2006）在《准确的程序流控制》一文中研究指出本文是《学习MISRA-C》系列连载讲座之五,共六讲。第一讲“‘安全第一’的C语言编程规范”,简述MISRA-C的概况。第二讲“跨越数据类型的重重陷阱”,介绍规范的数据定义和操作方式,重点在隐式数据类型转换中的问题。第叁讲“指针、结构体、联合体的安全规范”,解析如何安全而高效地应用指针、结构体和联合体。第四讲“防范表达式的失控”,剖析MISRA-C中关于表达式、函数声明和定义等的不良使用习惯,最大限度地减小各类潜在错误。第五讲“准确的程序流控制”,表述C语言中控制表达式和程序流控制的规范做法。第六讲“构建安全的编译环境”,讲解与编译器相关的规范编写方式,避免来自编译器的隐患。(本文来源于《单片机与嵌入式系统应用》期刊2006年05期）
杨晓君,高燕萍,卢盛杰,郭黎利[9]（2005）在《DVD程序流至DVB传送流的一种转换方法》一文中研究指出音视频模拟信号的DVD程序流至DVB传送流的转换方法不可避免地会降低转换后的节目质量.在分析DVD和DVB码流标准定义基础上,提出了一种基于音视频数字基本流的无损转换方法,并开发完成相应的软件工具包,用以实现音视频转换、系统信息生成、时间信息校正和复用等转换过程.对转换后生成的传送流的系统信息和时间信息进行了静态分析,并在数字视频广播系统平台上进行了应用测试,测试结果证明该转换方法正确,转换后的节目可用作DVB的入网节目源.(本文来源于《哈尔滨工程大学学报》期刊2005年01期）
宋敬江[10]（2003）在《MPEG-程序流的软件合成实现方案》一文中研究指出对MPEG2程序流语法格式进行分析,利用计算机的并行处理技术,提出了基于微机的MPEG-2实时音视频编码时的程序流合成方案。(本文来源于《江西科技师范学院学报》期刊2003年04期）
程序流论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
自修改代码混淆方法是一种隐藏程序重要信息的有效技术。为减少代码混淆造成的额外开销而又不影响代码混淆的质量,利用程序流敏感分析方法选择比较重要的指令进行混淆。为提高代码混淆的质量,有效地防止反汇编,提出一个二步比较混淆模型。该模型包括两个子混淆器,混淆器1采用程序流敏感分析方法获得混淆的指令并产生两个混淆代码文件和一个混淆代码映射文件。混淆器2通过比较两个混淆代码文件精确地定位混淆指令在二进制代码中的位置,然后利用混淆代码映射文件对二进制代码进行混淆,以进一步提高代码混淆的质量。通过实验分析,混淆后二进制文件的额外开销只占整个代码的3%左右,并且混淆后的反汇编代码明显异于原始的反汇编代码,甚至出现了一些无法识别的错误指令。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
程序流论文参考文献
[1].刘艳,李龙澍.基于逆向程序流和函数依赖集的程序切片算法[J].计算机与现代化.2013
[2].何炎祥,陈勇,吴伟,陈念,徐超.基于程序流敏感的自修改代码混淆方法[J].计算机工程与科学.2012
[3].吴国伟,曹厚华.快速自动程序流分析方法研究[J].计算机工程.2010
[4].白文科,杨献春,许满武.一种基于逆向程序流的程序切片算法[J].计算机应用研究.2009
[5].黄俊武.FT-C55LP程序流单元的设计与实现[D].国防科学技术大学.2008
[6].曹厚华.快速程序流分析方法的研究与应用[D].大连理工大学.2008
[7].姬孟洛,齐治昌.基于抽象解释自动导出针对WCET分析的程序流信息的方法[J].计算机工程与科学.2006
[8].张首钊,邵贝贝.准确的程序流控制[J].单片机与嵌入式系统应用.2006
[9].杨晓君,高燕萍,卢盛杰,郭黎利.DVD程序流至DVB传送流的一种转换方法[J].哈尔滨工程大学学报.2005
[10].宋敬江.MPEG-程序流的软件合成实现方案[J].江西科技师范学院学报.2003
论文知识图
