下列叙述中，说法正确的是______。

A．桌上检查的文档是最后要公开的正式文档

B．桌上检查是一个完全没有约束的过程，所以通常效率会比较低

C．代码检查是程序员自己检查自己编写的程序

D．桌上检查最好由程序的编写人员来完成

在软件测试设计中，软件测试的主要目的是

A．实验性运行软件

B．证明软件正确

C．找出软件中全部错误

D．发现软件错误而执行程序