型号软件动态测试与安全性分析验证背靠背实施经验总结

摘要

借助某武器型号的某A级安全关键软件研制单位提出要对该软件进行配置项测试以及安全性分析验证工作的机会，项目组成员对本次动态测试与安全性分析工作背靠背实施的结果进行了分析与总结。 测试工作与分析工作都是软件验证的手段，从此次难得的背靠背验证情况看，两种手段都是非常有效的，都能够发现软件中存在的各种问题，但是又有所差异，互相都能够借鉴到一些经验，因此建议在后续的航天型号软件研制中，除了严格落实各项标准做好测试工作外，也需要如软件安全性分析等验证手段等，作为测试工作的有益补充，提高航天型号软件的质量。