检索结果-内蒙古大学图书馆

作者：陆仲达西安电子科技大学

学位级别：硕士

该文致力于完成面向对象程序(C++)切片工具中数据依赖图的构造,因为数据依赖图的构造可以归结到程序中到达-定值信息的求解,所以该文主要阐述了到达-定值的求解算法及相关的数据流分析问题,并讨论了算法的程序实现,以及在程序切片中的应... 详细信息

该文致力于完成面向对象程序(C++)切片工具中数据依赖图的构造,因为数据依赖图的构造可以归结到程序中到达-定值信息的求解,所以该文主要阐述了到达-定值的求解算法及相关的数据流分析问题,并讨论了算法的程序实现,以及在程序切片中的应用.文中工作使用的到达-定值求解算法是对编译器代码优化领域中经典的到达-定值迭代求解算法的修改,使其适用于程序切片领域.在实现程序切片工具时,该文利用GCC编译器的前端完成对C++程序的分析,在GCC生成的抽象语法树基础上实现程序切片.在实现到达-定值求解算法时,因为算法基于控制流图,该文提出了一种抽象语法树到控制流图的转换算法,并将其程序实现.在生成的控制流图的基础上,根据到达-定值的求解算法,最终完成算法的程序实现.该文中工作基本上可以处理各种复杂数据类型存在时,程序中到达-定值信息的求解,但在数组和指针存在时,分析的精度有待提高.

关键词：数据流分析程序切片数据依赖控制流图抽象语法树

来源：评论

学校读者我要写书评

暂无评论

Java类单元上的静态数据流分析检测技术的研究

Java类单元上的静态数据流分析检测技术的研究

引用

作者：王斌北京航空航天大学

学位级别：硕士

该课题根据传统数据流分析技术,结合面向对象程序的特征,针对目前广为流行的面向对象语言--Java,主要研究了Java类单元上的数据流分析检测技术及其支持工具的实现.该研究从软件分析和测试的角度出发,通过源代码的静态分析,对Java类单元... 详细信息

该课题根据传统数据流分析技术,结合面向对象程序的特征,针对目前广为流行的面向对象语言--Java,主要研究了Java类单元上的数据流分析检测技术及其支持工具的实现.该研究从软件分析和测试的角度出发,通过源代码的静态分析,对Java类单元的实现进行多层面的数据流异常检测,主要包括三个层次:(a)方法内的局部数据流分析检测;(b)方法间数据流分析检测;(c)在类对外提供的接口上的全局数据流分析检测.该文的主要研究内容包括:分析Java语言的特点,给出Java程序中语句和分支的详细说明,进而构造类单元中方法的控制流程图并分析出方法内的逻辑路径,因为数据流分析是和路径相关的.研究并设计一个多用途的、易维护、易扩充的Java程序源代码静态分析器,以支持多用途的静态结构信息的提取.研究传统结构化程序相关数据流分析技术,结合Java类单元的特征,分析和总结Java类单元上进行数据流分析的特点和难点.研究并设计Java类单元上数据流分析的方案,对Java类单元进行全面的数据流检测.研究并设计数据流异常检测结果的显示和定位的方式,确保数据流分析结果易于理解,方便测试人员和开发人员进行异常的定位和排除.

关键词：数据流分析异常检测静态分析符号表

来源：评论

学校读者我要写书评

暂无评论

基于符号约束集的条件表达式数据流分析

引用

科学技术与工程 2018年第7期18卷 172-178页

作者：董玉坤中国石油大学(华东)计算机与通信工程学院青岛266580

C程序中的条件表达式是唯一一个由三目运算符构成的表达式;而从语义角度来说是分支语句结构,传统的数据流分析技术难以实现对其精确分析。为实现对条件表达式的精确分析,提出了一种应用区间运算的条件表达式分析方法。首先对条件表达式... 详细信息

C程序中的条件表达式是唯一一个由三目运算符构成的表达式;而从语义角度来说是分支语句结构,传统的数据流分析技术难以实现对其精确分析。为实现对条件表达式的精确分析,提出了一种应用区间运算的条件表达式分析方法。首先对条件表达式的语法结构进行分析,以识别不同类型的条件表达式;并采用RSTVL描述程序点上的存储状态;再按照分支语句的语义,通过分析条件表达式中的符号约束集,基于区间运算方法对条件表达式进行数据流分析,得到由RSTVL描述的条件表达式的取值。通过对构造的测试用例与实际工程的测试结果表明,可以精确地分析C程序中的条件表达式。

关键词：条件表达式数据流分析抽象内存模型区间运算符号约束集

来源：评论

学校读者我要写书评

暂无评论

限定路径的数据流分析方法

引用

吉林大学自然科学学报 2000年第2期 45-48页

作者：刘国斌宫慧颖刘磊吉林大学财务处长春130023 吉林大学计算机科学系长春130023

介绍一种限定路径的数据流分析方法 ,该方法可使数据流分析效率得到明显的提高 ,并使分析结果更准确 .

关键词：数据流分析路径控制流图路径评价算法

