零缺陷程序设计

出版者:机械工业出版社

作者:斯蒂夫里

页数:203

译者:夏昕

出版时间:2003-10-10

价格:25.0

装帧:平装

isbn号码:9787111129417

具体描述

本书描述了编写无（或几乎无）bug代码的*方法。这些方法同时还提高了生产力，缩短了开发时间。本书主要要三个领域内加以描述，分别是：规定、验证和测试。作者的写作目的是使开发人员更易理解规定和验证，写出结构完好的程序。 本书适于高等院校学生和软件开发人员阅读。

作者简介

Allan M.Stavely，二十几年来，一直任教于新墨西哥科技大学计算机科学系。他曾作为访问学者访问过IBM加州圣何塞研究中心、惠普英国布里斯托尔研究所，以及IBM英国温彻斯特研究中心。他的教学与研究领域主要包括软件工程、形式化方法和对编程的总体改进方法。

目录信息

出版者的话
专家指导委员会
译者序
前言
第一章 概述
1.1 问题
1.2 净室方法
1.3 关于本书
备注
第二章 运算函数
2.1 运算
2.2 函数表示法并行处理
2.3 条件并行处理
2.4 局部变量
2.5 基于预期函数的规定
2.6 其他标记法简介
2.7 预期函数的编写
练习
备注
第三章 验证
3.1 结构化控制语句
3.2 预期函数的定位
3.3 替换原则
3.4 代码序列
3.5 跟踪表
3.6 语句
3.7 条件分支跟踪表
练习
备注
第四章 迭代的验证
4.1 语句
4.2 循环中止的验证
4.3 已初始化循环
4.4 为独立的循环编写预期函数
4.5 其他形式的不定迭式
练习
备注
第五章 基于预期函数的程序设计
5.1 Pascal程序：最长一行的长度
5.2 C程序：统计字符及数字的出现次数
5.3 Icon程序：字符串解压缩
5.4 抽象化的探讨：登记注册系统
5.5 让事情简单
练习
备注
第6章 验证过程的回顾
6.1 为什么验证必须回顾
6.2 净定过程中的验证回顾
6.3 验证回顾是如何完成的
6.4 示例：注册登记系统的另一个例程
6.5 示例：测试数据生成器例程
6.6 示例讨论
练习
备注
第7章 定迭代
7.1 序列上的定迭代
7.2 序列变量
7.3 其他序列表达式
7.4 整型值的范围
7.5 其他数据结构
7.6 迭代机制
7.7 程序设计中的集合与序列
练习
备注
第8章 数据抽象与面向对象编程
8.1 数据抽象与封装
8.2 抽象函数
8.3 数据不变性
8.4 面向对象编程
练习
备注
第9章 递归与函数语言
9.1 递归例程
9.2 终止
9.3 相互递归
9.4 函数化语言
练习
备注
第10章 测试
10.1 测试的角色
10.2 基于使用的测试
10.3 测试数据生成器
10.4 测试的其他方式
练习
备注
第11章 增量开发
11.1 用增量的方式开发程序
11.2 计划与实现的过程
11.3 示例：排演计划
练习
备注
第12章 我们将走向何方
12.1 净室过程的其他部分
12.2 其他的形式方法
12.3 我们学会了什么
12.4 展望未来
备注
部分习题的提示
参考文献
· · · · · · (收起)

读后感

exit，goto不能用，switch无法验证， 不知道如何实用化 就像很多ut方法论一样，遇到复杂程序就不实用了 还要写伪代码的注释，看不出价值 exit，goto不能用，switch无法验证， 不知道如何实用化 就像很多ut方法论一样，遇到复杂程序就不实用了 还要写伪代码的注释，看不出价值 e...

exit，goto不能用，switch无法验证， 不知道如何实用化 就像很多ut方法论一样，遇到复杂程序就不实用了 还要写伪代码的注释，看不出价值 exit，goto不能用，switch无法验证， 不知道如何实用化 就像很多ut方法论一样，遇到复杂程序就不实用了 还要写伪代码的注释，看不出价值 e...

exit，goto不能用，switch无法验证， 不知道如何实用化 就像很多ut方法论一样，遇到复杂程序就不实用了 还要写伪代码的注释，看不出价值 exit，goto不能用，switch无法验证， 不知道如何实用化 就像很多ut方法论一样，遇到复杂程序就不实用了 还要写伪代码的注释，看不出价值 e...

exit，goto不能用，switch无法验证， 不知道如何实用化 就像很多ut方法论一样，遇到复杂程序就不实用了 还要写伪代码的注释，看不出价值 exit，goto不能用，switch无法验证， 不知道如何实用化 就像很多ut方法论一样，遇到复杂程序就不实用了 还要写伪代码的注释，看不出价值 e...

exit，goto不能用，switch无法验证， 不知道如何实用化 就像很多ut方法论一样，遇到复杂程序就不实用了 还要写伪代码的注释，看不出价值 exit，goto不能用，switch无法验证， 不知道如何实用化 就像很多ut方法论一样，遇到复杂程序就不实用了 还要写伪代码的注释，看不出价值 e...

用户评价

