江苏省自然科学基金(BK2011190) 作品数:7 被引量:24 H指数:2 相关作者: 陈林 许蕾 徐宝文 卢红敏 钱巨 更多>> 相关机构: 南京大学 南京航空航天大学 中国科学院软件研究所 更多>> 发文基金: 江苏省自然科学基金 国家自然科学基金 国家重点基础研究发展计划 更多>> 相关领域: 自动化与计算机技术 更多>>
考虑类特性的面向对象错误定位 被引量:2 2013年 基于频谱的错误定位方法很少考虑语言特性对其错误定位效率的影响.文中针对基于频谱的面向对象程序错误定位,分析讨论了类特性对基于频谱的错误定位方法的有效影响,提出了结合类可疑度信息的错误定位算法,并通过3个Java开源软件作为实验对象对其进行了验证.实验结果表明,文中提出的方法能够有效提高基于频谱的面向对象错误定位方法的效率. 涂径玄 陈林 许蕾 卢红敏 徐宝文关键词:面向对象 频谱 一种新的重构语义分析方法及其应用 被引量:1 2012年 提出一种新的重构语义分析方法,引入了后置条件作为重构后程序语义的分析条件,然后基于该方法提出一种重构异常行为检测方法,利用不同重构之间的关系及其关联语义特征,发现重构实施时的错误.分析表明,该方法可以有效发现E-clipse中存在的若干缺陷,并且可以检测出使用Eclipse实施相应重构时产生的程序异常行为. 卢红敏 郭晶 陈林 许蕾 徐宝文关键词:软件再工程 代码重构 SIMPLE:一种新型多范型程序设计语言 2014年 为了满足越来越高的软件开发需求,许多通用程序设计语言扩充了各种新的语言设施,从而使语言变得复杂而难于学习和使用。为了创造一个核心概念简单明确、同时可以广泛用于各类开发的语言,设计了一种具有简明核心概念和丰富语言设施的程序设计语言SIMPLE。首先对SIMPLE语言进行概述,然后针对SIMPLE的模块化、泛型、内存管理以及异常处理等设施进行阐述。此外,讨论了如何将过程式、面向对象、函数式3种程序设计范型在SIMPLE中实现有机的融合。 吴迪 陈林 徐宝文关键词:程序设计语言 语言设计 面向对象程序设计 函数式程序设计 一种基于信息量的缺陷定位方法 被引量:16 2013年 缺陷定位是软件调试过程中的重要环节,它通过利用程序信息和测试信息来定位软件中的错误.借助于事件信息量,提出一种基于事件信息量的缺陷定位方法——SIQ(suspiciousness based on information quantity).SIQ方法根据测试信息中不同事件的类型及其发生的概率,结合语句的执行信息,动态计算和调整缺陷定位的结果.通过大量的实验分析和对比,SIQ方法在多个数据集上表现出了很好的稳定性,与几种现有的缺陷定位方法相比,SIQ方法的缺陷定位效果也更加准确. 丁晖 陈林 钱巨 许蕾 徐宝文一种基于模型结合的错误定位方法 被引量:6 2012年 目前大多数错误定位技术的研究均基于单一类型的程序节点(如语句、谓词等),其效果往往只在定位相应类型的错误时表现较好,而定位其他类型的程序错误时则表现不佳。为此,借鉴机器学习领域中集成学习的思想,建立多错误定位方法相结合的错误定位模型,并综合了基于语句覆盖信息和程序谓词信息这2种错误定位方法,提出了3种新的错误定位方法。实验结果表明,相对于此前单一的方法,所提出的2种方法具有更高的错误定位效率和更强的适应性。 唐启锋 许蕾 钱巨 陈林 张震宇基于动态基本块的测试用例约简 2012年 缺陷定位技术利用测试用例动态执行的覆盖信息来计算程序中各条语句的可疑度,有效地减少了开发人员排错的工作量。但检查大量的测试输出正确与否是非常困难而且耗时的,因此对测试用例集进行约简成为必要。传统的约简方法大多使用语句覆盖标准,本文提出以动态基本块为覆盖标准,并在此基础上提出2种约简策略来减小测试输入的规模。实验结果证明,新方法可以有效地减少测试输入,并且约简后的错误定位效果几乎不下降。 马倩 陈林 卢红敏 丁晖