名称：航天型号高可靠软件系统调试原理与技术
作者:蔡铭程胜王瑞
出版社:中国宇航出版社
格式：pdf,txt
本电子书只供学习参考，请更多地支持正版图书。
航天型号高可靠软件系统调试原理与技术内容简介
《航天型号高可靠软件系统调试原理与技术》pdf书下载。
航天型号高可靠软件系统调试原理与技术部分内容
本书针对复杂航天型号对软件系统的高可靠性要求，在深入分析软件故障特征的基础上，阐述了当前软件调试手段与工具的技术分类体系，介绍了一批最新的、具有代表性的软件调试技术，包括程序规则分析、用户行为分析、虚拟化调试支持、故障重现与逆向调试、统计调试、不变式调试等内容，以提高软件故障诊断与分析的自动化、智能化程度，提高软件调试效率，缩短软件交付周期，提高航天型号软件系统的可靠性。免费图书下载《航天型号高可靠软件系统调试原理与技术》的作者蔡铭程胜王瑞和中国宇航出版社为本书的写作出版都付出很多汗水。与此相类似，在我国新研的军用飞机中，其飞控系统、火控系统及弹射救生系统等，均采用软件系统逐步替代原有的机械、光学设备，实现其控制，某些机种的机载代码量已超过了百万行量级。
第1章软件调试技术概述
1.1软件系统的“双刃剑效应”
软件系统作为计算机系统的神经中枢，已经延伸到现代武器型号设备、装置中的各个角落，为了能够适应各种复杂的空间环境和完成繁杂的空间任务，软件系统的应用规模、复杂度以及重要性程度，近年来均呈急剧上升趋势。例如：
·一个国际太空站需要上百万行的软件系统，控制各种导航、通信及实验设备；
·美国航空航天局的太空飞船项目中，其船载软件代码量大于50万行，地面控制和处理软件代码量约350万行；
·我国神舟五号载人飞船中，船载软件模块共60余个，软件指令达70万条，地面支持系统的软件规模则大于140万条指令；在神舟六号飞船的7大系统、13个分系统中，软件模块规模进一步扩大到82个。
在型号设备的功能分布中，由软件系统承担的功能比重不断加大。例如，在美国第二代歼击机F-111中，由软件部分所实现的功能约占20％，到了第四代机F-22，这个比例已上升为80％。
本书主要读者对象是航天型号软件系统的设计人员、开发人员、测试人员及管理人员，也可作为其他科技人员了解和掌握高可靠软件系统质量保证与调试技术的参考书。
由于软件错误直接造成系统失效的比例持续递增，据1986年的统计数据表明，系统失效事件中诱因是软件错误的比例约占25％，而到2000年，该比率已超过40％。软件错误所导致的经济损失也触目惊心，根据美国国家标准技术研究所2002年6月公布的调查表明，由于软件错误导致美国的经济损失每年高达595亿美元，约战GDP的0.6％。
。本站的pdf电子书《航天型号高可靠软件系统调试原理与技术》主要是由网络收集整理来的，最终著作权仍归属于原书的作者蔡铭程胜王瑞和出版商。如果您喜欢这本书，请多多支持我们的图书出版事业，让辛苦写书的作者得到应有的回报。在此也要感谢中国宇航出版社，感谢出版社为《航天型号高可靠软件系统调试原理与技术》的出版所做的工作。本站只提供图书的试读版，同时欢迎更多的爱好读书的朋友来电子书下载网来分享更多好看的pdf电子书，免费下载您所需要的电子书籍。最后衷心感谢您下载《航天型号高可靠软件系统调试原理与技术》pdf版免费电子书。
参考: pdf txt格式电子书下载 航天型号高可靠软件系统调试原理与技术
本文来自墨尔本·晴投稿，不代表电子书资源网立场，如若转载，请联系原作者获取。
微信扫一扫 
