Why Programs Fail——系统化调试指南

Why Programs Fail——系统化调试指南

(德) 泽勒 (Zeller,A.) , 著

出版社:电子工业出版社

年代:2006

定价:45.0

书籍简介:

调试一直是软件开发过程中最痛苦的环节,本书有望改变这一现状,因为它将调试的科学原理与业界的实践经验有机地融合起来,阐释了有关发现和修正程序错误的最佳实践。本书一共分为15章,以系统化的方式向读者介绍了整个调试过程,从跟踪和重现故障开始,一直到自动化和简化测试用例,寻找故障最可能的来源,分离故障的起因和结果,并最终修正缺陷。本书不仅涵盖了delta调试、程序切片、观察、监视、断言、检测反常等多种基本的静态和动态程序分析技术,还用浅显的语言教你如何使用一些调试领域最前沿的高水平调试工具。本书适合于那些希望掌握如何以系统化和自动化的方式调试程序的计算机专业人员、研究生以及高年级本科生阅读。

书籍目录:

第1章故障从哪里来

第2章跟踪问题

第3章让程序出错

第4章重现问题

第5章简化问题

第6章科学调试

第7章推演错误

第8章观察事实

第9章跟踪错误来源

第10章断言预期结果

第11章检测反常

第12章起因与结果

第13章分离故障起因

第14章分离因果链

第15章修正缺陷

附录A规范定义

术语表

参考文献

索引

内容摘要:

  这是一本关于计算机程序中的Bug的书如何定位Bug?如何重视Bug?以及如何修正Bug,使Bug不再出现?这是第一本全面讨论系统调试的著作,其中不仅涵盖了可适用于手工观察直至全自动调试的大量工具和技术,还包括如何创建自动化调试器的指南。书中的论述都建立在程序故障起因的可靠理论之上,而不依赖于那些凭借直觉和经验的技术。本书适用于任何编程语言,并适合于有编程经验的开发人员阅读。  调试一直是软件开发过程中“最痛苦”的环节,本书有望改变这一现状,因为它将调试的科学原理与业界的实践经验有机地融合起来,阐释了有关发现和修正程序错误的最佳方法和实践过程。

书籍规格:

书籍详细信息
书名Why Programs Fail——系统化调试指南站内查询相似图书
9787121036866
如需购买下载《Why Programs Fail——系统化调试指南》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位电子工业出版社
版次1版印次1
定价(元)45.0语种简体中文
尺寸26装帧平装
页数印数 5000

书籍信息归属:

Why Programs Fail——系统化调试指南是电子工业出版社于2007.01出版的中图分类号为 TP311.5-62 的主题关于 软件-调试-指南 的书籍。