第五章 程序测试和正确性 4
第1节 错误、测试和正确性 4
1.1 正确性的含意 4
下册目录 4
1.2 错误类型 6
1.3 程序测试与程序分析 7
第2节 自动诊断服务 8
2.1 错误的检查 8
第3节 程序测试 10
3.2 故障诊断 11
3.1 测试情况的构造 11
3.3 模块化的测试 15
3.4 从“顾问”那儿获得帮助 21
3.5 测试习惯和错误的模式 22
第4节 正确性的证明 22
4.1 循环的不变关系 25
4.2 不变关系定理 27
4.3 不变关系的简单例子 29
4.4 更复杂的例子 33
4.5 在日常程序设计中的不变关系 37
4.6 正确性的自动验证 40
练习 41
第六章 性能评价 45
第1节 测算存储空间 45
第2节 测算执行速度 48
2.1 基本步骤计算 48
2.2 执行时间的阶序 51
2.3 最坏情况和平均情况的对比分析 53
2.4 二叉树搜索的分析二对数法 54
2.5 简单程序段的分析 57
2.6 一个更复杂的例子：KWIC索引 63
2.7 一个例子：堆积分类 71
练习 77
第3节 不可能编制程序的题目 81
3.1 很难定义的题目 81
3.2 大得不可能实现的题目 82
3.3 “不可判定的”题目 84
第七章 数据结构 88
第1节 数据结构、链和结点 88
1.1 用记录和指针来表示结点和链 91
2.1 堆栈、排队和双排队的定义 92
练习 92
第2节 堆栈、排队和双排队 92
2.2 堆栈和排队的顺序分配 94
2.3 堆栈和排队的链接表分配 98
2.4 实现堆栈的例子 104
练习 115
第3节 链接表的其它形式 117
3.1 链结表中结点的插入与删除 117
3.2 带有表头的堆栈与排队 118
3.3 循环表 120
3.4 双向链接表 122
练习 123
第4节 树型结构 126
4.1 二叉树及其表示 126
4.2 二叉树的遍历 129
4.3 树型结构的应用 134
练习 141
附录 143
A·PLZ/SYS语法和句法表 143
A.1 PLZ/SYS语法 144
B·PLZ/SYS词法 158
B·1 PLZ/SYS词法 158
B·2 标点符号规约 160
C·ASCII字符集 161
A.2 PLZ/SYS句法表 161
D·格式化输入输出 166
D.1 格式化I/O函数、变量和常量综述 167
D.2 IO·DECLS 171
D.3 ALL·IO·DECLS 171
D.4 PLZ·FIO·S 173
E·数的表示 181
F·类型转换的数值影响 183
G·错误条件和信息 185
H·Zilog RIO操作系统上PLZ程序的准备和执行 187
I·PLZ·IO 189
J·Zilog RIO操作系统的返回代码 192
K·INCLUDE预处理程序 193
K·1 INCLUDE·S 197
K·2 FILE·EXT·S 203
参考文献 208