-
题名一种基于高阶函数摘要的依赖簇检测方法
- 1
-
-
作者
杨嘉毅
张迎周
李俊锋
马锐
汪全盛
薛渝川
-
机构
南京邮电大学计算机学院、软件学院、网络空间安全学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2024年第4期1337-1348,共12页
-
基金
国家自然科学基金(No.62272214)。
-
文摘
依赖簇是相互依赖的程序组件的最大集合,依赖簇中任意一点产生变动都会引起其他组件的连锁反应.在实际生产环境中,依赖簇检测对于软件理解、测试、维护具有非常重要的意义.传统的依赖簇检测方法基于系统依赖图(System Dependence Graph,SDG)实现过程间依赖关系的计算.但是SDG的构建过程比较复杂,时间空间的占用比较大.为提高依赖簇检测的效率并减少空间占用,本文提出了一种有效的轻量级依赖簇检测方法.该方法通过构建每个过程高阶函数形式的函数摘要,将形参和全局变量的数据依赖作为摘要参数,并用函数摘要的参数初始化过程内依赖信息.通过在调用点处对高阶函数形式的摘要进行实例化,即可将调用过程的依赖关系通过摘要参数进行传递,从而获取过程间的依赖信息.为了进一步提升检测效率,我们还提出了基于自适应计算的依赖簇检测优化策略,该策略可以减少因函数的递归调用产生的相关冗余计算.本文选取了不同规模不同领域的工程项目和基准测试集进行相关对比实验,结果表明:基于高阶函数的依赖簇检测方法相比系统依赖图的检测方法,能够提升2.689倍的分析效率并减少35.7%的空间占用;基于自适应计算的依赖簇检测优化策略在高阶函数方法的基础上能够减少56.7%的冗余计算,提升23.9%的分析效率.
-
关键词
依赖簇
高阶函数
自适应计算
系统依赖图
形式概念分析
-
Keywords
dependence cluster
higher-order function
adaptive computing
system dependence graph
formal con-cept analysis
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于形式概念分析的依赖簇检测方法研究
被引量：2
- 2
-
-
作者
尚颖
程克
李征
-
机构
北京化工大学信息科学与技术学院
-
出处
《计算机科学》
CSCD
北大核心
2017年第4期144-147,176,共5页
-
基金
国家自然科学基金(61170082
61472025
+1 种基金
61672085)
教育部新世纪优秀人才计划(NCET-12-0757)资助
-
文摘
依赖簇是相互依赖的程序组件的最大集合,大尺寸依赖簇已被证实在程序中普遍存在。依赖簇中任意一点产生变动都会引起其他组件的连锁反应,进而对整个系统造成潜在的影响,这将会阻碍软件理解、测试、维护等方面的工作。检测出依赖簇是消除不良影响的前提,目前通过单调切片尺寸图近似检测依赖簇的方法的准确度较低,会出现漏报和误报。提出了一种基于形式概念分析的依赖簇检测方法,通过概念包含度选取的大型概念来检测大尺寸依赖簇,并进一步提出轻量化策略以有针对性地选取大型概念,降低计算开销。在12个不同规模和领域的开源程序上,将所提方法与单调切片尺寸图法进行对比实验,结果表明所提方法及其轻量化策略能够有效地检测大尺寸依赖簇,可以提高依赖簇检测的准确度和效率。
-
关键词
形式概念分析
概念格
依赖簇
-
Keywords
Formal concept analysis
Concept lattice
Dependence cluster
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
