-
严俊
-
-
- 所属机构:中国科学院软件研究所
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 张健
- 作品数:27被引量:248H指数:8
- 供职机构:中国科学院软件研究所
- 研究主题:一阶逻辑 程序静态分析 软件测试 软件开发 并发程序
- 杨红丽
- 作品数:29被引量:64H指数:5
- 供职机构:北京工业大学
- 研究主题:XML SCHEMA 数据收集协议 无线传感器网络 XML_SCHEMA
- 阮辉
- 作品数:3被引量:22H指数:2
- 供职机构:中国科学院软件研究所
- 研究主题:测试工具 自动化单元 JAVA 测试数据 死循环
- 曾凡平
- 作品数:64被引量:194H指数:8
- 供职机构:中国科学技术大学计算机科学与技术学院
- 研究主题:测试用例 漏洞挖掘 FUZZING 软件测试 程序不变量
- 晏荣杰
- 作品数:29被引量:113H指数:6
- 供职机构:中国科学院软件研究所
- 研究主题:仿真测试 自动驾驶系统 软件复用 软件体系结构 软件工程
- 针对Android资源泄漏的基准测试集的构造与评测被引量:2
- 2017年
- Android系统是目前最受欢迎的开放手机操作系统,然而高度的开放性也引来了许多问题,资源泄漏就是其中普遍存在的一个。对于Android系统出现的资源泄漏以及没有基于该漏洞的基准测试集被提出的问题,构造出了一套针对Android资源泄漏的基准测试集ResLeakBench。首先,参考Android官方文档以及观察大量的真实Android应用,整理出了Android程序中使用的资源操作以及它们常用的使用场景。然后,根据整理的信息自主构造了35个基准测试程序;另外,收集了35个资源使用相关的真实开源程序作为基准测试程序来保证测试集的实用性。最后,利用ResLeakBench对资源泄漏检测工具Relda2以及资源泄漏修复工具RelFix进行了有效性评测,发现了Relda2以及RelFix工具存在的问题。实验结果表明ResLeakBench针对资源泄漏问题是一套实用的基准测试集。
- 刘洁瑞巫雪青严俊杨红丽
- 关键词:基准测试程序ANDROID应用资源泄漏
- Java程序中数组越界和空指针错误的静态分析被引量:2
- 2009年
- 介绍了静态分析的相关背景知识,对Java程序中数组越界和空指针错误的常见表现形式进行了归类,并通过实验评估了现有的Java静态分析工具功能,指出了其在跨过程分析中的不足,并对如何改进进行了讨论。
- 陈柏强郭涛阮辉严俊
- 关键词:JAVA代码数组越界
- 软件兼容性测试的故障定位分析被引量:4
- 2013年
- 为了有效降低软件兼容性测试的测试成本,提高测试精度和简化测试过程,设计了一种基于组合测试的建模方案。基于该建模方案,提出了一种软件兼容性测试的故障定位分析方法。该方法首先针对需要进行兼容性测试的软件集建立组合测试模型;然后用组合测试用例生成工具Cascade对该模型生成测试用例集,并执行这些测试用例集得到结果;最后将这些测试用例及其执行结果作为组合测试错误定位工具Facil的输入,从而精确定位出发生兼容性错误的软件组合。实验表明,该方法步骤简捷,结果有效、可靠,在一定程度上降低了测试成本,提高了测试精度,简化了测试过程。
- 赵勇张智强严俊张健
- 基于Android平台的隐私泄漏静态检测工具的分析与比较被引量:2
- 2017年
- 近年来,Android平台应用程序的隐私泄漏问题受到越来越多的关注。应用程序恶意获取用户隐私信息将会增加智能手机用户的隐私泄漏风险,针对该问题,国内外研究人员研究并提出了多种Android平台应用程序的隐私泄漏检测工具。对9种Android平台应用程序的隐私泄漏静态检测工具进行了分析与比较,总结了这些静态检测工具的检测对象、检测方法、能够检测的错误类型和检测效果,并为两种开源工具FlowDroid和IccTA设计了相关实验,以检验其性能及检测效果。针对50个下载的应用程序,FlowDroid成功检测出9个应用存在隐私泄漏,IccTA成功检测到7个组件间泄漏;针对12个自主设计的测试集,FlowDroid和IccTA都成功检测出其中涉及的多种隐私泄漏。
- 燕季薇李明素卢琼严俊高红雨
- 关键词:ANDROID应用
- 一种基于软件组合测试的回归测试用例重用方法
- 本发明公开了一种基于软件组合测试的回归测试用例重用方法,本发明所述方法主要包括以下步骤:计算新模型所有需要覆盖的组合;对于已有的每条测试用例尝试重用,若能重用,则将其转换为新模型下的测试用例,加入新的测试用例集,并去掉该...
- 张艳丽张智强严俊
- 一种基于代码转换的MC/DC覆盖准则的软件测试数据生成方法
- 本发明公开了一种基于代码转换的MC/DC覆盖准则的软件测试数据生成方法,输入为一段待测程序,输出为满足MC/DC覆盖准则的软件测试数据集合,步骤:1)定义待测程序的语句的类型;2)定义待测程序的语句的转换规则;3)根据步...
- 卢琼 吴添勇严俊
- Python代码静态分析方法及装置
- 本公开涉及一种Python代码静态分析方法及装置,所述方法包括:获取Python项目的源代码,将源代码转化为抽象语法树;生成抽象对象,所述抽象对象用于模拟源代码在运行过程中创建的对象;基于抽象语法树与Python语法蕴含...
- 燕季薇张弛严俊
- 组合测试:原理与方法被引量:58
- 2009年
- 组合测试能够在保证错误检出率的前提下采用较少的测试用例测试系统.但是,组合测试用例集的构造问题的复杂度是NP完全的.组合测试方法的有效性和复杂性吸引了组合数学领域和软件工程领域的学者们对其进行深入的研究.总结了近年来在组合测试方面的研究进展,主要内容包括:组合测试准则的研究、组合测试生成问题与其他NP完全问题的联系、组合测试用例的数学构造方法、采用计算机搜索的组合测试生成方法以及基于组合测试的错误定位技术.
- 严俊张健
- 关键词:测试用例生成
- 一种基于软件组合测试的回归测试用例重用方法
- 本发明公开了一种基于软件组合测试的回归测试用例重用方法,本发明所述方法主要包括以下步骤:计算新模型所有需要覆盖的组合;对于已有的每条测试用例尝试重用,若能重用,则将其转换为新模型下的测试用例,加入新的测试用例集,并去掉该...
- 张艳丽张智强严俊
- 文献传递
- 基于分治法的神经网络修复方法
- 2023年
- 神经网络作为一种求解复杂问题的有效方法已经广泛应用于医学影像,自动驾驶等领域。然而,神经网络十分脆弱,对一个样本添加一点肉眼难以察觉的微小扰动就可能导致神经网络做出错误的判断。当神经网络出现了错误的行为,常用的修复方法是对神经网络进行重训练或者微调,然而这些方式需要较高的代价而且无法保证完全修复错误行为。在本文中,我们关注神经网络的完备修复问题,给定一个待修复的神经网络和一个目标样本集合,该问题要求修复后的神经网络在目标样本集合上表现出100%的正确率。在本文中,我们基于分治法的思想提出了一种神经网络修复方法。在该方法中,我们将目标样本集合不断划分为更小的集合,直到样本集合达到可接受的规模,之后对于划分得到的每一个集合逐个进行修复得到一个局部补丁,最后所有的局部补丁进行整合得到对于整个特征空间的补丁。在两个公开数据集上的实验表明我们的方法优于当前最先进的神经网络修复算法。针对对抗攻击和后门攻击生成的目标样本集合,我们的方法不仅完全修复了神经网络在目标样本集合上的行为,而且将网络在相同攻击方式生成的测试集上的准确率分别提高了55.79%和60.59%。同时,我们的方法可以避免修复后网络在标准测试集上的准确率大幅度降低。
- 孙朔严俊晏荣杰
- 关键词:神经网络分治法