赵雪峰
- 作品数：6 被引量：23H指数：3
- 供职机构：中国矿业大学计算机科学与技术学院更多>>
- 发文基金：江苏省自然科学基金国家自然科学基金中国矿业大学科学研究基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向对象程序的异常传播分析方法被引量：1
- 2011年
- 现有异常传播分析方法大多局限于单个类内部,不能满足现实软件开发的需求。为此,提出一种面向对象程序的异常传播分析方法,在类控制流图的基础上构建面向对象异常传播分析(OEPAG)图,通过得到异常在类间的传播路径并确定类间关系,从而对控制流和数据流进行有效分析。应用结果表明,将OEPAG图用于含异常处理结构的程序切片时的结果比传统程序切片结果更准确。
- 赵雪峰姜淑娟张艳梅
- 关键词：面向对象程序数据流控制流
- 不可达基路径的静态检测方法被引量：4
- 2012年
- 不可达路径增加了程序的复杂度和冗余度,不可达路径的检测是结构测试中的一个关键问题。提出了一种包含异常处理结构的程序不可达路径的静态检测方法。该方法根据数据流信息判断产生冲突的分支,进而利用分支冲突检测路径的可达性;在数据流分析时考虑异常处理结构和变量别名对数据流信息的影响。实例分析结果表明,该方法可以进一步提高路径可达性检测的准确度。
- 张艳梅姜淑娟王庆坛赵雪峰
- 关键词：不可达路径异常处理别名分析
- 改进的量子遗传算法及其在测试数据生成中的应用被引量：5
- 2012年
- 针对测试数据自动生成中收敛速度不够快的缺点,提出一种改进的量子遗传算法(IQGA),其对量子遗传算法的主要改进是:1)在个体更新时,对个体的某一位取反,将取反后的个体用于指导下一代个体的进化;2)对测量后的二进制个体进行变异,而不是传统的互换量子比特的概率幅。将IQGA用于测试数据生成,通过对三个基础程序进行实验,结果表明IQGA在覆盖率和迭代次数两个方面都优于传统量子遗传算法。IQGA不仅能保证种群朝着正确的方向进化,同时有效地避免了早熟现象,能以更快的速度搜索到目标解。
- 周绮姜淑娟赵雪峰
- 关键词：量子遗传算法测试数据生成
- 基于变量作用域的数据流分析被引量：1
- 2012年
- 数据流分析作为程序分析的一种重要手段,已广泛应用于各种软件工程任务中。传统的数据流迭代分析法没有考虑变量因作用域问题而被隐藏和覆盖的现象,导致数据流信息不准确。在传统数据流迭代分析法的基础上提出一种基于变量作用域的数据流分析方法,它解决了变量被隐藏和覆盖的问题。最后将改进的方法和传统分析方法分别应用于程序切片中,实验证实了改进的方法更加准确。
- 姜淑娟赵雪峰
- 关键词：数据流迭代作用域程序切片
- XML描述KQML消息的研究与实现被引量：10
- 2004年
- KQML是一种较为成熟的代理通讯语言和通讯协议 ,而XML逐渐成为公认的一种代理通讯语言的发展方向。本文首先证明用XML对KQML消息进行描述是切实可行的。进而分析利用XML对KQML消息进行描述 。
- 沈琦殷兆麟赵雪峰
- 关键词：代理通信协议KQMLXML
