航天软件需求可靠性与安全性分析验证技术及工程应用研究 |
| |
引用本文: | 孙肖,周新蕾,杨洁,董仁飞.航天软件需求可靠性与安全性分析验证技术及工程应用研究[J].质量与可靠性,2016(4):31-34. |
| |
作者姓名: | 孙肖 周新蕾 杨洁 董仁飞 |
| |
作者单位: | 中国航天标准化与产品保证研究院 |
| |
摘 要: | 软件需求可靠性与安全性分析验证可有效识别功能层次的需求遗漏、设计缺陷及相关的危险等,是提升软件可靠性与安全性的有效手段。GJB 900A等标准中已要求开展该项分析工作,但与NASA相比,目前工程应用推广尚待加强。本文在调研分析已有方法的基础上,总结实际工程经验,提出了一套操作性强的航天软件需求可靠性与安全性分析验证技术,可为该技术的工程推广提供借鉴。
|
关 键 词: | 软件需求 软件可靠性 软件安全性 分析验证 |
本文献已被 CNKI 等数据库收录! |
|