执行引擎

作品数：43被引量：95H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：江洪张源杨珉彭智俊刘旭东更多>>
相关机构：复旦大学中国科学院大学南京大学英特尔公司更多>>
相关期刊：《计算机工程与设计》《北京航空航天大学学报》《计算机与数字工程》《软件导刊》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划广东省科技计划工业攻关项目广东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
形状分析符号执行引擎中的状态合并
《计算机科学》2017年第2期209-215,共7页邓维 李兆鹏 
国家自然科学基金项目(61229201;61170018;91318301)资助
符号执行技术以其良好的精确度控制和代码覆盖率被广泛应用于静态程序分析和高覆盖率测试用例自动生成。符号执行在分析程序时,以模拟真实的程序执行过程的方式分析程序的数据流和控制流信息,并检查程序可能出现的所有状态,得到程序的...
关键词：符号执行 状态合并 求解代价 内存模型 状态抽象 
支持形状分析的符号执行引擎的设计与实现被引量：4
《计算机科学》2016年第3期193-198,共6页梁家彪 李兆鹏 朱玲 沈咸飞 
国家自然科学基金面上项目(61170018)资助
目前提高软件可靠性的方法有3种:动态测试、静态分析和程序验证。动态测试的结果依赖于测试集的设计,误报率低,漏报率高,分析结果不稳定。程序验证可以对程序的各种性质进行完备的验证。但目前程序验证通常都需要手动证明,分析成本最高...
关键词：符号执行 静态分析 循环不变式 递归函数 
面向PaaS云的信息流控制框架设计与实现被引量：1
《计算机科学》2015年第12期257-262,共6页邵婧 陈左宁 殷红武 许国春 
核高基项目(2013ZX01029002-001)资助
分布式信息流控制(DIFC)是实施端到端数据保护的一种有效方法。现有DIFC方法存在信息流控制粒度单一、需要修改语言运行时环境等问题,不能很好地满足PaaS平台的数据安全需求。基于最典型的PaaS云平台GAE,提出了一个信息流控制框架GIFC,...
关键词：Google应用程序执行引擎 信息流控制 组件 PYTHON 中间件 
Web服务组合系统研究综述被引量：4
《计算机科学》2011年第9期1-4,共4页武云鹏 包卫东 张维明 黄金才 
国家自然科学基金(71001105)资助
随着Web服务组合技术的发展,基于组件Web服务构建的复杂服务的相关系统也越来越多。随之而来的问题是如何选择适合Web服务组合系统构建需要的组合服务。近来,基于不同技术的服务组合工具系统越来越多。简要介绍了Web服务组合的相关技术...
关键词：组合服务 组件服务 服务组合系统 执行引擎 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部