系统依赖图

作品数：33被引量：49H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：苏小红霍玮马培军王甜甜杜林更多>>
相关机构：哈尔滨工业大学中国科学院南京邮电大学华东师范大学更多>>
相关期刊：《软件学报》《科技广场》《计算机工程》《网络与信息安全学报》更多>>
相关基金：国家自然科学基金江苏省自然科学基金国家高技术研究发展计划教育部科学技术研究重点项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于高阶函数摘要的依赖簇检测方法
《电子学报》2024年第4期1337-1348,共12页杨嘉毅 张迎周 李俊锋 马锐 汪全盛 薛渝川 
国家自然科学基金(No.62272214)。
依赖簇是相互依赖的程序组件的最大集合,依赖簇中任意一点产生变动都会引起其他组件的连锁反应.在实际生产环境中,依赖簇检测对于软件理解、测试、维护具有非常重要的意义.传统的依赖簇检测方法基于系统依赖图(System Dependence Graph,...
关键词：依赖簇 高阶函数 自适应计算 系统依赖图 形式概念分析 
面向程序可达性验证的数组处理循环压缩方法
《信息网络安全》2024年第3期374-384,共11页许良晨 孟昭逸 黄文超 熊焰 
国家自然科学基金[62372422,61972369,62102385];中央高校基本科研业务费专项资金[WK2150110024];安徽省自然科学基金[2108085QF262]。
计算机软件的安全性和健壮性逐渐成为一个非常重要的问题,而自动软件形式化验证是一种验证软件程序安全性和健壮性的可靠性较高的方法。在自动软件形式化验证中,大规模数组和复杂循环导致状态爆炸,使得验证器无法在规定时间内完成验证,...
关键词：等价类分析 软件形式化验证 静态分析 系统依赖图 
云计算环境下基于系统依赖图的远程证明方案被引量：2
《武汉大学学报（理学版）》2020年第4期401-408,共8页陈璐 柯文彬 张立强 陈云 
国家自然科学基金(11202239);航天五院CAST基金(2016020);苏州市前瞻性应用研究项目(SYG201845)。
针对云计算环境中服务端执行行为不能被度量以致用户无法判断自身数据安全性的问题,提出云计算环境下基于系统依赖图(system dependence graph,SDG)的远程证明方案。该方案通过构建服务端程序的系统依赖图,刻画程序与文件间的依赖关系,...
关键词：云安全 可信计算 系统依赖图 远程证明 
一种基于程序切片的C语言程序评测方法被引量：1
《软件》2018年第10期105-110,共6页李欣潼 
由于程序量大,当前针对学生编写程序的评测一般采用判断其输出结果的正误进行判定。这种评测方法机械,导致学生编程关注点偏颇,影响一些初学者的学习热情。本文首先研究了程序切片技术的概念、分类及原理等内容,然后在构建了程序依赖图...
关键词：程序切片 系统依赖图 静态切片 程序评测 
基于静态分析的Android应用事件输入生成方法
《网络与信息安全学报》2017年第6期21-32,共12页叶益林 周振吉 洪征 颜慧颖 吴礼发 
江苏省自然科学基金资助项目(No.BK20131069)~~
提出了一种基于静态分析的Android应用动态分析事件输入生成方法。以组件间调用图和单个组件内部系统依赖图为基础,提取组件内部安全相关回调方法依赖的事件输入,并设计了一种事件输入算法,自动生成Android应用运行时依赖的事件输入。...
关键词：ANDROID 事件输入 动态分析 系统依赖图 
基于分块切片的软件错误定位技术被引量：1
《计算机工程与设计》2015年第12期3258-3263,3301,共7页文万志 陈建平 陈翔 鞠小林 
国家自然科学基金项目(61202006;61402396);南通市应用研究计划基金项目(BK2014056;BK2014055)
鉴于基于谱的软件错误定位技术缺乏依赖分析及存在过多不可区分的语句问题,给出一种基于分块切片的软件错误定位技术BSlicing-SFL(block slicing based software fault localization)的实现方法。基于不可区分块间数据依赖和控制依赖构...
关键词：程序切片 软件错误定位 程序频谱 系统依赖图 分块切片 
基于依赖图等价代换的SSDG构建算法被引量：1
《计算机工程》2015年第12期91-95,100,共6页徐东 狄效国 孟宇龙 冯晓宁 
国家自然科学基金资助项目(61100006;61272184);黑龙江省自然科学基金资助项目(F201129)
已有软件语义分析方法普遍存在时间复杂度高、准确率低的问题。为此,基于抽象语法树,提出一种根据控制依赖图构建程序控制流图的算法,并在对依赖图进行等价代换的基础上简化该算法。通过对目标程序进行等价代换,并使用程序依赖图替换程...
关键词：语义分析 控制流图 系统依赖图 程序切片 程序依赖 数据依赖 
一种新的过程间静态切片快速算法被引量：3
《哈尔滨工业大学学报》2015年第5期25-31,共7页苏小红 龚丹丹 王甜甜 马培军 
国家自然科学基金(61173021;61202092);上海市自然科学基金(15ZR1421400)
针对传统的基于PDG、SDG的程序切片算法需要计算与程序切片无关的数据依赖而导致计算复杂度高的问题,提出一种新的过程间静态切片快速算法.该算法无需使用PDG、SDG的程序中间表示形式,而是根据TOKEN序列和复合语句控制结构信息表,将程...
关键词：系统依赖图 静态切片 TOKEN序列 控制依赖 数据依赖 
Slithice:一个基于系统依赖图的Java程序切片工具被引量：3
《计算机工程与应用》2014年第2期31-34,共4页钱巨 陶彬贤 
国家自然科学基金(No.60903026;No.61100034)
当前程序切片的相关理论已经较为成熟,但针对Java程序的静态切片工具却非常少见。为便于展开切片应用研究,设计并实现了一个基于系统依赖图的Eclipse切片插件——Slithice。该插件支持不同粒度的底层分析和系统依赖图构建,从而可以使切...
关键词：JAVA 程序切片 静态 
面向程序理解的系统依赖图构建算法被引量：6
《哈尔滨工业大学学报》2013年第1期78-84,共7页王克朝 王甜甜 苏小红 马培军 童志祥 
国家自然科学基金资助项目(61202092;61173021);高等学校博士学科点专项科研基金资助项目(20112302120052);中央高校基本科研业务费专项资金资助项目(HIT.NSRIF.201178);黑龙江省高教学会"十二五"重点规划课题资助项目(HGJXH B1110957)
为降低程序理解中的程序标准化和程序匹配等复杂度,提出了面向程序理解的系统依赖图构建算法,将其划分为3个阶段:程序信息的提取、控制依赖子图的构建和数据依赖子图的构建.采取控制依赖和数据依赖分别求解,直接基于控制依赖子图分析数...
关键词：程序理解 系统依赖图 程序信息提取 控制依赖 数据依赖 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部