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

作者：王玉宝东南大学

学位级别：硕士

Q学习是机器学习的一种,以其简捷、高效的算法及自适应学习特点,成为增强学习的典型代表,在人工智能领域得到越来越多的应用。理论和实践证明,解决动态过程优化问题是Q学习的长处。程序分析领域中切片技术日趋成熟。基于系统依赖图的程... 详细信息

Q学习是机器学习的一种,以其简捷、高效的算法及自适应学习特点,成为增强学习的典型代表,在人工智能领域得到越来越多的应用。理论和实践证明,解决动态过程优化问题是Q学习的长处。程序分析领域中切片技术日趋成熟。基于系统依赖图的程序静态切片技术效率高、应用广。但是,随着软件程序的功能多样化发展,复杂性随之提高,环境中干扰因素不断增加。复杂程序在不确定环境中的动态分析、控制成为技术难题和迫切需求。此时,切片方法为主的程序分析理论、技术严重受限。提出用Q学习策略探索程序分析领域存在的难题,是一次大胆尝试。论文引入Q学习独有的优势,针对复杂程序动态分析、控制难题,提出基于Q学习的复杂程序动态分析、控制思想,构造切实可行的分析算法,着重对并发程序、面向对象程序、不确定环境中的复杂程序动态分析进行研究,初步形成了基于Q学习的复杂程序动态分析技术,为实时、有效控制不确定环境中复杂程序的动态过程提供了依据。在此基础上,对基于Q学习的复杂程序动态分析、控制系统(析控器:QACA)的实现相关技术进行了研究。论文的主要工作:(1)通过对基于Q学习的复杂程序动态分析技术的研究,解决当前在并发程序、面向对象程序、不确定环境中的复杂程序等的动态分析方面存在的难题,提高分析智能性、效率及精度。(2)在Q学习分析的基础上,探讨对复杂程序实施动态最优控制,增强复杂软件程序的自动控制能力,为提高大型、重要软件系统的安全性、可维护性等问题提供对策。(3)对析控器(QACA)的实现相关技术进行基础性研究。论文的主要成果表现在以下几个方面: 提出一种基于Q学习的程序智能分析思想及方法,初步形成基于Q学习的复杂程序动态分析技术。提出Q依赖链、Q依赖图等一系列基于Q学习的程序分析新概念。融合了传统程序分析技术和机器学习领域知识,使这两个学科有机结合、优势互补。提出将不确定环境中的复杂程序区分特征、区别分析的方法。既可提高析控器学习、分析的效率,又使智能分析、控制的针对性、精确性得到增强。为提高析控器的学习、训练速度及动态分析时效,提出利用当前程序分析中先进理论、技术对程序的表示、分析等方法,约束动态分析信息量,缩短了agent的学习、训练周期。提出运用Q学习策略实时分析、控制复杂程序动态过程的思想和方法,研究、设计将析控器绑定或嵌入大型重要软件系统程序的动态过程,为基于Q学习的析控器系统实现做出基础性研究工作。

关键词：程序分析机器学习 Q学习复杂程序程序动态分析依赖性分析程序切片

来源：评论

学校读者我要写书评

暂无评论

基于契约的程序动态分析技术研究

引用

计算技术与自动化 2006年第4期25卷 65-68页

作者：刘树锟阳小华刘杰罗江琴南华大学计算机科学与技术学院湖南衡阳421001

在当今信息社会中,程序质量是一个具有重要意义的热点问题,基于契约的程序设计是提高程序质量的重要且有效的技术,但是形式化契约的制定是一件十分困难的工作,因此软件质量保证问题一直是令人困扰的难题,本文介绍契约式程序设计的基本... 详细信息

在当今信息社会中,程序质量是一个具有重要意义的热点问题,基于契约的程序设计是提高程序质量的重要且有效的技术,但是形式化契约的制定是一件十分困难的工作,因此软件质量保证问题一直是令人困扰的难题,本文介绍契约式程序设计的基本概念与方法,并在此基础上,提出利用契约进行程序动态分析的主要思路及其基本过程并给出简单实例,从一种新的维度来思考保障软件质量的方法．

关键词：契约断言程序不变量程序动态分析

来源：评论

学校读者我要写书评

暂无评论

程序理解:现状与未来

引用

软件学报 2019年第1期30卷 110-126页

作者：金芝刘芳李戈北京大学信息科学技术学院北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

