基于深度学习和遗传算法的方法调用缺陷自动修复方法

1

作者 宋青青 杨秋辉 +2 位作者 董兰 代声馨 赵明敏 《计算机工程与设计》 北大核心 2025年第1期237-242,共6页

为提高软件缺陷自动修复技术的修复效果,针对面向对象程序中出现概率较大的方法调用缺陷,提出一种基于深度学习和遗传算法的方法调用缺陷自动修复方法。基于深度学习构造方法调用缺陷修复模型,使用修复模型生成候选补丁并验证;若补丁无... 为提高软件缺陷自动修复技术的修复效果,针对面向对象程序中出现概率较大的方法调用缺陷,提出一种基于深度学习和遗传算法的方法调用缺陷自动修复方法。基于深度学习构造方法调用缺陷修复模型,使用修复模型生成候选补丁并验证;若补丁无效,则基于这些候选补丁,使用改进的基于遗传算法的缺陷修复方法生成候选补丁。实验结果表明,在Defects4 J数据集上,所提方法与DEAR、TBar、SequenceR和jGenProg自动化缺陷修复工具相比,缺陷修复率和补丁正确率都有提高。 展开更多

关键词 软件调试 软件缺陷自动修复 面向对象程序 方法调用缺陷 补丁生成与验证 深度学习 遗传算法

在线阅读 下载PDF 职称材料

一种改进的基于遗传算法的多跑道到达飞机调度 被引量：26

2

作者 杨秋辉 游志胜 +1 位作者 冯子亮 洪玫 《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2006年第2期141-145,共5页

为解决具有多条跑道的大型机场在交通高峰期的飞机调度问题,提出了用遗传算法解决多跑道到达飞机调度的方法。算法以所有飞机的排列次序作为个体编码,在此基础上设计了交叉和变异算子。解码时首先确定各飞机的降落跑道,然后用改进的移... 为解决具有多条跑道的大型机场在交通高峰期的飞机调度问题,提出了用遗传算法解决多跑道到达飞机调度的方法。算法以所有飞机的排列次序作为个体编码,在此基础上设计了交叉和变异算子。解码时首先确定各飞机的降落跑道,然后用改进的移动方法解决同一跑道上飞机之间的冲突并插入空闲时间,从而确定降落次序和时间。模拟结果表明,该方法能帮助管制员做出高效的飞机调度决策。 展开更多

关键词 遗传算法 到达飞机调度 空闲时间

在线阅读 下载PDF 职称材料

基于单机排序问题的降落飞机分组排序方法 被引量：12

3

作者 杨秋辉 游志胜 洪玫 《四川大学学报（工程科学版）》 EI CAS CSCD 2004年第6期106-110,共5页

为使单跑道降落飞机排序结果在实际操作时可行、简单,首先限制同一航路段上的飞机按照先来先服务的原则排序,在最终的排序中,其拓扑次序不变;其次提出了将飞机分组排序的思想,对同一航路段上刚好满足最小安全间隔的飞机做为一个飞机组... 为使单跑道降落飞机排序结果在实际操作时可行、简单,首先限制同一航路段上的飞机按照先来先服务的原则排序,在最终的排序中,其拓扑次序不变;其次提出了将飞机分组排序的思想,对同一航路段上刚好满足最小安全间隔的飞机做为一个飞机组参与排序。使用1|chains|∑wjcj做为排序模型,通过求解各飞机链的ρ因子可以快速得到排序结果。将本方法用于对双流国际机场和其它几个机场的实际航迹数据进行计算,得到的排序序列完全符合实际管制需要,具有很高的推广应用价值。 展开更多

关键词 空中交通流量管理 飞机排序 单机排序问题 加权总完工时间

在线阅读 下载PDF 职称材料

分布式自动化软件测试实现技术研究 被引量：2

4

作者 杨秋辉 周洪宇 +2 位作者 洪玫 王松 臧康 《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2011年第5期126-132,共7页

为了解决大型软件的分布式自动化测试问题,在分布式持续软件质量保证思想基础上,通过对现有自动化测试框架的分析,提出了一个基于Internet网络资源的分布式自动化软件测试平台,并实现了原型系统。平台集成了软件测试过程中需要的一系列... 为了解决大型软件的分布式自动化测试问题,在分布式持续软件质量保证思想基础上,通过对现有自动化测试框架的分析,提出了一个基于Internet网络资源的分布式自动化软件测试平台,并实现了原型系统。平台集成了软件测试过程中需要的一系列工具,能有效利用Internet上的空闲资源进行大型软件系统的持续集成和测试。为实现测试任务的自动划分和调度,提出了基于空闲时间约束的任务调度算法,并对集合划分问题的ACO算法进行了改进,在其中添加了动态容量监控标准和前置与后置处理过程。通过在原型系统中进行MySQL测试,验证了平台架构和设计的可行性以及算法的有效性。 展开更多

