陈林
- 作品数：149 被引量：282H指数：10
- 供职机构：东南大学更多>>
- 发文基金：国家自然科学基金江苏省自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术机械工程交通运输工程电子电信更多>>
- TPython:一种扩充的Python语言被引量：1
- 2009年
- Python是一种流行的动态语言,但是由于完全的动态性影响了其执行效率和使用。因此,在Python基础上进行了静态化扩充,研制了TPython语言。该语言在注释中引入了可选的类型声明,并提供了包括类型检查在内的静态检查。相对于动态语言而言,TPython能够提高程序的可读性和可靠性,降低调试成本,相对于静态语言而言,TPython又具有语法简单,易于开发的优势。
- 余超周天琳周晓宇陈林徐宝文
- 关键词：PYTHON解释器动态语言
- 一种跨项目缺陷影响分析方法
- 本发明提供一种基于程序依赖关系和符号分析的跨项目缺陷影响分析方法，包括下列步骤：1)获取同一软件生态系统中不同项目、多个版本的程序源代码；2)从每个项目基础版本的程序源代码中抽取调用关系，构建生态系统基本依赖网络；3)从...
- 陈林马皖王莹任浩罗阳
- 文献传递
- 一种新的重构语义分析方法及其应用被引量：1
- 2012年
- 提出一种新的重构语义分析方法,引入了后置条件作为重构后程序语义的分析条件,然后基于该方法提出一种重构异常行为检测方法,利用不同重构之间的关系及其关联语义特征,发现重构实施时的错误.分析表明,该方法可以有效发现E-clipse中存在的若干缺陷,并且可以检测出使用Eclipse实施相应重构时产生的程序异常行为.
- 卢红敏郭晶陈林许蕾徐宝文
- 关键词：软件再工程代码重构
- 基于预测性分析的安卓应用程序数据竞争检测
- 本发明方法是基于安卓开发框架和其多线程模型，插桩安卓应用程序并动态运行提取单个执行轨迹，再使用预测性分析方法对执行轨迹进行分析，构造其活动间的发生序关系(Happens‑Before)并预测生成多个执行轨迹，在此基础上结...
- 许蕾孙全陈林徐宝文
- 文献传递
- 中国政治无神论研究
- 围绕中国政治与无神论这一主题，本文试图探讨以下几个方面的问题，即:在中国历史上的政治思想与实践中，“无神论”的观点以何种方式得到体现？其实质是什么？它在中国政治的理论与实践中具有什么样的表现形态？中国政治与无神论之间又可...
- 陈林
- 关键词：无神论中国政治政教关系
- 蜕变测试技术综述被引量：23
- 2009年
- 软件测试是一种重要的、不可缺少的软件质量保证技术,用于发现和纠正软件中存在的缺陷和错误,但在很多情况下待测程序的预期输出难以确定。蜕变测试技术通过检查程序的多个执行结果之间的关系来测试程序,可以有效地解决上述问题。经过近十年的研究,蜕变测试技术已经在测试过程的优化、与其他验证或测试方法的结合等方面取得了巨大的进展,并被广泛地应用于各个领域中。对当前蜕变测试技术的研究进行了综述,针对已有方法的不足之处,对未来的研究方向进行了展望,包括蜕变测试充分性研究、实用蜕变关系构造技术、实用原始测试用例选取技术、新型软件中蜕变测试技术的研究、蜕变测试工具的开发等。
- 董国伟徐宝文陈林聂长海王璐璐
- 关键词：软件测试
- 一种基于深度神经网络的Python资源敏感缺陷代码检测方法
- 本发明为一种基于深度神经网络的Python资源敏感缺陷代码检测方法，包括下列步骤：1)获取同一软件的历史版本的源代码和待测版本的源代码；2)利用类型推断抽取各版本的资源敏感代码模式；3)抽取资源敏感代码模式的相关特征；4...
- 陈林潘陶陈芝菲李言辉徐宝文
- 文献传递
- 一种带有液压负载装置的液粘传动试验装置
- 本发明公开一种带有液压负载装置的液粘传动试验装置，包括供油系统和模拟负载加载系统。供油系统回路通过液压管道依次连接供油油路粗过滤器、齿轮油泵、溢流阀、调速阀、冷却器、液粘主机、流量计、油箱。模拟负载加载系统，采用叶片泵代...
- 谢方伟孟令超盛刚张先俊何国志陈林
- 文献传递
- 套索传动系统建模与控制及其在细长柔软搜救检测机器人中的应用
- 陈林
- 一种可增速翼展型垂直轴风力发电机
- 本发明公开了一种可增速翼展型垂直轴风力发电机，包括风轮、增速系统、塔架、旋转盘、旋转环、塔架支撑台、控制系统。风轮包括叶片、四边形连杆机构、支杆机构，四边形连杆机构一端与叶片的侧面固连，另一端与旋转盘侧面铰接，支杆机构由...
- 王存堂张先俊谢方伟崔建中陈林何国志吴娟宣芮
- 文献传递
