软件验证过程中，根据验证的侧重点不同，可以将验证分为5种类型，即需求验证、设计验证、代码验证、__________和文档验证。