何鑫
- 作品数：3 被引量：23H指数：3
- 供职机构：中国航空综合技术研究所更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于DO-178B的软件测试技术研究被引量：3
- 2013年
- 为了满足适航要求,航空机载系统软件测试需要遵循DO-178B的要求;然而,传统的软件测试技术和过程并不能完全适应适航标准的要求;同时,国内缺乏基于DO-178B的软件测试研究和工程实践,适航相关领域研究现状与国外成熟的适航标准规范体系相比尚有一定的差距;因此,文中根据DO-178B对软件测试的相关要求,提出一套基于DO-178B的软件测试技术方案,通过工程实例进行应用,并对相关领域的发展前景进行总结和展望;实例应用表明,该软件测试实施方案可以成功指导基于DO-178B的软件测试工作。
- 何鑫刘畅郑军
- 关键词：软件测试
- 软件安全性与可靠性分析技术研究被引量：7
- 2012年
- 近年来,软件安全性与可靠性在保证系统安全、避免重大人员伤亡和财产损失方面起到了重要作用,工程中对软件安全性与可靠性分析的应用有着十分迫切的需求;然而,工程中目前还缺乏软件安全性与可靠性分析的实施方案作为指导;为了促进软件安全性与可靠性分析工作的有效开展,文中结合FHA(功能危险评估)、PHA(初步危险分析)、SFMEA(软件失效模式及影响分析)、SFTA(软件故障树分析)4种分析技术,提出一种基于系统危险的软件安全性与可靠性分析方案;该方案使用FHA进行危险识别,根据PHA进行危险的追踪与控制,运用SFMEA进行软件失效模式、影响分析,再通过SFTA分析软件失效原因并提取软件安全性需求;然后,文中利用这种方案进行实例应用研究,指导软件安全性与可靠性分析的有效开展;最后,文中总结并展望了软件安全性与可靠性分析技术研究的发展方向。
- 何鑫刘畅郑军
- 关键词：软件安全性分析软件可靠性分析PHASFMEA
- 软件安全性测试研究综述被引量：13
- 2011年
- 近年来,软件安全性在保证系统安全、避免重大人员伤亡和财产损失方面起到了重要作用;然而在软件安全性工程中,软件安全性并不能完全依靠常规的软件工程方法和软件测评手段来进行测试;如何在工程中开展软件安全性测试仍然是一个悬而未决的问题;首先从软件安全性测试的发展现状入手,分析我国在该领域工程应用中所遇到的问题;然后阐述当前主要的软件安全性测试流程和方法,将现有的测试方法分3类进行描述,并分析和比较这些测试方法的特点;最后总结并展望软件安全性测试研究的发展方向。
- 何鑫郑军刘畅
- 关键词：软件安全性测试
