您的位置: 专家智库 > >

教育部科学技术研究重点项目(108063)

作品数:12 被引量:31H指数:3
相关作者:姜淑娟张艳梅赵雪峰郝杰辛良更多>>
相关机构:中国矿业大学徐州医学院更多>>
发文基金:教育部科学技术研究重点项目江苏省自然科学基金国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 11篇中文期刊文章

领域

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

主题

  • 3篇异常处理
  • 3篇程序切片
  • 2篇依赖图
  • 2篇切片
  • 2篇切片方法
  • 2篇系统依赖图
  • 2篇面向对象
  • 2篇控制流
  • 1篇多AGENT
  • 1篇多路
  • 1篇多路径
  • 1篇样本加权
  • 1篇遗传算法
  • 1篇软件测试
  • 1篇数据流
  • 1篇数据验证
  • 1篇数据依赖
  • 1篇启发式算法
  • 1篇流图
  • 1篇面向对象程序

机构

  • 10篇中国矿业大学
  • 2篇徐州医学院

作者

  • 8篇姜淑娟
  • 3篇张艳梅
  • 2篇辛良
  • 2篇郝杰
  • 1篇牟春雷
  • 1篇张辰
  • 1篇朱晴
  • 1篇李海洋
  • 1篇赵雪峰
  • 1篇刘兵
  • 1篇夏士雄
  • 1篇姜利群
  • 1篇张言辉
  • 1篇张红昌
  • 1篇王庆坛
  • 1篇孙建华
  • 1篇赵红侠

传媒

  • 2篇计算机学报
  • 2篇计算机工程
  • 2篇计算机应用与...
  • 2篇微电子学与计...
  • 2篇微计算机信息
  • 1篇计算机应用研...

年份

  • 2篇2012
  • 5篇2011
  • 4篇2010
