杨海燕
- 作品数：69 被引量：482H指数：6
- 供职机构：北京航空航天大学计算机学院更多>>
- 发文基金：国家自然科学基金国家科技重大专项更多>>
- 相关领域：自动化与计算机技术文化科学航空宇航科学技术理学更多>>
- 基于决策路径的DNN模型鲁棒性测试样本扰动生成方法
- 2025年
- 随着深度神经网络(DNN)内部结构日益复杂化,人们对其内部运行机理很难有直观的了解,模型出错的概率也大大增加,因此需要一种有效的DNN鲁棒性测试方法来解决模型的信任危机,以保证软件系统的可靠性和安全性。现有DNN鲁棒性测试方法多以神经元覆盖率为目标进行扰动样本的生成,并没有引入更多有关模型内部的信息,导致扰动程度过高,且生成的扰动样本存在大量冗余,对模型鲁棒性的提升能力十分有限。为此,提出了基于DNN决策路径的鲁棒性测试样本扰动生成方法(DEPIPE),用待测模型最后一层卷积层构造决策树,对决策树中决策路径涉及的滤波器进行归因分析并求出影响因子,最后利用决策路径和影响因子来指导扰动样本的生成。试验结果表明,所生成的扰动样本在扰动程度上平均比现有更先进的模糊测试方法DLFuzz降低了78%,在扰动的原始样本数量上平均增加27.7%。
- 吴际聂彦凯曹鸿宇樊湘钰孙青杨海燕
- 关键词：鲁棒性测试决策树
- 面向软件安全性需求分析过程的追踪模型被引量：2
- 2017年
- 追踪性即关联一些制品及其中各种相关要素的机制或能力。安全关键系统开发不仅包括一般系统的开发过程,更重要的是必需要有独立的安全性分析,建立并验证系统的安全性需求。目前针对安全性分析过程的追踪性研究较少。安全相关标准如ARP-4761和DO 178C等提供了安全性分析过程的指导意见,然而其由于涉及的概念和方法很多,因此在实际应用和研究中常会忽略对一些关键信息的追踪。此外,软件安全性需求分析不仅应考虑系统到软件的安全性分析,还应考虑软件到系统的安全性分析。面向软件安全性需求分析过程建立安全性相关信息的双向追踪,有助于了解安全性需求的前因后果,为验证工作和影响分析提供便利。参照标准,构建面向软件安全性需求分析过程的追踪模型。
- 郑培真苑春春刘超吴际杨海燕胡宁
- 一种基于模板的安全案例建模方法
- 本发明涉及一种基于模板的安全案例建模方法，所述方法包括以下步骤：对安全案例进行领域分析，提取安全案例的概念、关系及约束；对安全案例建模，建立安全案例元模型存储在数据库中；根据元模型建立安全案例模板存储在数据库中，包括安全...
- 刘超孙艺杨海燕吴际
- 一种基于测试数据的软件质量评价方法
- 一种基于测试数据来对软件质量进行评价的方法，首先确定功能性测试用例集评价公式和非功能性测试用例集评价公式，根据测试用例集评价公式确定软件质量子特性评价公式，根据软件质量子特性评价公式确定软件质量特性评价公式，根据软件质量...
- 晏海华钱红兵惠喻张茂林杨海燕何智涛贾兴华
- 采用模块安全性分析获取软件安全性需求的方法
- 本发明涉及一种采用模块安全性分析获取软件安全性需求的方法，包括：针对每个子系统，根据子系统中需要进行安全性分析的需求开发模块，在计算机终端中建立对应的安全性分析模块；根据从数据库输入的功能性信息以及设计决策信息，对该子系...
- 刘超郑培真杨海燕吴际
- 机载安全关键系统的安全性需求追踪链建立和维护的方法
- 本发明涉及一种机载安全关键系统的安全性需求追踪链建立和维护的方法，包括：从系统分配到软件时，预先定义软件高层安全性需求模板；基于所述软件高层安全性需求模板以及预定义的追踪实体之间的追踪关系，建立追踪链；本发明在系统安全性...
- 刘超邓明丽杨海燕吴际
- 一种面向网络应用系统的测试用例选择与扩充方法
- 本发明涉及一种面向网络应用系统的测试用例选择与扩充方法，通过对测试用例集进行解析、去冗余化处理、利用机器学习方法对测试数据进行训练等步骤，最后采用TTCN‑3测试标准生成具有更高故障探测效能的新测试用例集。本发明的方法解...
- 吴际袁斯骏杨海燕刘超
- 软件可测试性研究综述
- 本文首先介绍了进行软件可测试性研究的背景和国内外有关研究现状,包括软件可测试性的定义以及可测试性的测方法,然后对作者在软件可测试性研究项目中所做的工作进行了介绍.
- 杨海燕高仲仪
- 关键词：可测试性软件测试
- 基于测试特征的软件可靠性指标区间估计方法
- 本发明涉及一种基于测试特征的软件可靠性指标区间估计方法，包括：从多个角度对测试特征进行分析，设计相应准则对测试特征进行度量，得到测试特征度量结果；根据测试特征度量结果与可靠性指标的关系，构建可靠性指标与测试特征度量的回归...
- 刘超鲍力杨海燕吴际
- 基于地址链的内存垃圾收集器中对象状态的跟踪记录方法
- 本发明提供了一种基于地址链的内存垃圾收集器中对象状态的跟踪记录方法，应用于编译器软件和运行时系统技术领域。本发明方法针对内存垃圾收集器中发生新增对象、访问对象、移动对象或释放对象不同事件时，在地址链表中记录不同内容的信息...
- 史晓华谢君如孙清越杨海燕
