“核心电子器件、高端通用芯片及基础软件产品”国家科技重大专项(2010ZX01036-001-002)
- 作品数：5 被引量：12H指数：2
- 相关作者：贺也平丁丽萍韩伟张灿陈军成更多>>
- 相关机构：中国科学院软件研究所中国科学院研究生院石家庄铁道大学更多>>
- 发文基金：国家自然科学基金国家科技重大专项中国科学院知识创新工程重要方向项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于Android平台GUI录制回放工具的设计与实现被引量：6
- 2012年
- 随着移动应用软件复杂性不断提高,高效的测试技术和工具逐渐成为高质量移动应用的必要保证。基于录制-回放技术提出一种Google Android平台上移动应用的自动化测试解决方案,并实现了一个黑盒测试工具。通过举例描述系统录制测试用例、生成脚本并回放的过程,详细分析了GUI自动化测试工具录制-回放模块关键技术的设计与实现。该GUI测试工具主要应用于回归测试阶段,能够提高测试效率。
- 张灿薛云志陈军成
- 关键词：ANDROIDGUI自动化测试
- 类Unix文件系统中TOCTTOU缺陷的静态分析方法被引量：2
- 2011年
- 文件系统中的TOCTTOU缺陷是类Unix操作系统面临的一个严重安全问题,现有的静态检测方法具有很高的误报率.原因有2点:一是对导致TOCTTOU缺陷的函数对缺乏精确定义和分析;二是分析过程过度抽象,忽略了很多重要的程序信息.因此,首先对TOCTTOU缺陷进行了分类,并系统分析了C标准库中可以导致TOCTTOU缺陷的函数对.在此基础上,提出了一种TOCTTOU缺陷的静态分析方法,利用有限状态安全属性刻画TOCTTOU缺陷,分析精度达到了过程内路径敏感、过程间流敏感.实验结果表明,该方法能够有效检测C程序中的TOCTTOU缺陷,相比现有方法,有效降低了误报率.
- 韩伟贺也平
- 用于多核同步优化的cache一致性协议设计
- 2013年
- 通过对多核同步过程中的访存行为进行分析,提出了一种识别同步类型的方法,并设计了一种实现同步优化的新的cache一致性协议。该协议增加了一个用于记录同步信息的cache状态,通过阻塞的方式可以让多个处理器核串行地完成同步操作,保证同步操作中原子指令能够顺利执行成功,从而大大减少由多核同步冲突引发的访存请求数量,将多核同步过程中的访存行为优化到了几乎最好的情况。实验结果表明,通过同步优化,这个新的cache一致性协议能够使多核同步的性能提升到接近最理想的结果。实验表明,相比传统的cache一致性协议,实验中采用的几个标准多核性能测试程序优化后的同步性能提升了1倍,而并行程序整体运行时间降低25%。
- 陈李维张广飞张广飞汪文祥王焕东
- 关键词：CACHE一致性协议
- 基于静态分析的XSM正确性验证
- 2012年
- XSM(Xen Security Module)是虚拟机Xen的安全模型框架,对系统的安全性具有决定性的作用。目前,对类似的强制访问框架的正确性验证研究主要集中于对钩子函数放置的验证。现有检测方法通常路径覆盖不够完整,或者有较高的误报率。对XSM框架的正确性验证问题进行分析,提出一种过程间流敏感、过程内路径敏感的,适用于XSM框架的静态分析方法。该方法通过扩展静态分析工具Saturn,实现了对XSM框架的钩子函数设置的正确性和完备性的验证。经实验验证,该方法具有完全的路径覆盖性,并且具有较高的精确度。
- 邓程丁丽萍贺也平韩伟
- 关键词：钩子函数SATURN
- 一种基于虚拟机的动态内存泄露检测方法被引量：4
- 2012年
- 内存泄露是一种常见的系统安全问题。虚拟技术是云计算的关键技术,虚拟机环境下的内存泄露不容忽视。而基于虚拟机的内存泄露检测技术尚未成熟。分析虚拟机Xen内核源码中与内存分配有关的代码,提出一种动态检测虚拟机中内存泄露的方法。该方法记录应用程序对资源的申请、释放以及使用情况,插入监测代码,最终检测出内存泄露的代码。实验结果表明,该方法能够有效地检测Xen虚拟机中的内存泄露。
- 蔡志强丁丽萍贺也平
- 关键词：内存泄露安全检测虚拟机XEN
- Hestus:一种海量异构物联网数据存储模型及其实现
- 针对物联网数据具有的海量性、异构性、时空敏感性、序列性及数据流式等典型特性,提出适用于单个存储节点的物联网异构时空数据统一存储模型Hestus,通过分层应用架构模式实现对异构传感器采样数据的接入、存储和管理的规范化描述;...
- 何凤成刘奎恩许佳捷徐怀野丁治明
- 关键词：物联网时空数据海量存储
- 文献传递
