网上购物 货比三家
您现在的位置:快乐比价网 > 图书 > 计算机与网络 > 软件工程 > 商品详情

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

分享到:
Why Programs Fail--系统化调试指南

最 低 价:¥44.30

定 价:¥59.00

作 者:(德)Andreas Zeller

出 版 社:电子工业出版社

出版时间:2007 年3月

I S B N:9787121036866

商品详情

编辑推荐

第一本从系统化的角度来讲解发现和修正编程错误的书
  amazon超级畅销图书!

内容简介

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

作者简介

Andreas Zeller是德国Saarland大学的计算机科学教授。他的研究方向集中在提高程序员的生产力方面:即哪些事情可以使程序员的生活和工作更轻松?在Linux和UNIX程序员中,Zeller因GNU DDD——一个拥有内嵌数据可视化机制的调试器前端——而享有盛名。在研究人员和高级程序员中,Zeller因为delta调试——一种可以自动分离计算机程序故障起因的技术——而声名显赫。

他的工作时间被平均地分给教学、阅读、写作、编程,以及在大西洋两岸飞来飞去。他与家人一起生活在德法边界德国一侧的Saarbr.. << 查看详细

目录

第1章 故障从哪里来
1.1 我的程序罢工了
1.2 从缺陷到故障
1.3 迷失在时空之中
1.4 从故障到修正
1.5 自动调试技术
1.6 bug、失误、还是缺陷?
1.7 概念
1.8 工具
1.9 进一步阅读指南
1.10 习题
第2章 跟踪问题
2.1 啊!这么多问题
2.2 报告问题
2.3 管理问题
2.4 问题分类
2.5 处理问题
2.6 管理问题跟踪过程
2.7 把需求看作问题
2.8 管理重复问题
. 2.9 关联问题和修正
2.10 关联问题和测试
2.11 概念
2.12 工具
2.13 进一步阅读指南
2.14 习题
第3章 让程序出错
3.1 调试测试
3.2 控制程序
3.3 在表现层测试
3.4 在功能层测试
3.5 在单元层测试
3.6 分离单元
3.7 为调试而设计
3.8 预防未知问题
3.9 概念
3.10 工具
3.11 进一步阅读指南
3.12 习题
第4章 重现问题
4.1 调试过程的第一步
4.2 重现问题环境
4.3 重现程序运行过程
4.4 重现系统交互
4.5 专注于单元
4.6 概念
4.7 工具
4.8 进一步阅读指南
4.9 习题
第5章 简化问题
5.1 简化问题
5.2 gecko bug马拉松
5.3 手工简化
5.4 自动简化
5.5 简化算法
5.6 简化用户交互
5.7 简化随机输入
5.8 快速简化
5.9 概念
5.10 工具
5.11 进一步阅读指南
5.12 习题
第6章 科学调试
6.1 如何成为一个调试专家
6.2 科学方法
6.3 应用科学方法
6.4 明确调试
6.5 记录日志
6.6 快速而杂乱的调试
6.7 算法调试
6.8 构造假设
6.9 程序推理技术
6.10 概念
6.11 进一步阅读指南
6.12 习题
第7章 推演错误
7.1 分离取值的来源
7.2 理解控制流
7.3 跟踪依赖关系
7.4 程序切片
7.5 推演代码的坏味道
7.6 静态分析的局限性
7.7 概念
7.8 工具
7.9 进一步阅读指南
7.10 习题
第8章 观察事实
8.1 观察状态
8.2 记录运行情况
8.3 使用调试器
8.4 查询事件
8.5 可视化显示状态
8.6 概念
8.7 工具
8.8 进一步阅读指南
8.9 习题
第9章 跟踪错误来源
9.1 回溯推理
……
第10章 断言预期结果
第11章 检测反常
第12章 起因与结果
第13章 分离故障起因
第14章 分离因果链
第15章 修正缺陷
附录a 规范定义
术语表
参考文献
索引

商品评论(0条)

暂无评论!

您的浏览历史

loading 内容加载中,请稍后...