依赖图

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=小型微型计算机系统x
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于敏感路径的精确行为依赖图跟踪检测恶意代码
《小型微型计算机系统》2023年第7期1593-1600,共8页唐成华 高庆泽 杜征 强保华 
国家自然科学基金项目(62062028)资助;广西自然科学基金项目(2018GXNSFAA294058)资助;广西可信软件重点实验室基金项目(kx201918)资助;广西密码学与信息安全重点实验室基金项目(GCIS201619,GCIS201801)资助;广西云计算与大数据协同创新中心项目(YF17101)资助。
恶意代码及其变种在行为上具有相似性和某些依赖关系.针对Web应用程序函数调用生成行为依赖图存在路径爆炸和虚警等问题,提出了基于恶意代码间依赖关系的提取与验证的精确行为依赖图方法.首先通过自定义污点传播规则获得敏感数据的行为...
关键词：行为依赖图 污点文件 动态污点分析 敏感路径 恶意代码 
不完备日志的过程挖掘算法被引量：1
《小型微型计算机系统》2017年第11期2541-2546,共6页易科 叶剑虹 
国家自然科学基金项目(61170028;61573158)资助;华侨大学科技创新团队和领军人才支持计划项目(2014KJTD13)资助;华侨大学基本科研业务费专项基金项目(JB-ZR1130)资助;华侨大学研究生科研创新能力培育计划项目(1511414011)资助
算法能够在日志不完备的情况下,首先构造初始依赖图,根据依赖图所需满足的消极边约束条件,直接删除禁止的边,对于消极路径约束,需要针对约束关系进行分类以删除因果值最小的边.对于积极边约束,可直接添加所需的边,但对于积极路径约束,...
关键词：依赖图 因果网模型 消极约束 积极约束 日志 挖掘 
依赖图文档模型下协同冲突消解研究被引量：2
《小型微型计算机系统》2015年第12期2639-2643,共5页高丽萍 郭淑娴 张玉本 于方玉 高丽丽 
国家自然科学基金项目(61202376)资助;上海市自然科学基金项目(15ZR1429100)资助;上海智能主居大规模物联共性技术工程中心项目(GCZX14014)资助;沪江基金研究基地专项项目(C14001)资助;上海市自然科学基金项目(15ZR1429100)资助;上海市教委科研创新项目(13YZ075)资助;上海智能家居大规模物联共性技术工程中心项目(GCZX14014)资助;沪江基金研究基地专项项目(C14001)资助
在实时协同3D设计系统里,依赖图文档模型被广泛的用来表示文档内部图形对象之间的依赖关系.Sun的团队针对由于对象与对象之间的依赖关系的存在而导致的意愿冲突,提出了5种类型的依赖冲突,并通过操作转换的方法予以解决.然而这5种冲突关...
关键词：依赖图 冲突消解 多版本机制 交叉依赖冲突 一致性维护 
扩展有限状态机的依赖图构造及切片算法被引量：1
《小型微型计算机系统》2011年第4期577-583,共7页韩喆 陈世鸿 
国家"八六三"高技术研究发展计划项目(2003AA00103)资助
将切片技术引入扩展有限状态机模型,可根据兴趣点约减状态及变迁数,对模型的分析与测试有重要意义.由于EFSM模型基于变迁的依赖关系,传统的依赖图构造算法及基于标记已访问节点的切片算法并不适用.通过研究EFSM模型依赖关系的可传递性,...
关键词：程序切片 扩展有限状态机 依赖图 变迁 
用Z形式化描述程序切片被引量：2
《小型微型计算机系统》2007年第8期1444-1447,共4页吴方君 徐升华 
江西省自然科学基金项目(0511073)资助;江西省教育科学"十一五"规划重点课题(06ZD047)资助;江西省社会科学"十一五"规划课题(06JY32);江西财经大学校级课题(程序切片技术在软件形式化中的应用)资助
程序切片是一种重要技术,已广泛地应用于软件工程的各个领域,如程序理解、维护、调试、测试、复用、度量等.虽然,越来越多的研究者致力于程序切片工作,然而由于缺少形式化方面的工作导致程序切片可能存在不一致性和模糊性.本文尝试着用...
关键词：程序切片 程序依赖图 系统依赖图 Z语言 
一种用于软件测试的程序结构划分方法被引量：1
《小型微型计算机系统》2002年第4期492-495,共4页曹化工 刘澎 秦友淑 
软件测试中的结构性测试是以程序的结构为基础生成测试用例 ,以测试准则来判定测试的充分性 .由于程序结构的复杂性 ,难于保证对程序进行充分而高效的测试 .本文提出了一种基于程序依赖图的程序结构划分的测试方法 ,即程序块划分法 .该...
关键词：软件测试 结构性测试 程序依赖图 程序块划分 程序结构划分方法 软件开发 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部