算法的正确性，一般不进行形式化的证明，而是用测试来验证。（)

A.健壮性

B.正确性

C.有穷性

D.可读性

A.大多数购买登有这一排名的杂志的人并不是需上大学的学生

B.这本杂志中排名最高的大学在广告中利用这个事实来吸引学生

C.这类排名各年之间一般很少改变

D.对任何两位学生来说，某些衡量标准的重要性会因他们的需求不同而不同

E.一些对其所在大学表示满意的学生在选择学校之前参考了这一杂志排名

A.算法正确性是指算法必须具有正确的输出

B.算法的正确性是可以证明的

C.算法必须经得起一切可能输入数据的考验

D.世界上最优秀的软件可以说是基本正确的

A.程序就是软件，但软件不仅仅是程序。

B.程序是指令的集合，计算机语言是编写程序的工具。

C.计算机语言都是形式化的语言，它有一个语法规则和定义。

D.计算机语言只能编写程序而不能表示算法。