安金霞
- 作品数：11 被引量：107H指数：4
- 供职机构：中国酒泉卫星发射中心更多>>
- 发文基金：中国航空科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 一种N版本编程容错软件的可靠性增长模型
- 本文结合N版本编程软件的特点,对软件中存在的各类错误以及它们对软件可靠性造成的不同影响进行了详尽的阐述。并分析了不完全排错对N版本软件可靠性建模造成的影响,与许多现有N版本软件可靠性模型只分析软件的稳态可靠性不同,本文考...
- 谢景燕安金霞朱纪洪
- 关键词：可靠性增长模型
- 文献传递
- 考虑不完美排错情况的NHPP类软件可靠性增长模型被引量：43
- 2010年
- 针对现有NHPP类软件可靠性增长模型对故障排错过程中不完美排错情况考虑不完全的现状,提出了一种新的软件可靠性增长模型.该模型全面考虑了不完美排错的两种情况:既考虑了排错过程中引入新错误的可能性,又考虑了不完全排错的情况,并且引入了一种故障排除率随时间变化的故障排除率函数,使模型更符合实际情况.利用公开发表的两组不同的软件失效数据对该模型进行验证的结果表明,与现有的对不完美排错情况考虑不完全的模型相比,该模型能够取得更好的拟合结果和预测效果.
- 谢景燕安金霞朱纪洪
- 关键词：软件可靠性增长模型非齐次泊松过程
- 采用C++代码插装的实时软件内存错误分析被引量：4
- 2014年
- 在航天领域中,安全关键的大型实时软件系统往往直接影响到任务成败,一般难以全面检测、分析或避免内存泄漏等常见内存错误。定义了实时软件的12种典型内存故障模式,提出了一种基于C++代码插装的实时软件内存错误快速分析方法。该方法通过对C++源代码进行静态分析,获取指针变量相关信息;通过C++代码插装和运行不同测试用例,实时收集统计C++指针对象的分配、释放、赋值、c-use和p-use使用情况,结合实时软件的典型内存故障模式进行分析,并自动生成详情报告。应用案例表明,该方法能够高效快捷地发现实时软件潜在的典型内存错误,从而有效提高软件质量。
- 李树芳陈霞安金霞陈东升
- 关键词：内存错误内存泄漏代码插装
- 基于多维度覆盖率的软件测试动态评价方法被引量：34
- 2010年
- 随着关键领域应用软件规模和复杂性的不断提高,软件测试成本也不断增加.如何动态、定量地评价软件测试情况,提高测试效率是软件测试领域面临的现实问题.提出了一种基于多维度测试覆盖率的软件测试动态评价方法,并从测试监测信息、动态分析和评价模型、测试优化策略几个方面展开讨论.给出了综合测试覆盖率的定义和经验公式.实例显示,该方法有助于软件项目评测人员动态跟踪和定量监控软件测试效果,提高软件测试过程的可观察性和可控制性.
- 安金霞王国庆李树芳朱纪洪
- 关键词：软件测试多维度
- 面向大型实时软件的测试覆盖率快速分析方法被引量：4
- 2013年
- 现有测试覆盖率统计方法和工具不能完全满足航天领域大型实时软件系统的特殊需求。针对特殊需求,提出一种面向大型实时软件系统的测试覆盖率快速分析方法,借助于自主开发的C++代码覆盖率插装与分析工具,实现批量化的代码插装,实时采集和统计分析被测软件的语句、分支、条件、MC/DC和函数等覆盖率信息,并输出测试覆盖率详情报告。通过一系列脚本和工具链支持,实现全过程自动化。应用案例表明,该方法快速高效,可以及时调整测试策略,优化测试用例,更快地达到测试充分性要求。
- 李树芳安金霞郑鹏飞王猛
- 基于神经网络知识库的多神经网络集成方法
- 提出一种基于神经网络知识库的多神经网络集成应用体系,通过将复杂任务适当分解化简,用多个典型简单神经网络集成的方法来替代单个复杂神经网络来求解问题。该体系与非集成神经网络技术相比,不但提高神经网络训练速度,降低训练难度,而...
- 安金霞朱纪洪袁夏明
- 关键词：知识库
- 文献传递
- 多余度飞控计算机系统分级组合可靠性建模方法被引量：19
- 2010年
- 系统可靠性是决定飞机飞控计算机系统(FCCS)体系结构选型的重要依据,可靠性建模技术(SRMT)是定量评价系统可靠性的关键。目前有可靠性框图(RBD)、故障树分析(FTA)、Markov随机过程和Petri网等多种系统可靠性建模方法,由于求解的途径不同,各种方法都具有优缺点。文章综合静态和动态系统可靠性建模方法特点,提出一种分类划分和分级组合的系统可靠性建模(HCRM)方法,并用该方法对Boe-ing777飞机非相似余度FCCS进行了可靠性建模。与传统方法比较,该方法将基于状态的可靠性建模方法和非状态可靠性建模方法进行组合,并基于系统静态和动态特性分级建模和求解,在一定程度上化解了复杂系统可靠性建模的复杂度和求解难度,使系统可靠性模型更加精细和符合实际系统。
- 安金霞朱纪洪王国庆薛晓翝
- 关键词：可靠性多余度
- 航天发射场信息综合故障诊断系统研究
- 基于信息融合的基本概念及相关技术，提出了将信息融合技术用于设计和实现航天发射场信息综合故障诊断系统。在现有载人航天发射场测发指挥监控系统的基础上，从信息融合的层次、内容及其关系等方面讨论了航天发射场信息综合故障诊断系统的...
- 安金霞龚琰秦志刚
- 关键词：信息融合故障诊断航天发射场
- 文献传递
- 采用Clang/LLVM的C++源代码覆盖率分析插装方法被引量：3
- 2017年
- 近年来,越来越多的安全关键软件系统运行在国产Linux操作系统上,其中大多数采用C++开发,而C++正在扩展新版语言规范,已有的覆盖率统计插装工具不能满足要求。给出一种基于Clang/LLVM的C++源代码覆盖率统计插装方法,利用开源社区Clang/LLVM库提供的C++源代码解析和操作功能,构建面向C++源代码的语句、分支和MC/DC覆盖率统计框架,在运行时采集覆盖率信息并进行统计分析,输出覆盖率分析报告。实际案例表明,该方法简易实用,能够满足真实工程软件的覆盖率测试分析需求。
- 李树芳安金霞刘洋陈良
- 关键词：C++代码插装
- 基于云平台的飞行试验数据中心架构设计被引量：1
- 2016年
- 近年高密度航天发射任务和不断提升的数据采集处理能力使得试验数据规模呈几何级数增长,但目前采用的传统试验数据存储管理和应用服务手段已难以适应任务发展的形势要求。针对航天任务参试系统多、地域跨度广、试验数据采集源多、规模增长迅速、业务应用复杂及用户多样等特征需求,采用云存储和云计算技术,提出了一种基于云平台的分布式数据中心架构,论述了基于两级数据中心的应用服务模式,实现了两级数据中心的整体设计,支持全系统计算资源、存储资源、网络资源和业务资源的统一调度管理,支持计算节点、存储节点和网络节点的动态扩展,能够较好地满足海量飞行试验数据的长期存储管理和高效应用服务需求。
- 安金霞李树芳李春锋盛捷
- 关键词：飞行试验数据数据中心体系结构
