陈林
- 作品数:138 被引量:267H指数:10
- 供职机构:南京大学更多>>
- 发文基金:国家自然科学基金江苏省自然科学基金国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术机械工程交通运输工程电子电信更多>>
- TPython:一种扩充的Python语言被引量:1
- 2009年
- Python是一种流行的动态语言,但是由于完全的动态性影响了其执行效率和使用。因此,在Python基础上进行了静态化扩充,研制了TPython语言。该语言在注释中引入了可选的类型声明,并提供了包括类型检查在内的静态检查。相对于动态语言而言,TPython能够提高程序的可读性和可靠性,降低调试成本,相对于静态语言而言,TPython又具有语法简单,易于开发的优势。
- 余超周天琳周晓宇陈林徐宝文
- 关键词:PYTHON解释器动态语言
- 一种跨项目缺陷影响分析方法
- 本发明提供一种基于程序依赖关系和符号分析的跨项目缺陷影响分析方法,包括下列步骤:1)获取同一软件生态系统中不同项目、多个版本的程序源代码;2)从每个项目基础版本的程序源代码中抽取调用关系,构建生态系统基本依赖网络;3)从...
- 陈林马皖王莹任浩罗阳
- 文献传递
- 一种新的重构语义分析方法及其应用被引量:1
- 2012年
- 提出一种新的重构语义分析方法,引入了后置条件作为重构后程序语义的分析条件,然后基于该方法提出一种重构异常行为检测方法,利用不同重构之间的关系及其关联语义特征,发现重构实施时的错误.分析表明,该方法可以有效发现E-clipse中存在的若干缺陷,并且可以检测出使用Eclipse实施相应重构时产生的程序异常行为.
- 卢红敏郭晶陈林许蕾徐宝文
- 关键词:软件再工程代码重构
- 基于预测性分析的安卓应用程序数据竞争检测
- 本发明方法是基于安卓开发框架和其多线程模型,插桩安卓应用程序并动态运行提取单个执行轨迹,再使用预测性分析方法对执行轨迹进行分析,构造其活动间的发生序关系(Happens‑Before)并预测生成多个执行轨迹,在此基础上结...
- 许蕾孙全陈林徐宝文
- 文献传递
- 一种可增速翼展型垂直轴风力发电机
- 本发明公开了一种可增速翼展型垂直轴风力发电机,包括风轮、增速系统、塔架、旋转盘、旋转环、塔架支撑台、控制系统。风轮包括叶片、四边形连杆机构、支杆机构,四边形连杆机构一端与叶片的侧面固连,另一端与旋转盘侧面铰接,支杆机构由...
- 王存堂张先俊谢方伟崔建中陈林何国志吴娟宣芮
- 文献传递
- 改进的测试用例错误检测效率度量方法(英文)
- 2014年
- 分析了在测试用例优先级问题中被广泛用于度量测试用例集错误检测效率的APFD度量标准及其变种,指出APFD系列度量标准存在物理意义模糊、对错误检测过程描述不清晰等缺陷.针对这些缺陷对已有度量标准进行改进,提出2种新的测试用例集错误检测效率度量方法 relative-APFD和relative-APFDC.新的度量方法在评价测试用例集效率时,综合考虑了错误检测速度和测试资源约束问题.实例分析表明,新方法可以更为清晰地描述测试用例集错误检测过程,并更为准确地反映不同测试用例集的错误检测效率.
- 王子元陈林汪鹏仉雪玲
- 关键词:软件测试测试用例优先级
- 面向智能移动平台的Web服务推送方法
- 面向智能移动平台的Web服务推送方法,Web服务推送通过数据交换管程、服务代理和SOAP推送协议三个部分实现,数据交换管程运行在智能移动平台上,作为智能移动平台上应用程序的数据收发媒介和管理者;服务代理运行在服务器上,将...
- 许蕾颜友军陈林徐宝文
- 一种基于新型趋近律的无轴承异步电机滑模控制方法
- 本发明公开了一种基于新型趋近律的无轴承异步电机滑模控制方法,电机转速环采用基于新型趋近律的滑模速度控制器。该控制器采用具有自变速功能的新型趋近律,利用无轴承异步电机调速系统中的转速误差构造积分滑模面,并结合电磁转矩和运动...
- 杨泽斌万玲赵若妤孙晓东陈林孙卫明
- 文献传递
- 一种基于社交网络平台的Web服务推荐方法
- 一种基于社交网络平台的Web服务推荐方法,将Web服务分成不同的服务类,在社交网络中获取用户的基本信息,取一部分用户作为训练用户,得到用户感兴趣的服务类,并据此建立用户-服务类矩阵,然后根据用户-服务类矩阵对用户进行聚类...
- 许蕾宫敏李言辉陈林徐宝文
- 基于深度学习的Java程序内部注释的生成方法及系统
- 本发明公开基于深度学习的Java程序内部注释的生成方法及系统,所述方法包括如下步骤:获取Stars数排名靠前的项目,提取出对应的内部注释和方法语句列表;得到:<注释,目标代码>对;选择Verb‑dobj形式的...
- 陈林汪值李言辉