关键词 软件自动化测试 分布式持续质量保证 软件测试平台 分布式任务调度 ACO算法

在线阅读 下载PDF 职称材料

航空地图信息系统及关键技术 被引量：5

5

作者 杨秋辉 余勤 《计算机应用》 CSCD 北大核心 2004年第4期150-152,共3页

针对空管自动化系统和空管人员的实际需求,介绍了开发实现航空地图信息系统的主要技术。系统具备地物对象的编辑、航空地图数据的显示和存取等功能。文中分析了航空地图信息系统的模型,并给出了在UNIX操作系统中,基于Motif环境开发系统... 针对空管自动化系统和空管人员的实际需求,介绍了开发实现航空地图信息系统的主要技术。系统具备地物对象的编辑、航空地图数据的显示和存取等功能。文中分析了航空地图信息系统的模型,并给出了在UNIX操作系统中,基于Motif环境开发系统时的具体实现技术。 展开更多

关键词 MOTIF 航空地图信息系统 空管自动化系统 地物对象

在线阅读 下载PDF 职称材料

多处理器实时系统可调度性分析的UPPAAL模型 被引量：19

6

作者 代声馨 洪玫 +3 位作者 郭兵 杨秋辉 黄蔚 徐保平 《软件学报》 EI CSCD 北大核心 2015年第2期279-296,共18页

随着多处理器实时系统在安全性攸关系统中的广泛应用,保证这类系统的正确性成为一项重要的工作.可调度性是实时系统正确性的一项关键性质.它表示系统必须满足的一些时间要求.传统的可调度性分析方法结论保守或者不完备,为了避免这些方... 随着多处理器实时系统在安全性攸关系统中的广泛应用,保证这类系统的正确性成为一项重要的工作.可调度性是实时系统正确性的一项关键性质.它表示系统必须满足的一些时间要求.传统的可调度性分析方法结论保守或者不完备,为了避免这些方法的缺陷,提出使用模型检测的方法来实现可调度性分析.提出了一个用于多处理器实时系统可调度性分析的模板,将与系统可调度性相关的部分包括实时任务、运行平台和调度管理模块都用时间自动机建模,并使用UPPAAL验证可调度的性质是否总被满足.符号化模型检测方法被用于推断可调度性,但是由于秒表触发的近似机制,符号化模型检测方法不能用于证明系统不可调度.作为补充,统计模型检测方法被用于估算系统不可调度的概率,并在系统不可调度时生成反例.此外,在系统可调度时,通过统计模型检测方法获取一些性能相关的信息. 展开更多

关键词 可调度性 模型检测 UPPAAL 多处理器实时系统 时间自动机

在线阅读 下载PDF 职称材料

航空炸弹飞行中的风场辨识 被引量：3

7

作者 杨秋辉 吕鸣 +1 位作者 耿丽娜 宋广润 《弹箭与制导学报》 CSCD 北大核心 2011年第2期149-152,共4页

为实现航空炸弹飞行中的风偏修正,提出了一种基于位置矢量合成关系的风场辨识方法。文中首先建立了制导炸弹系统仿真平台以及可用的简化风场模型,其次推导了具体的辨识步骤,从而仅根据飞行中的弹道偏差得到了实时的风场信息,为弹道风偏... 为实现航空炸弹飞行中的风偏修正,提出了一种基于位置矢量合成关系的风场辨识方法。文中首先建立了制导炸弹系统仿真平台以及可用的简化风场模型,其次推导了具体的辨识步骤,从而仅根据飞行中的弹道偏差得到了实时的风场信息,为弹道风偏修正提供了可靠数据。最后通过数字仿真,验证了采用该方法进行飞行中的风场辨识是合理有效的。 展开更多

关键词 航空炸弹 风场辨识 建模 风偏修正

在线阅读 下载PDF 职称材料

多相流中颗粒旋转运动特性的研究进展 被引量：7

8