来源：评论

学校读者我要写书评

暂无评论

用于交互式程序验证的数据流分析技术

用于交互式程序验证的数据流分析技术

引用

作者：冬雨辰南京大学

学位级别：硕士

软件开发过程需要保证程序满足正确性规约。目前主要有软件测试、模型检验等技术用于程序的正确性保证。软件测试通过测试用例集来描述正确性规约,在测试用例集上执行目标程序以判断结果是否符合预期；模型检验通过自动机、Petri Net等... 详细信息

软件开发过程需要保证程序满足正确性规约。目前主要有软件测试、模型检验等技术用于程序的正确性保证。软件测试通过测试用例集来描述正确性规约,在测试用例集上执行目标程序以判断结果是否符合预期；模型检验通过自动机、Petri Net等对软件系统进行建模,判断软件系统运行过程是否会出错。但是测试方法只能保证程序在一定覆盖度下满足规约,无法证明程序正确,而模型检验方法使用分析程序状态来判断是否会有不安全的错误情况,存在状态空间爆炸的问题。它们不适合针对计算处理过程的程序验证。为了准确地验证和数据处理计算相关程序性质,相关研究者提出了使用逻辑推理系统如Hoare Logic对程序进行静态验证的方法：分析人员用包含自定义递归函数的逻辑公式描述程序程序的状态,并使用逻辑系统的推理规则分析程序状态在语句执行前后的变化。分析人员还可以使用约束求解器等工具辅助推导更多的性质。研究人员对Hoare Logic进行扩展得到Separation Logic和Scope Logic,更是使得逻辑系统具有了处理指针别名的能力。然而基于逻辑系统人工推导性质的过程十分复杂,涉及多种推理规则的结合使用。尤其是当处理循环语句和递归数据结构时,人工分析更是容易发生错漏,所以该方法对分析人员的经验和能力有较为苛刻的要求。为了使得基于逻辑系统的程序验证过程更加准确和高效,本文提出了如下的方法：·提出了一种在Scope Logic上进行交互式的程序验证的方法。多种分析技术之间通过程序点的逻辑公式进行协作。分析人员可以与分析过程进行交互,手工进行程序性质的验证,也可以自行指定多种分析技术结合进行程序性质的分析。分析技术只要满足相关约束,即可参与交互程序验证的过程。交互式的程序验证可以保证灵活性,可以提高程序验证的自动化程度。·提出了使用数据流分析结合Scope Logic对程序性质进行自动分析的方法。分析人员将递归函数公式描述的程序性质取值转化为交半格表示的数据流值,并为数据流值设置随着程序语句传播的过程。数据流算法便可自动化求解最终的程序状态。分析过程自动将结果转成公式,并且自动设置公式的来源和依赖关系。当数据流分析过程满足相关约束时,该数据流分析过程就可以作为一种自动化技术参与交互式程序验证。分析人员保证数据流值半格高度有穷和传播过程的单调,即可保证数据流迭代算法收敛。通过使用该方法进行自动化验证,程序验证的效率得到提高。我们将以上数据流分析的方法在基于Scope Logic的程序分析工具Accumu-lator上集成实现,分析人员可与工具交互,使用不同分析过程验证程序性质。我们使用该工具分析了一系列递归数据结构操作实例,主要包括单链表形状变化的代码,如单链表的插入、删除和翻转等。实验对正确和错误的代码都进行了分析,实验结果表明,分析人员使用我们的方法得到的结果满足Scope Logic的规约,可以有效地与其他技术进行交互,因而可以准确地验证程序性质。

关键词：程序验证数据流分析 Scope Logic 交互式验证

来源：评论

学校读者我要写书评

暂无评论

METRIC多核编译链数据流分析设计与实现

METRIC多核编译链数据流分析设计与实现

引用

作者：吴立滨哈尔滨工业大学

学位级别：硕士

编译系统是任何计算机系统中不可缺少的重要部分。但是编译系统的研制因其技术复杂、难度较高而需要投入较多的人力、物力和花费较长的研制周期。过去编译系统的研制均是针对某一种程序设计语言和某一种目标机而专门编写的。随着计算机... 详细信息

编译系统是任何计算机系统中不可缺少的重要部分。但是编译系统的研制因其技术复杂、难度较高而需要投入较多的人力、物力和花费较长的研制周期。过去编译系统的研制均是针对某一种程序设计语言和某一种目标机而专门编写的。随着计算机的飞速发展，这种传统的方法己经很难满足需要。进入八十年代后期，随着国外各种软件公司的兴起以及各种计算机芯片不断推陈出新，研制支持多目标机的编译系统越来越显得重要，编译程序的开发者们认识到只有既支持多语种又支持多目标机的编译系统才具有生命力和竞争价值。这种系统实际上是开发编译程序的基础平台，它采用的技术代表着编译技术的发展方向。\n 现代处理器的设计进入多核时代，为最大限度地开发多核处理器的并行性能，在编译时进行优化是多核处理器编译优化技术的重要方面。\n 本文主要介绍了多核编译器中数据流分析模块的设计与实现，数据流分析模块对编译器后端的优化起着重要的作用。每进行一种优化都与数据流分析过程中收集到的信息相关。公共子表达式的物理删除、重载后寄存器子表达式的删除、指令重排、局部寄存器分配，循环优化和基本块的优化调用数据流分析来完成。\n 本课题完成内容是Metric多核编译链数据流分析设计与实现。将要完成数据流分析模块中的初始化模块、自定义模块和结束模块三个子功能模块。