这本书最让我感到惊喜的是其对“长期维护性”的重视程度，这在很多同类主题的书籍中往往是被轻描淡写带过的部分。作者用相当大的篇幅讨论了代码的“可读性成本”和“知识传递成本”，这些都是构建一个可持续发展项目的关键要素，但往往在项目时间紧迫时最先被牺牲。书中对文档撰写和代码注释哲学层面的探讨，已经上升到了组织文化和团队协作的高度，而不是简单地教你`Javadoc`的语法。它提出了一种近乎艺术的严谨态度：代码不仅是写给机器执行的，更是写给未来自己的、以及未来团队成员阅读的契约。这种人文关怀和工程实践的完美结合，让这本书具备了一种跨越技术代际的生命力。它不仅仅指导你如何写出能运行的程序，更指导你如何写出能被“爱护”和“传承”的程序，这才是真正意义上的卓越工程实践的精髓所在。

初读这书的引言部分，我立刻被作者的叙事风格所折服。他没有采用那种高高在上、充满术语堆砌的“教科书”腔调，而是以一种极其平易近人的口吻，娓娓道来一个宏大概念的演进脉络。这种叙述方式，就像是邀请一位经验丰富的前辈，坐在你对面，用最生动的案例和最贴合实际的困境来剖析问题。我印象特别深的是作者在开篇对“错误”的定义和分类，他将软件开发中的常见失误分成了好几个层次，并用历史上的几个著名软件事故作为引子，瞬间将理论知识拉回到了现实世界的残酷检验中。这种“先树立靶子，再教授射击技巧”的结构，极大地激发了读者的探索欲。更难得的是，作者在探讨复杂理论时，总能巧妙地穿插一些富有哲理性的思考，使得整本书读起来不像是技术手册，更像是一部关于逻辑构建和思维优化的心法秘籍。每一次阅读，都感觉自己的思维框架在被悄然重塑，那些过去模糊的概念开始变得清晰锐利起来，这种由内而外的认知提升，远超我预期的技术指导价值。

在深入到技术细节的章节后，我发现这本书的价值核心在于其对“如何思考”的深度挖掘，而非简单的“如何操作”。它并没有提供大量即插即用的代码片段——如果只是为了这个，网络上充斥着更快的查询方式。这本书真正做的是构建了一套严密的、可被复制的思维模型。例如，在讨论到系统架构的健壮性时，作者没有直接推荐哪种设计模式是万能的，而是花费了大量的篇幅来解析不同设计模式背后的权衡取舍，那种对“次优解”的包容和理解，才是一个真正成熟工程师的标志。书中对测试策略的论述也极具启发性，它超越了单元测试和集成测试的边界，深入到了对“需求本身的可测试性”的质疑，这种自上而下的审视视角，让我开始反思自己以往项目启动阶段的盲区。它教会我的，不是解决某个特定的Bug，而是如何设计出一种流程，使Bug根本没有机会诞生。这种对源头治理的强调，是这本书给我带来的最宝贵的思想财富。

我必须承认，这本书的阅读曲线并非一帆风顺，某些深入到底层机制的章节，确实需要反复研读和多次实践才能完全消化。它对读者的基础知识储备有一定的隐性要求，如果你是刚刚接触编程的新手，可能会在某些晦涩的数学推导或者底层内存管理的描述前感到吃力。但正是这种挑战性，让我觉得物超所值。它不是那种为了迎合“快餐阅读”而降低门槛的读物，而是真正在乎读者是否能真正掌握知识的深度。我甚至发现，在遇到一些我自认为已经掌握的知识点时，这本书也能提供一个全新的、更精妙的解释角度，仿佛是提供了一副更高清的显微镜来观察熟悉的结构。这种不断带来“啊哈！”时刻的体验，是区分一本优秀技术书和一本平庸技术书的关键。它要求你投入时间与精力，但作为回报，它给予你的，是对整个技术栈更深层次的掌控感，而不是浮于表面的工具使用指南。

这本书的装帧设计着实让人眼前一亮，那种沉稳又不失现代感的封面材质，摸上去就有一种专业气息扑面而来。我当时是在一家设计感很强的独立书店里发现它的，第一眼就被封面的那种极简主义风格吸引了，深邃的背景色调上，几个关键的术语用醒目的白色字体排布，仿佛在无声地宣告着其内容的严谨与深度。拿到手里掂量了一下，分量十足，这通常意味着内容的厚度和广度都值得信赖。我尤其欣赏它在章节划分上的逻辑性，那种循序渐进的排布，让人即使面对一个相对晦涩的领域，也能感受到清晰的指引。内页的纸张选择也非常考究，不反光，阅读体验极佳，长时间沉浸其中也不会感到视觉疲劳。而且，书本的装订质量看起来非常可靠，那种可以完全平摊开来的设计，对于需要对照代码和文字的读者来说，简直是福音，不用费力地去“掰开”书页。整体而言，光是这本书的外在呈现，就已经成功地在我的“待读清单”中占据了重要的位置，它散发出的那种对品质的执着，让我对内部的知识体系充满了期待。这本书的物理形态本身，就是对精益求精的一种宣言，这本身就为后续内容的阅读定下了一个很高的基调。

提高程序健壮性

提高程序健壮性

提高程序健壮性

提高程序健壮性

提高程序健壮性