发表于2024-11-29
航天型号高可靠软件系统调试原理与技术 2024 pdf epub mobi 电子书
图书标签: 科学 技术
《航天型号高可靠软件系统调试原理与技术》针对复杂航天型号对软件系统的高可靠性要求,在深入分析软件故障特征的基础上,阐述了当前软件调试手段与工具的技术分类体系,介绍了一批最新的、具有代表性的软件调试技术,包括程序规则分析、用户行为分析、虚拟化调试支持、故障重现与逆向调试、统计调试、不变式调试等内容,以提高软件故障诊断与分析的自动化、智能化程度,提高软件调试效率,缩短软件交付周期,提高航天型号软件系统的可靠性。
航天型号高可靠软件系统调试原理与技术 2024 pdf epub mobi 电子书