杨海燕
- 作品数：68 被引量：471H指数：6
- 供职机构：北京航空航天大学计算机学院更多>>
- 发文基金：国家自然科学基金国家科技重大专项更多>>
- 相关领域：自动化与计算机技术文化科学航空宇航科学技术理学更多>>
- 面向软件安全性需求分析过程的追踪模型被引量：2
- 2017年
- 追踪性即关联一些制品及其中各种相关要素的机制或能力。安全关键系统开发不仅包括一般系统的开发过程,更重要的是必需要有独立的安全性分析,建立并验证系统的安全性需求。目前针对安全性分析过程的追踪性研究较少。安全相关标准如ARP-4761和DO 178C等提供了安全性分析过程的指导意见,然而其由于涉及的概念和方法很多,因此在实际应用和研究中常会忽略对一些关键信息的追踪。此外,软件安全性需求分析不仅应考虑系统到软件的安全性分析,还应考虑软件到系统的安全性分析。面向软件安全性需求分析过程建立安全性相关信息的双向追踪,有助于了解安全性需求的前因后果,为验证工作和影响分析提供便利。参照标准,构建面向软件安全性需求分析过程的追踪模型。
- 郑培真苑春春刘超吴际杨海燕胡宁
- 一种基于模板的安全案例建模方法
- 本发明涉及一种基于模板的安全案例建模方法，所述方法包括以下步骤：对安全案例进行领域分析，提取安全案例的概念、关系及约束；对安全案例建模，建立安全案例元模型存储在数据库中；根据元模型建立安全案例模板存储在数据库中，包括安全...
- 刘超孙艺杨海燕吴际
- 文献传递
- 一种基于测试数据的软件质量评价方法
- 一种基于测试数据来对软件质量进行评价的方法，首先确定功能性测试用例集评价公式和非功能性测试用例集评价公式，根据测试用例集评价公式确定软件质量子特性评价公式，根据软件质量子特性评价公式确定软件质量特性评价公式，根据软件质量...
- 晏海华钱红兵惠喻张茂林杨海燕何智涛贾兴华
- 文献传递
- 采用模块安全性分析获取软件安全性需求的方法
- 本发明涉及一种采用模块安全性分析获取软件安全性需求的方法，包括：针对每个子系统，根据子系统中需要进行安全性分析的需求开发模块，在计算机终端中建立对应的安全性分析模块；根据从数据库输入的功能性信息以及设计决策信息，对该子系...
- 刘超郑培真杨海燕吴际
- 文献传递
- 机载安全关键系统的安全性需求追踪链建立和维护的方法
- 本发明涉及一种机载安全关键系统的安全性需求追踪链建立和维护的方法，包括：从系统分配到软件时，预先定义软件高层安全性需求模板；基于所述软件高层安全性需求模板以及预定义的追踪实体之间的追踪关系，建立追踪链；本发明在系统安全性...
- 刘超邓明丽杨海燕吴际
- 一种面向网络应用系统的测试用例选择与扩充方法
- 本发明涉及一种面向网络应用系统的测试用例选择与扩充方法，通过对测试用例集进行解析、去冗余化处理、利用机器学习方法对测试数据进行训练等步骤，最后采用TTCN‑3测试标准生成具有更高故障探测效能的新测试用例集。本发明的方法解...
- 吴际袁斯骏杨海燕刘超
- 文献传递
- 软件可测试性研究综述
- 本文首先介绍了进行软件可测试性研究的背景和国内外有关研究现状,包括软件可测试性的定义以及可测试性的测方法,然后对作者在软件可测试性研究项目中所做的工作进行了介绍.
- 杨海燕高仲仪
- 关键词：可测试性软件测试
- 文献传递
- 基于测试特征的软件可靠性指标区间估计方法
- 本发明涉及一种基于测试特征的软件可靠性指标区间估计方法，包括：从多个角度对测试特征进行分析，设计相应准则对测试特征进行度量，得到测试特征度量结果；根据测试特征度量结果与可靠性指标的关系，构建可靠性指标与测试特征度量的回归...
- 刘超鲍力杨海燕吴际
- 文献传递
- 基于地址链的内存垃圾收集器中对象状态的跟踪记录方法
- 本发明提供了一种基于地址链的内存垃圾收集器中对象状态的跟踪记录方法，应用于编译器软件和运行时系统技术领域。本发明方法针对内存垃圾收集器中发生新增对象、访问对象、移动对象或释放对象不同事件时，在地址链表中记录不同内容的信息...
- 史晓华谢君如孙清越杨海燕
- 文献传递
- 基于宽平稳马氏链的软件质量收敛性判定技术被引量：1
- 2001年
- 针对软件质量收敛性难以判定的问题,提出了软件质量动态平衡的概念,指出软件开发过程具有马尔可夫性,从而软件质量的收敛性问题可用宽平稳马氏链描述并进行预测,为决策软件发布的时机提供客观、量化的参考指标。
- 李虎杨海燕高仲仪
- 关键词：软件质量收敛性马氏链软件开发