程序理解是软件工程中的关键活动,在软件开发、维护、重用等任务中发挥着重要的作用.程序理解自软件工程出现以来,就一直是该领域的研究热点.随着软件应用的日益复杂和不断普及,程序理解研究的需求发生了新的变化,程序的自理解或自认知... 详细信息

程序理解是软件工程中的关键活动,在软件开发、维护、重用等任务中发挥着重要的作用.程序理解自软件工程出现以来,就一直是该领域的研究热点.随着软件应用的日益复杂和不断普及,程序理解研究的需求发生了新的变化,程序的自理解或自认知逐渐成为新的关注点,有必要对程序理解进行重新审视.从工程、学习和认知以及方法和技术这3个角度定位程序理解任务;随后,通过文献分析展示其研究布局,进而分别从认知过程、理解技术以及软件工程任务中的应用这3个方面,综合论述程序理解研究的发展脉络和研究进展.

关键词：软件工程程序理解软件理解程序静态分析程序动态分析

来源：评论

学校读者我要写书评

暂无评论

Android应用程序组件间通信的缺陷检测与分析技术

Android应用程序组件间通信的缺陷检测与分析技术

引用

作者：赵赛北京工业大学

学位级别：硕士

智能手机在日常生活中已成为必不可少的电子产品,其中运行Android系统的设备在智能手机市场上占据很大比例,在Android系统上运行的应用程序也成倍增加。Android应用程序中组件之间的通信机制有Intent机制,该机制是应用程序中常用的机制... 详细信息

智能手机在日常生活中已成为必不可少的电子产品,其中运行Android系统的设备在智能手机市场上占据很大比例,在Android系统上运行的应用程序也成倍增加。Android应用程序中组件之间的通信机制有Intent机制,该机制是应用程序中常用的机制,利用该机制减少了开发人员的负担并促进了组件的重用。但是该机制将组件暴露在外部,如果组件无法处理恶意应用程序所发送的消息则有可能会导致程序的崩溃。所以Android应用程序利用Intent机制进行通信过程中存在的问题成为研究的热点。本文以Android应用程序中的暴露组件为研究对象,研究了应用程序组件间利用Intent通信时的健壮性。发现影响程序的健壮性的原因是,应用程序接收到来自其他应用的Intent消息时却无法正常处理该消息。针对这个问题,本文提出了Android组件间通信的缺陷检测和分析方法。该方法包括基于路径的缺陷检测和缺陷分析两部分。其中缺陷检测方法主要通过静态分析和测试两个阶段完成。静态分析阶段,首先利用反编译技术解析配置文件,然后提出核心引擎分析方法获取程序中与Intent相关的参数信息;测试阶段,利用静态分析阶段所获取的组件详细信息以及Android提供的标准常量值构造测试套件并发送给目标组件,实时监控系统日志信息,从而获得异常信息,并用于下一阶段的使用。在缺陷分析时,本文提出了Android组件间的缺陷分析方法。利用核心引擎分析方法获取与Intent相关的路径信息,同时利用函数调用栈分析方法提取日志中异常堆栈信息,两者结合从而能够自动分析出异常被触发的根本原因。本课题在真实的应用程序上利用上述缺陷检测和缺陷分析方法,发现了应用程序组件间通信时存在的多种异常,并进一步实现了对异常根本原因的自动分析。为Android应用程序的开发者提供了分析异常原因的指导,同时为测试者提供了测试方法,也为后续工作提供了借鉴。

关键词： Android组件间通信健壮性软件测试程序静态分析程序动态分析

来源：评论

学校读者我要写书评

暂无评论

一种Java程序插桩语言及支撑工具

一种Java程序插桩语言及支撑工具

引用

作者：陶永晶南京大学

学位级别：硕士

插桩技术在程序分析、测试等领域都占有非常重要的地位。但是现有的插桩实现技术需要用户根据不同的被分析、测试程序构造不同的插桩模块,这种实现方式往往导致了插桩过程工作繁琐,并且已有的插桩模块难以复用。本文将整个插桩过程分为... 详细信息

