《航天型号高可靠软件系统调试原理与技术》蔡铭，程胜，王瑞著中国宇航出版社

内容简介：

《航天型号高可靠软件系统调试原理与技术》针对复杂航天型号对软件系统的高可靠性要求，在深入分析软件故障特征的基础上，阐述了当前软件调试手段与工具的技术分类体系，介绍了一批最新的、具有代表性的软件调试技术，包括程序规则分析、用户行为分析、虚拟化调试支持、故障重现与逆向调试、统计调试、不变式调试等内容，以提高软件故障诊断与分析的自动化、智能化程度，提高软件调试效率，缩短软件交付周期，提高航天型号软件系统的可靠性。
《航天型号高可靠软件系统调试原理与技术》主要读者对象是航天型号软件系统的设计人员、开发人员、测试人员及管理人员，也可作为其他科技人员了解和掌握高可靠软件系统质量保证与调试技术的参考书。

目录：