A. 证明错误不存在                                                  B. 证明错误存在

C. 发现所有的错误                                                  D. 排除所有的错误

二、填空题（本大题共 10 小题，每小题 1 分，共 10 分）

请在每小题的空格中填上正确答案。错填、不填均无分。

21. 多道程序系统中， CPU 微观上每个时刻可运行的程序道数为 _____________ 。

22. 在线性表的顺序存储结构中，设第一个元素的存储地址是 1000 ，每个元素的长度为 4 ，则第 10 个元素的地址是 _____________ 。

23. 函数 malloc(m) 是在内存中分配 m 个字节的连续可用空间，函数的返回值是一个指针，它指向所分配空间的 _____________ 。

24. 设一棵二叉树有 10 个度为 2 的结点，则该二叉树的叶子结点的个数为 _____________ 。

25. 操作系统的类型有三种，它们分别是实时操作系统、多道批处理操作系统、 _____________ 。

26. 一次仅允许一个进程使用的资源称为临界资源。在进程中访问临界资源的程序代码被称为 _____________ 。

27. 每一个实体在数据世界中所对应的数据被称为 _____________ 。

28. 两个关系 R 与 S 能进行自然连接的前提是 _____________ 。

29. 类化、一般化和继承、集约化、组合化是 _____________ 常用的几种方法。

30. 采用模块化、由顶向下、逐步细化等基本思想进行设计，其设计方法的典型代表是 _____________ 。

三、名词解释题（本大题共 4 小题，每小题 3 分，共 12 分）

31. 散列查找

32. 进程

33. 网状模型

34. 软件测试和维护中的判定覆盖

四、问答题（本大题共 3 小题，每小题 5 分，共 15 分）

35. 试画出二叉树的五种基本形态。

36. 产生死锁的必要条件有哪些？

37. 设计阶段的基本任务是什么？

五、阅读理解题（本大题共 3 小题，每小题 6 分，共 18 分）

38. 下面的算法是利用二分法查找的思想，在一个长度为 n 的有序表中插入一个元素