玄跻峰

作品数：5被引量：74H指数：3
导出分析报告
供职机构：武汉大学计算机学院更多>>
发文主题：软件质量保障测试工具自动化单元JAVA测试集更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《中国科学：信息科学》《计算机研究与发展》《软件学报》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划中国科学院知识创新工程领域前沿项目国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
缺陷报告质量研究综述被引量：1
《软件学报》2023年第1期171-196,共26页邹卫琴 张静宣 张霄炜 陈林 玄跻峰 
国家自然科学基金(62002161,61902181,61872177,61872273);CCF-腾讯犀牛鸟基金(RAGR20200106);中国博士后科学基金(2020M671489)。
在软件开发和维护过程中,缺陷修复人员通常根据由终端用户或者开发/测试者提交的缺陷报告来定位和修复缺陷.因此,缺陷报告本身的质量对修复人员能否快速准确定位并修复缺陷具有重要的作用.围绕缺陷报告质量的刻画及改进,研究人员开展了...
关键词：软件质量保障 缺陷定位与修复 缺陷报告质量 质量建模和改进 
软件崩溃研究进展被引量：2
《中国科学：信息科学》2019年第11期1383-1398,共16页顾咏丰 马萍 贾向阳 江贺 玄跻峰 
国家重点研发计划(批准号:2018YFB1003901);国家自然科学基金(批准号:61872273,61502345);湖北省技术创新重大专项(批准号:2017AAA125)资助项目
软件崩溃指程序的意外中断,是软件故障的一种严重表现形式.软件崩溃危害巨大:一方面,崩溃发生的反复性会带来较差的用户体验并影响公司的声誉;另一方面,崩溃发生的突然性会给用户造成巨大的甚至无法挽回的损失.随着现代软件的规模和复...
关键词：软件崩溃 崩溃分析 崩溃重现 崩溃定位 崩溃修复 程序调试 程序异常处理 
程序分析研究进展被引量：45
《软件学报》2019年第1期80-109,共30页张健 张超 玄跻峰 熊英飞 王千祥 梁彬 李炼 窦文生 陈振邦 陈立前 蔡彦 
国家重点基础研究发展计划(973)(2014CB340701);中国科学院前沿科学重点项目(QYZDJ-SSW-JSC036);国家自然科学基金(61772308;U1736209;61872273;61672045;61472440;61632015;61872445;61502465)~~
在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析...
关键词：程序分析 软件质量保障 静态分析 动态分析 
自动程序修复方法研究进展被引量：13
《软件学报》2016年第4期771-784,共14页玄跻峰 任志磊 王子元 谢晓园 江贺 
国家自然科学基金(61502345;61403057;61370144;61202032)~~
自动程序修复帮助开发者降低人工修复bug的成本.基于测试集的修复方法旨在生成能够通过测试集的代码补丁,以使程序正常运行.回顾了基于测试集的程序修复的现有文献,按照自动修复方法和实证基础两个方面陈述了研究进展.首先,将已有的自...
关键词：自动修复 遗传规划 基于搜索的软件工程 测试集 实证基础 
JUTA:一个Java自动化单元测试工具被引量：14
《计算机研究与发展》2010年第10期1840-1848,共9页严俊 郭涛 阮辉 玄跻峰 
国家自然科学基金项目(60903049);国家"八六三"高技术研究发展计划基金项目(2009AA01Z148;2009AA010313);中国科学院知识创新工程领域前沿项目(ISCAS2009-DR01)~~
描述了一个Java自动化的单元测试工具JUTA.JUTA首先调用工具Soot解析单个Java方法的源码,并将源码解析成一个控制流图.在此基础上,采用符号执行的方法分析控制流图上的路径.工具能够自动地产生满足覆盖率标准的程序的测试用例.这种方法...
关键词：Java单元测试 动态测试 静态测试 程序分析 符号执行 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部