共 13 条
- [1] GJB450A-2004, 装备可靠性工作通用要求
- [2] IEEE Std 1012-1998, IEEE standard for software verification and validation
- [3] Do D, Intstruction 5000.02, Operation of the adaptive acquisition framework
- [4] GEIA-STD-0009-2008, Reliability program standard for system design, development, and manufacturing
- [5] Kshirasagar N, Priyadarshi T., 软件测试与质量保证-理论与实践, (2013)
- [6] Joseph E M, Lyndon B., Apollo experience report-test and checkout, (1972)
- [7] Thomas E., Apollo experience report electronic systems test program accomplishments and results, (1972)
- [8] Starliner software setback
- [9] Wang Xu-yu, Hu Min, Zhang Xue-yang, Et al., Satellite reliability analysis based on dynamic fault tree, Chinese Space Science and Technology, 40, 6, pp. 56-67, (2020)
- [10] IEEE Std 610.12-1990, IEEE standard glossary of software engineering terminology