鞠小林
- 作品数：38 被引量：212H指数：8
- 供职机构：南通大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金南通市应用研究计划项目江苏省研究生培养创新工程项目更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 一种基于内存使用传播分析的Java内存低效使用检测方法
- 一种基于内存使用传播分析的Java内存低效使用检测方法。本发明提供一种基于内存使用传播分析的内存低效使用检测方法，包括下列步骤：1）对软件进行静态分析进行插桩，通过动态执行获得内存使用相关的事件信息；2）依据获得的信息进...
- 姜淑娟李文杰王兴亚鞠小林王荣存张艳梅
- 文献传递
- 基于混杂偏倚消除的谓词统计错误定位方法被引量：1
- 2017年
- 识别并消除统计错误定位过程中的混杂偏倚效应可以有效提高错误定位结果的精度.该文对谓词可疑度度量过程中的混杂偏倚现象进行了研究,提出一种基于混杂偏倚效应消除的谓词统计错误定位方法.首先,提出一种基于变量类型的错误候选谓词筛选方法来提高错误相关谓词的识别能力;其次,通过分析影响谓词取值和程序执行结果的条件,识别定位过程中的数据依赖和控制依赖混杂偏倚元素;再次,采用一种静态切片与动态约减相结合的谓词信息收集方法,提高谓词信息的收集效率;最后,针对收集的谓词信息、混杂偏倚元素信息和程序执行结果,使用线性回归分析度量谓词的可疑度,降序排列后提供给开发人员开展程序调试.实验表明该文方法可以有效识别错误相关谓词,提高错误定位的精度和效率.
- 王兴亚姜淑娟鞠小林曹鹤玲
- 关键词：因果推理软件测试
- 基于UML的面向对象建模方法及其在血站管理系统中的应用研究
- 面向对象建模是软件开发领域的一个重要研究方向。统一建模语言UML是一种定义良好、易于表达、功能较强的面向对象建模语言。在软件开发领域,基于UML的面向对象建模方法正得到日益广泛应用,但是,UML只是一种建模语言,不是建模...
- 鞠小林
- 关键词：软件开发程序设计建模语言代码转换
- 文献传递
- 基于对象引用关系的Java程序内存行为分析方法被引量：3
- 2015年
- 本文提出一种基于对象引用关系的Java程序内存行为分析方法.与传统的通过内存消耗的大小来确定程序中数据结构的重要性并分析相关内存行为的方法不同,本文方法同时考虑内存消耗和内存支配两个因素来确定一个数据结构在程序内存行为中的重要性,通过研究数据结构之间在内存使用上的支配关系和对数据结构进行引用分析,得到程序中重要的内存行为.实验结果表明该方法能有效地分析程序的内存行为,且对比其它方法能提供更加准确的内存行为分析结果.
- 李文杰姜淑娟钱俊彦王兴亚鞠小林
- 基于分块切片的软件错误定位技术被引量：1
- 2015年
- 鉴于基于谱的软件错误定位技术缺乏依赖分析及存在过多不可区分的语句问题,给出一种基于分块切片的软件错误定位技术BSlicing-SFL(block slicing based software fault localization)的实现方法。基于不可区分块间数据依赖和控制依赖构建系统依赖图并生成分块切片,在此基础之上,统计计算切片内元素可疑度值进行错误定位。通过3个实际应用程序验证了分块切片的约减度及BSlicing-SFL技术的有效性。
- 文万志陈建平陈翔鞠小林
- 关键词：程序切片系统依赖图
- FORTRAN 2000异常处理机制的研究
- 2004年
- 异常处理是现代程序设计语言的一个重要特征,它为检测和恢复软件系统在运行时的错误、构建系统的容错处理提供了强有力的支持。本文分析了FORTRAN 2000的异常处理机制,并提出一种扩充方案,引入用户定义异常和异常处理区的概念,改进了异常的传播机制,从而使FORTRAN编程更好地实现普通代码和异常处理代码的分离,提高了程序的可读性和可维护性。
- 鞠小林徐宝文
- 关键词：程序设计语言FORTRAN异常处理机制程序代码
- 软件故障定位技术进展被引量：22
- 2012年
- 故障定位是调试过程中一项耗时费力的工作。为了降低调试成本,并辅助开发人员定位和修复软件故障,软件故障定位技术通过审查源代码、分析测试过程的软件行为和测试结果来定位包含故障的代码片段。综述了近期故障定位领域相关成就,分类介绍了各种代表性的故障定位方法的基本原理和建模技术,讨论了这些故障定位技术的贡献以及它们之间的主要区别,给出了常用的故障定位效果基准测试集和度量方法,展望了故障定位技术的研究方向。
- 鞠小林姜淑娟张艳梅董国伟
- 关键词：故障诊断故障定位
- 集成测试中的类测试顺序生成技术述评被引量：5
- 2018年
- 对于面向对象程序,一个常见的问题是确定集成测试中的类的测试顺序,称为类集成测试顺序的确定问题.类测试顺序的确定问题是面向对象软件集成测试中的关键难点之一.首先,简单介绍类测试顺序确定问题的背景.其次,概括描述类集成测试顺序问题以及其产生的原由,并介绍类间依赖关系(包括类间静态依赖关系和动态依赖关系)和抽象类的定义与特点,接着对类测试顺序的确定问题进行分类并评析两种分类方式,包括破除环路的方式和估算测试桩代价的方式.其中,破除环路主要采用基于图论和基于搜索这两类方法,估算测试桩代价主要根据评价所构造的测试桩的个数多少和所构造的测试桩的总体复杂度大小这两个指标.再次,对现有解决类集成测试顺序问题的典型技术进行分类,分为基于图论和基于搜索技术两大类.然后,全面系统地分析这些相关技术的研究现状、特点等,之后还介绍了已有典型的基于图论和基于搜索技术技术在实验过程中各自所使用的评测数据集等.最后,指出未来的研究方向,并对该文进行总结.
- 张艳梅张艳梅姜淑娟鞠小林
- 关键词：软件测试
- 基于子路径扩展的不可达路径检测方法被引量：2
- 2015年
- 不可达路径是造成软件测试资源消耗的一个重要方面.在路径测试之前,检测程序中的不可达路径可以有效节约软件测试资源.提出了一种基于子路径扩展的不可达路径静态检测方法.该方法首先生成程序的子路径集,将路径的可达性问题转换为不等式组的求解问题.使用约束求解器判断子路径的可达性,可以分为:可达子路径,不可达子路径和无法判定三个部分,并对后面两部分的子路径扩展出的路径做二次可达性检测,最终获得程序中所有路径的可达性信息.可达性检测工作主要在子路径集上进行,因此有效地解决了路径爆炸问题.实验结果表明本文方法可以准确有效地检测出程序中的不可达路径.
- 王红阳姜淑娟王兴亚鞠小林张艳梅
- 关键词：软件测试
- 基于多目标优化的软件缺陷预测特征选择方法被引量：8
- 2018年
- 软件缺陷预测可以通过预先识别出可疑缺陷模块,并随后对其投入足够的测试资源以提高软件质量。但在缺陷预测数据集的搜集过程中,若考虑了多种不同度量元(即特征)会造成维数灾难问题。特征选择是缓解该问题的一种有效方法,其尝试尽可能多地识别并移除已有特征集中的冗余特征和无关特征。然而设计有效的特征选择方法具有一定的挑战性。将软件缺陷预测特征选择问题建模为多目标优化问题,其优化目标包括最小化选出的特征子集规模和最大化随后构建出的缺陷预测模型的预测效果。随后提出MOFES(multi-objective optimization feature selection)方法来尝试平衡这两个可能矛盾的优化目标。为了验证MOFES方法的有效性,选择了来自实际开源项目的数据集PROMISE和RELINK,并且将MOFES方法与一些基准方法(例如GFS、GBS和SOFS)进行了比较。最终结果表明:在可接受的计算开销内,MOFES方法在大部分情况下可以选出规模更小的特征子集,并同时取得更好的模型预测效果。
- 陈翔沈宇翔孟少卿崔展齐鞠小林鞠小林
- 关键词：软件缺陷预测多目标优化
