李海峰
- 作品数：13 被引量：32H指数：3
- 供职机构：中国航空综合技术研究所更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种发动机控制软件的测试方法
- 本发明涉及一种发动机控制软件的测试方法。发动机控制系统软件具有运行时间长，接收数据量大等特征。传统测试方法很难在有效的时间内发现其隐藏的性能缺陷数据。针对此问题，本发明提出一种发动机控制软件的测试方法，直接针对发动机转速...
- 李海峰郑军
- 文献传递
- 支持SPIN验证的详细级SFMEA方法研究被引量：1
- 2016年
- 随着软件系统的规模和复杂度不断增大,以软件为核心的安全关键系统的可靠性和安全性越来越难以保证。软件失效模式与影响分析SFMEA(Software Failure Modes and Effect Analysis)是军工业中常用的一种安全分析方法,其依赖人工分析、缺乏形式化语义、无法支持验证。针对SFMEA方法的不足,提出一种结合SPIN的详细级SFMEA方法,对软件失效模式进行形式化建模与分析,并结合模型检验工具SPIN进行自动化地模型检验和模拟仿真,从而提高软件系统的安全性和可靠性。该方法验证了"缓冲区数组下标越界"的这一失效模式,从而说明该方法的有效性。
- 刘畅李海峰沈国华顾益刘银陵
- 关键词：失效模式SPIN安全关键系统
- 基于脚本的嵌入式软件仿真及测试一体化平台的构建方法
- 本发明属于自动化测试领域，是针对飞行器机载嵌入式软件的自动化测试技术，涉及一种基于脚本的嵌入式软件仿真及测试一体化平台的构建方法。本发明的实现是基于实时处理机和主控机的架构。在主控机上，测试用例和仿真模型采用测试脚本进行...
- 周汉清李海峰
- 文献传递
- 一种发动机控制软件的检查方法
- 本发明涉及一种发动机控制软件的检查方法。针对目前发动机控制软件运行过程中无法实施对发动机进行实时性能检测的问题，提出一种检测方法。该发明可通过发动机控制软件运行过程中实时收集到的风扇转速、压气机温度、压力、风扇导叶位置输...
- 李海峰郑军
- 文献传递
- 一种发动机控制软件的测试方法
- 本发明涉及一种发动机控制软件的测试方法。发动机控制系统软件具有运行时间长，接收数据量大等特征。传统测试方法很难在有效的时间内发现其隐藏的性能缺陷数据。针对此问题，本发明提出一种发动机控制软件的测试方法，直接针对发动机转速...
- 李海峰郑军
- 文献传递
- 基于脚本的嵌入式软件仿真及测试一体化平台的构建方法
- 本发明属于自动化测试领域，是针对飞行器机载嵌入式软件的自动化测试技术，涉及一种基于脚本的嵌入式软件仿真及测试一体化平台的构建方法。本发明的实现是基于实时处理机和主控机的架构。在主控机上，测试用例和仿真模型采用测试脚本进行...
- 周汉清李海峰
- 一种嵌入式软件安全性分析充分性检查方法
- 本发明属于计算机技术领域，涉及一种嵌入式软件安全性分析充分性检查方法，尤其涉及一种用于飞机安全性分析充分性检查的方法。本发明首次明确提出从系统和软件双向角度分别对机载嵌入式软件安全性分析工作开展充分性检查，给出了对PHA...
- 刘畅李海峰蔡玉华谢许扬郑军
- 考虑测试工作量与覆盖率的软件可靠性模型被引量：24
- 2013年
- 为了进一步提升现有非齐次泊松过程类软件可靠性增长模型的拟合与预计精度,首先,提出一个同时考虑测试工作量与测试覆盖率的NHPP类软件可靠性建模框架.在此基础上,将变形S型测试工作量函数(IS-TEF)以及Logistic测试覆盖率函数(LO-TCF)带入该建模框架,建立了一个新的软件可靠性增长模型,即IS-LO-SRGM.同时,还对利用该框架进行建模过程中的两个重要问题进行了描述与分析,即如何确定具体的TEF和TCF以及模型参数估计.然后,在两组真实的失效数据集上,利用该建模框架建立了最为合适的增长模型,即IS-LO-SRGM,并将该模型与8种经典NHPP模型进行对比.实例验证结果表明,所提出的IS-LO-SRGM模型具有最为优秀的拟合与预计性能,从而证明新建模框架的有效性和实用性.最后,对不完美排错情况进行了初步的讨论与建模分析.
- 李海峰王栓奇刘畅郑军李震
- 关键词：软件可靠性建模非齐次泊松过程
- 系统安全性交叉验证工具设计与实现被引量：1
- 2017年
- 针对独立验证方法存在容易遗漏以及人工分析的易错和效率低下等问题,文章基于PHA和FHA结合的交叉验证方法,设计和开发了系统安全性分析和验证工具,支持可视化和图形化的功能结构建模、FHA分析和汇总、PHA建模、分析和汇总、独立验证、交叉验证、危险数据库等功能,并结合刹车系统利用该方法和工具开展安全性交叉验证工作,结果表明方法和工具可以发现独立验证遗漏的问题,可以提高系统安全性的建模和分析能力、工作效率和可复用性。
- 李丹李震苗虹郑军李海峰
- 一种嵌入式软件安全性分析充分性检查方法
- 本发明属于计算机技术领域，涉及一种嵌入式软件安全性分析充分性检查方法，尤其涉及一种用于飞机安全性分析充分性检查的方法。本发明首次明确提出从系统和软件双向角度分别对机载嵌入式软件安全性分析工作开展充分性检查，给出了对PHA...
- 刘畅李海峰蔡玉华谢许扬郑军
- 文献传递
