张震宇
作品数: 35被引量:41H指数:5
  • 所属机构:中国科学院软件研究所
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

刘畅
作品数:16被引量:39H指数:1
供职机构:中国科学院软件研究所
研究主题:C-V 攻击防御 程序源代码 安全防御 缓冲区溢出
郑征
作品数:68被引量:89H指数:7
供职机构:北京航空航天大学
研究主题:测试用例 无人机 谓词 航路 排序
郝鹏
作品数:10被引量:16H指数:2
供职机构:北京航空航天大学
研究主题:谓词 测试用例 统计学 排序 谓词执行
孙成龙
作品数:4被引量:0H指数:0
供职机构:中国科学院软件研究所
研究主题:程序信息 测试系统 计算机视觉 模板匹配算法 准确率
李恒
作品数:4被引量:0H指数:0
供职机构:中国科学院软件研究所
研究主题:语句 程序语句 程序结构 曲面表示 排序
基于谓词执行信息分析的自适应缺陷定位算法被引量:7
2014年
查找程序中缺陷代码所在的位置是一项值得深入开展的研究,同时也是实际软件调试过程中所面临的一个难题,这一过程往往需要耗费大量的时间和人力资源.研究软件缺陷定位的一类重要方法是基于谓词的统计学缺陷定位方法(简称PBSFL).PBSFL通过比较程序运行成功与失败时谓词的执行信息差异来获得谓词与缺陷的关联程度.然而实验研究发现,固定算法中信息利用的强度会造成信息利用不足或过分利用现象的发生,导致现有PBSFL方法对某些缺陷定位不够准确.针对这一问题,文中设计了一种基于谓词执行信息分析的自适应缺陷定位算法,该算法通过分析测试用例运行时谓词的执行情况来动态地为每个谓词选择合适的信息利用强度.实验结果表明,该方法在Siemens和space两个程序包上表现出很好的定位效果以及定位稳定性.
郝鹏郑征张震宇高乙超宫成薛云志
关键词:自适应软件测试
一种基于程序结构影响感知的软件错误定位方法
本发明公开了一种基于程序结构影响感知的软件错误定位方法,步骤包括:提取程序集中各版本的程序语句的覆盖信息—错误语句在所有失败的程序执行中运行的次数和语句在所有成功的程序执行中运行的次数,选择某种可疑度函数,计算错误语句的...
李恒张震宇刘畅
文献传递
一种基于程序变异的软件错误定位技术被引量:16
2013年
发现软件不能正常运行后,如何定位错误代码在程序中的位置是软件开发一个众所周知的难点.最近许多软件自动调试技术通过分析成功和失败测试用例的覆盖信息辅助程序员定位错误代码,但这些技术的准确率会受到偶然性成功测试用例的影响.偶然性成功测试用例执行了错误代码,但却没有引发失败的测试结果.研究表明这种测试用例在实际测试中广泛存在,而它们的存在会显著降低错误定位的准确率.针对此问题,文中提出一种称为Muffler的技术.Muffler使用程序变异分析来修正错误代码定位结果,以提高定位的准确率.文中利用8个在错误代码定位研究领域广泛使用的基准程序验证了Muffler的有效性.实验结果表明,与传统错误代码定位技术相比,Muffler能减少程序员50.26%的错误定位代价.
贺韬王欣明周晓聪李文军张震宇张成志
关键词:软件工程
一种基于自适应随机测试的Sql注入漏洞自动检测平台及方法
本发明涉及一种基于自适应随机测试的Sql注入漏洞自动检测平台及方法,该检测平台运行于Ubuntu 14.10操作系统,通过对测试用例进行初始化,分析、提取测试用例特征向量,并对测试用例进行向量化表示,使用HTTP请求向测...
张东红张震宇汪诚弘
类别比例对缺陷定位稳定性影响的实验研究
2013年
软件缺陷定位技术通过比较程序正确与错误运行过程中的不同行为特征,找出导致错误运行行为的代码。任意一种软件缺陷定位算法都有其适用的环境或条件,如果能够在其设计与选择过程中考虑到这些因素,将对提升算法的使用效果起到积极作用。在已有研究的基础上,选择了Tarantula、Zoltar等10种具有代表性的基于程序谱的缺陷定位算法作为研究对象,并通过语句级别的插桩设置,在space、flex等常用程序集上展开实验研究,提出了一种度量指标来评估不同算法受测试用例集类别比例变动的影响。实验结果表明,不同算法受类别比例变动的影响有很大差异,一些算法的定位效率受类别比例变动的影响较小,而其他算法的定位效率在类别比例变动时则呈现出跳变特性。
宫成郑征张震宇郝鹏饶培峰高乙超
一种三维曲面表示的软件错误定位方法
本发明涉及一种三维曲面表示的软件错误定位方法,属于软件测试领域,步骤包括:提取训练程序集中各版本的错误语句的运行特征,选择某种可疑度函数,计算错误语句的可疑度,并进行聚类,获取该聚类的中心,每个聚类中心的特征就代表了一种...
张震宇石琼李恒
文献传递
一种基于测试用例构建决策树的程序条件语句自动化修复系统及方法
本发明涉及一种基于测试用例构建决策树的程序条件语句自动化修复系统及方法,针对程序的条件语句,从测试用例集的执行信息产生用于训练的数据集,引入决策树进行监督学习的方法产生补丁代码进行修复,并且利用一定的搜索策略克服了错误的...
刘誉臻张震宇
文献传递
一种基于代码注入的移动端应用测试系统及方法
本发明公开了一种基于代码注入的移动端应用测试系统及方法,包括进程劫持模块,全自动化测试模块;进程劫持模块对系统进程进行检测,如果进程存在则获取进程的唯一标识符,对进程进行劫持,如果劫持成功,注入用于获取进程信息的代码,用...
黄甜张震宇
文献传递
一种恶意代码自动化检测平台及方法
本发明涉及恶意代码自动化检测平台及方法,通过自动化采集可执行样本,对其进行筛选、检测等预处理,对可执行样本进行反汇编,提取其操作码特征,根据提取的操作码特征对样本进行向量化表示,并使用向量化表示的样本训练恶意代码分类检测...
张东红张震宇
文献传递
基于机器学习的动态比例测试用例排序选择方法及系统
本发明公开一种基于机器学习的动态比例测试用例排序选择方法及系统,属于软件测试领域技术,采集待测程序的历史版本执行结果并制作训练样本,使用不同程序的训练样本组成通用训练集,利用该通用训练集训练机器学习模型;采集待测程序的测...
李梓劼崔炳轶张震宇