航天型号高可靠软件系统调试原理与技术

【书名】 航天型号高可靠软件系统调试原理与技术
【作者】 蔡铭,程胜,王瑞
【出版社】 北京中国宇航出版社
【出版时间】 2008.08
【关键词】 航天器软件可靠性调试
【摘要描述】 本书针对复杂航天型号对软件系统的高可靠性要求。
在深入分析软件故障特征的基础上,阐述了当前软件调试手段与工具的技术分类体系,介绍了一批最新的、具有代表性的软件调试技术,包括程序规则分析、用户行为分析、虚拟化调试支持、故障重现与逆向调试、统计调试、不变式调试等内容,以提高软件故障诊断与分析的自动化、智能化程度,提高软件调试效率,缩短软件交付周期,提高航天型号软件系统的可靠性。
【中国图书分类号】 V47

在线工具导航