杨海燕
- 作品数:69 被引量:482H指数:6
- 供职机构:北京航空航天大学计算机学院更多>>
- 发文基金:国家自然科学基金国家科技重大专项更多>>
- 相关领域:自动化与计算机技术文化科学航空宇航科学技术理学更多>>
- 基于决策路径的DNN模型鲁棒性测试样本扰动生成方法
- 2025年
- 随着深度神经网络(DNN)内部结构日益复杂化,人们对其内部运行机理很难有直观的了解,模型出错的概率也大大增加,因此需要一种有效的DNN鲁棒性测试方法来解决模型的信任危机,以保证软件系统的可靠性和安全性。现有DNN鲁棒性测试方法多以神经元覆盖率为目标进行扰动样本的生成,并没有引入更多有关模型内部的信息,导致扰动程度过高,且生成的扰动样本存在大量冗余,对模型鲁棒性的提升能力十分有限。为此,提出了基于DNN决策路径的鲁棒性测试样本扰动生成方法(DEPIPE),用待测模型最后一层卷积层构造决策树,对决策树中决策路径涉及的滤波器进行归因分析并求出影响因子,最后利用决策路径和影响因子来指导扰动样本的生成。试验结果表明,所生成的扰动样本在扰动程度上平均比现有更先进的模糊测试方法DLFuzz降低了78%,在扰动的原始样本数量上平均增加27.7%。
- 吴际聂彦凯曹鸿宇樊湘钰孙青杨海燕
- 关键词:鲁棒性测试决策树
- 面向软件安全性需求分析过程的追踪模型被引量:2
- 2017年
- 追踪性即关联一些制品及其中各种相关要素的机制或能力。安全关键系统开发不仅包括一般系统的开发过程,更重要的是必需要有独立的安全性分析,建立并验证系统的安全性需求。目前针对安全性分析过程的追踪性研究较少。安全相关标准如ARP-4761和DO 178C等提供了安全性分析过程的指导意见,然而其由于涉及的概念和方法很多,因此在实际应用和研究中常会忽略对一些关键信息的追踪。此外,软件安全性需求分析不仅应考虑系统到软件的安全性分析,还应考虑软件到系统的安全性分析。面向软件安全性需求分析过程建立安全性相关信息的双向追踪,有助于了解安全性需求的前因后果,为验证工作和影响分析提供便利。参照标准,构建面向软件安全性需求分析过程的追踪模型。
- 郑培真苑春春刘超吴际杨海燕胡宁
- 一种基于模板的安全案例建模方法
- 本发明涉及一种基于模板的安全案例建模方法,所述方法包括以下步骤:对安全案例进行领域分析,提取安全案例的概念、关系及约束;对安全案例建模,建立安全案例元模型存储在数据库中;根据元模型建立安全案例模板存储在数据库中,包括安全...
- 刘超孙艺杨海燕吴际
- 一种基于测试数据的软件质量评价方法
- 一种基于测试数据来对软件质量进行评价的方法,首先确定功能性测试用例集评价公式和非功能性测试用例集评价公式,根据测试用例集评价公式确定软件质量子特性评价公式,根据软件质量子特性评价公式确定软件质量特性评价公式,根据软件质量...
- 晏海华钱红兵惠喻张茂林杨海燕何智涛贾兴华
- 采用模块安全性分析获取软件安全性需求的方法
- 本发明涉及一种采用模块安全性分析获取软件安全性需求的方法,包括:针对每个子系统,根据子系统中需要进行安全性分析的需求开发模块,在计算机终端中建立对应的安全性分析模块;根据从数据库输入的功能性信息以及设计决策信息,对该子系...
- 刘超郑培真杨海燕吴际
- 机载安全关键系统的安全性需求追踪链建立和维护的方法
- 本发明涉及一种机载安全关键系统的安全性需求追踪链建立和维护的方法,包括:从系统分配到软件时,预先定义软件高层安全性需求模板;基于所述软件高层安全性需求模板以及预定义的追踪实体之间的追踪关系,建立追踪链;本发明在系统安全性...
- 刘超邓明丽杨海燕吴际
- 一种面向网络应用系统的测试用例选择与扩充方法
- 本发明涉及一种面向网络应用系统的测试用例选择与扩充方法,通过对测试用例集进行解析、去冗余化处理、利用机器学习方法对测试数据进行训练等步骤,最后采用TTCN‑3测试标准生成具有更高故障探测效能的新测试用例集。本发明的方法解...
- 吴际袁斯骏杨海燕刘超
- “编译技术”实践环节的质量管理体系及实践被引量:4
- 2009年
- "编译技术"作为一门核心专业必修课,其实践环节对本科学生培养动手能力有重要作用。但在教学过程中,笔者发现对于这种软件类课程的实践环节而言,通常的题目设置和考核方案并不能真正确保学生独立完成、学有所获,在过程中加强监督和控制才是有效的办法。本文给出在教学实践中采用的质量管理体系,并通过两年来的应用情况分析了该体系的效果。
- 杨海燕史晓华张莉
- 一种通用测试文档的生成方法
- 本发明涉及一种通用测试文档的生成方法,包含两个步骤:步骤一:定制文档模板;定制文档模板可以分为三个步骤:第一步,文档模板结构定义;第二步,文档模板内容样式定义;第三步,生成XML描述文件保存入库;步骤二:文档生成:首先,...
- 晏海华钱红兵杨海燕何智涛张茂林
- 面向对象度量的研究被引量:6
- 2001年
- 度量技术是保证软件质量的重要手段,它定量地反映了软件某一方面的特征。随着面向对象技术的发展,传统的结构化度量不再适合面向对象的软件,因此出现了不少针对面向对象程序的度量,这些度量在一定程度上反映了面向对象软件的若干方面的特征。文章详细分析了面向对象软件的主要特征,在此基础上介绍了现在常见的几组面向对象度量和它们的应用价值,并且分析了它们的不足之处。最后,提出了几个构造面向对象度量应该遵循的准则。
- 陈起钱红兵高仲仪杨海燕
- 关键词:软件质量软件开发面向对象源代码