玄跻峰
- 作品数:8 被引量:68H指数:3
- 供职机构:武汉大学计算机学院更多>>
- 发文基金:国家自然科学基金国家重点基础研究发展计划中国科学院知识创新工程领域前沿项目更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于进化优化的复杂软件测试数据自动生成理论与方法
- 巩敦卫罗钟铉姚香娟李征赵瑞莲江贺姜淑娟玄跻峰张艳梅张婉秋
- 该项目是计算机、自动化和应用数学等学科有机交叉、新颖且富有挑战性的研究方向,有非常明确的产业需求. 对于复杂软件的测试数据生成问题,传统的随机法和基于形式分析的方法往往难以奏效.采用进化算法生成复杂软件的测试数据,是近年...
- 关键词:
- 关键词:软件测试
- 缺陷报告质量研究综述被引量:1
- 2023年
- 在软件开发和维护过程中,缺陷修复人员通常根据由终端用户或者开发/测试者提交的缺陷报告来定位和修复缺陷.因此,缺陷报告本身的质量对修复人员能否快速准确定位并修复缺陷具有重要的作用.围绕缺陷报告质量的刻画及改进,研究人员开展了大量的研究工作,但尚未进行系统性的归纳.旨在对这些工作进行系统性地梳理,展示该领域的研究现状并为未来的研究方向提供参考意见.首先,总结了已有缺陷报告存在的质量问题,如关键信息缺失、信息错误等;接着,总结了对缺陷报告质量进行自动化建模的技术;然后,描述了一系列对缺陷报告质量进行改进的方法;最后,对未来研究可能面临的挑战和机遇进行了展望.
- 邹卫琴张静宣张霄炜陈林玄跻峰
- 关键词:软件质量保障
- 程序分析研究进展被引量:41
- 2019年
- 在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析等),特别是最近10余年的研究进展.进而介绍了针对不同类型软件(移动应用、并发软件、分布式系统、二进制代码等)的分析方法.最后展望了程序分析未来的研究方向和所面临的挑战.
- 张健张超张超玄跻峰王千祥梁彬梁彬窦文生李炼窦文生蔡彦
- 关键词:软件质量保障
- 软件崩溃研究进展
- 2019年
- 软件崩溃指程序的意外中断,是软件故障的一种严重表现形式.软件崩溃危害巨大:一方面,崩溃发生的反复性会带来较差的用户体验并影响公司的声誉;另一方面,崩溃发生的突然性会给用户造成巨大的甚至无法挽回的损失.随着现代软件的规模和复杂性不断增大,如何有效地防止和应对软件崩溃成为了热门研究问题.本文从软件崩溃的分析、重现、定位修复这3个方面出发,简要地回顾和总结了近年来软件崩溃的研究进展.
- 顾咏丰马萍贾向阳江贺玄跻峰
- 面向软件Bug仓库的数据分析及其应用
- 软件bug仓库是软件开发与维护中的大规模数据库。面向Bug仓库的数据分析是软件工程和数据分析的交叉领域,用以应对bug仓库中遇到的复杂问题。Bug仓库数据分析的目标是通过分析bug数据解决bug仓库相关的软件问题。本论文...
- 玄跻峰
- 关键词:数据分析数据归约
- 文献传递
- JUTA:一个Java自动化单元测试工具被引量:13
- 2010年
- 描述了一个Java自动化的单元测试工具JUTA.JUTA首先调用工具Soot解析单个Java方法的源码,并将源码解析成一个控制流图.在此基础上,采用符号执行的方法分析控制流图上的路径.工具能够自动地产生满足覆盖率标准的程序的测试用例.这种方法产生的所有测试用例都是可执行的,并且一般来说具有较小的测试用例数.如果用户能够合理地给出描述程序错误的断言,框架JUTA能够自动地检查源码中部分特定类型的错误.实验结果表明工具对Java单元代码的动态测试和静态测试均能在可接受的时间内给出有效的结果.
- 严俊郭涛阮辉玄跻峰
- 基于搜索的软件缺陷修复
- 软件工程珍视人类难以解决的问题的本质原因而非求到最好的解。文中就软件缺陷修复进行探讨,并提出基于搜索的优化方法,或智能计算,是缺陷修复的途径,但不是唯一途径。
- 玄跻峰
- 关键词:软件工程缺陷修复搜索算法
- 自动程序修复方法研究进展被引量:13
- 2016年
- 自动程序修复帮助开发者降低人工修复bug的成本.基于测试集的修复方法旨在生成能够通过测试集的代码补丁,以使程序正常运行.回顾了基于测试集的程序修复的现有文献,按照自动修复方法和实证基础两个方面陈述了研究进展.首先,将已有的自动修复方法划分为3类,分别是基于搜索的、基于代码穷举的和基于约束求解的补丁生成方法;其次,细致地描述了程序修复的实证研究基础以及该研究领域中的争议;然后,简要介绍了程序修复的相关技术作为修复方法的补充;最后做出总结,描述了面临的机遇和挑战.
- 玄跻峰任志磊王子元谢晓园江贺
- 关键词:测试集