12 条 记 录,以下是 1-10
排序方式:
一种包含异常处理的粗粒度切片方法
2012年
在构造面向对象带有异常处理的系统依赖图的基础上,分析了异常处理结构对程序依赖性的影响.并且为了得到粗粒度程序切片,提出了一种把异常处理结构转化为一个类内部私有方法的有效方法来简化带有异常处理结构的系统依赖图.然后在简化的带有异常处理结构的系统依赖图上利用图可达性算法实现了包含异常处理结构的粗粒度切片.最后,通过一个切片标准对粗粒度切片和细粒度切片进行了比较.结果证明粗粒度切片完全包含细粒度切片,这样就降低了计算切片的复杂度.
郝杰
关键词:程序切片系统依赖图异常处理
一种包含异常处理结构的面向对象切片方法被引量:1
2012年
针对面向对象语言的特点,结合异常处理机制,对传统的系统依赖图(SDG图)进行了扩展,实现了面向对象的系统依赖图(OSDG图).改进后的OSDG图可以很好地支持继承和多态等特征,并能处理多态对象抛出和处理异常所带来的数据和控制依赖关系.通过传统的程序切片算法,可以在OSDG上切出较为精确的切片.
郝杰姜淑娟
关键词:面向对象异常处理程序切片系统依赖图控制流图
基于值替代的错误定位方法
2011年
值替代方法通过查找能够影响失败运行错误输出的语句,并确定这类语句的IVMP(兴趣值映射对)。IVMP是由语句中原错误运行中的值映射集合和能产生正确输出的可替代值映射集合组成。这种方法应用于错误定位分析,对确定错误语句本身和与错误语句直接相关的语句非常有效。提出了一种同时考虑控制依赖和数据依赖的值替代算法,并加入了语句错误可能性分析,能全面分析程序中的错误。
辛良姜淑娟
关键词:数据依赖
基于遗传算法的多路径测试用例生成方法被引量:1
2010年
软件测试是软件开发过程中极其重要的一环,提高软件测试的自动化程度对于确保软件开发质量、降低软件开发成本非常重要,而提高生成测试用例的自动化程度又是提高测试自动化程度的关键。文中采用矩阵记录测试数据所经过的路径,并对遗传算法适应度函数进行改进,提出了一种新的利用遗传算法自动生成多路径覆盖的测试用例生成方法,并通过实例进行了验证。
孙建华姜淑娟
关键词:软件测试遗传算法
扩展Struts验证框架实现标准化数据的验证被引量:2
2010年
无论是自动产生还是用户输入的数据,都要验证它的完整性和有效性。这项工作可能非常繁琐,因为数据可能有不同的类型和格式。随着MVC设计模式的流行,Struts框架的应用越来越广泛,在程序设计过程中Struts的验证框架也就必然因其安全、可配置变得广泛起来。Struts的Validator验证框架定义了十几种常用的验证规则,如required(验证非空)、minlength(验证最小长度)、maxlength(验证最大长度)、intRange(验证数据范围)、email(验证电子邮件地址)、date(验证日期)等。这对于提高验证效率和数据验证安全性提供了很好的实现,但这并不能实现一些较普遍而且标准的数据验证需求。本文章主要是通过扩展Struts验证框架实现对专业标准化数据的验证。
张言辉姜利群朱晴
关键词:数据验证
面向对象程序的异常传播分析方法被引量:1
2011年
现有异常传播分析方法大多局限于单个类内部,不能满足现实软件开发的需求。为此,提出一种面向对象程序的异常传播分析方法,在类控制流图的基础上构建面向对象异常传播分析(OEPAG)图,通过得到异常在类间的传播路径并确定类间关系,从而对控制流和数据流进行有效分析。应用结果表明,将OEPAG图用于含异常处理结构的程序切片时的结果比传统程序切片结果更准确。
赵雪峰姜淑娟张艳梅
关键词:面向对象程序数据流控制流
基于关键谓词的程序错误定位方法被引量:1
2010年
将程序切片技术应用于程序错误定位可以大量减少需要测试的语句数。提出一种基于关键谓词的程序错误定位方法,从程序中找出能影响输出结果的关键谓词,对该谓词和错误输出语句进行数据切片,并引入代码优先技术。该方法考虑了数据依赖和控制依赖,能实现准确快速的错误定位。
辛良姜淑娟
关键词:程序切片
一种改进的可能模糊聚类算法被引量:3
2011年
通过分析FCM、PCM、IPCM和PFCM等流行的聚类算法和它们在噪声环境下所面临的问题,提出一种概率模糊聚类新算法(SWPFCM),该算法结合样本加权和一种适用于噪音环境下的初始化聚类中心的方法,可以有效地消除噪声对聚类结果的影响。实验表明,SWPFCM算法具有处理大量噪声数据的能力,但对于没有噪声或噪声很少时,效果不明显,当目标样本集中出现噪声时,使用SWPFCM算法聚类将会得到满意的聚类结果。
张辰夏士雄刘兵
关键词:样本加权模糊聚类
基于多Agent的Web服务异常处理模型被引量:2
2010年
为有效解决Web服务中存在的各种异常,结合多Agent的特性,提出了一种基于多Agent系统的异常处理模型。该模型利用了Agent的协作性、推理和自学习的特性,使异常得到有效地捕获和处理。同时,也为用户提供了友好的异常提示信息,并保证了Web服务器信息的安全性。
赵红侠姜淑娟牟春雷
关键词:WEB服务异常处理多AGENT
一种基于耦合度量的类间集成测试序的确定方法被引量:11
2011年
类间测试顺序的确定是类集成测试中难以解决的一个关键问题.类的测试序列不同,构造相应的测试桩需要花费的代价也会不同.每一个测试桩复杂度度量的准确性决定最终打破环路所需构造测试桩的总体复杂度.对于类间测试顺序问题,文章提出一种基于耦合度量的类间集成测试序的确定方法.采用类间耦合度量与基于图的启发式算法相结合的方法,其中,前者用于度量每一个测试桩的复杂度,后者用于在保证测试桩总体复杂度尽可能小的条件下来打破环路.首先提出一种在度量中使用的耦合权重的计算方法,对测试桩的复杂度进行新的耦合度量;然后给出一种有效打破环路的基于图的启发式算法;最后实现了类间测试序列自动生成工具——TOGOS.实验结果表明:文中的方法较现有的方法总体复杂度有明显的降低,从而节约了测试成本.
姜淑娟张艳梅李海洋王庆坛
关键词:启发式算法
共2页<12>
聚类工具0