依赖图

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于依赖图等价代换的SSDG构建算法被引量：1
《计算机工程》2015年第12期91-95,100,共6页徐东 狄效国 孟宇龙 冯晓宁 
国家自然科学基金资助项目(61100006;61272184);黑龙江省自然科学基金资助项目(F201129)
已有软件语义分析方法普遍存在时间复杂度高、准确率低的问题。为此,基于抽象语法树,提出一种根据控制依赖图构建程序控制流图的算法,并在对依赖图进行等价代换的基础上简化该算法。通过对目标程序进行等价代换,并使用程序依赖图替换程...
关键词：语义分析 控制流图 系统依赖图 程序切片 程序依赖 数据依赖 
一种安全性关键软件的评估模型被引量：1
《计算机工程》2015年第10期130-138,143,共10页姜梦霞 江国华 
安全性关键软件影响生命财产安全,必须有定量评估模型来反映此类软件的安全性。传统安全性定量评估通过改进可靠性模型并将软件看作整体评估,而未探究软件失效本质,不能很好地评估软件行为安全性。为此,基于软件失效本质及对安全性关键...
关键词：安全性关键软件 软件交互行为模型 交互模式依赖图 安全性评估模型 软件过程行为 
列数据库的SQL查询语句编译与优化被引量：2
《计算机工程》2013年第6期60-65,共6页甄真 陈虎 张林亚 
广东省科技计划基金资助项目(2011A010801008;2011A090200122;2011A090200027)
基于多核CPU和GPU异构平台的列数据库可用于海量数据和复杂查询,但其优化主要集中在底层,并且后端的执行序列只能通过手工硬编码生成,不能适应多样的SQL查询语句。针对该问题,设计并实现一个将SQL查询语句自动转化成执行序列的编译器,...
关键词：列数据库 原语 编译器 依赖图 公共子表达式消除 查询优化 
基于API依赖关系的代码相似度分析被引量：2
《计算机工程》2013年第1期80-84,共5页姚新磊 庞建民 岳峰 余勇 
国家"863"计划基金资助重点项目(2009AA012201);河南省重大科技攻关计划基金资助项目(092101210501)
针对传统系统调用依赖图(SCDG)不能很好地消除API噪声、API重排等API特征混淆的问题,提出一种基于API依赖关系的恶意代码相似度分析方法。采用由API控制依赖关系和4类数据依赖关系组成的SCDG程序行为描述方式,通过数据依赖关系分析和控...
关键词：恶意代码 相似度分析 数据依赖 控制依赖 系统调用依赖图 Jaccard系数 
上下文相关的软件漏洞模式自动提取方法被引量：1
《计算机工程》2010年第17期51-53,56,共4页唐艳武 蒋凡 
国家"863"计划基金资助项目(2009AA01Z145)
针对自动提取软件漏洞模式方法对漏洞模式的描述不太精确的问题,提出利用软件的程序依赖图表示上下文相关的软件漏洞模式。通过从软件开发历史库中提取相邻版本进行自动比对,生成与修补对应的依赖子图表示漏洞模式。对开源软件Apache代...
关键词：程序依赖图 漏洞模式 软件修改历史 语义修改 
基于依赖图信任模型的证书路径构造方法
《计算机工程》2009年第18期148-150,153,共4页徐蕾 陈程 
在现行PKI信任模型的证书路径构造方案中,层次模型证书路径构造对根节点安全性依赖过高,而网状模型路径构造时存在回路。针对上述问题,提出一种新的依赖图信任模型,证明依赖图节点之间有多条路径且没有回路,给出新模型下的证书路径构造...
关键词：层次模型 网状模型 依赖图模型 证书路径构造 
逆向工程中动静态结合辅助用例模型的恢复
《计算机工程》2007年第23期68-70,74,共4页郑变红 陈平 胡圣明 龚晓洁 
国家自然科学基金资助项目(60473063);国家教育部博士点基金资助项目(20030701009);西安电子科技大学研究生创新基金资助项目(05009)
由于根据目前方法调用之间的"线索"或方法调用的相互关系恢复出的用例模型存在一定的局限性,该文提出了一种基于动态信息并结合静态信息的用例模型恢复方法。该方法以动态运行时的方法调用序列提取基本用例,依据静态的类间关系和静态的...
关键词：逆向工程 程序理解 用例模型 程序依赖图 
以网络为中心的语义特征造型协同设计
《计算机工程》2007年第13期277-279,共3页王远志 王少威 孙立镌 
国家自然科学基金资助项目(60173055);安徽省教育厅自然科学基金资助项目(2006KJ081B)
在网络化同步协同设计环境中,如何实现用户系统之间的实时数据交换、维护特征语义的一致性,成为语义特征造型协同设计的关键问题。该文介绍了基于细胞元表示的语义特征模型,根据该造型技术的分层体系结构,基于对协同环境下特征操作的分...
关键词：细胞元 语义特征造型 特征依赖图 
基于UML类图的类之间依赖关系图论问题研究被引量：9
《计算机工程》2006年第12期1-2,7,共3页胡顺仁 陈伟民 廖昌荣 余淼 梁宗保 
国家科技攻关计划基金资助项目(2002BA105C);国家自然科学基金资助项目(60404014)
首先简单介绍了UML的类图,并细分类之间依赖关系为数据依赖和方法依赖,在此基础上,将UML类图转化为有向依赖图,并依据图论理论来分析和研究了有向依赖图的性质和特点,证明了有向依赖图不是自反的,也不是反自反的;既不是对称的,也不是反...
关键词：UML 类图 依赖关系 数据依赖 方法依赖 有向依赖图 图论 
一种改进的并发程序静态切片算法被引量：3
《计算机工程》2006年第14期14-16,45,共4页肖健宇 张德运 陈海诠 董皓 
国家"863"计划基金(8633010503)
分析了Krinke切片算法对循环体内嵌套有线程的程序结构会产生切片不精确的现象,认为其原因是该算法对线程间数据依赖的定义过于粗糙,且对程序行为约束不够。该文提出一种新算法,在并发程序内部表示中,增加跨线程边界循环-承载数据依赖,...
关键词：静态程序切片 并发程序 切片算法 程序依赖图 执行证据 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部