关键词：编译系统多核编译链数据流分析并行性能

来源：评论

学校读者我要写书评

暂无评论

数组数据流分析技术的研究

引用

微计算机信息 2005年第23期 187-188页

作者：王珊珊赵荣彩河南郑州信息工程大学 450002 河南郑州信息工程大学

传统的数据依赖关系分析不能表示两个读/写数组引用是否对同一数值进行操作,本文介绍了能给出这一精确信息的数组数据流分析技术,并详细描述了表示数据流分析的终写树LWT(LastWriteTree)的构造过程。

关键词：数据流分析终写树

来源：评论

学校读者我要写书评

暂无评论

数据流分析在汽车故障检测诊断中的应用(一)

引用

汽车维护与修理 2008年第10期 40-42页

作者：段明社新疆交通职业技术学院 831401

数据流是ECU对所控制的系统正运行的控制状态的数量表现形式。在当代汽车故障诊断过程中，对数据流的分析是解决汽车故障的一个基本手段，也是判断汽车故障的必要过程。使用汽车故障检测仪，可以得到大量的汽车运行数据，使用和分析这... 详细信息

数据流是ECU对所控制的系统正运行的控制状态的数量表现形式。在当代汽车故障诊断过程中，对数据流的分析是解决汽车故障的一个基本手段，也是判断汽车故障的必要过程。使用汽车故障检测仪，可以得到大量的汽车运行数据，使用和分析这些数据，可以帮助技术人员分析故障，找到故障原因。数据流分析是运用各种测试手段对电控系统的各类相关数据进行综合分析的过程。

关键词：数据流分析汽车故障检测诊断应用控制状态电控系统故障检测仪诊断过程

来源：评论

学校读者我要写书评

暂无评论

三原不解体诊断技术讲座数据流分析在汽车故障检测诊断中的应用(三)

引用

汽车维护与修理 2008年第11期 32-34页

作者：段明社新疆交通职业技术学院 831401

2．5 比较分析法比较分析是对相同车种及系统在相同条件下的相同数据组进行的对比分析。在很多时候，我们没有足够的技术资料和详尽的标准数据，无法准确地断定某个器件的好坏。此时可与同类型车或同类系统数据加以比较。当然在维修中... 详细信息

2．5 比较分析法比较分析是对相同车种及系统在相同条件下的相同数据组进行的对比分析。在很多时候，我们没有足够的技术资料和详尽的标准数据，无法准确地断定某个器件的好坏。此时可与同类型车或同类系统数据加以比较。当然在维修中，很多人会使用替换试验进行判断，这也是一种简单的方法，但在进行时，注意应首先做一定的基本诊断，在基本确定故障趋势后，再替换被怀疑有问题的器件，不可一上来就换这换那，其结果可能是换了所有的器件，但仍未发现问题。

关键词：检测诊断汽车故障数据流分析应用比较分析法标准数据技术资料数据组

来源：评论

学校读者我要写书评

暂无评论

数据流分析法在汽车故障诊断中的应用(上)

引用

汽车维修与保养 2016年第4期 88-91页

作者：赵宝平胡家冬鲍文娟

随着汽车及电子技术的发展,汽车制造商为适应时代的需求,汽车电控技术也日益完善。为满足汽车维修人员对故障检修和设定的需要,在汽车电控系统中设置了故障代码和数据流记忆功能,读取故障代码和进行数据流分析成为现代汽车维修人员故障... 详细信息

随着汽车及电子技术的发展,汽车制造商为适应时代的需求,汽车电控技术也日益完善。为满足汽车维修人员对故障检修和设定的需要,在汽车电控系统中设置了故障代码和数据流记忆功能,读取故障代码和进行数据流分析成为现代汽车维修人员故障诊断中的首要工作。在汽车维修中,故障现象有不同的解决方法,维修技师也有不同的维修技巧,即使相同的车型,同样的故障现象,所采取的检测诊断方法及思维不一,最终所花费的维修时间与成本也不同,故掌握先进的故障诊断技术,对维修工作将起到事半功倍的效果。本文主要对汽车故障代码和数据流的概念、数据流分析的应用、数据流分析的方法、数据流分析汽车故障的建议和策略作简要介绍。同时,利用数据流分析法排除在工作中所遇到的相关故障案例,希望能够通过本文的阅读使汽车维修人员在工作中起到一定借鉴作用。

关键词：汽车故障诊断数据流分析应用汽车维修人员故障代码汽车电控系统故障诊断技术故障现象

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：