作者 王勤辉 杨秋辉 +2 位作者 吴学成 骆仲泱 岑可法 《化工学报》 EI CAS CSCD 北大核心 2011年第9期2381-2390,共10页

多相流中分散相颗粒旋转运动特性研究对于进一步揭示多相流机理有重要意义,同时也有助于人们更全面地认识多相流动,因此,越来越受到学者们的关注。近年来,人们从理论模拟方面研究颗粒旋转对流场的影响,通过改进多相流数值模型来考虑颗... 多相流中分散相颗粒旋转运动特性研究对于进一步揭示多相流机理有重要意义,同时也有助于人们更全面地认识多相流动,因此,越来越受到学者们的关注。近年来,人们从理论模拟方面研究颗粒旋转对流场的影响,通过改进多相流数值模型来考虑颗粒旋转,获得了与实验吻合的结果,但由于模型本身的局限性,无法全面考虑颗粒旋转运动对颗粒群和周围流场的影响;在实验研究方面,人们尝试利用高速摄像方法测量颗粒的转速,并对实际气固两相流中颗粒的转速进行了测量,但更准确、有效的颗粒转速测量方法还需进一步探索。把直接数值模拟方法应用于颗粒旋转运动特性的模拟是进一步研究颗粒旋转运动特性需要突破的方向,另外,通过计算机视觉场景中的连续图像序列对目标物体进行三维运动和结构重建的技术,也将是颗粒转速测量方法的研究重点之一。 展开更多

关键词 多相流 颗粒旋转 Magnus升力 转速测量 直接数值模拟

在线阅读 下载PDF 职称材料

嵌入式软件内存泄露检测方法研究 被引量：9

9

作者 张鹏 杨秋辉 李海怒 《计算机工程与应用》 CSCD 2013年第14期56-59,65,共5页

动态内存分配为C/C++语言编程人员提供了极大的灵活性,但同时也带来了一个潜在的严重问题——内存泄露。与桌面系统相比,嵌入式系统处理能力弱、内存空间小、运行时间长,如果在程序运行期间发生内存泄露,将导致系统崩溃,造成不可预料的... 动态内存分配为C/C++语言编程人员提供了极大的灵活性,但同时也带来了一个潜在的严重问题——内存泄露。与桌面系统相比,嵌入式系统处理能力弱、内存空间小、运行时间长,如果在程序运行期间发生内存泄露,将导致系统崩溃,造成不可预料的后果,因此需要在开发调试阶段尽早检测出造成内存泄露的代码。提出了一种基于动态检测技术和程序插装技术的嵌入式软件内存泄露分布式检测方法。该方法的实现思想是当程序在目标机运行时,插装代码自动截获内存操作函数,收集内存操作相关信息并把收集到的信息发送到服务器端处理,实现了嵌入式系统内存泄露的准确检测。实验结果证明,由于采用分布式技术进行信息处理,内存泄露检测效率得到了很大的提升。 展开更多

关键词 嵌入式软件 内存泄露检测 动态插装 动态检测 分布式检测

在线阅读 下载PDF 职称材料

基于有界模型检测的C/C++程序内存泄露检测 被引量：2

10

作者 黄蔚 洪玫 +5 位作者 杨秋辉 郭鑫宇 代声馨 徐保平 高婉玲 赵鹤 《计算机应用研究》 CSCD 北大核心 2016年第6期1762-1766,共5页

C/C++语言中的动态内存管理机制自由且灵活,但动态内存的使用容易引入内存泄露,导致系统性能降低甚至系统崩溃。为了更加有效地检测内存泄露,提出了一个基于有界模型检测技术的C/C++程序内存泄露检测方案MLD-CBMC。该方案以C/C++程序文... C/C++语言中的动态内存管理机制自由且灵活,但动态内存的使用容易引入内存泄露,导致系统性能降低甚至系统崩溃。为了更加有效地检测内存泄露,提出了一个基于有界模型检测技术的C/C++程序内存泄露检测方案MLD-CBMC。该方案以C/C++程序文件为输入,利用有界模型检测技术对程序进行展开处理,加入内存泄露性质,并利用可满足性模理论(SMT)对程序约束和性质组成的验证条件编码,使用SMT求解器对验证条件求解,将检测内存泄露问题转换为求解可满足性问题,实现C/C++程序内存泄露的检测。通过实验验证了方案的有效性,并与其他有界模型检测工具进行对比实验,实验证明方案对内存泄露的检测能力更强。 展开更多

关键词 C/C++程序 内存泄露 有界模型检测 可满足性模理论

