书目详细信息 : 航天器软件测试技术与实践