《PLZ语言的微处理机程序设计概论 下》求取 ⇩

第五章　程序测试和正确性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·DECLS171

D.3 ALL·IO·DECLS171

D.4 PLZ·FIO·S173

E·数的表示181

F·类型转换的数值影响183

G·错误条件和信息185

H·Zilog RIO操作系统上PLZ程序的准备和执行187

I·PLZ·IO189

J·Zilog RIO操作系统的返回代码192

K·INCLUDE预处理程序193

K·1 INCLUDE·S197

K·2 FILE·EXT·S203

参考文献208