在线阅读 下载PDF 职称材料

基于观察者模式的实时系统验证方法 被引量：2

11

作者 赵鹤 洪玫 +1 位作者 杨秋辉 高婉玲 《计算机科学》 CSCD 北大核心 2017年第12期156-162,174,共8页

复杂实时系统的验证问题一直备受关注。验证过程中,验证特性可以用时序逻辑来描述,但时序逻辑对于非专业人员而言较为复杂,难度较大。观察者模式是一个额外的子系统,可以将复杂的验证特性转换为简单的可达性问题,同时也可以避免使用复... 复杂实时系统的验证问题一直备受关注。验证过程中,验证特性可以用时序逻辑来描述,但时序逻辑对于非专业人员而言较为复杂,难度较大。观察者模式是一个额外的子系统,可以将复杂的验证特性转换为简单的可达性问题,同时也可以避免使用复杂的验证算法。将Etienne和Nouha Abid等人提出的抽象的观察者模式应用到实时系统实例——Train-Gate系统中,采用UPPAAL工具对Train-Gate系统中的某些场景建立观察者模型,并采用对比实验将验证结果与无观察者模式状态下的验证结果进行对比。对比结果表明,使用观察者模式和验证特性都可以得到正确的验证结果,但观察者更节省时间,对于非专业人员而言更简单且更容易接受。因此,使用观察者模式对如TrainGate的实时系统进行验证是可行的。 展开更多

关键词 观察者模式 实时系统 UPPAAL Train-Gate 模型检测

在线阅读 下载PDF 职称材料

基于安全域的Android系统内核安全增强机制研究 被引量：1

12

作者 陈伟 杨秋辉 程雪梅 《计算机科学》 CSCD 北大核心 2018年第2期203-208,共6页

近年来,随着Android系统的迅猛发展,其安全面临着极大的挑战。Android的安全包括系统安全和软件安全,系统安全是整个安全的基石,对整体安全至关重要。以TOMOYO Linux为基础,针对Android的特点,改进了域生成算法,实现了内核层面的安全增... 近年来,随着Android系统的迅猛发展,其安全面临着极大的挑战。Android的安全包括系统安全和软件安全,系统安全是整个安全的基石,对整体安全至关重要。以TOMOYO Linux为基础,针对Android的特点,改进了域生成算法,实现了内核层面的安全增强机制。实验证明,所提安全增强方案能够有效增强Android系统的安全性。 展开更多

关键词 ANDROID 安全增强 安全域 TOMOYO LINUX 内核级安全

在线阅读 下载PDF 职称材料

基于状态检测的TCP应用服务端安全测试

13

作者 金虎 李志蜀 +1 位作者 杨秋辉 李奇 《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2005年第4期119-123,共5页

针对由API函数实现的TCP协议不具安全性,以及常规安全检测仅对连接初始状态进行安全测试的局限性,提出基于连接的全程状态监控的安全测试方法:1)提出了基于全程的连接监控和检测的方法,以改善系统的安全性;2)运用有限状态机的理论和方法... 针对由API函数实现的TCP协议不具安全性,以及常规安全检测仅对连接初始状态进行安全测试的局限性,提出基于连接的全程状态监控的安全测试方法:1)提出了基于全程的连接监控和检测的方法,以改善系统的安全性;2)运用有限状态机的理论和方法对TCP协议进行分析,并结合状态转移序列的安全路径和临界循环路径以及时钟检测技术,提出了TCP服务端的安全测试模型;3)给出形式化描述和验证机制,在形式化定义的基础上,分析了检测方法的正确性;4)设计了TCP服务端的安全状态检测算法,进行了相应的试验验证。基于全程状态检测的安全测试对于中间过程中的安全攻击有很好的检测效果。 展开更多

关键词 临界路径 TCP协议 有限自动机 状态检测

在线阅读 下载PDF 职称材料

OO代数——一个面向对象的数据库的基本查询模型

14

作者 庄成三 杨秋辉 杜中军 《计算机应用》 CSCD 1996年第4期13-15,共3页

本文提出了一个面向对象的数据库系统的基本查询模型——ＯＯ代数，它具有关系代数相似的形式，具有封闭性和远比关系代数强得多的表达能力。文中首先给出了面向对象的数据库系统的数据结构的一种形式化描述－ＯＳＧ，然后ＯＯ代数的五... 本文提出了一个面向对象的数据库系统的基本查询模型——ＯＯ代数，它具有关系代数相似的形式，具有封闭性和远比关系代数强得多的表达能力。文中首先给出了面向对象的数据库系统的数据结构的一种形式化描述－ＯＳＧ，然后ＯＯ代数的五种基本运算：并、差、类间连接、类内选择及广义投影被一一定义。 展开更多

