严俊
- 作品数：24 被引量：101H指数：4
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划中国科学院知识创新工程领域前沿项目更多>>
- 相关领域：自动化与计算机技术天文地球医药卫生更多>>
- 针对Android资源泄漏的基准测试集的构造与评测被引量：2
- 2017年
- Android系统是目前最受欢迎的开放手机操作系统,然而高度的开放性也引来了许多问题,资源泄漏就是其中普遍存在的一个。对于Android系统出现的资源泄漏以及没有基于该漏洞的基准测试集被提出的问题,构造出了一套针对Android资源泄漏的基准测试集ResLeakBench。首先,参考Android官方文档以及观察大量的真实Android应用,整理出了Android程序中使用的资源操作以及它们常用的使用场景。然后,根据整理的信息自主构造了35个基准测试程序;另外,收集了35个资源使用相关的真实开源程序作为基准测试程序来保证测试集的实用性。最后,利用ResLeakBench对资源泄漏检测工具Relda2以及资源泄漏修复工具RelFix进行了有效性评测,发现了Relda2以及RelFix工具存在的问题。实验结果表明ResLeakBench针对资源泄漏问题是一套实用的基准测试集。
- 刘洁瑞巫雪青严俊杨红丽
- 关键词：基准测试程序ANDROID应用资源泄漏
- 基于汽车开放架构系统到统一软硬件表示的形式化系统模型转换和可靠性分析方法
- 本发明公开了一种基于汽车开放架构系统到统一软硬件表示的形式化系统模型转换和可靠性分析方法。本发明的主要思想是将汽车开放架构的分层结构映射成形式化的系统模型，分别包括具有软件应用冗余的抽象模块、硬件抽象模块、软件与硬件交互...
- 晏荣杰苏静严俊杨俊杰黄凯
- 文献传递
- 一种基于软件组合测试的回归测试用例重用方法
- 本发明公开了一种基于软件组合测试的回归测试用例重用方法，本发明所述方法主要包括以下步骤：计算新模型所有需要覆盖的组合；对于已有的每条测试用例尝试重用，若能重用，则将其转换为新模型下的测试用例，加入新的测试用例集，并去掉该...
- 张艳丽张智强严俊
- 一种基于代码转换的MC/DC覆盖准则的软件测试数据生成方法
- 本发明公开了一种基于代码转换的MC/DC覆盖准则的软件测试数据生成方法，输入为一段待测程序，输出为满足MC/DC覆盖准则的软件测试数据集合，步骤：1)定义待测程序的语句的类型；2)定义待测程序的语句的转换规则；3)根据步...
- 卢琼吴添勇严俊
- Python代码静态分析方法及装置
- 本公开涉及一种Python代码静态分析方法及装置，所述方法包括：获取Python项目的源代码，将源代码转化为抽象语法树；生成抽象对象，所述抽象对象用于模拟源代码在运行过程中创建的对象；基于抽象语法树与Python语法蕴含...
- 燕季薇张弛严俊
- 组合测试:原理与方法被引量：57
- 2009年
- 组合测试能够在保证错误检出率的前提下采用较少的测试用例测试系统.但是,组合测试用例集的构造问题的复杂度是NP完全的.组合测试方法的有效性和复杂性吸引了组合数学领域和软件工程领域的学者们对其进行深入的研究.总结了近年来在组合测试方面的研究进展,主要内容包括:组合测试准则的研究、组合测试生成问题与其他NP完全问题的联系、组合测试用例的数学构造方法、采用计算机搜索的组合测试生成方法以及基于组合测试的错误定位技术.
- 严俊张健
- 关键词：测试用例生成
- 一种基于软件组合测试的回归测试用例重用方法
- 本发明公开了一种基于软件组合测试的回归测试用例重用方法，本发明所述方法主要包括以下步骤：计算新模型所有需要覆盖的组合；对于已有的每条测试用例尝试重用，若能重用，则将其转换为新模型下的测试用例，加入新的测试用例集，并去掉该...
- 张艳丽张智强严俊
- 文献传递
- 基于分治法的神经网络修复方法
- 2023年
- 神经网络作为一种求解复杂问题的有效方法已经广泛应用于医学影像,自动驾驶等领域。然而,神经网络十分脆弱,对一个样本添加一点肉眼难以察觉的微小扰动就可能导致神经网络做出错误的判断。当神经网络出现了错误的行为,常用的修复方法是对神经网络进行重训练或者微调,然而这些方式需要较高的代价而且无法保证完全修复错误行为。在本文中,我们关注神经网络的完备修复问题,给定一个待修复的神经网络和一个目标样本集合,该问题要求修复后的神经网络在目标样本集合上表现出100%的正确率。在本文中,我们基于分治法的思想提出了一种神经网络修复方法。在该方法中,我们将目标样本集合不断划分为更小的集合,直到样本集合达到可接受的规模,之后对于划分得到的每一个集合逐个进行修复得到一个局部补丁,最后所有的局部补丁进行整合得到对于整个特征空间的补丁。在两个公开数据集上的实验表明我们的方法优于当前最先进的神经网络修复算法。针对对抗攻击和后门攻击生成的目标样本集合,我们的方法不仅完全修复了神经网络在目标样本集合上的行为,而且将网络在相同攻击方式生成的测试集上的准确率分别提高了55.79%和60.59%。同时,我们的方法可以避免修复后网络在标准测试集上的准确率大幅度降低。
- 孙朔严俊晏荣杰
- 关键词：神经网络分治法
- 基于Android平台的黑盒测试生成工具的研究对比被引量：2
- 2017年
- 随着移动互联网技术迅速发展,移动设备成为人们生活中必不可少的部分,其中Android手机占有了智能手机的主要市场。相对于传统软件,Android应用易于发布、开发周期短,但其质量常常难以保证。软件测试是用于保证软件质量的最常用方法,其中关键的步骤是如何生成合适的测试用例,而对于事件驱动型Android应用程序,关键在于如何生成合理的事件序列辅助测试过程。目前,已有一些研究者开发了面向Android应用的测试事件生成工具。针对三种典型的测试生成工具,分析了其工作原理与特性;并选取覆盖多种类别的40个应用程序作为基准测试集,设计了统一的测试框架,对工具的兼容性、易用性、测试时间和程序覆盖能力等特点进行了分析与对比,并根据相关测试工具的缺陷提出一定的创新性的解决方案。
- 燕季薇黄晓伟严俊张健杨红丽
- 关键词：ANDROID应用黑盒测试
- 基于标签统计和结果后处理的目标检测系统运行时监测方法
- 本发明公开了一种基于标签统计和结果后处理的目标检测系统运行时监测方法，包括基于已标注的样本目标，生成检测目标的先验知识；基于第i帧图像中新检测目标的目标检测框，构建该新检测目标的监测序列；针对第j帧图像中各检测目标，利用...
- 陈宇航晏荣杰严俊
- 文献传递
