中国航空科学基金(2008ZD41005)
- 作品数：5 被引量：21H指数：2
- 相关作者：郑军封二强刘畅徐丙凤黄志球更多>>
- 相关机构：中国航空综合技术研究所南京航空航天大学更多>>
- 发文基金：中国航空科学基金中央级公益性科研院所基本科研业务费专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于输入域的非参数软件可靠性评估模型被引量：3
- 2012年
- 通过分析输入域软件可靠性模型和时间域软件可靠性模型的特点,建立一种基于输入域的非参数软件可靠性评估模型,从而克服一般输入域模型评估精度较差、无法预测的缺点.同时提出了基于非参数统计的方法来估计缺陷数和软件失效概率,从而为利用普通软件测试所获得测试数据进行软件可靠性评估提供了一种解决途径,实例验证表明了该评估模型可以较好地对软件可靠性进行评估,给出缺陷数和软件可靠性的合理估计,其估计精度不低于较好的时间域模型.
- 郑军封二强刘畅
- 关键词：软件可靠性评估核密度估计
- IEEE软件可靠性系列标准分析
- 2011年
- 对IEEE软件可靠性系列标准进行分析,总结了IEEE制定软件可靠性标准的经验,以软件可靠性发展趋势。同时,结合我国软件可靠性标准化工作现状,提出软件可靠性标准的制定及关标准修订的可借鉴之处。
- 郑军封二强刘畅
- 关键词：软件可靠性度量软件可靠性模型
- 基于体系结构的软件可靠性指标分配方法研究
- 2013年
- 为提高软件可靠性分配的合理性和工程实用性,对现有的各种软件可靠性分配技术与方法进行深入分析和总结,提出了基于体系结构的软件可靠性指标分配方法。该方法利用离散马尔科夫链状态模型(DTMC)表示软件系统可靠性与各构件可靠性之间的关系,从而建立了考虑体系结构的软件可靠性分配模型;利用灵敏度分析各构件对系统可靠性指标的影响程度。实验结果表明了该方法较传统分配方法更有效。
- 封二强刘畅郑军
- 关键词：体系结构马尔科夫
- 机载软件适航认证标准新进展及展望被引量：18
- 2012年
- 为了满足机载软件适航认证的迫切需求,对机载软件适航认证标准进行分析研究。阐述了DO-178B的发展动因及过程,总结了随着软件开发技术的快速更新DO-178B所表现的不足。说明了对DO-178B进行更新的必要性,并将即将发布的新版本DO-178C与DO-178B进行了对比。根据对比结果重点分析了DO-178C的4个新增特性。对DO-178C所带来的影响以及未来应用进行了展望。
- 郑军黄志球徐丙凤
- 关键词：机载软件适航认证
- 基于混合测试的软件可靠性加速测试方法研究
- 2012年
- 为提高软件可靠性测试效率,在分析软件可靠性测试以及测试用例设计方法的基础上,提出一种基于混合测试的软件可靠性加速测试方法.该方法将软件可靠性测试分为两个阶段,第一阶段为传统可靠性测试,第二阶段为针对性测试,并通过过渡准则将软件可靠性测试和针对性测试结合起来,由软件可靠性测试向针对性测试过渡.在针对性测试中提供了一个测试策略接口,使得各种用例设计方法都可以在软件可靠性测试中使用.根据重要性抽样理论求得混合测试加速因子,在减少测试代价的同时实现了利用混合测试失效数据进行软件可靠性评估.实验结果表明该方法较传统软件可靠性测试有较大提高.
- 封二强刘畅郑军
- 关键词：软件可靠性测试