关键词 查询模型 OO代数 面向对象 数据库

在线阅读 下载PDF 职称材料

基于动态插桩的C/C++内存泄漏检测工具的设计与实现 被引量：8

15

作者 曾佳平 杨秋辉 +2 位作者 汪华龙 徐保平 黄蔚 《计算机应用研究》 CSCD 北大核心 2015年第6期1737-1741,共5页

针对C、C++程序常出现的内存泄漏、内存越界访问、内存的不匹配释放等错误进行了研究,分析了现有的内存错误检测工具和方法,在基于开源的动态二进制插桩框架Pin的基础上,采用函数族的内存信息块管理方法和生命周期法,实现了在Linux平台... 针对C、C++程序常出现的内存泄漏、内存越界访问、内存的不匹配释放等错误进行了研究,分析了现有的内存错误检测工具和方法,在基于开源的动态二进制插桩框架Pin的基础上,采用函数族的内存信息块管理方法和生命周期法,实现了在Linux平台下运行的内存检测工具Mem Guard原型。该原型能有效地检测出内存泄漏、内存越界访问、内存的不匹配释放等问题,并通过与运行在Valgrind上的工具Memcheck的对比实验证明了该原型的有效性以及高效性。 展开更多

关键词 内存泄漏 动态二进制插桩 生命周期 MEM Guard原型 Valgrind

在线阅读 下载PDF 职称材料

开放式XML数据的质量分析方法 被引量：4

16

作者 张光渝 杨秋辉 +2 位作者 詹聪 郭鑫宇 阙舒 《计算机应用研究》 CSCD 北大核心 2013年第7期2082-2086,共5页

针对商业智能系统,研究了在集成开放式XML数据时,对XML文档进行质量保证的问题。通过度量测量和质量分析评价这两个步骤,并结合给出的XML数据质量的计算公式,得出XML文档的质量指数。使得XML源数据的质量在集成到商业智能系统前可以被... 针对商业智能系统,研究了在集成开放式XML数据时,对XML文档进行质量保证的问题。通过度量测量和质量分析评价这两个步骤,并结合给出的XML数据质量的计算公式,得出XML文档的质量指数。使得XML源数据的质量在集成到商业智能系统前可以被预先评估,降低了商业智能系统集成Web中XML数据时的风险,增加了系统数据的可维护性。通过实验验证,证明了质量分析方法的正确性和合理性。 展开更多

关键词 商业智能系统 XML数据 度量标准 质量分析

在线阅读 下载PDF 职称材料

基于逆向查询处理算法的数据库系统测试数据生成方法 被引量：3

17

作者 冯丽云 洪玫 +2 位作者 杨秋辉 周洪宇 臧康 《计算机应用》 CSCD 北大核心 2011年第4期948-951,共4页

生成测试数据和数据库状态是进行数据库系统测试的重要工作,逆向查询处理(RQP)算法提供了一种生成测试数据的方法。然而RQP算法只针对Select查询语句,为克服这一局限性,在RQP的基础上进行扩展,形成逆向操作处理(RMP)算法,以处理SQL语言... 生成测试数据和数据库状态是进行数据库系统测试的重要工作,逆向查询处理(RQP)算法提供了一种生成测试数据的方法。然而RQP算法只针对Select查询语句,为克服这一局限性,在RQP的基础上进行扩展,形成逆向操作处理(RMP)算法,以处理SQL语言中的所有数据操作语句。RMP算法的基本思想是将Delete、Insert、Update等数据操作语句转化为查询操作,即将这些操作语句所需的数据库实例应满足的条件转化为用Select语句来描述,再将转化后得到的Select语句作为RQP算法的输入,从而得到满足条件的数据库实例。RMP算法支持SQL基本语句的逆向运算,为数据库测试数据的自动生成提供了更好的支持。 展开更多

关键词 逆向查询处理 逆向操作处理 关系运算 数据库系统测试 测试数据自动生成

在线阅读 下载PDF 职称材料

基于贝叶斯网络的通信网络故障定位方法 被引量：8

18

作者 谭武坤 杨秋辉 陈伟 《计算机应用》 CSCD 北大核心 2018年第A02期217-220,235,共5页

