杨海燕

作品数：29被引量：458H指数：6
导出分析报告
供职机构：北京航空航天大学计算机学院更多>>
发文主题：软件质量自然语言描述元模型软件测试安全性需求更多>>
发文领域：自动化与计算机技术文化科学航空宇航科学技术理学更多>>
发文期刊：《计算机工程与设计》《北京航空航天大学学报》《计算机教育》《系统工程与电子技术》更多>>
所获基金：国家自然科学基金国家科技重大专项更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于决策路径的DNN模型鲁棒性测试样本扰动生成方法
《宇航计测技术》2025年第2期72-82,共11页吴际 聂彦凯 曹鸿宇 樊湘钰 孙青 杨海燕 
随着深度神经网络(DNN)内部结构日益复杂化,人们对其内部运行机理很难有直观的了解,模型出错的概率也大大增加,因此需要一种有效的DNN鲁棒性测试方法来解决模型的信任危机,以保证软件系统的可靠性和安全性。现有DNN鲁棒性测试方法多以...
关键词：深度神经网络 鲁棒性测试 决策树 特征归因 扰动样本 
基于日志挖掘的微服务测试集缩减技术被引量：1
《软件学报》2021年第9期2729-2743,共15页陈立哲 吴际 杨海燕 张奎 
国防科技创新特权。
微服务系统每轮迭代过程中都需要进行回归测试,大量重复测试会造成资源浪费,可通过减少测试用例集的规模来降低成本,以提高测试效率.现有测试用例集缩减技术主要依赖系统规约和架构描述作为输入,对于具有服务自治、调用关系不确定等特...
关键词：微服务 软件测试 测试用例集缩减 日志挖掘 API网关层 
基于维修日志的飞机设备故障原因判别方法被引量：14
《软件学报》2019年第5期1375-1385,共11页王锐光 吴际 刘超 杨海燕 
在飞机维修与保养过程中,航空维修公司已积累了大量经验性的维修日志数据.合理利用该类维修日志,结合机器学习方法,可以辅助维修人员做出正确的故障诊断决策.首先,针对维修日志的特殊性,提出一种迭代式的故障诊断基本过程;其次,在传统...
关键词：故障诊断 维修日志 卷积神经网络 随机森林 
目标符合性论证中成本优化的证据收集方法
《计算机科学与探索》2018年第10期1594-1603,共10页李璇 吴际 刘超 杨海燕 
民用飞机专项科研项目No.MJ-S-2013-10~~
面向标准的目标符合性论证是适航认证领域的重要研究内容。论证过程中,在已有证据不足以表明目标符合性论证结果满足期望要求时,有必要进一步收集证据。然而,由于缺少有效的方法帮助划定证据收集范围和收集力度,导致证据收集的结果往往...
关键词：目标符合性 证据收集 证据收集成本 收集力度 
基于多视角卡牌模型的需求缺陷检测
《计算机科学》2018年第10期183-188,共6页苏若 吴际 刘超 杨海燕 
民用飞机专项科研项目(MJ-S-2013-10)资助
需求来源于不同利益相关方对现实系统的认识和期望。需求获取在整个软件产品的研发过程中至关重要,往往决定着软件产品的质量甚至成败。然而,由于各种复杂因素的影响,获取到的需求中往往存在不完整、不准确甚至冲突等缺陷。需求表达上...
关键词：多视角卡牌模型 需求获取 需求缺陷检测 
面向机载软件适航审查的软件计划阶段的证据模型
《计算机科学》2018年第9期52-59,共8页袁巍 吴际 刘超 杨海燕 
民用飞机专项科研项目(MJ-S-2013-10)资助
适航认证对机载软件至关重要,178C标准是重要的适航认证安全标准。Order8110.49指南提出了介入审查的适航认证方法,但是目前还未有对介入审查中软件计划阶段的178C目标符合性证据的研究。文中基于软件计划阶段需要审查的目标和DO-178C...
关键词：机载软件 适航审查 证据模型 DO-178C Order8110.49 
硬件系统自动化测试的多视角建模及案例研究被引量：3
《计算机科学》2018年第9期75-80,共6页孟翰 吴际 胡京徽 刘超 杨海燕 孙新颖 
科工局技术基础项目(JSZL2014601B008)资助
针对硬件设备的自动测试设备(ATE)的开发通常是一个冗长、耗时的任务,开发者需要向来自不同领域的专业人员了解被测设备的外部端口、信号、测试流程和信号检查等多种类型的信息,逐步确定开发需求。在该过程中,ATE的开发人员面临的最大...
关键词：自动测试设备 测试文档 多视角建模方法 一致性 
面向机载设备自动化测试的信号模型被引量：3
《计算机科学》2018年第9期94-98,共5页胡京徽 吴际 孟翰 刘超 杨海燕 
科工局技术基础项目(JSZL2014601B008)资助
在机载设备测试中,各种测试信号的准确定义和检测是保证飞行安全的关键因素。文中提出一种面向自动测试机载设备测试需求描述的信号模型,通过对机载设备测试需求中所涉及到的信号进行分类,以及将测试设备和被测设备之间传送的信号视作...
关键词：自动测试设备 机载设备测试 信号模型 
基于LSTM循环神经网络的故障时间序列预测被引量：366
《北京航空航天大学学报》2018年第4期772-784,共13页王鑫 吴际 刘超 杨海燕 杜艳丽 牛文生 
中国民用航空专项研究项目(MJ-S-2013-10);国防科工局技术基础项目(JSZL2014601B008);国家自然科学基金(61602237)~~
有效地预测使用阶段的故障数据对于合理制定可靠性计划以及开展可靠性维护活动等具有重要的指导意义。从复杂系统的历史故障数据出发,提出了一种基于长短期记忆(LSTM)循环神经网络的故障时间序列预测方法,包括网络结构设计、网络训练和...
关键词：长短期记忆(LSTM)模型 循环神经网络 故障时间序列预测 多层网格搜索 深度学习 
面向软件安全性需求分析过程的追踪模型被引量：2
《计算机科学》2017年第4期30-34,共5页郑培真 苑春春 刘超 吴际 杨海燕 胡宁 
某国家重点科研项目(MJ-S-2012-05)资助
追踪性即关联一些制品及其中各种相关要素的机制或能力。安全关键系统开发不仅包括一般系统的开发过程,更重要的是必需要有独立的安全性分析,建立并验证系统的安全性需求。目前针对安全性分析过程的追踪性研究较少。安全相关标准如ARP-4...
关键词：追踪性 软件安全性需求 安全性分析 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部