许蕾
- 作品数：89 被引量：424H指数：13
- 供职机构：南京大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学金属学及工艺更多>>
- 一种基于敏感行为识别的安卓应用安全性分析方法
- 本发明提供了一种基于安卓应用源代码敏感行为识别的安卓应用安全性分析方法，包括下列步骤：1)源代码的获取与分析；2)敏感行为的获取；3)UI文本的提取；4)敏感行为数据的处理；5)特征值的选取；6)训练数据集的构成；7)安...
- 许蕾缪小川李言辉徐宝文
- 文献传递
- 一种新的重构语义分析方法及其应用被引量：1
- 2012年
- 提出一种新的重构语义分析方法,引入了后置条件作为重构后程序语义的分析条件,然后基于该方法提出一种重构异常行为检测方法,利用不同重构之间的关系及其关联语义特征,发现重构实施时的错误.分析表明,该方法可以有效发现E-clipse中存在的若干缺陷,并且可以检测出使用Eclipse实施相应重构时产生的程序异常行为.
- 卢红敏郭晶陈林许蕾徐宝文
- 关键词：软件再工程代码重构
- 基于预测性分析的安卓应用程序数据竞争检测
- 本发明方法是基于安卓开发框架和其多线程模型，插桩安卓应用程序并动态运行提取单个执行轨迹，再使用预测性分析方法对执行轨迹进行分析，构造其活动间的发生序关系(Happens‑Before)并预测生成多个执行轨迹，在此基础上结...
- 许蕾孙全陈林徐宝文
- 文献传递
- 基于静态分析和动态运行的Web应用JavaScript代码原子性违反检测
- 本发明为一种基于静态分析和动态运行的原子性违反检测方法：先通过静态分析JS代码，获取JS中涉及到异步调用的函数和方法，保证代码上的覆盖；跨语言平台的动态插桩记录机制，在异步调用函数中设置探测点，不仅能得到JS程序中的元素...
- 许蕾王德智李言辉徐宝文
- 文献传递
- 面向智能移动平台的Web服务推送技术研究被引量：5
- 2012年
- 将Web服务引入到智能移动平台软件中,能够很好地解决目前平台软件复用率低,平台依赖性高等问题。但现有技术不能针对移动平台进行高效的数据推送,影响了Web服务的应用效果。为了解决这一问题,提出了一个面向智能移动平台的Web服务推送框架:扩展SOAP协议,提出SOAP推送协议作为数据交互协议;提出数据交换管程,以屏蔽所使用的数据推送协议;扩展Web数据推送中的代理模块,以形成服务代理。针对主流的Web应用,对推送框架进行了实验,并与传统轮询方式进行了比较,结果表明该框架具有较低的网络数据传输量,在智能移动平台中有重要的应用价值。
- 颜友军许蕾陈林李言辉
- 关键词：WEB服务数据推送
- 一种基于程序分析的Java函数注释自动生成方法
- 本发明为一种基于程序分析的Java函数注释自动生成方法：首先收集大量GitHub上开源项目，基于程序分析技术对Java函数信息及调用关系进行提取，形成训练数据集；随后基于深度学习领域循环神经网络技术训练出一个函数到注释的...
- 许蕾周航
- 文献传递
- 基于约束求解和描述逻辑的Web服务组合方法
- 本发明为一种基于约束求解和描述逻辑的Web服务组合方法：首先基于领域知识库的目标任务分解，设计各细粒度任务的优化目标，并提取任务接口的约束条件，然后通过约束求解得到细粒度任务的组合，再运用描述逻辑检测组合的有效性、合理性...
- 许蕾曹赖平李言辉徐宝文
- 文献传递
- 一种基于上下文分析的Python API实时推荐方法
- 本发明为一种基于上下文分析的Python API实时推荐方法。其特征是首先提取Python代码上下文中调用点；接着对每个调用点进行类型推断，若推断成功，使用推断类型可调用方法作为API候选集，否则从标准库API、第三方库...
- 许蕾何欣程徐宝文
- 文献传递
- 一种基于概率对齐的代码错误定位方法
- 本发明为一种基于概率对齐的代码错误定位方法。其特征是通过LLVM工具对源代码进行优化，提取出程序的符号信息并跟踪执行流程，再根据提取的信息对程序实例进行分类存储，构建代码结构和符号执行流，之后对代码实例进行序列对齐，并在...
- 许蕾王智楷刘翔宇田晓滨王瀚霖颜同路
- Web应用测试框架研究被引量：22
- 2004年
- 建立一个适应Web应用特性的测试框架 ,以便于指导、组织测试过程中的各项工作 .在分析Web应用特点和传统软件测试流程的基础上 ,对测试需求分析、测试用例生成选择、测试执行和测试结果分析度量等一系列测试过程加以描述和表示 ,形成一套规范化、易操作和可扩展的测试流程 ;研究Web应用测试框架实现技术 ,分层次表示Web应用模型 ,采用组合测试等策略生成测试用例 ,通过Agent自动执行测试并实现测试结果的比较、度量和反馈 ;有机集成并有效实现各个测试步骤 ,使之适应Internet环境并积极有效地发挥其指导作用 .
- 许蕾徐宝文
- 关键词：WEB应用
