您的位置: 专家智库 > >

国家自然科学基金(61170071)

作品数:15 被引量:95H指数:4
相关作者:王蓁蓁陈林徐宝文许蕾吴迪更多>>
相关机构:金陵科技学院南京大学中国科学院软件研究所更多>>
发文基金:国家自然科学基金江苏省自然科学基金国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术兵器科学与技术理学更多>>

文献类型

  • 12篇中文期刊文章

领域

  • 12篇自动化与计算...

主题

  • 3篇软件测试
  • 2篇面向对象
  • 2篇面向对象程序
  • 2篇面向对象程序...
  • 2篇程序设计
  • 1篇大型软件开发
  • 1篇代码
  • 1篇代码重构
  • 1篇等价
  • 1篇等价关系
  • 1篇语句
  • 1篇语言设计
  • 1篇再工程
  • 1篇软件开发
  • 1篇软件再工程
  • 1篇设计语言
  • 1篇时态逻辑
  • 1篇契约
  • 1篇契约式
  • 1篇先验

机构

  • 7篇金陵科技学院
  • 5篇南京大学
  • 1篇河海大学
  • 1篇东南大学
  • 1篇南京航空航天...
  • 1篇中国科学院软...

作者

  • 7篇王蓁蓁
  • 4篇陈林
  • 3篇徐宝文
  • 2篇卢红敏
  • 2篇许蕾
  • 2篇吴迪
  • 1篇钱巨
  • 1篇张震宇
  • 1篇郭晶
  • 1篇丁晖
  • 1篇唐启锋
  • 1篇马倩

传媒

  • 5篇计算机科学
  • 2篇中国科技论文
  • 1篇应用科技
  • 1篇南京大学学报...
  • 1篇计算机工程与...
  • 1篇计算机应用与...
  • 1篇小型微型计算...

年份

  • 1篇2015
  • 6篇2014
  • 2篇2013
  • 3篇2012