为了有效定位和修复网络故障,提出一种基于贝叶斯网络的通信网络故障定位方法。首先分三个层次构建故障传播模型,通过贝叶斯学习构建贝叶斯网络;然后将实时告警数据根据时间窗口进行分组,基于贝叶斯推理算法,使用NeticaAPI推理出可能的... 为了有效定位和修复网络故障,提出一种基于贝叶斯网络的通信网络故障定位方法。首先分三个层次构建故障传播模型,通过贝叶斯学习构建贝叶斯网络;然后将实时告警数据根据时间窗口进行分组,基于贝叶斯推理算法,使用NeticaAPI推理出可能的故障集合;最后使用评估算法对故障推理结果进行评估,进一步提高了故障定位的准确率。在故障定位时优先考虑告警级别高的告警。实验结果表明,该方法可以在一定程度上减少故障定位的时间,提高故障定位的效率和准确率。 展开更多

关键词 通信网络 故障定位 贝叶斯网络 故障传播模型 NeticaAPI

在线阅读 下载PDF 职称材料

基于深度学习的回归测试用例优先级排序方法 被引量：6

19

作者 张李政 杨秋辉 +1 位作者 李兴佳 代声馨 《计算机科学》 CSCD 北大核心 2024年第12期46-52,共7页

在回归测试中对测试用例排序可以更快地发现代码缺陷,节约测试时间和资源,提高测试效率。现有的测试用例排序方法没有同时考虑代码的变更信息以及测试用例的历史执行信息,也没有考虑不同测试用例执行历史长短的区别,因此排序效果不佳。... 在回归测试中对测试用例排序可以更快地发现代码缺陷,节约测试时间和资源,提高测试效率。现有的测试用例排序方法没有同时考虑代码的变更信息以及测试用例的历史执行信息,也没有考虑不同测试用例执行历史长短的区别,因此排序效果不佳。针对这些问题,提出基于深度学习的回归测试用例优先级排序方法。首先分别构建基于代码变更信息和历史执行信息的分类模型;然后基于类间关系图识别受代码变更影响的类,对这些类的测试用例以及近期执行发现缺陷的测试用例进行分类,使用分类模型和启发式排序方法对测试用例分类进行排序;最后通过交替排序融合排序结果。在RTPTorrent数据集上选取6个项目进行实验,结果表明:1)在无时间约束时,所提方法在所有项目上都取得了不错的排序效果,在cloudify项目上的APFD指标达到0.972;2)在有时间约束时,所提方法的NAPFD指标超过了目前主流的排序方案。 展开更多

关键词 测试用例排序 深度学习 类间关系图 分类模型 分类排序

在线阅读 下载PDF 职称材料

基于深度学习和信息反馈的智能合约模糊测试方法 被引量：5

20

作者 赵明敏 杨秋辉 +1 位作者 洪玫 蔡创 《计算机科学》 CSCD 北大核心 2023年第9期117-122,共6页

主流区块链平台以太坊上频繁发现由不安全编程引起的智能合约安全漏洞。为了提高模糊测试对合约代码的覆盖率,以更全面地检测安全漏洞,提出了一种智能合约模糊测试方法。首先构造智能合约交易序列数据集,再基于深度学习构建智能合约交... 主流区块链平台以太坊上频繁发现由不安全编程引起的智能合约安全漏洞。为了提高模糊测试对合约代码的覆盖率,以更全面地检测安全漏洞,提出了一种智能合约模糊测试方法。首先构造智能合约交易序列数据集,再基于深度学习构建智能合约交易生成模型以生成模糊测试初始种子;然后根据覆盖率和分支距离信息,对智能合约进行信息反馈引导的模糊测试,提出了特定的测试用例染色体编码方式,并设计实现了相应的交叉和变异算子。所提方法能有效覆盖智能合约的深层次状态以及严格条件守卫的分支代码。在500个智能合约上进行实验,结果表明,所提方法的代码覆盖率为93.73%,漏洞检测率为93.93%,与ILF,sFuzz, Echidna方法相比,所提方法的代码覆盖率提高了3.80%~25.49%,漏洞检测率提高了4.64%~24.02%。所提方法有助于提升以太坊智能合约安全测试的有效性,具有参考价值。 展开更多

关键词 以太坊智能合约 安全测试 深度学习 模糊测试 信息反馈引导

在线阅读 下载PDF 职称材料