依赖图

作品数：210被引量：387H指数：8
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：孙立镌李必信张迎周苏小红王远志更多>>
相关机构：中国科学院哈尔滨工业大学南京大学北京大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划江苏省自然科学基金黑龙江省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于约束依赖图的并发程序模型检测工具
《软件学报》2023年第7期3064-3079,共16页苏杰 杨祖超 田聪 段振华 
国家自然科学基金(62192730,62192734,61732013,62172322);科技创新2030——“新一代人工智能”重大项目(2018AAA0103202)。
模型检测是一种基于状态空间搜索的自动化验证方法,可以有效地提升程序的质量.然而,由于并发程序中线程调度的不确定性以及数据同步的复杂性,对该类程序验证时存在更为严重的状态空间爆炸问题.目前,大多采用基于独立性分析的偏序约简技...
关键词：约束依赖图 偏序约简 并发程序 模型检测 工具 
分布式数据库多级一致性统一建模理论研究被引量：4
《软件学报》2023年第5期2392-2412,共21页水治禹 卢卫 赵展浩 何粤阳 张孝 杜小勇 
国家自然科学基金(61972403,61732014);中央高校基本科研业务费专项资金(20XNLG22);中国人民大学-腾讯联合实验室联合项目基金。
分布式数据库系统出现了支持多协调器和多副本存储的新架构,这给事务调度的正确性带来了新的挑战,包括缺少中心协调器带来的新数据异常以及多副本机制带来的读取数据一致性等问题.基于事务隔离级别和分布式系统一致性协议的定义,为多协...
关键词：分布式数据库 一致性 隔离级别 混合依赖图 
函数级数据依赖图及其在静态脆弱性分析中的应用被引量：3
《软件学报》2020年第11期3421-3435,共15页陈千 程凯 郑尧文 朱红松 孙利民 
国家自然科学基金(U1766215,U1636120);中国科学院信息工程研究所国际合作项目(Y7Z0451104);国家电网公司科学技术项目(52110417001B)。
数据流分析是二进制程序分析的重要手段,但传统数据依赖图(DDG)构建的时间与空间复杂度较高,限制了可分析代码的规模.提出了函数级数据依赖图(FDDG)的概念,并设计了函数级数据依赖图的构建方法.在考虑函数参数及参数间相互依赖关系的基...
关键词：数据流分析 函数级数据依赖图 脆弱性分析 固件 
面向服务组合的用户隐私需求规约与验证方法被引量：4
《软件学报》2016年第8期1948-1963,共16页彭焕峰 黄志球 范大娟 章永龙 
国家自然科学基金(61272083);国家高技术研究发展计划(863)(2015AA015303);中国博士后科学基金(201104914 11);江苏省博士后科研计划(1101092C)~~
用户向Web服务组合提供隐私数据时,不同用户有自身的隐私信息暴露需求,服务组合应支持用户隐私需求的可满足性验证.首先提出一种面向服务组合的用户隐私需求规约方法,用户能够定义隐私数据及不同使用情境的敏感度,采用敏感度-信誉度函...
关键词：信誉度 服务组合 隐私保护 隐私开放工作流网 隐私数据项依赖图 
嵌入一致图语法的依赖图(英文)被引量：2
《软件学报》2004年第7期956-968,共13页李国东 张德富 
图语法将字符串上的形式文法扩充为图上的形式文法,提供一种能够使用精确的数学方法来模拟图变换的机制.提出了几种新的基于一致图语法的方法来表示控制流图、数据流图、控制数据流图、二分图和超图,并说明如何通过图重写来自动生成依...
关键词：框架图语法 图重写 依赖图 超图 编译 
基于简化系统依赖图的静态粗粒度切片方法被引量：10
《软件学报》2001年第2期204-211,共8页李必信 王云峰 张勇翔 郑国梁 
国家863青年基金!资助项目 (86 3- 30 6 - QN2 0 0 0 - 2 ) ;江苏省自然科学基金!资助项目 (BK990 38)&&
基于系统依赖图是计算面向对象程序切片的一个有效方法 .但是 ,系统依赖图的缺点是太复杂 ,而且在建立系统依赖图的过程中容易出错 ,一旦出现错误就可能导致切片结果的不准确 .通过对系统依赖图进行简化 ,得到了简化的系统依赖图 .它省...
关键词：系统依赖图 简化系统依赖图 粗粒度切片 面向对象 程序切片 
一种系统依赖图的面向对象扩充方案被引量：7
《软件学报》2001年第2期241-248,共8页李必信 李宣东 郑国梁 
国家863青年基金!资助项目 (86 3- 30 6 - QN2 0 0 0 - 2 ) ;江苏省自然科学基金!资助项目 (BK990 38)&&
提出一种对传统的系统依赖图进行面向对象扩充的方案 .把传统的系统依赖图和类依赖子图、类层次子图相结合 ,从而构成了适合描述面向对象程序的面向对象系统依赖图 .详细说明了对系统依赖图进行面向对象语法、语义扩充的过程 ,同时给出...
关键词：系统依赖图 构造算法 程序分析 程序切片 面向对象 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部