零缺陷程序設計

出版者的話
專家指導委員會
譯者序
前言
第1章  概述
1.1  問題：bug
1.2  凈室方法
1.3  關于本書
備注
第2章  運算函數(shù)
2.1  運算：狀態(tài)與函數(shù)
2.2  函數(shù)表示法：并行處理
2.3  條件并行處理
2.4  局部變量
2.5  基于預期函數(shù)的規(guī)定
2.6  其他標記法簡介
2.7  預期函數(shù)的編寫
練習
備注
第3章  驗證
3.1  結(jié)構(gòu)化控制語句
3.2  預期函數(shù)的定位
3.3  替換原則
3.4  代碼序列
3.5  跟蹤表
3.6  if語句
3.7  條件分支跟蹤表
練習
備注
第4章  迭代的驗證
4.1  while語句
4.2  循環(huán)中止的驗證
4.3  已初始化循環(huán)
4.4  為獨立的循環(huán)編寫預期函數(shù)
4.5  其他形式的不定迭代
練習
備注
第5章  基于預期函數(shù)的程序設計
5.1  Pascal程序：最長一行的長度
5.2  C程序：統(tǒng)計字符及數(shù)字的出現(xiàn)次數(shù)
5.3  Icon程序：字符串解壓縮
5.4  抽象化的探討：登記注冊系統(tǒng)
5.5  讓事情簡單
練習
備注
第6章  驗證過程的回顧
6.1  為什么驗證必須回顧
6.2  凈室過程中的驗證回顧
6.3  驗證回顧是如何完成的
6.4  示例：注冊登記系統(tǒng)的另一個例程
6.5  示例：測試數(shù)據(jù)生成器例程
6.6  示例討論
練習
備注
第7章  定迭代
7.1  序列上的定迭代
7.2  序列變量
7.3  其他序列表達式
7.4  整型值的范圍
7.5  其他數(shù)據(jù)結(jié)構(gòu)
7.6  迭代機制
7.7  程序設計中的集合與序列
練習
備注
第8章  數(shù)據(jù)抽象與面向?qū)ο缶幊?br />8.1  數(shù)據(jù)抽象與封裝
8.2  抽象函數(shù)
8.3  數(shù)據(jù)不變性
8.4  面向?qū)ο缶幊?br />練習
備注
第9章  遞歸與函數(shù)化語言
9.1  遞歸例程
9.2  終止
9.3  相互遞歸
9.4  函數(shù)化語言
練習
備注
第10章  測試
10.1  測試的角色
10.2  基于使用的測試
10.3  測試數(shù)據(jù)生成器
10.4  測試的其他方式
練習
備注
第11章  增量開發(fā)
11.1  用增量的方式開發(fā)程序
11.2  計劃與實現(xiàn)的過程
11.3  示例：排演計劃
練習
備注
第12章  我們將走向何方
12.1  凈室過程的其他部分
12.2  其他的形式方法
12.3  我們學會了什么
12.4  展望未來
備注
部分習題的提示
參考文獻