15 条 记 录,以下是 1-10
排序方式:
基于两个等级分布的平均随机TBFL方法
2014年
运用测试集对程序错误语句定位算法,现在被统称为TBFL(testing based fault localization)方法。目前通行的算法,一般都没有利用测试员、程序员关于测试用例和程序的先验知识,致使这些"资源"白白浪费掉。随机TBFL方法是一类新的TBFL方法,其精神就是在随机理论的框架下,把这些先验知识和实际测试活动结合起来,从而对程序错误语句更好地定位。随机TBFL算法也可以看成是这种类型算法的一般"模式",人们可以从这个一般性的模式里,开发出不同的算法。基于Santelices等人的思想,对随机TBFL算法作了改进。主要是从测试结果里,构造执行矩阵E和功效矩阵F两个工具,通过它们结合测试集和程序先验知识,对程序语句出错可能性引入两个级别的排序,然后对这两个排序进行"平均",得到程序语句出错可能性的平均等级排序,它可以作为程序员改正程序错误的导向。还提出两个有关不同TBFL算法比较标准,就这两个标准,在一些具体实例上,该算法和其他一般方法以及随机TBFL方法对比,效果令人满意。
王蓁蓁
抽象解释的部分等价逻辑关系模型
2015年
抽象解释由CousotP和CousotR于1977年提出,随后许多作者做了大量工作.从不同的角度构造了基于部分等价关系和逻辑部分等价关系一个模型,它与传统抽象解释模型根本不同,该模型并不是对具体系统在"近似"意义上的抽象,而是对原系统上的一切关系(包括逻辑关系)的抽象,因此它不是原系统的"简化",而是原系统的一个"深化".从而在此模型上提出的问题具有另外的特征,例如复杂性和多态性等问题.
王蓁蓁
一种新的重构语义分析方法及其应用被引量:1
2012年
提出一种新的重构语义分析方法,引入了后置条件作为重构后程序语义的分析条件,然后基于该方法提出一种重构异常行为检测方法,利用不同重构之间的关系及其关联语义特征,发现重构实施时的错误.分析表明,该方法可以有效发现E-clipse中存在的若干缺陷,并且可以检测出使用Eclipse实施相应重构时产生的程序异常行为.
卢红敏郭晶陈林许蕾徐宝文
关键词:软件再工程代码重构
Ada语言的发展被引量:1
2014年
Ada语言诞生于1979年,1980年被指定为美国军用标准,1983年被正式确立为ISO标准并投入使用。Ada所追求的主要目标是:程序的可靠性与可维护性、程序设计作为人的活动(强调程序可读性比可写性更重要)以及效率。Ada凭借其强大的功能、良好的可靠性以及对软件工程思想的优良体现在20世纪最后20年对程序设计语言的发展产生了重要影响。Ada广泛应用于高可靠、长生存期的大型软件研发,在军事、商业、公共交通、金融等领域的核心软件开发中发挥着重要作用。诸多欧美国家的国防与空中管制系统、交通运输系统、银行安全防卫系统等均使用Ada语言研制开发。迄今为止,国际标准组织先后确立过Ada 83,Ada 95,Ada 2005,Ada 2012等4个语言标准,新标准在旧标准的基础上均保持了良好的兼容性。从语言机制、应用、影响力等方面对Ada语言的发展进行全面的介绍和分析。
吴迪徐宝文
关键词:ADA面向对象程序设计
智能随机TBFL方法
2013年
测试集测试结果对程序错误定位算法(testing-based fault localization,TBFL)没有考虑到程序和测试用例集本身的信息,而智能随机TBFL方法,则是利用随机理论将测试员、程序员关于测试用例和程序的先验知识和测试结果信息结合起来,去定位程序的错误语句.智能TBFL算法主要从人类处理信息的通常过程着眼,把测试员交给开发人员的测试结果(主要是用例是否失败和用例覆盖语句情况)分两个层次处理,首先构造执行矩阵E,利用程序先验分布计算测试集捕获错误的能力等级分布,它相当于人类处理信息首先考察信息的正确性和重要性这一事实;其次构造功效矩阵F,利用前述的测试集能力分布计算程序语句出错可能性的等级分布,它相当于人类处理信息时挖掘信息内涵并对信息加以综合从而做出正确判断这一事实.因此文中提出的算法称之为智能算法,它在理论上是可信的.根据文中所提出的两个有关不同TBFL算法比较标准,并在一些实例上把智能算法与其他一些传统错误定位方法进行对比,发现智能算法的功效比较满意.
王蓁蓁
关键词:软件测试
等级平均随机TBFL方法
2014年
运用测试集对程序错误语句定位的算法,现在被统称为TBFL(testing based fault localization)方法。目前通行的算法一般都没有利用测试员、程序员关于测试用例和程序的先验知识,致使这些"资源"白白浪费掉。文献[12]引入了一类新的随机TBFL方法,其精神就是在随机理论的框架下,把这些先验知识和实际测试活动结合起来,从而对程序错误语句更好地定位。文献[12]提出的算法可以看成是这种类型算法的一般"模式",人们可以根据这个一般性的模式开发出不同的算法。基于文献[13]的思想,对文献[12]中的算法做了改进。主要是根据测试结果,构造执行矩阵E和功效矩阵F两个工具,并结合测试集和程序先验知识,对程序语句出错可能性引入两个级别的排序,然后对这两个排序进行"平均",得到程序语句出错可能性的平均等级排序,它可以作为程序员改正程序错误的导向。还提出两个有关不同TBFL算法的比较标准,根据这两个标准,在一些具体实例上,将所提算法和其他一般方法以及文献[12]中的方法进行了对比,结果显示所提算法的效果令人满意。
王蓁蓁
一种基于模型结合的错误定位方法被引量:6
2012年
目前大多数错误定位技术的研究均基于单一类型的程序节点(如语句、谓词等),其效果往往只在定位相应类型的错误时表现较好,而定位其他类型的程序错误时则表现不佳。为此,借鉴机器学习领域中集成学习的思想,建立多错误定位方法相结合的错误定位模型,并综合了基于语句覆盖信息和程序谓词信息这2种错误定位方法,提出了3种新的错误定位方法。实验结果表明,相对于此前单一的方法,所提出的2种方法具有更高的错误定位效率和更强的适应性。
唐启锋许蕾钱巨陈林张震宇
基于动态基本块的测试用例约简
2012年
缺陷定位技术利用测试用例动态执行的覆盖信息来计算程序中各条语句的可疑度,有效地减少了开发人员排错的工作量。但检查大量的测试输出正确与否是非常困难而且耗时的,因此对测试用例集进行约简成为必要。传统的约简方法大多使用语句覆盖标准,本文提出以动态基本块为覆盖标准,并在此基础上提出2种约简策略来减小测试输入的规模。实验结果证明,新方法可以有效地减少测试输入,并且约简后的错误定位效果几乎不下降。
马倩陈林卢红敏丁晖
软件测试理论初步框架被引量:22
2014年
软件测试是软件开发中不可或缺的部分,也是软件工程化方法中的重要环节。目前各种软件测试技术日趋成熟,但相关的测试基本原理框架还有待开发。在前人经验的基础上,试图提出一个初步理论框架来定义软件测试的样本空间,引入反映软件某种情况(比如缺陷)的随机变量,概括白盒测试和黑盒测试的概率测度及数学期望描述。这样的构建不仅能够加深对软件缺陷存在的理论根源的理解,从而进一步提出更好的测试方法,还对发展软件测试的科学理论有所帮助。
王蓁蓁
关键词:软件测试程序语言
SIMPLE:一种新型多范型程序设计语言
2014年
为了满足越来越高的软件开发需求,许多通用程序设计语言扩充了各种新的语言设施,从而使语言变得复杂而难于学习和使用。为了创造一个核心概念简单明确、同时可以广泛用于各类开发的语言,设计了一种具有简明核心概念和丰富语言设施的程序设计语言SIMPLE。首先对SIMPLE语言进行概述,然后针对SIMPLE的模块化、泛型、内存管理以及异常处理等设施进行阐述。此外,讨论了如何将过程式、面向对象、函数式3种程序设计范型在SIMPLE中实现有机的融合。
吴迪陈林徐宝文
关键词:程序设计语言语言设计面向对象程序设计函数式程序设计
共2页<12>
聚类工具0