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

解析：桌上检查是一种传统检查方法，由程序员自己检查自己编写的程序。对大多数人而言，桌上检查效率会相当低，其中一个原因是它是一个完全没有约束的过程，另一个原因是它违反了软件测试的原则，即人们一般不能有效地测试自己编写的程序。所以桌上检查最好由其他人而非程序的编写人员来完成，桌上检查的文档是一种过渡性的文档，不是公开的正式文档。代码检查是以小组为单位阅读代码，应用一系列规程和错误检查技术，检查实际的产品(包括文档和程序代码)，发现存在错误和缺陷的过程。