插桩技术在程序分析、测试等领域都占有非常重要的地位。但是现有的插桩实现技术需要用户根据不同的被分析、测试程序构造不同的插桩模块,这种实现方式往往导致了插桩过程工作繁琐,并且已有的插桩模块难以复用。本文将整个插桩过程分为两个步骤来进行：第一,利用代码查询技术在程序的源代码中定位需要被插桩的位置；第二,根据插桩点的上下文信息为每一个不同的插桩点构造相应的植入代码。根据这种思想,我们提出了一个基于代码查询的插桩方法JIns,并实现了相应的支撑工具。JIns方法拥有一套语法规则来描述插桩点在程序中的位置,同时提供了带有参数的插桩语句模板机制实现上下文敏感的插桩工作。本文针对于现有插桩工作的不足,解决了下面的问题： ·如何提供一种通用的方式来定位插桩点。JIns方法基于代码查询的方法,提出了基于一阶谓词逻辑的查询语言,它支持对类(接口)、方法、语句和变量四类程序元素的描述。语言形式上与SQL类似,方便用户使用。 ·如何根据插桩点在程序中位置的不同而构造不同的插桩语句。JIns方法提供了带有参数的插桩模板,其中的参数将会被查询过程中得到的信息所替换,从而构造出上下文敏感的插桩代码。 ·如何评估插桩代码对程序运行时间的影响。本文提供了一套用于计算插桩语句运行时间的机制,通过该机制,用户可以方便地看出插桩代码运行时间在整个程序运行时间中所占的比例。

关键词：插桩测试程序动态分析

来源：评论

学校读者我要写书评

暂无评论

基于测试的程序错误定位系统的设计与实现

基于测试的程序错误定位系统的设计与实现

引用

作者：陈能大连海事大学

学位级别：硕士

软件调试对开发者来说是一个昂贵的、费时费力的过程,尤其是定位程序中的错误通常会耗费调试过程的大部分时间。能够减少错误定位时间的技术显然会对软件开发和维护的成本和质量具有重要的影响。近年来,在人工智能领域和软件工程自动化... 详细信息

软件调试对开发者来说是一个昂贵的、费时费力的过程,尤其是定位程序中的错误通常会耗费调试过程的大部分时间。能够减少错误定位时间的技术显然会对软件开发和维护的成本和质量具有重要的影响。近年来,在人工智能领域和软件工程自动化领域出现了大量的计算机辅助软件调试的工作,很多学者提出了多种程序错误定位技术。基于测试的软件错误定位技术(TBFL)成功地通过大量运行程序比较程序元素的统计信息,定位有问题的语句。然而仍然存在各种程序例子使得现有方法得不到满意的结果。作为一种有效的统计智能方法TBFL技术具有更加广阔的发展空间。本论文归纳总结了TBFL的研究进展,提出了一种改进的基于测试的错误定位技术,它关心的不是语句覆盖信息,而是分析程序的数据流和控制流。具体地说,我们运行测试套件得到程序的动态的控制依赖和数据依赖程序谱,根据这两种类型的依赖程序谱建立合适的模型,计算各个依赖的可疑值,来评估可疑的语句,据此帮助程序员排除程序错误。本论文根据这种程序错误定位技术,设计并实现一个支持该技术的错误定位系统,利用程序测试过程中得到的依赖信息进行错误定位。为了检查本文提出的错误定位技术和对应的系统的效果,本文使用Siemens套件作为实验程序,并与多个现有的程序错误定位技术进行分析对比。实验表明,该错误定位技术相对于其他技术具有更好的定位效果,该系统证明具有一定的实际应用价值。

关键词：错误定位软件调试依赖程序谱程序动态分析

来源：评论

学校读者我要写书评

暂无评论

基于合约的程序分析技术研究

引用

现代电子技术 2012年第12期35卷 31-33,36页

作者：李冠雄湖南涉外经济学院实验中心湖南长沙410205 湘潭市昭山农药厂湖南湘潭411103

为了更好地保证并提高计算机软件质量,在软件设计过程中采用了合约式程序设计方法。以大量程序运行轨迹数据为基础,以SQL Server 2005为实验平台,在大量详实的检测程序中对类与类之间、变量之间以及接口与类之间的关系进行了程序动态分... 详细信息

为了更好地保证并提高计算机软件质量,在软件设计过程中采用了合约式程序设计方法。以大量程序运行轨迹数据为基础,以SQL Server 2005为实验平台,在大量详实的检测程序中对类与类之间、变量之间以及接口与类之间的关系进行了程序动态分析实验。实验表明,在函数的入口处或者在类的开始点检测程序中应保持的隐含性质是相对较好并且合理的的检测位置。通过利用合约进行程序动态分析的基本过程,是一种新的软件质量保证的思维模式,利用这种模式可以进一步提高软件质量,从而保证软件的可用性。

关键词：合约断言程序不变量程序动态分析

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：