张震宇

作品数：8被引量：40H指数：5
导出分析报告
供职机构：中国科学院软件研究所更多>>
发文主题：软件测试测试用例排序谓词测试用例集更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机科学与探索》《小型微型计算机系统》《中国科技论文》《计算机学报》更多>>
所获基金：国家自然科学基金国家科技重大专项中央高校基本科研业务费专项资金香港特区政府研究资助局资助项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
程序覆盖进行错误自动定位方法的在线实验平台
《小型微型计算机系统》2016年第11期2397-2401,共5页刘誉臻 孙文辉 张震宇 石琼 
国家自然科学基金项目(61379045)资助
软件错误定位是软件测试领域的研究热点.基于覆盖的软件错误自动定位技术,利用概率模型对程序执行信息进行统计分析,估计程序语句与错误的相关度,预测错误位置.其最基本的思想是,错误语句往往较多地被失败用例覆盖而较少地被成功用例覆...
关键词：软件测试 错误定位 程序覆盖 公式编辑 实验平台 
程序断言与切片技术在检测程序非崩溃错误中的应用
《小型微型计算机系统》2014年第8期1699-1704,共6页邓超强 曾凡平 张辉 张震宇 董齐兴 
国家自然科学基金项目(61003027)资助;国家科技重大专项(2012ZX01039004)资助;安徽省自然科学基金项目(11040606M131)资助
针对程序非崩溃错误难以被发现的问题,提出一种基于程序断言与切片技术的程序执行监测方法:根据程序执行过程中断言是否被违反来检测程序异常,并根据断言违反信息对反馈的程序异常进行自动分类;在程序切片技术的帮助下,对分类后的程序...
关键词：断言 切片 程序执行监测 非崩溃错误 
基于谓词执行信息分析的自适应缺陷定位算法被引量：7
《计算机学报》2014年第3期500-511,共12页郝鹏 郑征 张震宇 高乙超 宫成 薛云志 
国家自然科学基金(60904066;61003027);国家科技重大专项经费(2012ZX01039-004)资助~~
查找程序中缺陷代码所在的位置是一项值得深入开展的研究,同时也是实际软件调试过程中所面临的一个难题,这一过程往往需要耗费大量的时间和人力资源.研究软件缺陷定位的一类重要方法是基于谓词的统计学缺陷定位方法(简称PBSFL).PBSFL通...
关键词：统计学缺陷定位 谓词执行信息 自适应 软件测试 程序分析中图法 
一种基于程序变异的软件错误定位技术被引量：15
《计算机学报》2013年第11期2236-2244,共9页贺韬 王欣明 周晓聪 李文军 张震宇 张成志 
国家自然科学基金(6103027);中山大学中央高校基本科研业务费专项资金(10LGZD05,1LGPY39);香港研究资助局项目(61210);国家科技重大专项经费(2012ZX01039-004)资助~~
发现软件不能正常运行后,如何定位错误代码在程序中的位置是软件开发一个众所周知的难点.最近许多软件自动调试技术通过分析成功和失败测试用例的覆盖信息辅助程序员定位错误代码,但这些技术的准确率会受到偶然性成功测试用例的影响.偶...
关键词：软件调试 错误定位 程序变异分析 软件工程 
类别比例对缺陷定位稳定性影响的实验研究
《计算机科学与探索》2013年第6期505-517,共13页宫成 郑征 张震宇 郝鹏 饶培峰 高乙超 
国家自然科学基金Nos.60904066;61003027;国家科技重大专项No.2012zx01039-004~~
软件缺陷定位技术通过比较程序正确与错误运行过程中的不同行为特征,找出导致错误运行行为的代码。任意一种软件缺陷定位算法都有其适用的环境或条件,如果能够在其设计与选择过程中考虑到这些因素,将对提升算法的使用效果起到积极作用...
关键词：缺陷定位 程序谱 类别比例 定位稳定性 
基于马尔可夫模型的软件错误定位方法被引量：9
《计算机学报》2013年第2期445-456,共12页张云乾 郑征 季晓慧 张文博 张震宇 
国家自然科学基金项目"持续集成中的回归测试和错误定位"(61003027)资助~~
软件调试是软件开发的重要环节.统计错误定位技术通过分析程序执行频谱来估计程序中错误所在的位置.针对不同类型的程序频谱,此类技术建立不同的启发式模型描述程序行为.已有研究表明,其准确度同目标错误和程序类型相关,且不存在某种普...
关键词：软件错误定位 软件错误类型 错误类型预测 马尔可夫模型 
基于关联挖掘的软件错误定位方法被引量：9
《计算机学报》2012年第12期2528-2540,共13页赵磊 王丽娜 高东明 张震宇 熊作婷 
国家自然科学基金(90718006;60970114;61003027;61073006);教育部博士研究生学术新人项目资助~~
基于覆盖率的错误定位(Coverage Based Fault Localization,CBFL)方法旨在通过分析程序执行的结果预测错误信息,是一种行之有效的错误定位方法.然而,CBFL方法中代码覆盖率的独立统计忽略了程序内存在的复杂控制依赖和数据依赖,从而忽视...
关键词：软件调试 错误定位 关联挖掘 覆盖向量 频繁集 
一种基于模型结合的错误定位方法被引量：6
《中国科技论文》2012年第1期19-27,共9页唐启锋 许蕾 钱巨 陈林 张震宇 
国家自然科学基金资助项目(90818027,61170071,60903026);江苏省自然科学基金资助项目(BK2011190)
目前大多数错误定位技术的研究均基于单一类型的程序节点(如语句、谓词等),其效果往往只在定位相应类型的错误时表现较好,而定位其他类型的程序错误时则表现不佳。为此,借鉴机器学习领域中集成学习的思想,建立多错误定位方法相结合的错...
关键词：错误定位.集成学习 程序分析 软件调试 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部