零缺陷程序设计
内容提要 ：
本书描述了编写无（或几乎无）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 展望未来 备注 部分习题的提示 参考文献 译者序：
译 者 序
谈到“零缺陷程序设计（Zero Defect Programming）”，国内的技术人员可能会比较陌生，很多人大概会将其与近来新兴的“极限编程（Extreme Programming）”等新概念新思想相等同。“零缺陷”思想并不是一个新生事物，也绝非概念炒作下的一个噱头。如果出于直观性，需要找出一个“零缺陷”的“成功案例”的话，那么请把手指放在世界地图上，由上海开始沿经线方向向东滑过东海、日本、太平洋、美国……Congratulations!您现在已经亲手触摸到了两个有“零缺陷”成功案例的地方。没错！除去东海和太平洋，正是我们东部邻邦日本和太平洋彼岸的美国。
自从1961年9月美国管理学家PhilipB.Crosby提出“零缺陷”思想以来..
前言：
前 言
本书适用于那些在程序设计过程中力求零bug编码，或者说在目前的技术以及人力所允许范围内尽可能做到错误最少化的程序员。
程序员可以通过使用一些特定的规定及其验证手段来达到错误最少化的目的，这也就是我在本书中所将要描述的。这里所谓的验证手段的意思是校对复核，简单地来讲，就是一段程序必须符合其规定。
不用惊慌，你将会看到这并不需要大量精确复杂的理论，它只涉及到少量特定技术的相关知识以及做事的方法（当然，还有必不可少的实践）。本书并没有那些严格精确的形式，事实上，这些规定以及验证手段通常是半形式，有的时候甚至是完全非形式化的。
为什么要验证程序呢？因为这是..
|
你读过这本书吗？
图书城书评：
图书城书列：
更多图书...
More English Books...
|
