周虹 郭维长 马存宝 赵世敏 李红娟 曹华 赵燕红 金玉红 宋东 温培刚 陈青 魏江

时序关系 软件测试 弹载计算机 软件可靠性 代码审查 检查条目 测试方法 卫星 航天软件 软件评测 故障树 航天测控软件 软件的可靠性 动态测试 软件 软件质量特性 量化