杜云开
- 作品数：5 被引量：4H指数：1
- 供职机构：中国科学技术大学计算机科学与技术学院更多>>
- 发文基金：安徽省自然科学基金国家自然科学基金高等学校学科创新引智计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于控件路径的跨设备UI自动化测试方法被引量：3
- 2018年
- 随着移动应用的爆炸式增长,如何高效、正确地进行UI自动化测试成为了一个重要问题.传统自动化方法大多需手动编写测试脚本,自动化程度更高的录制回放方法则普遍具有跨设备能力不足的问题,而且现有断言机制已经不足以描述丰富的UI语义.针对上述问题,本文提出一种跨设备能力强且可以描述丰富UI语义的录制回放自动化测试方法.该方法使用控件路径精确定位控件,并结合跨设备UI自适应方法以提高跨设备能力;通过提出两种新的断言机制以支持与数字排序和图片相关的UI语义.在该方法基础上,本文面向Android和iOS应用程序实现了一种自动化测试框架RRF,实验结果表明RRF的回放成功率比其他自动化测试工具更高.
- 侯津顾乃杰丁世举杜云开
- 关键词：断言
- 一种基于Petri网验证的数据竞争检测方法被引量：1
- 2017年
- 数据竞争是并行程序中常见的一类问题,由于并行程序的时序不确定性而导致数据竞争难以检测.传统的基于Lockset的检测算法速度快,但检测结果中包含较多误报,影响了算法的实用性.为了降低Lockset算法的误报率,本文提出一种将Lockset算法与模型检查相结合的方法,充分利用模型检查的高准确性的特点,逐个验证Lockset算法报出的潜在数据竞争.在模型选择上,本文选择使用Petri网,并且提出了Petri网验证数据竞争的算法.此外,还介绍了我们基于此方法实现的检测工具Peser X,通过对SPLASH2测试集进行测试,我们发现提出的方法能够有效地降低数据竞争检测的误报率,使得数据竞争检测进一步走向实用.
- 杜云开顾乃杰顾乃杰丁世举
- 关键词：数据竞争误报漏报PETRI网
- 使用双层分类器在垂直搜索中自动识别交互式查询接口
- 2016年
- 一框式检索功能普遍提供于各类互联网信息门户的首页,由于需要交互式操作以及返回页面仅包含与用户所提交关键字相关的查询结果等原因,较少受到传统搜索引擎的关注.但是在垂直搜索中,若能够有效利用远程服务器自带的站内检索功能,将在显著降低本地计算资源和带宽消耗的同时,提高查全和查准率.提出并实现了一种用于在主题相关的页面采集过程中自动定位交互式查询接口的双层分类器.针对8个不同领域主题的规模化实验显示,该分类器能够准确过滤非相关域名和非可查表单,实现搜索接口的有效识别.
- 王琳王行甫杜云开
- 关键词：垂直搜索HTML解析支持向量分类决策树
- 一种有效的Python字节码保护方法
- 2017年
- 针对Python软件目前面临反编译攻击威胁的问题,提出一种有效的基于密码技术和导入钩子技术的Python字节码保护方法。通过在加密端使用密码技术高强度加密字节码文件并使用密钥隐藏技术保证密钥的安全,使得字节码文件丧失其原有结构的规律性。通过在应用启动时注册具有动态解密功能的Python导入钩子,使得Python程序在导入加密模块过程中可以动态解密并加载模块,其运行方式和未加密软件没有任何区别。实验结果表明,本方法能够在保持软件功能等价的基础上有效地抵抗现有的反编译工具攻击,并且对应用软件额外的性能开销不超过0.5%,在安全性和性能方面都可以满足实际运用的要求。
- 陈悟顾乃杰杜云开
- 关键词：PYTHON反编译加密
- 高效而精确的锁别名分析方法
- 2016年
- 锁别名分析能够得到锁指针变量的指向信息,有效的锁别名分析可以更好地辅助数据竞争分析和死锁分析.现有锁别名分析往往采用保守的方式处理,进而影响分析结果的准确性.针对这一问题,提出了一种锁别名分析方法,该方法首先使用GCC插件获取SSA形式的中间代码,然后对中间代码进行预处理以获得与锁、函数指针操作相关的语句,最后对预处理后的程序使用本文提出的FP_LOCK算法进行准确的流敏感、上下文敏感分析.实验结果表明该方法能精确地确定锁别名,并且经过预处理后的FP_LOCK算法对分析大程序平均有9.95倍的加速比.
- 陈露顾乃杰黄理杜云开
- 关键词：SSA中间代码上下文敏感
