国防科技工业局民用航天科研预先研究项目(B2120080307)
- 作品数：5 被引量：16H指数：3
- 相关作者：郑重石柱更多>>
- 相关机构：中国航天科技集团公司软件评测中心中国航天更多>>
- 发文基金：国防科技工业局民用航天科研预先研究项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 软件故障树分析实例研究被引量：4
- 2014年
- 软件故障树分析(SFTA)是硬件或系统FTA的扩展,可应用于安全性关键软件的验证和可靠性分析。本文首先阐述了SFTA的原理和应用过程,然后介绍了结合某嵌入式软件进行实际应用的过程以及最小割集的生成,并在此基础上提出了对该软件的改进建议。
- 石柱郑重
- 关键词：软件可靠性分析
- 软件可靠性度量实例研究被引量：8
- 2011年
- 为适应软件的不同特点和使用阶段,必须根据软件的具体情况,考虑在软件开发的整个生命周期中,从不同角度对可靠性进行度量和评价。在现有软件可靠性度量的基础上,选择改造了9个可用于评价软件可靠性的度量,在航天软件中进行了应用,并详细阐述了各个度量的目标、方法和过程,最后对度量结果进行了综合分析以及给出了对软件的改进建议。
- 石柱郑重
- 星载软件可靠性仿真测试环境研究
- 2016年
- 软件可靠性测试是验证和评估软件可靠性水平的重要方法,要求软件运行环境的真实性,因此,测试环境的建立是进行可靠性测试的难点,也是决定测试结果正确性的关键因素。论文阐述了针对某星载嵌入式软件可靠性测试环境的设计,包括测试平台的构建,以及测试脚本的构造,该环境已成功应用于某星载嵌入式软件的可靠性测试,效果较好。
- 郑重石柱
- 关键词：星载软件软件可靠性测试测试环境
- 星载软件可靠性工程研究与实践被引量：4
- 2013年
- 为提高星载软件的可靠性,针对某星载软件的特点,讨论了开展软件可靠性工程的实施框架和过程,分别从软件可靠性设计、分析、度量和测试四个方面进行了总结和评述。重点论述了软件可靠性设计准则,软件故障模式及影响分析和软件故障树分析技术的特点,软件可靠性度量的选择方法,以及软件可靠性测试的评估规程和可靠性模型的选择方法,并给出了技术应用的结果,证明了这些方法的可行性和适用性。
- 郑重石柱
- 关键词：软件可靠性工程软件可靠性设计软件可靠性分析软件可靠性度量软件可靠性测试
- 星载软件可靠性模型应用研究及实践
- 2013年
- 为定量评估软件的可靠性指标,介绍了利用软件可靠性模型评估软件可靠性的过程和方法;针对某星载嵌入式软件的失效趋势,根据模型的选择原则和方法,以及模型的预测质量的对比,最终选择了指数模型作为可靠性评估模型。对该软件在轨运行情况进行了可靠性评估,开展了基于该软件可靠性测试数据的可靠性评估,评估结果给出了该软件的可靠性水平。
- 石柱郑重
- 关键词：软件可靠性评估软件可靠性模型
