《航天型号嵌入式软件验证技术与实践》祝宇等中国宇航出版社

内容简介：

《航天型号嵌入式软件验证技术与实践》分别从航天型号嵌入式软件概述、软件开发通用要求、软件测试要求、软件测试技术、软件验证实践与经验、软件验证展望等角度描述航天型号嵌入式软件的验证现状。
　　在《航天型号嵌入式软件验证技术与实践》撰写过程中，参考了大量的相关资料，并结合多年的实践经验，力求内容具有实用性、针对性和可操作性。全书论述了航天嵌入式软件的验证过程和理论，并紧密结合实践，为了帮助读者更好地了解工程实践，书中详细列举了大量的丰富示例，给予读者一定的启发和帮助。

目录：